Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "GaM@ETAPS"( http://dblp.L3S.de/Venues/GaM@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2015 (1) 2016 (6) 2017 (5)
Publication types (Num. hits)
inproceedings(9) proceedings(3)
Venues (Conferences, Journals, ...)
GaM@ETAPS(12)
Authors
Anton Wijs(3) Nathan Cassee(2) Timo Kehrer(2) Adane Letta Mamuye(1) Aleks Kissinger(1) Alexander Heußner(1) Alexander Kurz 0001(1) Alice Miller 0001(1) Andrew Fish(1) Anthony Anjorin(1) Arend Rensink(1) Carlo Ghezzi(1) Christos Tsigkanos(1) Edmund Chattoe-Brown(1) Eduardo Zambon(1) Emanuela Merelli(1) More (+10 of total 25)
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
1Timo Kehrer, Alice Miller 0001 (eds.) Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. Search on Bibsonomy GaM@ETAPS The full citation details ... 2017 DBLP  BibTeX  RDF
1Nathan Cassee, Anton Wijs Analysing the Performance of GPU Hash Tables for State Space Exploration. Search on Bibsonomy GaM@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Reiko Heckel, Alexander Kurz 0001, Edmund Chattoe-Brown Features of Agent-based Models. Search on Bibsonomy GaM@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nathan Cassee, Thomas Neele, Anton Wijs On the Scalability of the GPUexplore Explicit-State Model Checker. Search on Bibsonomy GaM@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Fabio Zanasi Rewriting in Free Hypegraph Categories. Search on Bibsonomy GaM@ETAPS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce Type Annotation for Adaptive Systems. Search on Bibsonomy GaM@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thomas Beyhl, Holger Giese Incremental View Maintenance for Deductive Graph Databases Using Generalized Discrimination Networks. Search on Bibsonomy GaM@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander 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 GaM@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi An EMOF-Compliant Abstract Syntax for Bigraphs. Search on Bibsonomy GaM@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Géza Kulcsár, Anthony Anjorin Towards a Step Semantics for Story-Driven Modelling. Search on Bibsonomy GaM@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Adane Letta Mamuye, Emanuela Merelli, Luca Tesei A Graph Grammar for Modelling RNA Folding. Search on Bibsonomy GaM@ETAPS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arend Rensink, Eduardo Zambon (eds.) Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015. Search on Bibsonomy GaM@ETAPS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #12 of 12 (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