.:. Consultation > Par auteur > Andrei .:.

11 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

Runtime Verification for Biochemical Programs Kirchner H., Andrei O. Dans HAS - First Workshop on Hybrid Autonomous Systems ETAPS 2011 (2011) [hal-00684245 - version 1]

PORGY: Strategy-Driven Interactive Transformation of Graphs Andrei O., Fernandez M., Kirchner H., Melançon G., Namet O., Pinaud B. Dans 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011) 48 (2011) 54-68 [inria-00563249 - version 1]

A Port Graph Calculus for Autonomic Computing and Invariant Verification Andrei O., Kirchner H. Dans TERMGRAPH 2009, 5th International Workshop on Computing with Terms and Graphs, Satellite Event of ETAPS 2009 (2009) [inria-00418560 - version 1]

Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes Andrei O. Institut National Polytechnique de Lorraine - INPL (05/11/2008), Hélène Kirchner (Dir.) [tel-00337558 - version 2]

A Higher-Order Graph Calculus for Autonomic Computing Andrei O., Kirchner H. Dans Graph Theory, Computational Intelligence and Thought. A Conference Celebrating Martin Charles Golumbic's 60th Birthday (2008) [inria-00328554 - version 2]

Strategic Port Graph Rewriting for Autonomic Computing Andrei O., Kirchner H. Dans The Fourth Taiwanese-French Conference on Information Technology - TFIT'08 (2008) [inria-00328491 - version 1]

A Biochemical Calculus Based on Strategic Graph Rewriting Andrei O., Kirchner H. Dans The Third International Conference on Algebraic Biology - AB'08 (2008) [inria-00328536 - version 1]

Graph Rewriting and Strategies for Modeling Biochemical Networks Andrei O., Kirchner H. Dans International Workshop on Natural Computing and Applications - NCA 2007 (2007) [inria-00146362 - version 3]

A Rewriting Calculus for Multigraphs with Ports Andrei O., Kirchner H. Dans The Eighth International Workshop on Rule-Based Programming (RULE 2007) (2007) 20 [inria-00139363 - version 2]

Non-intrusive formal methods and strategic rewriting for a chemical application Andrei O., Ibanescu L., Kirchner H. Dans Algebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen 4060 (2006) 194-215 [inria-00115521 - version 1]