|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Johannes Reich, Bernd Finkbeiner (eds.) |
Proceedings Second International Workshop on Interactions, Games and Protocols, IWIGP 2012, Tallinn, Estonia, 25th March 2012. |
IWIGP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis |
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach |
IWIGP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Reich |
Processes, Roles and Their Interactions |
IWIGP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simon Busard, Charles Pecheur |
Rich Counter-Examples for Temporal-Epistemic Logic Model Checking |
IWIGP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yoshifumi Manabe, Tatsuaki Okamoto |
A Cryptographic Moving-Knife Cake-Cutting Protocol |
IWIGP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Gelderie, Michael Holtmann |
Memory Reduction via Delayed Simulation |
iWIGP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Reich, Bernd Finkbeiner (eds.) |
Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011. |
iWIGP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi |
Synchronizing Objectives for Markov Decision Processes |
iWIGP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rüdiger Ehlers |
Experimental Aspects of Synthesis |
iWIGP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian von Essen, Barbara Jobstmann |
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives |
iWIGP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Morgenstern, Klaus Schneider 0001 |
A LTL Fragment for GR(1)-Synthesis |
iWIGP |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|