@article(Accattoli15,
 author       = {Beniamino Accattoli},
 year         = {2015},
 title        = {Proof nets and the call-by-value {$\lambda$}-calculus},
 journal      = {Theor. Comput. Sci.},
 volume       = {606},
 pages        = {2--24},
 doi          = {10.1016/j.tcs.2015.08.006},
)
@inproceedings(grs_portgraph_hierarchical1,
 author       = {Sandra Alves and Maribel Fern{\'{a}}ndez and Ian Mackie},
 year         = {2011},
 title        = {A new graphical calculus of proofs},
 booktitle    = {Proceedings 6th International Workshop on Computing with Terms and Graphs, {TERMGRAPH} 2011, Saarbr{\"{u}}cken, Germany, 2nd April 2011.},
 pages        = {69--84},
 doi          = {10.4204/EPTCS.48.8},
)
@article(FIN_agents_absmodel_,
 author       = {Kartik Anand and Alan Kirman and Matteo Marsili},
 year         = {2013},
 title        = {Epidemics of rules, rational negligence and market crashes},
 journal      = {The European Journal of Finance},
 volume       = {19},
 number       = {5},
 pages        = {438--447},
 doi          = {10.1080/1351847X.2011.601872},
)
@phdthesis(Porgy_AndreiPhd,
 author       = {Oana Andrei},
 year         = {2008},
 title        = {A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems. (Un calcul de r{\'{e}}{\'{e}}criture de graphes : applications {\`{a}} la biologie et aux syst{\`{e}}mes autonomes)},
 school       = {National Polytechnic Institute of Lorraine, Nancy, France},
)
@inproceedings(porgy_2011,
 author       = {Oana Andrei and Maribel Fern{\'a}ndez and H{\'e}l{\`e}ne Kirchner and Melan\c{c}on, Guy and Olivier Namet and Bruno Pinaud},
 year         = {2011},
 title        = {PORGY: Strategy-Driven Interactive Transformation of Graphs},
 booktitle    = {TERMGRAPH},
 pages        = {54--68},
 doi          = {10.4204/EPTCS.48.7},
)
@article(AndreiK08,
 author       = {Oana Andrei and H{\'e}l{\`e}ne Kirchner},
 year         = {2008},
 title        = {A Rewriting Calculus for Multigraphs with Ports},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {219},
 pages        = {67--82},
 doi          = {10.1016/j.entcs.2008.10.035},
)
@incollection(AndreiK08c,
 author       = {Oana Andrei and Helene Kirchner},
 year         = {2009},
 title        = {A Higher-Order Graph Calculus for Autonomic Computing},
 editor       = {Marina Lipshteyn and Vadim E. Levit and Ross M. {McConnell}},
 booktitle    = {Graph Theory, Computational Intelligence and Thought},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {15--26},
 doi          = {10.1007/978-3-642-02029-2\_2},
)
@incollection(DBLP:books/el/leeuwen90/Barendregt90,
 author       = {Hendrik Pieter Barendregt},
 year         = {1990},
 title        = {Functional Programming and Lambda Calculus},
 booktitle    = {Handbook of Theoretical Computer Science, Volume {B:} Formal Models and Sematics {(B)}},
 pages        = {321--363},
 doi          = {10.1016/B978-0-444-88074-1.50012-3},
)
@article(BirkedalDGM07,
 author       = {Lars Birkedal and Troels Christoffer Damgaard and Arne J. Glenstrup and Robin Milner},
 year         = {2007},
 title        = {Matching of Bigraphs},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {175},
 number       = {4},
 pages        = {3--19},
 doi          = {10.1016/j.entcs.2007.04.013},
)
@article(DBLP:journals/fuin/BruniMPT14,
 author       = {Roberto Bruni and Ugo Montanari and Gordon D. Plotkin and Daniele Terreni},
 year         = {2014},
 title        = {On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs},
 journal      = {Fundam. Inform.},
 volume       = {134},
 number       = {3-4},
 pages        = {287--317},
 doi          = {10.3233/FI-2014-1103},
)
@article(grs_hierarchical_benchmark_,
 author       = {Giorgio Busatto and Berthold Hoffmann},
 year         = {2001},
 title        = {Comparing Notions of Hierarchical Graph Transformation},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {50},
 number       = {3},
 pages        = {310--317},
 doi          = {10.1016/S1571-0661(04)00184-7},
)
@article(grs_hierarchical_packages_,
 author       = {Giorgio Busatto and Hans{-}J{\"{o}}rg Kreowski and Sabine Kuske},
 year         = {2005},
 title        = {Abstract hierarchical graph transformation},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {15},
 number       = {4},
 pages        = {773--819},
 doi          = {10.1017/S0960129505004846},
)
@article(CirsteaKirchner01,
 author       = {Horatiu Cirstea and Claude Kirchner},
 year         = {2001},
 title        = {The rewriting calculus --- {Part~I {\em and} II}},
 journal      = {Logic Journal of the Interest Group in Pure and Applied Logics},
 volume       = {9},
 number       = {3},
 pages        = {427--498},
 doi          = {10.1093/jigpal/9.3.339},
)
@inproceedings(Corradini:handbook,
 author       = {Andrea Corradini and Ugo Montanari and Francesca Rossi and Hartmut Ehrig and Reiko Heckel and Michael L{\"o}we},
 year         = {1997},
 title        = {Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations},
 publisher    = {World Scientific},
 pages        = {163--246},
 doi          = {10.1142/9789812384720\_0003},
 url          = {http://www.worldscientific.com/doi/abs/10.1142/9789812384720\_0003},
)
@misc(grs_stochastic_kappa_only_refinement_rules_,
 author       = {Vincent Danos and Feret and Walter Fontana and Russell Harmer and Jonathan Hayman and Jean Krivine and Thompson-walsh, Chris and Glynn Winskel},
 title        = {Graphs, rewriting and causality in rule-based models},
 doi          = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.6822},
)
@article(grs_hgraph_hierarchical_pl_2000,
 author       = {Frank Drewes and Berthold Hoffmann and Detlef Plump},
 year         = {2002},
 title        = {Hierarchical Graph Transformation},
 journal      = {Journal of Computer and System Sciences},
 volume       = {64},
 number       = {2},
 pages        = {249 -- 283},
 doi          = {10.1006/jcss.2001.1790},
)
@article(DBLP:journals/entcs/EetveldeJ03,
 author       = {Niels Van Eetvelde and Dirk Janssens},
 year         = {2003},
 title        = {A Hierarchical Program Representation for Refactoring},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {82},
 number       = {7},
 pages        = {91--104},
 doi          = {10.1016/S1571-0661(04)80749-7},
)
@incollection(DBLP:conf/gg/EhrigHKLRWC97,
 author       = {Hartmut Ehrig and Reiko Heckel and Martin Korff and Michael L{\"{o}}we and Leila Ribeiro and Annika Wagner and Andrea Corradini},
 year         = {1997},
 title        = {Algebraic Approaches to Graph Transformation - Part {II:} Single Pushout Approach and Comparison with Double Pushout Approach},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations},
 pages        = {247--312},
 doi          = {10.1142/9789812384720\_0004},
)
@misc(WADT_Paper_,
 author       = {Nneka Ene and Maribel Fern\'andez and Bruno Pinaud},
 title        = {Graph Models for Capital Markets},
 doi          = {https://nms.kcl.ac.uk/nneka.ene/papers.html},
 note         = {Available from https://nms.kcl.ac.uk/nneka.ene/papers.html},
)
@inbook(Engels2000,
 author       = {Gregor Engels and Reiko Heckel},
 year         = {2000},
 title        = {Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution},
 pages        = {127--150},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/3-540-45022-X\_12},
)
@techreport(grs_porgy_main_long,
 author       = {Maribel Fern{\'a}ndez and H{\'e}l{\`e}ne Kirchner and Bruno Pinaud},
 year         = {2017},
 title        = {{Strategic Port Graph Rewriting: an Interactive Modelling Framework}},
 type         = {Research Report},
 institution  = {{Inria ; LaBRI - Laboratoire Bordelais de Recherche en Informatique ; King's College London}},
 doi          = {https://hal.inria.fr/hal-01251871},
 url          = {https://hal.inria.fr/hal-01251871},
)
@article(FernandezMP07,
 author       = {Maribel Fern{\'{a}}ndez and Ian Mackie and Jorge Sousa Pinto},
 year         = {2007},
 title        = {A Higher-Order Calculus for Graph Transformation},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {72},
 number       = {1},
 pages        = {45--58},
 doi          = {10.1016/j.entcs.2002.09.005},
)
@inproceedings(grs_portgraph_hierarchical,
 author       = {Maribel Fern{\'{a}}ndez and S{\'{e}}bastien Maulat},
 year         = {2012},
 title        = {Higher-order port-graph rewriting},
 booktitle    = {Proceedings 2nd International Workshop on Linearity, {LINEARITY} 2012, Tallinn, Estonia, 1 April 2012.},
 pages        = {25--37},
 doi          = {10.4204/EPTCS.101.3},
)
@article(DBLP:journals/mscs/GeuversL07,
 author       = {Herman Geuvers and Iris Loeb},
 year         = {2007},
 title        = {Natural deduction via graphs: formal definition and computation rules},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {17},
 number       = {3},
 pages        = {485--526},
 doi          = {10.1017/S0960129507006123},
)
@inproceedings(DBLP:conf/popl/GonthierAL92,
 author       = {Georges Gonthier and Mart{\'{\i}}n Abadi and Jean{-}Jacques L{\'{e}}vy},
 year         = {1992},
 title        = {The Geometry of Optimal Lambda Reduction},
 booktitle    = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 19-22, 1992},
 pages        = {15--26},
 doi          = {10.1145/143165.143172},
)
@techreport(fin_sec_model,
 author       = {Gary Gorton and Andrew Metrick},
 year         = {2012},
 title        = {Securitization},
 type         = {Working Paper},
 number       = {18611},
 institution  = {National Bureau of Economic Research},
 doi          = {http://www.nber.org/papers/w18611},
 url          = {http://www.nber.org/papers/w18611},
)
@article(HabelMP01,
 author       = {Annegret Habel and J{\"u}rgen M{\"u}ller and Detlef Plump},
 year         = {2001},
 title        = {Double-pushout graph transformation revisited},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {11},
 number       = {5},
 pages        = {637--688},
 doi          = {10.1017/S0960129501003425},
)
@inproceedings(JunghannsPR17,
 author       = {Martin Junghanns and Andr{\'{e}} Petermann and Erhard Rahm},
 year         = {2017},
 title        = {Distributed Grouping of Property Graphs with Gradoop},
 booktitle    = {Proc. Datenbanksysteme f\IeC{\"u}r Business, Technologie und Web (BTW)},
 pages        = {103--122},
)
@inproceedings(DBLP:conf/popl/Lafont90,
 author       = {Yves Lafont},
 year         = {1990},
 title        = {Interaction Nets},
 booktitle    = {Conference Record of the Seventeenth Annual {ACM} Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990},
 pages        = {95--108},
 doi          = {10.1145/96709.96718},
)
@article(LoweM:TCS,
 author       = {Michael L\"owe},
 year         = {1993},
 title        = {Algebraic approach to single-pushout graph transformation},
 journal      = {Theoretical Computer Science},
 volume       = {109},
 pages        = {181--224},
 doi          = {10.1016/0304-3975(93)90068-5},
)
@incollection(Lowe:1993,
 author       = {Michael L\"{o}we and Martin Korff and Annika Wagner},
 year         = {1993},
 title        = {An Algebraic Framework for the Transformation of Attributed Graphs},
 editor       = {M. R. Sleep and M. J. Plasmeijer and M. C. J. D. van Eekelen},
 booktitle    = {Term Graph Rewriting},
 publisher    = {John Wiley and Sons Ltd.},
 address      = {Chichester, UK},
 pages        = {185--199},
)
@article(RePEc:pal:jbkreg:v:14:y:2013:i:3:p:285-305,
 author       = {Sheri Markose},
 year         = {2013},
 title        = {Systemic risk analytics: A data-driven multi-agent financial network (MAFN) approach},
 journal      = {Journal of Banking Regulation},
 volume       = {14},
 number       = {3-4},
 pages        = {285--305},
 doi          = {10.1057/jbr.2013.10},
)
@misc(FIN_ABM_Essex_CRTransferModel_,
 author       = {Sheri Markose and Yang Dong and Bewaji Oluwasegun},
 year         = {2008},
 title        = {An Multi-Agent Model of RMBS, Credit Risk Transfer in Banks and Financial Stability: Implications of the Subprime Crisis},
 doi          = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.509.3202\&rep=rep1\&type=pdf},
)
@incollection(bath48096,
 author       = {Sheri M. Markose and Bewaji Oluwasegun and Simone Giansante},
 year         = {2014},
 title        = {Multi-agent financial network (MAFN) model of {US} collateralized debt obligations ({CDO}):regulatory capital arbitrage, negative {CDS} carry trade, and systemic risk analysis},
 booktitle    = {Banking, Finance, and Accounting},
 publisher    = {IGI Global},
 address      = {Hershey, {U. S. A.}},
 pages        = {561--590},
 doi          = {10.4018/978-1-4666-6268-1.ch030},
)
@article(2006q.bio.....4006M,
 author       = {O. {Mason} and M. {Verwoerd}},
 title        = {{Graph Theory and Networks in Biology}},
 journal      = {IET Systems Biology},
 volume       = {1},
 number       = {2},
 pages        = {89--119},
 doi          = {10.1049/iet-syb:20060038},
)
@techreport(grs_bigraph_milner,
 author       = {Robin Milner},
 year         = {2001},
 title        = {Bigraphical reactive systems: basic theory},
 type         = {Technical Report},
 number       = {UCAM-CL-TR-523},
 institution  = {University of Cambridge, Computer Laboratory},
)
@article(IandC2006,
 author       = {Robin Milner},
 year         = {2006},
 title        = {Pure bigraphs: Structure and dynamics},
 journal      = {Inf. Comput.},
 volume       = {204},
 number       = {1},
 pages        = {60--122},
 doi          = {10.1016/j.ic.2005.07.003},
)
@inproceedings(Padberg2017,
 author       = {Julia Padberg},
 year         = {2017},
 title        = {Hierarchical Graph Transformation Revisited - Transformations of Coalgebraic Graphs},
 booktitle    = {Graph Transformation - 10th International Conference, {ICGT} 2017, Held as Part of {STAF} 2017, Marburg, Germany, July 18-19, 2017, Proceedings},
 pages        = {20--35},
 doi          = {10.1007/978-3-319-61470-0\_2},
)
@article(DBLP:journals/jcss/Palacz04,
 author       = {Wojciech Palacz},
 year         = {2004},
 title        = {Algebraic hierarchical graph transformation},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {68},
 number       = {3},
 pages        = {497--520},
 doi          = {10.1016/S0022-0000(03)00064-3},
)
@incollection(Plump98termgraph,
 author       = {Detlef Plump},
 year         = {1998},
 title        = {Term Graph Rewriting},
 editor       = {Hartmut Ehrig and Gregor Engels and Hans-J{\"o}rg Kreowski and Grzegorz Rozenberg},
 booktitle    = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages, and Tools},
 publisher    = {World Scientific},
 pages        = {3--61},
 doi          = {10.1142/9789812815149\_0001},
 url          = {http://www.worldscientific.com/doi/abs/10.1142/9789812815149\_0001},
)
@article(SCHNEIDER1993257,
 author       = {H.J. Schneider},
 year         = {1993},
 title        = {On categorical graph grammars integrating structural transformations and operations on labels},
 journal      = {Theoretical Computer Science},
 volume       = {109},
 number       = {1},
 pages        = {257 -- 274},
 doi          = {10.1016/0304-3975(93)90070-A},
)
@article(doi:10.1504/IJDMB.2015.066334,
 author       = {Shaban\IeC{\textendash}Nejad, Arash and Volker Haarslev},
 year         = {2015},
 title        = {Managing changes in distributed biomedical ontologies using hierarchical distributed graph transformation},
 journal      = {International Journal of Data Mining and Bioinformatics},
 volume       = {11},
 number       = {1},
 pages        = {53--83},
 doi          = {10.1504/IJDMB.2015.066334},
)
@article(RuleBender,
 author       = {Adam M. Smith and Wen Xu and Yao Sun and James R. Faeder and G.Elisabeta Marai},
 year         = {2012},
 title        = {RuleBender: integrated modeling, simulation and visualization for rule-based intracellular biochemistry},
 journal      = {BMC Bioinformatics},
 volume       = {13},
 number       = {8},
 eid          = {S3},
 doi          = {10.1186/1471-2105-13-S8-S3},
)
@inproceedings(ValletKPM15,
 author       = {Jason Vallet and H{\'{e}}l{\`{e}}ne Kirchner and Bruno Pinaud and Melan{\c{c}}on, Guy},
 year         = {2015},
 title        = {A Visual Analytics Approach to Compare Propagation Models in Social Networks},
 booktitle    = {Proc. Graphs as Models, GaM 2015},
 pages        = {65--79},
 doi          = {10.4204/EPTCS.181.5},
)
@article(SLUSARCZYK201795,
 author       = {\IeC{\'S}lusarczyk, Gra\IeC{\.z}yna and \IeC{\L}achwa, Andrzej and Wojciech Palacz and Barbara Strug and Paszy\IeC{\'n}ska, Anna and Ewa Grabska},
 year         = {2017},
 title        = {An extended hierarchical graph-based building model for design and engineering problems},
 journal      = {Automation in Construction},
 volume       = {74},
 pages        = {95 -- 102},
 doi          = {10.1016/j.autcon.2016.11.008},
)