) @unknown(AndreiO:icgt, author = "O. Andrei and M. Fern\'{a}ndez and H. Kirchner and G. Melan{\c c}on and O. Namet and B. Pinaud", year = "2010", title = "PORGY: Strategy Driven Interactive Visulation and Transformation of Graphs", journal = "Submitted. Available at \url {http://www.oliviernamet.co.uk/Publications.html}", ) @unknown(AndreiK07a, author = "Oana Andrei and H{\'e}l{\`e}ne Kirchner", year = "2008", title = "{A Rewriting Calculus for Multigraphs with Ports.}", booktitle = "Proceedings of RULE'07", series = "Electronic Notes in Theoretical Computer Science", volume = "219", pages = "67--82", ) @unknown(AndreiK08c, author = "Oana Andrei and H{\'e}l{\`e}ne Kirchner", year = "2009", title = "{A Higher-Order Graph Calculus for Autonomic Computing}", editor = "M. {and al.} Lipshteyn", booktitle = "{Graph Theory, Computational Intelligence and Thought. Golumbic Festschrift}", series = "Lecture Notes in Computer Science", volume = "5420", publisher = "Springer", pages = "15--26", ) @unknown(Nipkow:terraa, author = "Franz Baader and Tobias Nipkow", year = "1998", title = "Term rewriting and all that", publisher = "Cambridge University Press", address = "Great Britain", ) @unknown(BalasubramanianNBK06, author = "Daniel Balasubramanian and Anantha Narayanan and Christopher P. van Buskirk and Gabor Karsai", year = "2006", title = "{The Graph Rewriting and Transformation Language: GReAT}", journal = "{ECEASST}", volume = "1", ) @unknown(TOM-RTA07, author = "Emilie Balland and Paul Brauner and Radu Kopetz and Pierre-Etienne Moreau and Antoine Reilles", year = "2007", title = "{Tom: Piggybacking Rewriting on Java.}", editor = "Franz Baader", booktitle = "{RTA}", series = "LNCS", volume = "4533", publisher = "Springer", pages = "36--47", ) @unknown(BarendregtHP:tergr, author = "H.P. Barendregt and M.C.J.D. van Eekelen and J.R.W. Glauert and J. R. Kennaway and M.J. Plasmeijer and M.R. Sleep", year = "1987", title = "Term graph rewriting", booktitle = "Proceedings of PARLE, Parallel Architectures and Languages Europe", number = "259-II", series = "LNCS", publisher = "Springer-Verlag", address = "Eindhoven, The Netherlands", pages = "141--158", ) @unknown(Barthelmann96howto, author = "Klaus Barthelmann", year = "1996", title = "How To Construct A Hyperedge Replacement System For A Context-Free Set Of Hypergraphs", type = "Technical Report", institution = "Universit{\"a}t Mainz, Institut f{\"u}r Informatik", ) @unknown(elan1, author = "{P}eter {B}orovansky and {C}laude {K}irchner and {H}{\'e}l{\`e}ne {K}irchner and {P}ierre-{E}tienne {M}oreau and {C}hristophe {R}ingeissen", year = "1998", title = "{A}n {O}verview of {ELAN}", editor = "{H}\'el\`ene {K}irchner, {C}laude \& {K}irchner", booktitle = "{S}econd {W}orkshop on {R}ewriting {L}ogic and its {A}pplications - {WRLA}'98 {E}lectronic {N}otes in {T}heoretical {C}omputer {S}cience", series = "{E}lectronic {N}otes in {T}heoretical {C}omputer {S}cience", volume = "15", publisher = "{E}lsevier {S}cience {B}. {V}.", address = "{P}ont-{\`a}-{M}ousson, {F}rance", pages = "16 p", url = "http://hal.inria.fr/inria-00098518/en/", ) @unknown(BorovanskyKKMR98, author = "Peter Borovansk{\'y} and Claude Kirchner and H{\'e}l{\`e}ne Kirchner and Pierre-Etienne Moreau and Christophe Ringeissen", year = "1998", title = "{An overview of ELAN}", journal = "{ENTCS}", volume = "15", ) @unknown(Courcelle90, author = "Bruno Courcelle", year = "1990", title = "{Graph Rewriting: An Algebraic and Logic Approach}", editor = "J. van Leeuwen", booktitle = "{Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics}", publisher = "Elsevier Science Publishers and MIT Press", pages = "193--242", ) @unknown(1997handbook2, editor = "Hartmut Ehrig and Gregor Engels and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg", year = "1997", title = "{Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages, and Tools}", publisher = "{World Scientific}", ) @unknown(1997handbook3, editor = "Hartmut Ehrig and Hans-J{\"o}rg Kreowski and Ugo Montanari and Grzegorz Rozenberg", year = "1997", title = "{Handbook of Graph Grammars and Computing by Graph Transformations, Volume 3: Concurrency, Parallelism, and Distribution}", publisher = "{World Scientific}", ) @unknown(ErmelRT97, author = "Claudia Ermel and Michael Rudolf and Gabriele Taentzer", year = "1997", title = "The {AGG} Approach: Language and Environment", booktitle = "\cite {1997handbook2}", pages = "551--603", ) @unknown(FN10, author = "M. Fern\'andez and H. Kirchner and O. Namet", year = "2010", title = "A strategy language for graph rewriting", note = "Available from \url {http://www.oliviernamet.co.uk/Publications.html}", ) @unknown(FernandezM:calin, author = "Maribel Fern{\'a}ndez and Ian Mackie", year = "1999", title = "A Calculus for Interaction Nets", booktitle = "Proceedings of PPDP'99, Paris", number = "1702", series = "Lecture Notes in Computer Science", publisher = "Springer", ) @unknown(GeissBGHS06, author = "Rubino Gei{\ss } and Gernot Veit Batz and Daniel Grund and Sebastian Hack and Adam Szalkowski", year = "{2006}", title = "{GrGen: A Fast SPO-Based Graph Rewriting Tool}", editor = "Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg", booktitle = "{ICGT}", series = "LNCS", volume = "4178", publisher = "Springer", pages = "383--397", ) @unknown(GonthierG:geoolr, author = "Georges Gonthier and Mart{\'\i }n Abadi and Jean-Jacques L{\'e}vy", year = "1992", title = "The Geometry of Optimal Lambda Reduction", booktitle = "Proceedings of the 19th {ACM} Symposium on Principles of Programming Languages (POPL'92)", publisher = "ACM Press", pages = "15--26", ) @unknown(LafontY:intn, author = "Yves Lafont", year = "1990", title = "Interaction Nets", booktitle = "Proceedings of the 17th {ACM} Symposium on Principles of Programming Languages ({POPL}'90)", publisher = "ACM Press", pages = "95--108", ) @unknown(MackieIC:hab, author = "Ian Mackie", year = "2001", note = "Habilitation {\`a} diriger des recherches en informatique, Universit{\'e} de Paris 7", ) @unknown(MackieIC:efflei, author = "Ian Mackie", year = "2004", title = "Efficient $\lambda $-evaluation with interaction nets", editor = "V. van Oostrom", booktitle = "Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA'04)", series = "Lecture Notes in Computer Science", volume = "3091", publisher = "Springer-Verlag", pages = "155--169", ) @unknown(Mccarthy63abasis, author = "John Mccarthy", year = "1963", title = "A Basis for a Mathematical Theory of Computation", booktitle = "Computer Programming and Formal Systems", publisher = "North-Holland", pages = "33--70", ) @unknown(NickelNZ00, author = "Ulrich Nickel and J{\"o}rg Niere and Albert Z{\"u}ndorf", year = "2000", title = "{The FUJABA environment}", booktitle = "{ICSE}", pages = "742--745", ) @unknown(Plump98termgraph, author = "Detlef Plump", year = "1998", title = "Term Graph Rewriting", howpublished = "Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools, Chapter 1, pages 3-61, eds. H. Ehrig, G. Engels, H.-J. Kreowski and G. Rozenberg. World Scientific", ) @unknown(Plump09, author = "Detlef Plump", year = "2009", title = "{The Graph Programming Language GP}", editor = "Symeon Bozapalidis and George Rahonis", booktitle = "{CAI}", series = "LNCS", volume = "5725", publisher = "Springer", pages = "99--122", ) @unknown(Rensink03, author = "Arend Rensink", year = "2003", title = "{The GROOVE Simulator: A Tool for State Space Generation}", editor = "John L. Pfaltz and Manfred Nagl and Boris B{\"o}hlen", booktitle = "{AGTIVE}", series = "LNCS", volume = "3062", publisher = "Springer", pages = "479--485", ) @unknown(1997handbook1, editor = "Grzegorz Rozenberg", year = "1997", title = "{Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}", publisher = "{World Scientific}", ) @unknown(Schurr97b, author = "Andy Sch{\"u}rr and Andreas J. Winter and Albert Z{\"u}ndorf", year = "1997", title = "{The PROGRES Approach: Language and Environment.}", booktitle = "\cite {1997handbook2}", pages = "479--546", ) @unknown(Vis01.rta, author = "Eelco Visser", year = "2001", title = "Stratego: {A} Language for Program Transformation based on Rewriting Strategies. {S}ystem Description of {Stratego} 0.5", editor = "A. Middeldorp", booktitle = "Rewriting Techniques and Applications (RTA'01)", series = "Lecture Notes in Computer Science", volume = "2051", publisher = "Springer-Verlag", pages = "357--361", )