Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs96.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.