A Rewriting Calculus for Multigraphs with Ports, Proceedings of RULE'07, 2007. ,
DOI : 10.1016/j.entcs.2008.10.035
URL : https://hal.archives-ouvertes.fr/inria-00139363
Graph Rewriting and Strategies for Modeling Biochemical Networks, Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2007), pp.407-414, 2007. ,
DOI : 10.1109/SYNASC.2007.44
URL : https://hal.archives-ouvertes.fr/inria-00146362
Strategic Port Graph Rewriting for Autonomic Computing, Proc. of TFIT'08, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00328491
Tom: Piggybacking Rewriting on Java, RTA'07, pp.36-47, 2007. ,
DOI : 10.1007/978-3-540-73449-9_5
URL : https://hal.archives-ouvertes.fr/inria-00142045
A Generalized Higher-Order Chemical Computation Model, Electronic Notes in Theoretical Computer Science, vol.135, issue.3, pp.3-13, 2006. ,
DOI : 10.1016/j.entcs.2005.09.016
Programming Self-Organizing Systems with the Higher-Order Chemical Language, IJUC, vol.3, issue.3, pp.161-177, 2007. ,
A new computational model and its discipline of programming, 1986. ,
The chemical abstract machine, Theoretical Computer Science, vol.96, issue.1, pp.217-248, 1992. ,
DOI : 10.1016/0304-3975(92)90185-I
URL : https://hal.archives-ouvertes.fr/inria-00075426
A Rewriting Calculus for Cyclic Higher-order Term Graphs, Electronic Notes in Theoretical Computer Science, vol.127, issue.5, pp.21-41, 2005. ,
DOI : 10.1016/j.entcs.2005.01.034
URL : https://hal.archives-ouvertes.fr/inria-00100095
Rewriting with strategies in ELAN: a functional semantics, IJFCS, vol.12, issue.1, pp.69-98, 2001. ,
The rewriting calculus - part II, Logic Journal of IGPL, vol.9, issue.3, pp.427-498, 2001. ,
DOI : 10.1093/jigpal/9.3.377
URL : https://hal.archives-ouvertes.fr/inria-00100532
Formal molecular biology, Theoretical Computer Science, vol.325, issue.1, pp.69-110, 2004. ,
DOI : 10.1016/j.tcs.2004.03.065
URL : https://hal.archives-ouvertes.fr/hal-00164591
Strategic computations and deductions, Festchrift in honor of Peter Andrews, 2008. ,
A simple calculus for proteins and cells, ENTCS, vol.171, issue.2, pp.139-154, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-01217855
A Rewriting Semantics for Maude Strategies, Proc. of WRLA'08, 2008. ,
DOI : 10.1016/j.entcs.2009.05.022
Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5, RTA'01, pp.357-361, 2001. ,
DOI : 10.1007/3-540-45127-7_27