Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 242
Volume 242, June 2015
- Fabio Mogavero
, Aniello Murano, Moshe Y. Vardi:
Special issue on SR 2013. 1 - Krishnendu Chatterjee, Rasmus Ibsen-Jensen:
Qualitative analysis of concurrent mean-payoff games. 2-24 - Krishnendu Chatterjee, Laurent Doyen, Mickael Randour, Jean-François Raskin:
Looking at mean-payoff and total-payoff through windows. 25-52 - Julian Gutierrez, Paul Harrenstein, Michael J. Wooldridge:
Iterated Boolean games. 53-79 - Laura Bozzelli, Bastien Maubert, Sophie Pinchinat:
Uniform strategies, rational relations and jumping automata. 80-107 - Benedikt Brütsch:
Synthesizing structured reactive programs via deterministic tree automata. 108-127 - Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi:
Reasoning about memoryless strategies under partial observability and unconditional fairness constraints. 128-156 - Christophe Chareton, Julien Brunel, David Chemouil:
A logic with revocable and refinable strategies. 157-182
- Luca Bortolussi, Jane Hillston:
Model checking single agent behaviours by fluid approximation. 183-226 - Masahiro Kumabe, Toshio Suzuki:
Resource-bounded martingales and computable Dowd-type generic sets. 227-248 - Vasco Brattka, Guido Gherardi, Rupert Hölzl:
Probabilistic computability and choice. 249-286 - Henning Fernau, Markus L. Schmid:
Pattern matching with variables: A multivariate complexity analysis. 287-305 - Stéphane Demri, Amit Kumar Dhar, Arnaud Sangnier:
Taming past LTL and flat counter systems. 306-339 - Paola Bonizzoni, Natasa Jonoska:
Existence of constants in regular splicing languages. 340-353 - Ville Junnila, Tero Laihonen:
Information retrieval with unambiguous output. 354-368 - Mladen Kovacevic, Ivan Stanojevic, Vojin Senk:
On the entropy of couplings. 369-382 - A. Roman, M. Drewienkowski:
A complete solution to the complexity of Synchronizing Road Coloring for non-binary alphabets. 383-393
a service of 
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 2024-04-22 21:04 CEST 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:
