@article(Andersen2013,
 author       = {Jakob L Andersen and Christoph Flamm and Daniel Merkle and Peter F Stadler},
 year         = {2013},
 title        = {Inferring chemical reaction patterns using rule composition in graph grammars},
 journal      = {Journal of Systems Chemistry},
 volume       = {4},
 number       = {1},
 pages        = {4},
 doi          = {10.1186/1759-2208-4-4},
)
@incollection(Andersen2016,
 author       = {Jakob L. Andersen and Christoph Flamm and Daniel Merkle and Peter F. Stadler},
 year         = {2016},
 title        = {{A Software Package for Chemically Inspired Graph Transformation}},
 booktitle    = {Graph Transformation},
 publisher    = {Springer International Publishing},
 pages        = {73--88},
 doi          = {10.1007/978-3-319-40530-8_5},
)
@article(Andersen2019,
 author       = {Jakob L. Andersen and Christoph Flamm and Daniel Merkle and Peter F. Stadler},
 year         = {2019},
 title        = {{Chemical Transformation Motifs --- Modelling Pathways as Integer Hyperflows}},
 journal      = {{IEEE}/{ACM} Transactions on Computational Biology and Bioinformatics},
 volume       = {16},
 number       = {2},
 pages        = {510--523},
 doi          = {10.1109/tcbb.2017.2781724},
)
@article(andersen2018towards,
 author       = {Jakob Lykke Andersen and Rolf Fagerberg and Christoph Flamm and Rojin Kianian and Daniel Merkle and Peter F Stadler},
 year         = {2018},
 title        = {Towards mechanistic prediction of mass spectra using graph transformation},
 journal      = {MATCH Commun. Math. Comput. Chem},
 volume       = {80},
 pages        = {705--731},
)
@incollection(Andersen2014,
 author       = {Jakob Lykke Andersen and Christoph Flamm and Daniel Merkle and Peter F. Stadler},
 year         = {2014},
 title        = {{50 Shades of Rule Composition}},
 booktitle    = {Formal Methods in Macro-Biology},
 publisher    = {Springer International Publishing},
 pages        = {117--135},
 doi          = {10.1007/978-3-319-10398-3_9},
)
@article(andersen2018rule,
 author       = {Jakob Lykke Andersen and Christoph Flamm and Daniel Merkle and Peter F Stadler},
 year         = {2018},
 title        = {Rule composition in graph transformation models of chemical reactions},
 journal      = {MATCH Commun. Math. Comput. Chem},
 volume       = {80},
 number       = {661-704},
 pages        = {45},
)
@article(baldan2000modelling,
 author       = {Paolo Baldan},
 year         = {2000},
 title        = {{Modelling Concurrent Computations: from Contextual Petri Nets to Graph Grammars}},
 journal      = {PhD thesis, University of Pisa},
)
@article(Baldan2006aa,
 author       = {Paolo Baldan and Andrea Corradini and Tobias Heindel and Barbara K{\"o}nig and Pawe{\l} Soboci{\'n}ski},
 year         = {2006},
 title        = {{Processes for Adhesive Rewriting Systems}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {202--216},
 doi          = {10.1007/11690634_14},
)
@article(Baldan2009aa,
 author       = {Paolo Baldan and Andrea Corradini and Tobias Heindel and Barbara K{\"o}nig and Pawe{\l} Soboci{\'n}ski},
 year         = {2009},
 title        = {{Unfolding Grammars in Adhesive Categories}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {350--366},
 doi          = {10.1007/978-3-642-03741-2_24},
)
@article(BALDAN2014,
 author       = {Paolo Baldan and Andrea Corradini and Tobias Heindel and Barbara K{\"o}nig and Pawe{\l} Soboci{\'n}ski},
 year         = {2014},
 title        = {{Processes and unfoldings: concurrent computations in adhesive categories}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {24},
 number       = {04},
 doi          = {10.1017/s096012951200031x},
)
@article(Baldan1998aa,
 author       = {Paolo Baldan and Andrea Corradini and Ugo Montanari},
 year         = {1998},
 title        = {{Concatenable graph processes: Relating processes and derivation traces}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {283--295},
 doi          = {10.1007/bfb0055061},
)
@incollection(Baldan2000,
 author       = {Paolo Baldan and Andrea Corradini and Ugo Montanari},
 year         = {2000},
 title        = {{Unfolding of Double-Pushout Graph Grammars is a Coreflection}},
 booktitle    = {Theory and Application of Graph Transformations},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {145--163},
 doi          = {10.1007/978-3-540-46464-8_11},
)
@article(Baldan2007aa,
 author       = {Paolo Baldan and Andrea Corradini and Ugo Montanari and Leila Ribeiro},
 year         = {2007},
 title        = {Unfolding semantics of graph transformation},
 journal      = {Information and Computation},
 volume       = {205},
 number       = {5},
 pages        = {733--782},
 doi          = {10.1016/j.ic.2006.11.004},
)
@article(BALDAN1999aa,
 author       = {Paolo Baldan and Andrea Corradini and Ugo Montanari and Francesca Rossi and Hartmut Ehrig and Michael L\"{o}we},
 year         = {1999},
 title        = {{Concurrent Semantics of Algebraic Graph Transformations}},
 journal      = {Handbook of Graph Grammars and Computing by Graph Transformation},
 pages        = {107--187},
 doi          = {10.1142/9789812814951_0003},
)
@article(banzhafetalDR20154968,
 author       = {Wolfgang Banzhaf and Christoph Flamm and Daniel Merkle and Peter F. Stadler},
 year         = {2015},
 title        = {{Algorithmic Cheminformatics (Dagstuhl Seminar 14452)}},
 journal      = {Dagstuhl Reports},
 volume       = {4},
 number       = {11},
 pages        = {22--39},
 doi          = {10.4230/DagRep.4.11.22},
)
@inproceedings(nbSqPO2019,
 author       = {Nicolas Behr},
 year         = {2019},
 title        = {{Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework}},
 editor       = {Rachid Echahed and Detlef Plump},
 booktitle    = {{Proceedings of theTenth International Workshop on Graph Computation Models (\href{http://gcm2019.imag.fr}{GCM 2019}) in Eindhoven, The Netherlands}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {309},
 publisher    = {Open Publishing Association},
 pages        = {23--52},
 doi          = {10.4204/eptcs.309.2},
)
@inproceedings(bdg2016,
 author       = {Nicolas Behr and Vincent Danos and Ilias Garnier},
 year         = {2016},
 title        = {Stochastic mechanics of graph rewriting},
 booktitle    = {Proceedings of the 31st Annual {ACM}/{IEEE} Symposium on Logic in Computer Science - {LICS} '16},
 publisher    = {{ACM} Press},
 doi          = {10.1145/2933575.2934537},
)
@article(bk2019a,
 author       = {Nicolas Behr and Jean Krivine},
 year         = {2019},
 title        = {{Compositionality of Rewriting Rules with Conditions}},
 journal      = {arXiv preprint \href{https://arxiv.org/abs/1904.09322}{1904.09322}},
)
@inproceedings(bp2018,
 author       = {Nicolas Behr and Pawel Sobocinski},
 year         = {2018},
 title        = {{Rule Algebras for Adhesive Categories}},
 editor       = {Dan Ghica and Achim Jung},
 booktitle    = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {119},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {11:1--11:21},
 doi          = {10.4230/LIPIcs.CSL.2018.11},
)
@article(Benk2003,
 author       = {Gil Benk\"{o} and Christoph Flamm and Peter F. Stadler},
 year         = {2003},
 title        = {{A Graph-Based Toy Model of Chemistry}},
 journal      = {Journal of Chemical Information and Computer Sciences},
 volume       = {43},
 number       = {4},
 pages        = {1085--1093},
 doi          = {10.1021/ci0200570},
)
@article(Blinov2004aa,
 author       = {M. L. Blinov and J. R. Faeder and B. Goldstein and W. S. Hlavacek},
 year         = {2004},
 title        = {{BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains}},
 journal      = {Bioinformatics},
 volume       = {20},
 number       = {17},
 pages        = {3289--3291},
 doi          = {10.1093/bioinformatics/bth378},
)
@article(Boehm1987aa,
 author       = {Paul Boehm and Harald-Reto Fonio and Annegret Habel},
 year         = {1987},
 title        = {{Amalgamation of graph transformations: A synchronization mechanism}},
 journal      = {Journal of Computer and System Sciences},
 volume       = {34},
 number       = {2-3},
 pages        = {377--408},
 doi          = {10.1016/0022-0000(87)90030-4},
)
@article(Boutillier2018aa,
 author       = {Pierre Boutillier and Mutaamba Maasha and Xing Li and Medina-Abarca, H{\'{e}}ctor F and Jean Krivine and J{\'{e}}r{\^{o}}me Feret and Ioana Cristescu and Angus G Forbes and Walter Fontana},
 year         = {2018},
 title        = {The Kappa platform for rule-based modeling},
 journal      = {Bioinformatics},
 volume       = {34},
 number       = {13},
 pages        = {i583--i592},
 doi          = {10.1093/bioinformatics/bty272},
)
@article(Braatz2010aa,
 author       = {Benjamin Braatz and Hartmut Ehrig and Karsten Gabriel and Ulrike Golas},
 year         = {2010},
 title        = {{Finitary $\mathcal{M}$ -Adhesive Categories}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {234--249},
 doi          = {10.1007/978-3-642-15928-2_16},
)
@incollection(Corradini1994,
 author       = {A. Corradini and H. Ehrig and M. L\"{o}we and U. Montanari and F. Rossi},
 year         = {1994},
 title        = {Abstract graph derivations in the double pushout approach},
 booktitle    = {Graph Transformations in Computer Science},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {86--103},
 doi          = {10.1007/3-540-57787-4_6},
)
@incollection(Corradini2006,
 author       = {Andrea Corradini and Tobias Heindel and Frank Hermann and Barbara K\"{o}nig},
 year         = {2006},
 title        = {{Sesqui-Pushout Rewriting}},
 booktitle    = {Lecture Notes in Computer Science},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {30--45},
 doi          = {10.1007/11841883_4},
)
@inproceedings(danos2012graphs,
 author       = {Vincent Danos and Jerome Feret and Walter Fontana and Russell Harmer and Jonathan Hayman and Jean Krivine and Thompson-Walsh, Chris and Glynn Winskel},
 year         = {2012},
 title        = {{Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models}},
 editor       = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan},
 booktitle    = {IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {18},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {276--288},
 doi          = {10.4230/LIPIcs.FSTTCS.2012.276},
)
@article(Danosab,
 author       = {Vincent Danos and J\'{e}r\^{o}me Feret and Walter Fontana and Russell Harmer and Jean Krivine},
 year         = {2007},
 title        = {{Rule-Based Modelling of Cellular Signalling}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {17--41},
 doi          = {10.1007/978-3-540-74407-8_3},
)
@inproceedings(danos2008rule,
 author       = {Vincent Danos and J{\'e}r{\^o}me Feret and Walter Fontana and Russell Harmer and Jean Krivine},
 year         = {2008},
 title        = {Rule-Based Modelling, Symmetries, Refinements},
 editor       = {Jasmin Fisher},
 booktitle    = {Formal Methods in Systems Biology},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {103--122},
 doi          = {10.1007/978-3-540-68413-8_8},
)
@inproceedings(danos2010abstracting,
 author       = {Vincent Danos and J{\'e}r{\^o}me Feret and Walter Fontana and Russell Harmer and Jean Krivine},
 year         = {2010},
 title        = {Abstracting the differential semantics of rule-based models: exact and automated model reduction},
 booktitle    = {25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010)},
 organization = {IEEE},
 pages        = {362--381},
 doi          = {10.1109/LICS.2010.44},
)
@article(Danosaa,
 author       = {Vincent Danos and J\'{e}r\^{o}me Feret and Walter Fontana and Jean Krivine},
 year         = {2007},
 title        = {{Scalable Simulation of Cellular Signaling Networks}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {139--157},
 doi          = {10.1007/978-3-540-76637-7_10},
)
@article(Danosac,
 author       = {Vincent Danos and J{\'{e}}r{\^{o}}me Feret and Walter Fontana and Jean Krivine},
 year         = {2008},
 title        = {{Abstract Interpretation of Cellular Signalling Networks}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {83--97},
 doi          = {10.1007/978-3-540-78163-9_11},
)
@article(Danos2003ab,
 author       = {Vincent Danos and Cosimo Laneve},
 year         = {2003},
 title        = {{Core Formal Molecular Biology}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {302--318},
 doi          = {10.1007/3-540-36575-3_21},
)
@article(Danos2003aa,
 author       = {Vincent Danos and Cosimo Laneve},
 year         = {2003},
 title        = {{Graphs for Core Molecular Biology}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {34--46},
 doi          = {10.1007/3-540-36481-1_4},
)
@article(Danos2004aa,
 author       = {Vincent Danos and Cosimo Laneve},
 year         = {2004},
 title        = {Formal molecular biology},
 journal      = {Theoretical Computer Science},
 volume       = {325},
 number       = {1},
 pages        = {69--110},
 doi          = {10.1016/j.tcs.2004.03.065},
)
@article(ehrig2006fund,
 author       = {H. Ehrig and K. Ehrig and U. Prange and G. Taentzer},
 year         = {2006},
 title        = {{Fundamentals of Algebraic Graph Transformation}},
 journal      = {Monographs in Theoretical Computer Science (An EATCS Series)},
 doi          = {10.1007/3-540-31188-2},
)
@book(ehrig1999handbook,
 author       = {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 Transformation}},
 volume       = {1-3},
 publisher    = {world Scientific},
 doi          = {10.1142/3303},
)
@article(ehrig2014mathcal,
 author       = {Hartmut Ehrig and Ulrike Golas and Annegret Habel and Leen Lambers and Fernando Orejas},
 year         = {2014},
 title        = {{$\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {24},
 number       = {04},
 doi          = {10.1017/s0960129512000357},
)
@article(Fagerberg2018,
 author       = {Rolf Fagerberg and Christoph Flamm and Rojin Kianian and Daniel Merkle and Peter F. Stadler},
 year         = {2018},
 title        = {{Finding the K best synthesis plans}},
 journal      = {Journal of Cheminformatics},
 volume       = {10},
 number       = {1},
 doi          = {10.1186/s13321-018-0273-z},
)
@article(Golas2010aa,
 author       = {Ulrike Golas and Hartmut Ehrig and Annegret Habel},
 year         = {2010},
 title        = {{Multi-Amalgamation in Adhesive Categories}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {346--361},
 doi          = {10.1007/978-3-642-15928-2_23},
)
@article(GOLAS2014,
 author       = {Ulrike Golas and Annegret Habel and Hartmut Ehrig},
 year         = {2014},
 title        = {{Multi-amalgamation of rules with application conditions in $\mathcal{M}$-adhesive categories}},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {24},
 number       = {04},
 doi          = {10.1017/s0960129512000345},
)
@article(habel2009correctness,
 author       = {Annegret Habel and Karl-Heinz Pennemann},
 year         = {2009},
 title        = {Correctness of high-level transformation systems relative to nested conditions},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {19},
 number       = {02},
 pages        = {245},
 doi          = {10.1017/s0960129508007202},
)
@article(Harris2016aa,
 author       = {Leonard A. Harris and Justin S. Hogg and Jos{\'e}-Juan Tapia and John A. P. Sekar and Sanjana Gupta and Ilya Korsunsky and Arshi Arora and Dipak Barua and Robert P. Sheehan and James R. Faeder},
 year         = {2016},
 title        = {{BioNetGen 2.2: advances in rule-based modeling}},
 journal      = {Bioinformatics},
 volume       = {32},
 number       = {21},
 pages        = {3366--3368},
 doi          = {10.1093/bioinformatics/btw469},
)
@incollection(Kreowski1987,
 author       = {Hans-J\"{o}rg Kreowski},
 year         = {1987},
 title        = {{Is parallelism already concurrency? Part 1: Derivations in graph grammars}},
 booktitle    = {Lecture Notes in Computer Science},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {343--360},
 doi          = {10.1007/3-540-18771-5_63},
)
@article(lack2005adhesive,
 author       = {Stephen Lack and Pawe{\l} Soboci{\'{n}}ski},
 year         = {2005},
 title        = {{Adhesive and quasiadhesive categories}},
 journal      = {{RAIRO} - Theoretical Informatics and Applications},
 volume       = {39},
 number       = {3},
 pages        = {511--545},
 doi          = {10.1051/ita:2005028},
)
@article(Pennemannaa,
 author       = {Karl-Heinz Pennemann},
 year         = {2008},
 title        = {{Resolution-Like Theorem Proving for High-Level Conditions}},
 journal      = {Lecture Notes in Computer Science},
 pages        = {289--304},
 doi          = {10.1007/978-3-540-87405-8_20},
)
@book(DBLPconf/gg/1997handbook,
 author       = {Grzegorz Rozenberg},
 year         = {1997},
 title        = {{Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}},
 publisher    = {World Scientific},
 doi          = {10.1142/9789812384720},
)