, PMaude: Rewrite-based Specification Language for Probabilistic Object Systems, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.213-239, 2006.
DOI : 10.1016/j.entcs.2005.10.040
URL : https://doi.org/10.1016/j.entcs.2005.10.040
, A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00337558
, A Rewriting Calculus for Multigraphs with Ports, Proceedings of RULE'07, pp.67-82, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00139363
, A Higher-Order Graph Calculus for Autonomic Computing, Graph Theory, Computational Intelligence and Thought. Golumbic Festschrift, pp.15-26, 2009.
DOI : 10.1007/978-3-642-02029-2_2
URL : https://hal.archives-ouvertes.fr/inria-00328554
, Tom: Piggybacking Rewriting on Java, Rewriting Techniques and Applications (RTA), volume 4533 of Lecture Notes in Computer Science, pp.36-47, 2007.
DOI : 10.1007/978-3-540-73449-9_5
URL : https://hal.archives-ouvertes.fr/inria-00142045
, The Lambda Calculus, Its Syntax and Semantics, 1981.
, Term graph rewriting The Netherlands, Proceedings of PARLE, Parallel Architectures and Languages Europe, number 259-II in Lecture Notes in Computer Science, pp.141-158, 1987.
, A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing, Recent Trends in Algebraic Development Techniques, 21st International Workshop, pp.77-94, 2012.
DOI : 10.1007/978-3-642-37635-1_5
URL : https://hal.archives-ouvertes.fr/hal-01485979
, An overview of ELAN. ENTCS, 15 Extensional and intensional strategies, Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming of Electronic Proceedings in Theoretical Computer Science, pp.1-19, 1998.
, Probabilistic Rewrite Strategies. Applications to ELAN, Proceedings of the 13th Rewriting Techniques and Applications (RTA) conference, volume 2378 of Lecture Notes in Computer Science, pp.252-266, 2002.
DOI : 10.1007/3-540-45610-4_18
URL : https://hal.archives-ouvertes.fr/inria-00100883
, Stratego/XT 0.17. A language and toolset for program transformation, Special issue on Experimental Systems and Tools, pp.52-70, 2008.
DOI : 10.1016/j.scico.2007.11.003
, Attributed Programmed Graph Grammars and Their Application to Schematic Diagram Interpretation, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.4, issue.6, pp.574-582, 1982.
DOI : 10.1109/TPAMI.1982.4767310
, Simulation of large-scale rule-based models, Bioinformatics, vol.25, issue.7, pp.25910-917, 2009.
DOI : 10.1093/bioinformatics/btp066
URL : https://academic.oup.com/bioinformatics/article-pdf/25/7/910/16891651/btp066.pdf
, Algebraic approaches to graph transformation -part I: Basic concepts and double pushout approach Graph Rewriting: An Algebraic and Logic Approach Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models Rule-based modelling of cellular signalling, Handbook of Graph Grammars and Computing by Graph Transformations FSTTCS 2012 -IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science CONCUR 2007 -Concurrency Theory, volume 4703 of Lecture Notes in Computer Science, pp.163-246, 1990.
, 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
, Selected writings on computing -a personal perspective. Texts and monographs in computer science, 1982.
DOI : 10.1007/978-1-4612-5695-3
, Handbook of Graph Grammars and Computing by Graph Transformations, 1997.
DOI : 10.1142/4181
, ALGEBRAIC APPROACHES TO GRAPH TRANSFORMATION ??? PART II: SINGLE PUSHOUT APPROACH AND COMPARISON WITH DOUBLE PUSHOUT APPROACH, Handbook of Graph Grammars and Computing by Graph Transformations, pp.247-312, 1997.
DOI : 10.1142/9789812384720_0004
, Graphgrammars: An algebraic approach, 14th Annual Symposium on Switching and Automata Theory, pp.167-180, 1973.
, THE AGG APPROACH: LANGUAGE AND ENVIRONMENT, Handbook of Graph Grammars and Computing by Graph Transformations, pp.551-603, 1997.
DOI : 10.1142/9789812815149_0014
, Rule-based modeling of biochemical systems with bionetgen Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY A strategy language for graph rewriting, Computability In Europe Logic-Based Program Synthesis and Transformation, pp.113-167, 2009.
, Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework, Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering of Electronic Proceedings in Theoretical Computer Science, pp.15-29, 2014.
DOI : 10.1007/3-540-45127-7_27
, Labelled Graph Strategic Rewriting for Social Networks, Journal of Logical and Algebraic Methods in Programming, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01429893
, A Calculus for Interaction Nets, Proceedings of PPDP'99, Paris, number 1702 in Lecture Notes in Computer Science, 1999.
DOI : 10.1007/10704567_10
, GrGen: A Fast SPO-Based Graph Rewriting Tool, Proc. of ICGT, pp.383-397, 2006.
DOI : 10.1007/11841883_27
, The principles and practice of probabilistic programming, The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, pp.399-402, 2013.
, Church: a language for generative models, UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence, pp.220-229, 2008.
, Double-pushout graph transformation revisited, Mathematical Structures in Computer Science, vol.11, issue.05, pp.637-688, 2001.
DOI : 10.1017/S0960129501003425
, Computational Completeness of Programming Languages Based on Graph Transformation, Foundations of Software Science and Computation Structures, 4th International Conference, FOS- SACS 2001, Proceedings, volume 2030 of Lecture Notes in Computer Science, pp.230-245, 2001.
DOI : 10.1007/3-540-45315-6_15
, Curry: A multi-paradigm declarative language (system description) Haskell 98 language and libraries: the revised report, Twelfth Workshop Logic Programming, WLP'97, 1997.
, Probabilistic Inductive Classes of Graphs, The Journal of Mathematical Sociology, vol.32, issue.2, pp.85-109, 2008.
DOI : 10.1103/PhysRevLett.86.3200
, On ???on graph rewritings???, Theoretical Computer Science, vol.52, issue.1-2, pp.37-58, 1987.
DOI : 10.1016/0304-3975(87)90079-X
, Strategic computations and deductions. In Reasoning in Simple Type Theory Rewriting strategies and strategic rewrite programs, Logic, Rewriting, and Concurrency Festschrift Symposium in Honor of José Meseguer, Lecture Notes in Computer Science, pp.339-364, 2008.
, Probabilistic Graph Transformation Systems, Graph Transformations -6th International Conference Proceedings, volume 7562 of Lecture Notes in Computer Science, pp.311-325, 2012.
DOI : 10.1007/978-3-642-33654-6_21
, Probabilistic rewrite theories: Unifyoing models, logics and tools, 2003.
, PRISM 4.0: Verification of Probabilistic Real-Time Systems, Proc. 23rd International Conference on Computer Aided Verification (CAV'11), pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035
, Interaction nets, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '90, pp.95-108, 1990.
DOI : 10.1145/96709.96718
, in2: A Graphical Interpreter for Interaction Nets, Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA '02), pp.380-386, 2002.
DOI : 10.1007/3-540-45610-4_29
, Algebraic approach to single-pushout graph transformation, Theoretical Computer Science, vol.109, issue.1-2, pp.181-224, 1993.
DOI : 10.1016/0304-3975(93)90068-5
, An algebraic framework for the transformation of attributed graphs, Term Graph Rewriting, pp.185-199, 1993.
, Strategies in Programming Languages Today, Electronic Notes in Theoretical Computer Science, vol.124, issue.2, pp.113-118, 2005.
DOI : 10.1016/j.entcs.2004.11.023
URL : https://doi.org/10.1016/j.entcs.2004.11.023
, Towards a Strategy Language for Maude, Electronic Notes in Theoretical Computer Science, vol.117, pp.417-441, 2005.
DOI : 10.1016/j.entcs.2004.06.020
, A Rewriting Semantics for Maude Strategies, Electronic Notes in Theoretical Computer Science, vol.238, issue.3, pp.227-247, 2008.
DOI : 10.1016/j.entcs.2009.05.022
, Strategic Modelling with Graph Rewriting Tools King's College London The FUJABA environment, Proccedings of International Conference on Software Engineering-ICSE, pp.742-745, 2000.
, Symbolic attributed graphs for attributed graph transformation, pp.1-33, 2010.
DOI : 10.1007/978-3-642-37075-5_8
, Web grammars, Proceedings of the 1st International Joint Conference on Artificial Intelligence, pp.609-620, 1969.
, IBAL: A probabilistic rational programming language, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, pp.733-740, 2001.
, PORGY: A Visual Graph Rewriting Environment for Complex Systems, Computer Graphics Forum, vol.16, issue.6, pp.311265-1274, 2012.
DOI : 10.1109/TVCG.2010.223
URL : https://hal.archives-ouvertes.fr/hal-00682550
, Sequential and Concurrent Abstract Machines for Interaction Nets, Proceedings of Foundations of Software Science and Computation Structures (FOSSACS), pp.267-282, 2000.
DOI : 10.1007/3-540-46432-8_18
, Functional Programming and Parallel Graph Rewriting, 1993.
, A structural approach to operational semantics, Journal of Logic and Algebraic Programming, pp.60-6117, 2004.
, Term graph rewriting Handbook of Graph Grammars and Computing by Graph Transformations The Graph Programming Language GP The design of GP 2, Applications, Languages, and Tools Algebraic Informatics CAI Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming , WRS 2011 of Electronic Proceedings in Theoretical Computer Science, pp.3-61, 1998.
, The Semantics of Graph Programs, Proceedings Tenth International Workshop on Rule-Based Programming, pp.27-38, 2009.
DOI : 10.4204/EPTCS.21.3
, On graph rewritings, Theoretical Computer Science, vol.32, issue.1-2, pp.1-24, 1984.
DOI : 10.1016/0304-3975(84)90021-5
URL : https://doi.org/10.1016/0304-3975(84)90021-5
, The GROOVE Simulator: A??Tool for State Space Generation, Applications of Graph Transformations with Industrial Relevance (AGTIVE), pp.479-485, 2003.
DOI : 10.1007/978-3-540-25959-6_40
, The PRO- GRES Approach: Language and Environment, Handbook of Graph Grammars and Computing by Graph Transformations, pp.479-546, 1997.
, Term Rewriting Systems Loops under strategies ... continued, Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming of Electronic Proceedings in Theoretical Computer Science, pp.51-65, 2003.
, An Algorithm for Subgraph Isomorphism, Journal of the ACM, vol.23, issue.1, pp.31-42, 1976.
DOI : 10.1145/321921.321925
, A Visual Analytics Approach to Compare Propagation Models in Social Networks, Proceedings Graphs as Models of Electronic Proceedings in Theoretical Computer Science, pp.11-12, 2015.
DOI : 10.1109/ICDM.2012.40
URL : https://hal.archives-ouvertes.fr/hal-01150667
, Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5, Proceedings of the International Conference on Rewriting Techniques and Applications (RTA'01), volume 2051 of Lecture Notes in Computer Science, pp.357-361, 2001.
DOI : 10.1007/3-540-45127-7_27
, A survey of strategies in rule-based program transformation systems, Journal of Symbolic Computation, vol.40, issue.1, pp.831-873, 2005.
DOI : 10.1016/j.jsc.2004.12.011
, Mosbie: a tool for comparison and analysis of rule-based biochemical models, BMC Bioinformatics, vol.15, issue.1, 2014.