The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "GT-VC@CONCUR"( http://dblp.L3S.de/Venues/GT-VC@CONCUR )

URL (DBLP): http://dblp.uni-trier.de/db/conf/concur

Publication years (Num. hits)
2005 (9) 2006 (10) 2007 (7) 2008 (1)
Publication types (Num. hits)
inproceedings(24) proceedings(3)
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
1Barbara 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 Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2008 DBLP  BibTeX  RDF
1H. J. Sander Bruggink Towards a Systematic Method for Proving Termination of Graph Transformation Systems. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini An Efficient Solution for Model Checking Graph Transformation Systems. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Karl-Heinz Pennemann An Algorithm for Approximating the Satisfiability Problem of High-level Conditions. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Hernán C. Melgratti Modelling Dynamic Software Architectures using Typed Graph Grammars. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Claudia Ermel, Hartmut Ehrig Behavior-Preserving Simulation-to-Animation Model and Rule Transformations. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Barbara König 0001, Arend Rensink, Reiko Heckel Preface. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Arend 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 Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2007 DBLP  BibTeX  RDF
1Claudia Faggian, Mauro Piccolo A Graph Abstract Machine Describing Event Structure Composition. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tihamer Levendovszky, Ulrike Prange, Hartmut Ehrig Termination Criteria for DPO Transformations with Injective Matches. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Arend Rensink, Reiko Heckel, Barbara König 0001 Preface. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Lars Birkedal, Troels Christoffer Damgaard, Arne J. Glenstrup, Robin Milner Matching of Bigraphs. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Vitali Kozioura Verification of Random Graph Transformation Systems. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1László Gönczy, Máté Kovács, Dániel Varró Modeling and Verification of Reliable Messaging by Graph Transformation Systems. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ana Paula Lüdtke Ferreira, Luciana Foss, Leila Ribeiro 0001 Formal Verification of Object-Oriented Graph Grammars Specifications. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Piotr Kosiuczenko, Georgios Lajios Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Tobias Heindel Adhesive DPO Parallelism for Monic Matches. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Arend 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 Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2006 DBLP  BibTeX  RDF
1Mikkel Bundgaard, Thomas T. Hildebrandt Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Arend Rensink, Reiko Heckel, Barbara König 0001 Preface. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ivan Lanese, Ugo Montanari Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Sebastian Menge, Georgios Lajios A Framework for Stochastic System Modelling and Analysis: Work in Progress. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Bilel Derbel, Mohamed Mosbah 0001 Distributed Graph Traversals by Relabelling Systems with Applications. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Mike Dodds, Detlef Plump Extending C for Checking Shape Safety. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Fabio Gadducci, Alberto Lluch-Lafuente Graphical Verification of a Spatial Logic for the pi-calculus. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Dobieslaw Wróblewski Semi-local Model of Computations on Graphs to Break the Local Symmetry: Work in Progress. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Harmen Kastenberg Towards Attributed Graphs in Groove: Work in Progress. Search on Bibsonomy GT-VC@CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license