@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 (ICGT 2016)},
 series       = {LNCS},
 volume       = {9761},
 publisher    = {Springer International Publishing},
 pages        = {73--88},
 doi          = {10.1007/978-3-319-40530-8_5},
)
@article(DBLP:journals/eceasst/BapodraH10,
 author       = {Mayur Bapodra and Reiko Heckel},
 year         = {2010},
 title        = {From Graph Transformations to Differential Equations},
 journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
 volume       = {30},
 doi          = {10.14279/tuj.eceasst.30.431},
)
@inproceedings(nbSqPO2019,
 author       = {Nicolas Behr},
 year         = {2019},
 title        = {{Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework}},
 booktitle    = {{Workshop on Graph Computation (GCM 2019)}},
 series       = {EPTCS},
 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} 2016)},
 publisher    = {{ACM} Press},
 doi          = {10.1145/2933575.2934537},
)
@article(bdg2019,
 author       = {Nicolas Behr and Vincent Danos and Ilias Garnier},
 year         = {2020},
 title        = {{Combinatorial Conversion and Moment Bisimulation for Stochastic Rewriting Systems}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 16, Issue 3}},
 url          = {https://lmcs.episciences.org/6628},
)
@unpublished(behrRaSiR,
 author       = {Nicolas Behr and Jean Krivine},
 year         = {2019},
 title        = {{Compositionality of Rewriting Rules with Conditions}},
 url          = {https://arxiv.org/abs/1904.09322},
)
@inproceedings(bk2020a,
 author       = {Nicolas Behr and Jean Krivine},
 year         = {2020},
 title        = {{Rewriting theory for the life sciences: A unifying framework for CTMC semantics}},
 booktitle    = {Graph Transformation (ICGT 2020)},
 series       = {LNCS},
 volume       = {12150},
 publisher    = {Springer International Publishing},
 pages        = {185--202},
 doi          = {10.1007/978-3-030-51372-6_11},
)
@inproceedings(bp2018,
 author       = {Nicolas Behr and Pawel Sobocinski},
 year         = {2018},
 title        = {{Rule Algebras for Adhesive Categories}},
 booktitle    = {27th EACSL Annual Conference on Computer Science Logic (CSL 2018)},
 series       = {LIPIcs},
 volume       = {119},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
 pages        = {11:1--11:21},
 doi          = {10.4230/LIPIcs.CSL.2018.11},
)
@article(bp2020,
 author       = {Nicolas Behr and Pawel Sobocinski},
 year         = {2020},
 title        = {{Rule Algebras for Adhesive Categories}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 16, Issue 3}},
 url          = {https://lmcs.episciences.org/6615},
)
@article(Benk2003,
 author       = {Gil Benk\"{o} and Christoph Flamm and Peter F. Stadler},
 year         = {2003},
 title        = {{A Graph-Based Toy Model of Chemistry}},
 journal      = {J. Chem. Inf. Comput. Sci.},
 volume       = {43},
 number       = {4},
 pages        = {1085--1093},
 doi          = {10.1021/ci0200570},
)
@incollection(Bjrner2019,
 author       = {Bj{\o}rner, Nikolaj and Leonardo de Moura and Lev Nachmanson and Christoph M. Wintersteiger},
 year         = {2019},
 title        = {Programming Z3},
 booktitle    = {Engineering Trustworthy Software Systems},
 publisher    = {Springer International Publishing},
 pages        = {148--201},
 doi          = {10.1007/978-3-030-17601-3_4},
)
@article(Boutillier:2018aa,
 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},
)
@misc(Grez2015,
 author       = {Harrie Jan Sander Bruggink},
 year         = {2015},
 title        = {Grez user manual},
 url          = {http://www.ti.inf.uni-due.de/research/tools/grez/},
)
@inproceedings(Corradini2006,
 author       = {Andrea Corradini and Tobias Heindel and Frank Hermann and Barbara K{\"o}nig},
 year         = {2006},
 title        = {{Sesqui-Pushout Rewriting}},
 booktitle    = {Graph Transformations (ICGT 2006)},
 series       = {LNCS},
 volume       = {4178},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {30--45},
 doi          = {10.1007/11841883_4},
)
@inproceedings(DBLP:conf/gg/Corradini0N17,
 author       = {Andrea Corradini and Barbara K{\"{o}}nig and Dennis Nolte},
 year         = {2017},
 title        = {Specifying Graph Languages with Type Graphs},
 booktitle    = {Graph Transformation ({ICGT} 2017)},
 series       = {LNCS},
 volume       = {10373},
 publisher    = {Springer International Publishing},
 pages        = {73--89},
 doi          = {10.1007/978-3-319-61470-0\_5},
)
@article(Corradini2019specifying,
 author       = {Andrea Corradini and Barbara K{\"o}nig and Dennis Nolte},
 year         = {2019},
 title        = {Specifying graph languages with type graphs},
 journal      = {J. Log. Algebr. Methods Program.},
 volume       = {104},
 pages        = {176--200},
 doi          = {10.1016/j.jlamp.2019.01.005},
)
@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}},
 booktitle    = {Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012)},
 series       = {LIPIcs},
 volume       = {18},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
 pages        = {276--288},
 doi          = {10.4230/LIPIcs.FSTTCS.2012.276},
)
@inproceedings(DanosFFHK08,
 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}},
 booktitle    = {Formal Methods in Systems Biology ({FMSB} 2008)},
 series       = {LNCS},
 volume       = {5054},
 publisher    = {Springer},
 pages        = {103--122},
 doi          = {10.1007/978-3-540-68413-8\_8},
)
@incollection(Danos2014,
 author       = {Vincent Danos and Reiko Heckel and Pawel Sobocinski},
 year         = {2014},
 title        = {{Transformation and Refinement of Rigid Structures}},
 booktitle    = {Graph Transformation (ICGT 2014)},
 series       = {LNCS},
 volume       = {8571},
 publisher    = {Springer International Publishing},
 pages        = {146--160},
 doi          = {10.1007/978-3-319-09108-2_10},
)
@article(danos2004formal,
 author       = {Vincent Danos and Cosimo Laneve},
 year         = {2004},
 title        = {Formal molecular biology},
 journal      = {TCS},
 volume       = {325},
 number       = {1},
 pages        = {69--110},
 doi          = {10.1016/j.tcs.2004.03.065},
)
@book(danos2004computational,
 editor       = {Vincent Danos and Vincent Schachter},
 year         = {2004},
 title        = {{Computational Methods in Systems Biology (CMSB 2004)}},
 series       = {LNCS},
 volume       = {3082},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/b107287},
)
@article(DBLP:journals/fuin/EhrigGHLO12,
 author       = {Hartmut Ehrig and Ulrike Golas and Annegret Habel and Leen Lambers and Fernando Orejas},
 year         = {2012},
 title        = {{$\mathcal{M}$}-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence},
 journal      = {Fundam. Inform.},
 volume       = {118},
 number       = {1-2},
 pages        = {35--63},
 doi          = {10.3233/FI-2012-705},
)
@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      = {Math. Struct. Comput. Sci.},
 volume       = {24},
 number       = {04},
 doi          = {10.1017/s0960129512000357},
)
@inproceedings(ermler2011graph,
 author       = {Marcus Ermler and Hans-J{\"o}rg Kreowski and Sabine Kuske and Caroline von Totth},
 year         = {2011},
 title        = {{From Graph Transformation Units via MiniSat to GrGen.NET}},
 booktitle    = {International Symposium on Applications of Graph Transformations with Industrial Relevance},
 series       = {LNCS},
 volume       = {7233},
 publisher    = {Springer, Berlin, Heidelberg},
 pages        = {153--168},
 doi          = {10.1007/978-3-642-34176-2_14},
)
@book(10.5555/1506267,
 author       = {Philippe Flajolet and Robert Sedgewick},
 year         = {2009},
 title        = {Analytic Combinatorics},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511801655},
)
@article(gabriel2014,
 author       = {Karsten Gabriel and Benjamin Braatz and Hartmut Ehrig and Ulrike Golas},
 year         = {2014},
 title        = {Finitary $\mathcal{M}$-adhesive categories},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {24},
 number       = {04},
 doi          = {10.1017/S0960129512000321},
)
@article(habel2009correctness,
 author       = {Annegret Habel and Karl-Heinz Pennemann},
 year         = {2009},
 title        = {Correctness of high-level transformation systems relative to nested conditions},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {19},
 number       = {02},
 pages        = {245--296},
 doi          = {10.1017/s0960129508007202},
)
@article(Harmer2010,
 author       = {Russ Harmer and Vincent Danos and J{\'{e}}r{\^{o}}me Feret and Jean Krivine and Walter Fontana},
 year         = {2010},
 title        = {Intrinsic information carriers in combinatorial dynamical systems},
 journal      = {Chaos: An Interdisciplinary Journal of Nonlinear Science},
 volume       = {20},
 number       = {3},
 pages        = {037108},
 doi          = {10.1063/1.3491100},
)
@article(DBLP:journals/mscs/HeckelCEL96,
 author       = {Reiko Heckel and Andrea Corradini and Hartmut Ehrig and Michael L{\"{o}}we},
 year         = {1996},
 title        = {Horizontal and Vertical Structuring of Typed Graph Transformation Systems},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {6},
 number       = {6},
 pages        = {613--648},
 doi          = {10.1017/S0960129500070110},
)
@inproceedings(HeckelKT02,
 author       = {Reiko Heckel and Jochen Malte K{\"{u}}ster and Gabriele Taentzer},
 year         = {2002},
 title        = {{Confluence of Typed Attributed Graph Transformation Systems}},
 booktitle    = {Graph Transformation (ICGT 2002)},
 series       = {LNCS},
 volume       = {2505},
 publisher    = {Springer},
 pages        = {161--176},
 doi          = {10.1007/3-540-45832-8\_14},
)
@inproceedings(DBLP:journals/corr/abs-1912-09607,
 author       = {Reiko Heckel and Leen Lambers and Maryam Ghaffari Saadat},
 year         = {2019},
 title        = {{Analysis of Graph Transformation Systems: Native vs Translation-based Techniques}},
 booktitle    = {{Workshop on Graph Computation (GCM 2019)}},
 series       = {{EPTCS}},
 volume       = {309},
 publisher    = {Open Publishing Association},
 pages        = {1--22},
 doi          = {10.4204/EPTCS.309.1},
)
@inproceedings(IsenbergSW13,
 author       = {Tobias Isenberg and Dominik Steenken and Heike Wehrheim},
 year         = {2013},
 title        = {Bounded Model Checking of Graph Transformation Systems via {SMT} Solving},
 booktitle    = {Formal Techniques for Distributed Systems ({FMOODS/FORTE} 2013)},
 series       = {LNCS},
 volume       = {7892},
 publisher    = {Springer, Berlin, Heidelberg},
 pages        = {178--192},
 doi          = {10.1007/978-3-642-38592-6\_13},
)
@inproceedings(Kreowski2010,
 author       = {Hans-J{\"o}rg Kreowski and Sabine Kuske and Robert Wille},
 year         = {2010},
 title        = {Graph transformation units guided by a SAT solver},
 booktitle    = {Graph Transformations (ICGT 2010)},
 series       = {LNCS},
 volume       = {6372},
 organization = {Springer, Berlin, Heidelberg},
 pages        = {27--42},
 doi          = {10.1007/978-3-642-15928-2_3},
)
@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},
)
@inproceedings(DBLP:conf/icse/Lambers0TBH18,
 author       = {Leen Lambers and Daniel Str{\"{u}}ber and Gabriele Taentzer and Kristopher Born and Jevgenij Huebert},
 year         = {2018},
 title        = {Multi-granular conflict and dependency analysis in software engineering based on graph transformation},
 booktitle    = {International Conference on Software Engineering ({ICSE} 2018)},
 publisher    = {{ACM}},
 pages        = {716--727},
 doi          = {10.1145/3180155.3180258},
)
@article(DBLP:journals/entcs/LevendovszkyPE07,
 author       = {Tihamer Levendovszky and Ulrike Prange and Hartmut Ehrig},
 year         = {2007},
 title        = {Termination Criteria for {DPO} Transformations with Injective Matches},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {175},
 number       = {4},
 pages        = {87--100},
 doi          = {10.1016/j.entcs.2007.04.019},
)
@incollection(deMoura2008,
 author       = {Leonardo de Moura and Bj{\o}rner, Nikolaj},
 year         = {2008},
 title        = {{Z3: An Efficient {SMT} Solver}},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {337--340},
 doi          = {10.1007/978-3-540-78800-3_24},
)
@inproceedings(NassarKAT19,
 author       = {Nebras Nassar and Jens Kosiol and Thorsten Arendt and Gabriele Taentzer},
 year         = {2019},
 title        = {{Constructing Optimized Validity-Preserving Application Conditions for Graph Transformation Rules}},
 booktitle    = {Graph Transformation ({ICGT} 2019)},
 series       = {LNCS},
 volume       = {11629},
 publisher    = {Springer},
 pages        = {177--194},
 doi          = {10.1007/978-3-030-23611-3\_11},
)
@inproceedings(DBLP:conf/gg/RangelLKEB08,
 author       = {Guilherme Rangel and Leen Lambers and Barbara K{\"{o}}nig and Hartmut Ehrig and Paolo Baldan},
 year         = {2008},
 title        = {{Behavior Preservation in Model Refactoring Using {DPO} Transformations with Borrowed Contexts}},
 booktitle    = {Graph Transformations ({ICGT} 2008)},
 series       = {LNCS},
 volume       = {5214},
 publisher    = {Springer},
 pages        = {242--256},
 doi          = {10.1007/978-3-540-87405-8\_17},
)
@phdthesis(Steenken2015,
 author       = {Dominik Steenken},
 year         = {2015},
 title        = {Verification of infinite-state graph transformation systems via abstraction.},
 school       = {University of Paderborn},
 url          = {https://digital.ub.uni-paderborn.de/ubpb/urn/urn:nbn:de:hbz:466:2-15768},
)
@inproceedings(Steenken2011,
 author       = {Dominik Steenken and Heike Wehrheim and Daniel Wonisch},
 year         = {2011},
 title        = {Sound and complete abstract graph transformation},
 booktitle    = {Brazilian Symposium on Formal Methods},
 organization = {Springer},
 pages        = {92--107},
 doi          = {10.1007/978-3-642-25032-3_7},
)