Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "iWIGP"( http://dblp.L3S.de/Venues/iWIGP )

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

Publication years (Num. hits)
2011 (6) 2012 (5)
Publication types (Num. hits)
inproceedings(9) proceedings(2)
Venues (Conferences, Journals, ...)
IWIGP(11)
Authors
Johannes Reich(3) Bernd Finkbeiner(2) Alexandre David(1) Andreas Morgenstern(1) Axel Legay(1) Barbara Jobstmann(1) Charles Pecheur(1) Christian von Essen(1) Kim G. Larsen(1) Klaus Schneider 0001(1) Laurent Doyen 0001(1) Mahsa Shirmohammadi(1) Marcus Gelderie(1) Marius Mikucionis(1) Michael Holtmann(1) Peter E. Bulychev(1) More (+10 of total 21)
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
1Johannes Reich, Bernd Finkbeiner (eds.) Proceedings Second International Workshop on Interactions, Games and Protocols, IWIGP 2012, Tallinn, Estonia, 25th March 2012. Search on Bibsonomy IWIGP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter E. Bulychev, Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach Search on Bibsonomy IWIGP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johannes Reich Processes, Roles and Their Interactions Search on Bibsonomy IWIGP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Simon Busard, Charles Pecheur Rich Counter-Examples for Temporal-Epistemic Logic Model Checking Search on Bibsonomy IWIGP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yoshifumi Manabe, Tatsuaki Okamoto A Cryptographic Moving-Knife Cake-Cutting Protocol Search on Bibsonomy IWIGP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marcus Gelderie, Michael Holtmann Memory Reduction via Delayed Simulation Search on Bibsonomy iWIGP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Reich, Bernd Finkbeiner (eds.) Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011. Search on Bibsonomy iWIGP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Laurent Doyen 0001, Thierry Massart, Mahsa Shirmohammadi Synchronizing Objectives for Markov Decision Processes Search on Bibsonomy iWIGP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Rüdiger Ehlers Experimental Aspects of Synthesis Search on Bibsonomy iWIGP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christian von Essen, Barbara Jobstmann Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives Search on Bibsonomy iWIGP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Andreas Morgenstern, Klaus Schneider 0001 A LTL Fragment for GR(1)-Synthesis Search on Bibsonomy iWIGP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #11 of 11 (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