Title | ||
---|---|---|
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday |
Abstract | ||
---|---|---|
The Calculus of Looping Sequences is a formalism for describing evolution of biological systems by means of term rewriting rules. We propose to enrich this calculus by labelling elements of sequences. Since two elements with the same label are considered to be linked, this allows us to represent protein interaction at the domain level. Well-formedness of terms are ensured by both a syntactic constraint and a type system: we discuss the differences between these approaches through the description of a biological system, namely the EGF pathway. |
Year | DOI | Venue |
---|---|---|
2010 | 10.3233/FI-2010-316 | Fundam. Inform. |
Keywords | Field | DocType |
protein interaction,syntactic constraint,egf pathway,labelling element,domain level,jerzy tiuryn,biological system,looping sequences,type system,systems biology,predictive modelling | Discrete mathematics,Algebra,Pure mathematics,Systems biology,Rewriting,Formalism (philosophy),Syntax,Mathematics | Journal |
Volume | Issue | ISSN |
103 | 1-4 | 0169-2968 |
Citations | PageRank | References |
4 | 0.43 | 13 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Roberto Barbuti | 1 | 866 | 81.03 |
Andrea Maggiolo-Schettini | 2 | 789 | 89.11 |
Angelo Troina | 3 | 375 | 26.31 |
Mariangiola Dezani-Ciancaglini | 4 | 1615 | 193.57 |
Paolo Milazzo | 5 | 328 | 21.14 |