C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
GaM@ETAPS
2015
2016
2017
2015
2017
Keyphrases
Publications
2017
Nathan Cassee
,
Anton Wijs
Analysing the Performance of GPU Hash Tables for State Space Exploration.
GaM@ETAPS
(2017)
Reiko Heckel
,
Alexander Kurz
,
Edmund Chattoe-Brown
Features of Agent-based Models.
GaM@ETAPS
(2017)
Nathan Cassee
,
Thomas Neele
,
Anton Wijs
On the Scalability of the GPUexplore Explicit-State Model Checker.
GaM@ETAPS
(2017)
Fabio Zanasi
Rewriting in Free Hypegraph Categories.
GaM@ETAPS
(2017)
volume 263, 2017
Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017.
GaM@ETAPS
263 (2017)
2016
Paolo Bottoni
,
Andrew Fish
,
Francesco Parisi-Presicce
Type Annotation for Adaptive Systems.
GaM@ETAPS
(2016)
Thomas Beyhl
,
Holger Giese
Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks.
GaM@ETAPS
(2016)
Timo Kehrer
,
Christos Tsigkanos
,
Carlo Ghezzi
An EMOF-Compliant Abstract Syntax for Bigraphs.
GaM@ETAPS
(2016)
Géza Kulcsár
,
Anthony Anjorin
Towards a Step Semantics for Story-Driven Modelling.
GaM@ETAPS
(2016)
Adane Letta Mamuye
,
Emanuela Merelli
,
Luca Tesei
A Graph Grammar for Modelling RNA Folding.
GaM@ETAPS
(2016)
volume 231, 2016
Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016.
GaM@ETAPS
231 (2016)
volume 181, 2015
Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015.
GaM@ETAPS
181 (2015)