|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Timo Kehrer, Alice Miller 0001 (eds.) |
Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
1 | Nathan Cassee, Anton Wijs |
Analysing the Performance of GPU Hash Tables for State Space Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![In: Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017., pp. 1-15, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Alexander Kurz 0001, Edmund Chattoe-Brown |
Features of Agent-based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![In: Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017., pp. 31-37, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Cassee, Thomas Neele, Anton Wijs |
On the Scalability of the GPUexplore Explicit-State Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![In: Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017., pp. 38-52, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Zanasi |
Rewriting in Free Hypegraph Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![In: Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017., pp. 16-30, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce |
Type Annotation for Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![In: Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 1-15, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Beyhl, Holger Giese |
Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![In: Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 57-71, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Heußner, Aleks Kissinger, Anton Wijs (eds.) |
Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi |
An EMOF-Compliant Abstract Syntax for Bigraphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![In: Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 16-30, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Géza Kulcsár, Anthony Anjorin |
Towards a Step Semantics for Story-Driven Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![In: Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 42-56, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adane Letta Mamuye, Emanuela Merelli, Luca Tesei |
A Graph Grammar for Modelling RNA Folding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![In: Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016., pp. 31-41, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Arend Rensink, Eduardo Zambon (eds.) |
Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GaM@ETAPS ![The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|