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