|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 31 publication records. Showing 31 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Brian Courtehoute, Detlef Plump |
Time and Space Measures for a Complete Graph Computation Model.  |
GCM@STAF  |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens H. Weber |
A Foundation for Functional Graph Programs: The Graph Transformation Control Algebra (GTA). |
GCM@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Söldner, Detlef Plump |
Towards Mechanised Proofs in Double-Pushout Graph Transformation. |
GCM@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Christopher M. Poskitt (eds.) |
Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022. |
GCM@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Ehmes, Maximilian Kratz, Andy Schürr |
Graph-Based Specification and Automated Construction of ILP Problems. |
GCM@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye, Aljoscha Windhorst |
A Graph-Transformational Approach for Proving the Correctness of Reductions between NP-Problems. |
GCM@STAF |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Genovese, Jelle Herold |
A Categorical Semantics for Hierarchical Petri Nets. |
GCM@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Courtehoute, Detlef Plump |
A Small-Step Operational Semantics for GP 2. |
GCM@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tikhon Pshenitsyn |
Grammars Based on a Logic of Hypergraph Languages. |
GCM@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Behr, Bello Shehu Bello, Sebastian Ehmes, Reiko Heckel |
Stochastic Graph Transformation For Social Network Modeling. |
GCM@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Okan Özkan, Nick Würdemann |
Resilience of Well-structured Graph Transformation Systems. |
GCM@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthold Hoffmann, Mark Minas (eds.) |
Proceedings Twelfth International Workshop on Graph Computational Models, GCM@STAF 2021, Online, 22nd June 2021. |
GCM@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Roy Overbeek, Jörg Endrullis |
From Linear Term Rewriting to Graph Rewriting with Preservation of Termination. |
GCM@STAF |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Aaron Lye |
Graph Surfing in Reaction Systems from a Categorial Perspective. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gia Septiana Wulandari, Detlef Plump |
Verifying Graph Programs with First-Order Logic. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Sandmann |
Graph Repair and its Application to Meta-Modeling. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tikhon Pshenitsyn |
Weak Greibach Normal Form for Hyperedge Replacement Grammars. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Courtehoute, Detlef Plump |
A Fast Graph Program for Computing Minimum Spanning Trees. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Berthold Hoffmann, Mark Minas (eds.) |
Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Weidmann, Anthony Anjorin, James Cheney |
VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Behr, Maryam Ghaffari Saadat, Reiko Heckel |
Commutators for Stochastic Rewriting Systems: Theory and Implementation in Z3. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini 0001, Maryam Ghaffari Saadat, Reiko Heckel |
Encoding Incremental NACs in Safe Graph Grammars using Complementation. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Duval, Rachid Echahed, Frédéric Prost |
An Algebraic Graph Transformation Approach for RDF and SPARQL. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Okan Özkan |
Modeling Adverse Conditions in the Framework of Graph Transformation Systems. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Russ Harmer, Eugenia Oshurko |
Reversibility and Composition of Rewriting in Hierarchies. |
GCM@STAF |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Lye |
Transformation of Turing Machines into Context-Dependent Fusion Grammars. |
GCM@STAF |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Minas |
Speeding up Generalized PSR Parsers by Memoization Techniques. |
GCM@STAF |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Behr |
Sesqui-Pushout Rewriting: Concurrency, Associativity and Rule Algebra Framework. |
GCM@STAF |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat |
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques. |
GCM@STAF |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Sandmann, Annegret Habel |
Rule-based Graph Repair. |
GCM@STAF |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Echahed, Detlef Plump (eds.) |
Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019. |
GCM@STAF |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #31 of 31 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license