Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/series/eptcs/eptcs96.bht:"
@inproceedings{DBLP:journals/corr/abs-1110-5942, author = {Yang Cai and Ting Zhang}, editor = {Marco Faella and Aniello Murano}, title = {Can Nondeterminism Help Complementation?}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {57--70}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.5}, doi = {10.4204/EPTCS.96.5}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1110-5942.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2448, author = {Marta Capiluppi and Roberto Segala}, editor = {Marco Faella and Aniello Murano}, title = {Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {1--14}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.1}, doi = {10.4204/EPTCS.96.1}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2448.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2449, author = {Chung{-}Hao Huang and Doron A. Peled and Sven Schewe and Farn Wang}, editor = {Marco Faella and Aniello Murano}, title = {Rapid Recovery for Systems with Scarce Faults}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {15--28}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.2}, doi = {10.4204/EPTCS.96.2}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2449.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2450, author = {Pavol Cern{\'{y}} and Martin Chmelik and Thomas A. Henzinger and Arjun Radhakrishna}, editor = {Marco Faella and Aniello Murano}, title = {Interface Simulation Distances}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {29--42}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.3}, doi = {10.4204/EPTCS.96.3}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2450.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2451, author = {Martin Lange and {\'{E}}tienne Lozes and Manuel Vargas Guzm{\'{a}}n}, editor = {Marco Faella and Aniello Murano}, title = {Model-Checking Process Equivalences}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {43--56}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.4}, doi = {10.4204/EPTCS.96.4}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2451.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2452, author = {Stephan Barth and Martin Hofmann}, editor = {Marco Faella and Aniello Murano}, title = {Learn with {SAT} to Minimize B{\"{u}}chi Automata}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {71--84}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.6}, doi = {10.4204/EPTCS.96.6}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2452.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2453, author = {Alessandro Solimando and Giorgio Delzanno and Giovanna Guerrini}, editor = {Marco Faella and Aniello Murano}, title = {Automata-based Static Analysis of {XML} Document Adaptation}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {85--98}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.7}, doi = {10.4204/EPTCS.96.7}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2453.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2454, author = {Aleksandar S. Dimovski}, editor = {Marco Faella and Aniello Murano}, title = {Symbolic Representation of Algorithmic Game Semantics}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {99--112}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.8}, doi = {10.4204/EPTCS.96.8}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2454.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2455, author = {Julian Gutierrez and Felix Klaedtke and Martin Lange}, editor = {Marco Faella and Aniello Murano}, title = {The {\(\mu\)}-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {113--126}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.9}, doi = {10.4204/EPTCS.96.9}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2455.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2456, author = {Ricardo Almeida and Sabine Broda and Nelma Moreira}, editor = {Marco Faella and Aniello Murano}, title = {Deciding {KAT} and Hoare Logic with Derivatives}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {127--140}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.10}, doi = {10.4204/EPTCS.96.10}, timestamp = {Mon, 11 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2456.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2457, author = {Daniel Neider and Roman Rabinovich and Martin Zimmermann}, editor = {Marco Faella and Aniello Murano}, title = {Down the Borel Hierarchy: Solving Muller Games via Safety Games}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {169--182}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.13}, doi = {10.4204/EPTCS.96.13}, timestamp = {Fri, 07 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2457.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2458, author = {Wladimir Fridman and Martin Zimmermann}, editor = {Marco Faella and Aniello Murano}, title = {Playing Pushdown Parity Games in a Hurry}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {183--196}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.14}, doi = {10.4204/EPTCS.96.14}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2458.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2459, author = {Felix Canavoi and Erich Gr{\"{a}}del and Roman Rabinovich}, editor = {Marco Faella and Aniello Murano}, title = {The discrete strategy improvement algorithm for parity games and complexity measures for directed graphs}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {197--209}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.15}, doi = {10.4204/EPTCS.96.15}, timestamp = {Fri, 07 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2459.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2460, author = {Pawel Parys}, editor = {Marco Faella and Aniello Murano}, title = {Higher-Order Pushdown Systems with Data}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {210--223}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.16}, doi = {10.4204/EPTCS.96.16}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2460.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2461, author = {Domenico Cantone and Cristiano Longo}, editor = {Marco Faella and Aniello Murano}, title = {A decidable quantified fragment of set theory with ordered pairs and some undecidable extensions}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {224--237}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.17}, doi = {10.4204/EPTCS.96.17}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2461.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2462, author = {Alex Kruckman and Sasha Rubin and John Sheridan and Ben Zax}, editor = {Marco Faella and Aniello Murano}, title = {A Myhill-Nerode theorem for automata with advice}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {238--246}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.18}, doi = {10.4204/EPTCS.96.18}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2462.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2463, author = {Szczepan Hummel}, editor = {Marco Faella and Aniello Murano}, title = {Unambiguous Tree Languages Are Topologically Harder Than Deterministic Ones}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {247--260}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.19}, doi = {10.4204/EPTCS.96.19}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2463.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2479, author = {Davide Bresolin and Dario Della Monica and Angelo Montanari and Pietro Sala and Guido Sciavicco}, editor = {Marco Faella and Aniello Murano}, title = {Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {155--168}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.12}, doi = {10.4204/EPTCS.96.12}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2479.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1210-2481, author = {Jakub Michaliszyn and Jan Otop and Piotr Witkowski}, editor = {Marco Faella and Aniello Murano}, title = {Satisfiability vs. Finite Satisfiability in Elementary Modal Logics}, booktitle = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, pages = {141--154}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96.11}, doi = {10.4204/EPTCS.96.11}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2481.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1210-2028, editor = {Marco Faella and Aniello Murano}, title = {Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012}, series = {{EPTCS}}, volume = {96}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.96}, doi = {10.4204/EPTCS.96}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1210-2028.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.