BibSonomy publications for /author/Heckel http://www.bibsonomy.org/author/Heckel BibSonomy RSS Feed for /author/Heckel Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems. dblp http://www.bibsonomy.org/bibtex/2ee6b8e771879faa6058e5cd772a38b49/dblp dblp 2008-11-26T00:00:00+01:00 dblp
Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems.
Reiko Heckel and Hartmut Ehrig and Uwe Wolter and Andrea Corradini Applied Categorical Structures 9 83-110 (2001)
to dblp by dblp on 2008-11-26 00:00:00
]]> Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). dblp http://www.bibsonomy.org/bibtex/21b3979b4a876f279c9011b9e17044f76/dblp dblp 2008-11-19T00:00:00+01:00 dblp
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).
Claudia Ermel and Juan de Lara and Reiko Heckel ECEASST 10 (2008)
to dblp by dblp on 2008-11-19 00:00:00
]]> Rule-Level Verification of Business Process Transformations using CSP. dblp http://www.bibsonomy.org/bibtex/2579c9697f7dfaba33725e41db796b784/dblp dblp 2008-11-19T00:00:00+01:00 dblp
Rule-Level Verification of Business Process Transformations using CSP.
Dénes Bisztray and Reiko Heckel ECEASST 6 (2007)
to dblp by dblp on 2008-11-19 00:00:00
]]> Preface. dblp http://www.bibsonomy.org/bibtex/2f42506df7b1f4ef00d6349d0fd20c27a/dblp dblp 2008-11-19T00:00:00+01:00 dblp
Preface.
Reiko Heckel and Jean-Marie Favre and Tom Mens ECEASST 3 (2006)
to dblp by dblp on 2008-11-19 00:00:00
]]> Event Structure Semantics of Orc. dblp http://www.bibsonomy.org/bibtex/21fbf5e46cbc1ecaf6b74e218251dca9f/dblp dblp 2008-11-12T00:00:00+01:00 dblp
Event Structure Semantics of Orc.
Sidney Rosario and David Kitchin and Albert Benveniste and William R. Cook and Stefan Haar and Claude Jard WS-FM 154-168 (2007)
to dblp by dblp on 2008-11-12 00:00:00
]]> An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars http://www.bibsonomy.org/bibtex/2c055e7a96682537dc6a1d17454689689/smazanek smazanek 2008-10-25T17:43:03+02:00 cocke+younger+kasami+algorithm graph+parsing hyperedge+replacement hyperedge+replacement+grammars hypergraph+completion parsing
An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars
Steffen Mazanek and Sonja Maier and Mark Minas Proc. of the 4th International Conference on Graph Transformations 39-53 (2008)
to cocke+younger+kasami+algorithm graph+parsing hyperedge+replacement hyperedge+replacement+grammars hypergraph+completion parsing by smazanek and 1 other person on 2008-10-25 17:43:03
]]> Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets dblp http://www.bibsonomy.org/bibtex/2310adcfdadcd570529a94dbb619dc47b/dblp dblp 2008-10-02T00:00:00+02:00 dblp
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara König CoRR abs/0809.4115 (2008)
to dblp by dblp on 2008-10-02 00:00:00
]]> Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators http://www.bibsonomy.org/bibtex/2ff8fb1004c677aa2858380654e74265e/smazanek smazanek 2008-09-23T13:47:41+02:00 graph+parsing hyperedge+replacement+grammars parser+combinators
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators
Steffen Mazanek and Mark Minas Proc. 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT'08) (2008)
to graph+parsing hyperedge+replacement+grammars parser+combinators by smazanek and 1 other person on 2008-09-23 13:47:41
]]> Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems. dblp http://www.bibsonomy.org/bibtex/2f7f0afdb6f3ff7ac224e2c2531dcd50a/dblp dblp 2008-09-22T00:00:00+02:00 dblp
Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems.
Ajab Khan ICGT 502-504 (2008)
to dblp by dblp on 2008-09-22 00:00:00
]]> Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. dblp http://www.bibsonomy.org/bibtex/276483d550dd14a419c73bda9265518f8/dblp dblp 2008-09-22T00:00:00+02:00 dblp
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.
Hartmut Ehrig and Claudia Ermel ICGT 194-210 (2008)
to dblp by dblp on 2008-09-22 00:00:00
]]>