Drewes, Frank; Engelfriet, Joost The generative power of delegation networks. (English) Zbl 1337.68152 Inf. Comput. 245, 213-258 (2015). Reviewer: Magnus Steinby (Turku) MSC: 68Q45 68Q42 68Q70 PDFBibTeX XMLCite \textit{F. Drewes} and \textit{J. Engelfriet}, Inf. Comput. 245, 213--258 (2015; Zbl 1337.68152) Full Text: DOI
Bosserhoff, Volker; Hertling, Peter Effective subsets under homeomorphisms of \(\mathbb{R}^n\). (English) Zbl 1337.03066 Inf. Comput. 245, 197-212 (2015). Reviewer: Danko Ilik (Paris) MSC: 03D78 03F60 PDFBibTeX XMLCite \textit{V. Bosserhoff} and \textit{P. Hertling}, Inf. Comput. 245, 197--212 (2015; Zbl 1337.03066) Full Text: DOI
Lu, Ping; Peng, Feifei; Chen, Haiming; Zheng, Lixiao Deciding determinism of unary languages. (English) Zbl 1332.68122 Inf. Comput. 245, 181-196 (2015). MSC: 68Q45 68Q17 68Q25 PDFBibTeX XMLCite \textit{P. Lu} et al., Inf. Comput. 245, 181--196 (2015; Zbl 1332.68122) Full Text: DOI
Nellore, Abhinav; Ward, Rachel Recovery guarantees for exemplar-based clustering. (English) Zbl 1333.62165 Inf. Comput. 245, 165-180 (2015). MSC: 62H30 90C05 90C09 PDFBibTeX XMLCite \textit{A. Nellore} and \textit{R. Ward}, Inf. Comput. 245, 165--180 (2015; Zbl 1333.62165) Full Text: DOI arXiv
Peretz, Ron Effective martingales with restricted wagers. (English) Zbl 1332.68098 Inf. Comput. 245, 152-164 (2015). MSC: 68Q30 60G48 PDFBibTeX XMLCite \textit{R. Peretz}, Inf. Comput. 245, 152--164 (2015; Zbl 1332.68098) Full Text: DOI arXiv
Fogarty, Seth; Kupferman, Orna; Vardi, Moshe Y.; Wilke, Thomas Profile trees for Büchi word automata, with application to determinization. (English) Zbl 1336.68155 Inf. Comput. 245, 136-151 (2015). Reviewer: Roger Villemaire (Montréal) MSC: 68Q45 PDFBibTeX XMLCite \textit{S. Fogarty} et al., Inf. Comput. 245, 136--151 (2015; Zbl 1336.68155) Full Text: DOI arXiv
Galliani, Pietro Upwards closed dependencies in team semantics. (English) Zbl 1333.03089 Inf. Comput. 245, 124-135 (2015). MSC: 03B60 PDFBibTeX XMLCite \textit{P. Galliani}, Inf. Comput. 245, 124--135 (2015; Zbl 1333.03089) Full Text: DOI arXiv
Laroussinie, François; Markey, Nicolas Augmenting ATL with strategy contexts. (English) Zbl 1332.68140 Inf. Comput. 245, 98-123 (2015). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{F. Laroussinie} and \textit{N. Markey}, Inf. Comput. 245, 98--123 (2015; Zbl 1332.68140) Full Text: DOI
Bersani, Marcello M.; Rossi, Matteo; San Pietro, Pierluigi An SMT-based approach to satisfiability checking of MITL. (English) Zbl 1332.68138 Inf. Comput. 245, 72-97 (2015). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{M. M. Bersani} et al., Inf. Comput. 245, 72--97 (2015; Zbl 1332.68138) Full Text: DOI
Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano HRELTL: a temporal logic for hybrid systems. (English) Zbl 1332.68139 Inf. Comput. 245, 54-71 (2015). MSC: 68Q60 03B44 PDFBibTeX XMLCite \textit{A. Cimatti} et al., Inf. Comput. 245, 54--71 (2015; Zbl 1332.68139) Full Text: DOI
Huth, Michael; Kuo, Jim Huan-Pu; Piterman, Nir The Rabin index of parity games: its complexity and approximation. (English) Zbl 1332.68060 Inf. Comput. 245, 36-53 (2015). MSC: 68Q19 05C15 05C57 68Q17 68Q25 91A43 91A05 PDFBibTeX XMLCite \textit{M. Huth} et al., Inf. Comput. 245, 36--53 (2015; Zbl 1332.68060) Full Text: DOI
Brihaye, Thomas; Haddad, Axel; Menet, Quentin Simple strategies for Banach-Mazur games and sets of probability 1. (English) Zbl 1333.91009 Inf. Comput. 245, 17-35 (2015). MSC: 91A44 03E15 68Q45 91A43 PDFBibTeX XMLCite \textit{T. Brihaye} et al., Inf. Comput. 245, 17--35 (2015; Zbl 1333.91009) Full Text: DOI
Chatterjee, Krishnendu; Doyen, Laurent; Gimbert, Hugo; Henzinger, Thomas A. Randomness for free. (English) Zbl 1333.91008 Inf. Comput. 245, 3-16 (2015). MSC: 91A43 68Q60 68Q87 91A05 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Inf. Comput. 245, 3--16 (2015; Zbl 1333.91008) Full Text: DOI
Montanari, Angelo (ed.); Puppis, Gabriele (ed.); Villa, Tiziano (ed.) Games, automata, logics, and formal verification (GandALF 2013). (English) Zbl 1329.00223 Inf. Comput. 245, 1-2 (2015). MSC: 00B25 68-06 91-06 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{A. Montanari} (ed.) et al., Inf. Comput. 245, 1--2 (2015; Zbl 1329.00223) Full Text: DOI