33842 articles – 26701 Notices  [english version]
.:. Consultation > Par auteur > Andrei .:.
11 documents classés par :
1 - 2 Page Suivante Page Finale
fulltext access Runtime Verification for Biochemical Programs
Kirchner H., Andrei O.
Dans HAS - First Workshop on Hybrid Autonomous Systems ETAPS 2011 (2011) [hal-00684245 - version 1]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]
fulltext access 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]