Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
Current
Archives
Author Templates
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Search
Register
Login
Home
/
Archives
/
Vol. 68 (2014): Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014)
Vol. 68 (2014): Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014)
DOI:
https://doi.org/10.14279/tuj.eceasst.68
Published:
2014-10-07
Articles
A Modular and Statically Typed Effectful Stack for Custom Graph Traversals
Norbert Tausch, Michael Philippsen
PDF
Non-Deterministic Matching Algorithm for Net Transformations
Julia Padberg, Mathias Blumreiter
PDF
Towards Model Checking Reconfigurable Petri Nets using Maude
Julia Padberg, Alexander Schulz
PDF
Rapid Prototyping of Topology Control Algorithms by Graph Transformation
Géza Kulcsár, Michael Stein, Immanuel Schweizer, Gergely Varró, Max Mühlhäuser, Andy Schürr
PDF
Mean Quantitative Coverability in Stochastic Graph Transformation Systems
Tobias Heindel, Vincent Danos, Ricardo Honorato-Zimmer, Sandro Stucki
PDF
Preface
Preface
Bernhard Westfechtel, Matthias Tichy
PDF
Information
For Readers
For Authors
For Librarians
Usage Statistics Information
We log anonymous usage statistics. Please read the
privacy information
for details.