default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 254
Volumes 254, Part 1, June 2017
- Bogdan S. Chlebus, Leszek Gasieniec, Dariusz R. Kowalski, Alexander A. Schwarzmann
:
Doing-it-All with bounded work and communication. 1-40 - Fernando Rosa-Velardo:
Ordinal recursive complexity of Unordered Data Nets. 41-58 - Hans-Joachim Böckenhauer, Dennis Komm, Rastislav Královic, Richard Královic, Tobias Mömke:
Online algorithms with advice: The tape model. 59-83 - Jiannan Yang, Yongzhi Cao, Hanpin Wang:
Differential privacy in probabilistic systems. 84-104 - Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
The vectorial λ-calculus. 105-139
Volumes 254, Part 2, June 2017
- Fabio Mogavero, Aniello Murano, Moshe Y. Vardi:
Preface to the Special Issue on SR 2014. 141-142 - Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop, Yaron Velner:
Quantitative fair simulation games. 143-166 - Jonathan Ezekiel, Andrea Lomuscio:
Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems. 167-194 - Benjamin Aminof, Sasha Rubin:
First-cycle games. 195-216 - Dietmar Berwanger, Anup Basil Mathew:
Infinite games with finite knowledge gaps. 217-237 - Patricia Bouyer, Nicolas Markey, Steen Vester:
Nash equilibria in symmetric graph games with partial observation. 238-258 - Véronique Bruyère, Emmanuel Filiot, Mickael Randour, Jean-François Raskin:
Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games. 259-295 - Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, Jean-François Raskin:
Doomsday equilibria for omega-regular games. 296-315 - Dimitar P. Guelev:
Refining strategic ability in alternating-time temporal logic. 316-328
Volumes 254, Part 3, June 2017
- Pascal Felber, Vijay K. Garg:
Preface. 329 - Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit:
Self-stabilizing leader election in polynomial steps. 330-366 - Brahim Neggazi, Mohammed Haddad, Volker Turau, Hamamache Kheddouci:
A self-stabilizing algorithm for edge monitoring in wireless sensor networks. 367-376 - Gabriele Di Stefano, Alfredo Navarra:
Gathering of oblivious robots on infinite grids with minimum traveled distance. 377-391 - Giuseppe Antonio Di Luna, Paola Flocchini, Sruti Gan Chaudhuri, Federico Poloni, Nicola Santoro, Giovanni Viglietta:
Mutual visibility by luminous robots without collisions. 392-418
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-27 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
