Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/series/eptcs/eptcs226.bht:"
download as .bib file
@inproceedings{DBLP:journals/corr/0001P16b,
author = {St{\'{e}}phane Le Roux and
Arno Pauly},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {A Semi-Potential for Finite and Infinite Sequential Games (Extended
Abstract)},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {242--256},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.17},
doi = {10.4204/EPTCS.226.17},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/0001P16b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Ah-FatH16,
author = {Patrick Ah{-}Fat and
Michael Huth},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Partial Solvers for Parity Games: Effective Polynomial-Time Composition},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {1--15},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.1},
doi = {10.4204/EPTCS.226.1},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Ah-FatH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ArecesFHM16,
author = {Carlos Areces and
Raul Fervari and
Guillaume Hoffmann and
Mauricio Martel},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Relation-Changing Logics as Fragments of Hybrid Logics},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {16--29},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.2},
doi = {10.4204/EPTCS.226.2},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ArecesFHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BenerecettiDM16,
author = {Massimo Benerecetti and
Daniele Dell'Erba and
Fabio Mogavero},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {A Delayed Promotion Policy for Parity Games},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {30--45},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.3},
doi = {10.4204/EPTCS.226.3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BenerecettiDM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BezhanishviliK16,
author = {Nick Bezhanishvili and
Clemens Kupke},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Games for Topological Fixpoint Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {46--60},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.4},
doi = {10.4204/EPTCS.226.4},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BezhanishviliK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BouyerMS16,
author = {Patricia Bouyer and
Nicolas Markey and
Daniel Stan},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Stochastic Equilibria under Imprecise Deviations in Terminal-Reward
Concurrent Games},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {61--75},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.5},
doi = {10.4204/EPTCS.226.5},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BouyerMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BozzelliMMPS16,
author = {Laura Bozzelli and
Alberto Molinari and
Angelo Montanari and
Adriano Peron and
Pietro Sala},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Model Checking the Logic of Allen's Relations Meets and Started-by
is P\({}^{\mbox{NP}}\)-Complete},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {76--90},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.6},
doi = {10.4204/EPTCS.226.6},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BozzelliMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BresolinMS16,
author = {Davide Bresolin and
Emilio Mu{\~{n}}oz{-}Velasco and
Guido Sciavicco},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {On the Expressive Power of Sub-Propositional Fragments of Modal Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {91--104},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.7},
doi = {10.4204/EPTCS.226.7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/BresolinMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Bruse16,
author = {Florian Bruse},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Alternation Is Strict For Higher-Order Modal Fixpoint Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {105--119},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.8},
doi = {10.4204/EPTCS.226.8},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Bruse16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BruseK016,
author = {Florian Bruse and
Daniel Kernberger and
Martin Lange},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {A Canonical Model Construction for Iteration-Free {PDL} with Intersection},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {120--134},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.9},
doi = {10.4204/EPTCS.226.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BruseK016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BruyereHR16,
author = {V{\'{e}}ronique Bruy{\`{e}}re and
Quentin Hautem and
Mickael Randour},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Window parity games: an alternative approach toward parity games with
time bounds},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {135--148},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.10},
doi = {10.4204/EPTCS.226.10},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BruyereHR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DrosteR16,
author = {Manfred Droste and
George Rahonis},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Weighted Linear Dynamic Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {149--163},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.11},
doi = {10.4204/EPTCS.226.11},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/DrosteR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FontaineMMPS16,
author = {Ga{\"{e}}lle Fontaine and
Fabio Mogavero and
Aniello Murano and
Giuseppe Perelli and
Loredana Sorrentino},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Cycle Detection in Computation Tree Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {164--177},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.12},
doi = {10.4204/EPTCS.226.12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FontaineMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GantyV16,
author = {Pierre Ganty and
Damir Valput},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Bounded-oscillation Pushdown Automata},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {178--197},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.13},
doi = {10.4204/EPTCS.226.13},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GantyV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HannulaKLV16,
author = {Miika Hannula and
Juha Kontinen and
Martin L{\"{u}}ck and
Jonni Virtema},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {On Quantified Propositional Logics and the Exponential Time Hierarchy},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {198--212},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.14},
doi = {10.4204/EPTCS.226.14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HannulaKLV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/HutagalungHK0L16,
author = {Milka Hutagalung and
Norbert Hundeshagen and
Dietrich Kuske and
Martin Lange and
{\'{E}}tienne Lozes},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Multi-Buffer Simulations for Trace Language Inclusion},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {213--227},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.15},
doi = {10.4204/EPTCS.226.15},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HutagalungHK0L16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/JacobsTZ15,
author = {Swen Jacobs and
Leander Tentrup and
Martin Zimmermann},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Distributed {PROMPT-LTL} Synthesis},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {228--241},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.16},
doi = {10.4204/EPTCS.226.16},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/JacobsTZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/LibalV16,
author = {Tomer Libal and
Marco Volpe},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Certification of Prefixed Tableau Proofs for Modal Logic},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {257--271},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.18},
doi = {10.4204/EPTCS.226.18},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LibalV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Nakamura16,
author = {Yoshiki Nakamura},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {The Almost Equivalence by Asymptotic Probabilities for Regular Languages
and Its Computational Complexities},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {272--286},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.19},
doi = {10.4204/EPTCS.226.19},
timestamp = {Wed, 27 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Nakamura16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Reynolds16a,
author = {Mark Reynolds},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {A New Rule for {LTL} Tableaux},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {287--301},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.20},
doi = {10.4204/EPTCS.226.20},
timestamp = {Fri, 02 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Reynolds16a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/TentrupWZ15,
author = {Leander Tentrup and
Alexander Weinert and
Martin Zimmermann},
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Approximating Optimal Bounds in Prompt-LTL Realizability in Doubly-exponential
Time},
booktitle = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
pages = {302--315},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226.21},
doi = {10.4204/EPTCS.226.21},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TentrupWZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CantoneD16,
editor = {Domenico Cantone and
Giorgio Delzanno},
title = {Proceedings of the Seventh International Symposium on Games, Automata,
Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16
September 2016},
series = {{EPTCS}},
volume = {226},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.226},
doi = {10.4204/EPTCS.226},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CantoneD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-05-27 10:15 CEST from data curated 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:
