|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Barbara König 0001, Arend Rensink, Reiko Heckel (eds.) |
Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007  |
GT-VC@CONCUR  |
2008 |
DBLP BibTeX RDF |
|
| 1 | H. J. Sander Bruggink |
Towards a Systematic Method for Proving Termination of Graph Transformation Systems. |
GT-VC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini |
An Efficient Solution for Model Checking Graph Transformation Systems. |
GT-VC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl-Heinz Pennemann |
An Algorithm for Approximating the Satisfiability Problem of High-level Conditions. |
GT-VC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti |
Modelling Dynamic Software Architectures using Typed Graph Grammars. |
GT-VC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Ermel, Hartmut Ehrig |
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. |
GT-VC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König 0001, Arend Rensink, Reiko Heckel |
Preface. |
GT-VC@CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Reiko Heckel, Barbara König 0001 (eds.) |
Proceedings of the Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006 |
GT-VC@CONCUR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Claudia Faggian, Mauro Piccolo |
A Graph Abstract Machine Describing Event Structure Composition. |
GT-VC@CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig |
Termination Criteria for DPO Transformations with Injective Matches. |
GT-VC@CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Reiko Heckel, Barbara König 0001 |
Preface. |
GT-VC@CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner |
Matching of Bigraphs. |
GT-VC@CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vitali Kozioura |
Verification of Random Graph Transformation Systems. |
GT-VC@CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | László Gönczy, Máté Kovács, Dániel Varró |
Modeling and Verification of Reliable Messaging by Graph Transformation Systems. |
GT-VC@CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro 0001 |
Formal Verification of Object-Oriented Graph Grammars Specifications. |
GT-VC@CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Piotr Kosiuczenko, Georgios Lajios |
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems. |
GT-VC@CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Tobias Heindel |
Adhesive DPO Parallelism for Monic Matches. |
GT-VC@CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Reiko Heckel, Barbara König 0001 (eds.) |
Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, GT-VC 2005, Satellite Event of CONCUR 2005, San Francisco, CA, USA, August 22, 2005 |
GT-VC@CONCUR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mikkel Bundgaard, Thomas T. Hildebrandt |
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. |
GT-VC@CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Arend Rensink, Reiko Heckel, Barbara König 0001 |
Preface. |
GT-VC@CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Lanese, Ugo Montanari |
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. |
GT-VC@CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Menge, Georgios Lajios |
A Framework for Stochastic System Modelling and Analysis: Work in Progress. |
GT-VC@CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bilel Derbel, Mohamed Mosbah 0001 |
Distributed Graph Traversals by Relabelling Systems with Applications. |
GT-VC@CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Dodds, Detlef Plump |
Extending C for Checking Shape Safety. |
GT-VC@CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Alberto Lluch-Lafuente |
Graphical Verification of a Spatial Logic for the pi-calculus. |
GT-VC@CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dobieslaw Wróblewski |
Semi-local Model of Computations on Graphs to Break the Local Symmetry: Work in Progress. |
GT-VC@CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Harmen Kastenberg |
Towards Attributed Graphs in Groove: Work in Progress. |
GT-VC@CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license