default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInformation and Computation, Volume 262
Volume 262, Part 1, October 2018
- Benjamin Aminof, Aniello Murano
, Sasha Rubin:
CTL* with graded path modalities. 1-21 - Vikraman Arvind, Pushkar S. Joglekar, Gaurav Rattan:
On the complexity of noncommutative polynomial factorization. 22-39 - Argyrios Deligkas, John Fearnley, Rahul Savani:
Inapproximability results for constrained approximate Nash equilibria. 40-56 - Panagiotis Charalampopoulos, Maxime Crochemore, Gabriele Fici, Robert Mercas, Solon P. Pissis:
Alignment-free sequence comparison using absent words. 57-68 - Guy Even, Moti Medina, Dana Ron:
Best of two local models: Centralized local and distributed local algorithms. 69-89 - Laure Daviaud, Charles Paperman:
Classes of languages generated by the Kleene star of a word. 90-109 - Daniel Coronel, Cristobal Rojas, Michael Yampolsky:
Non computable Mandelbrot-like sets for a one-parameter complex family. 110-122 - George Barmpalias, Nan Fang, Frank Stephan:
Equivalences between learning of data and probability distributions, and their applications. 123-140 - Olaf Beyersdorff, Leroy Chew, Meena Mahajan, Anil Shukla:
Understanding cutting planes for QBFs. 141-161 - Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang:
The quest for minimal quotients for probabilistic and Markov automata. 162-186
Volume 262, Part 2, October 2018
- Domenico Cantone, Giorgio Delzanno:
Games, automata, logics and formal verification (GandALF 2016). 187-188 - Luca Bortolussi, Roberta Lanciani, Laura Nenzi:
Model checking Markov population models by stochastic approximations. 189-220 - Massimo Benerecetti, Daniele Dell'Erba, Fabio Mogavero:
A delayed promotion policy for parity games. 221-240 - Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala:
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. 241-264 - Gaëlle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, Loredana Sorrentino:
Cycle detection in computation tree logic. 265-279 - Milka Hutagalung, Norbert Hundeshagen, Dietrich Kuske, Martin Lange, Étienne Lozes:
Multi-buffer simulations: Decidability and complexity. 280-310 - Swen Jacobs, Leander Tentrup, Martin Zimmermann:
Distributed synthesis for parameterized temporal logics. 311-328
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-06-23 21:06 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:
