Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/AbdullaDM15,
  author       = {Parosh Aziz Abdulla and
                  Giorgio Delzanno and
                  Marco Montali},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Well Structured Transition Systems with History},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {115--128},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.9},
  doi          = {10.4204/EPTCS.193.9},
  timestamp    = {Fri, 09 Apr 2021 18:27:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AbdullaDM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BouyerMRLL15,
  author       = {Patricia Bouyer and
                  Nicolas Markey and
                  Mickael Randour and
                  Kim Guldstrand Larsen and
                  Simon Laursen},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Average-energy games},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {1--15},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.1},
  doi          = {10.4204/EPTCS.193.1},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BouyerMRLL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/DimitrovaM15,
  author       = {Rayna Dimitrova and
                  Rupak Majumdar},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Reachability Analysis of Reversal-bounded Automata on Series-Parallel
                  Graphs},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {100--114},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.8},
  doi          = {10.4204/EPTCS.193.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DimitrovaM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/DurandKRV15,
  author       = {Arnaud Durand and
                  Juha Kontinen and
                  Nicolas de Rugy{-}Altherre and
                  Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Tractability Frontier of Data Complexity in Team Semantics},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {73--85},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.6},
  doi          = {10.4204/EPTCS.193.6},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/DurandKRV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GazdaW15,
  author       = {Maciej Gazda and
                  Tim A. C. Willemse},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Improvement in Small Progress Measures},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {158--171},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.12},
  doi          = {10.4204/EPTCS.193.12},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GazdaW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GuptaS14c,
  author       = {Anshul Gupta and
                  Sven Schewe and
                  Dominik Wojtczak},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Making the Best of Limited Memory in Multi-Player Discounted Sum Games},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {16--30},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.2},
  doi          = {10.4204/EPTCS.193.2},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/GuptaS14c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/HellaS15,
  author       = {Lauri Hella and
                  Johanna Stumpf},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {The expressive power of modal logic with inclusion atoms},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {129--143},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.10},
  doi          = {10.4204/EPTCS.193.10},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HellaS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Hoffmann15a,
  author       = {Philipp Hoffmann},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Negotiation Games},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {31--42},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.3},
  doi          = {10.4204/EPTCS.193.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Hoffmann15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/LaroussinieMS15,
  author       = {Fran{\c{c}}ois Laroussinie and
                  Nicolas Markey and
                  Arnaud Sangnier},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {ATLsc with partial observation},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {43--57},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.4},
  doi          = {10.4204/EPTCS.193.4},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LaroussinieMS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/ManciniMMMT15,
  author       = {Toni Mancini and
                  Federico Mari and
                  Annalisa Massini and
                  Igor Melatti and
                  Enrico Tronci},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Simulator Semantics for System Level Formal Verification},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {86--99},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.7},
  doi          = {10.4204/EPTCS.193.7},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ManciniMMMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Sinya15a,
  author       = {Ryoma Sin'ya},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {An Automata Theoretic Approach to the Zero-One Law for Regular Languages:
                  Algorithmic and Logical Aspects},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {172--185},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.13},
  doi          = {10.4204/EPTCS.193.13},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Sinya15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Wurm15,
  author       = {Christian Wurm},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Synchronous Subsequentiality and Approximations to Undecidable Problems},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {58--72},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.5},
  doi          = {10.4204/EPTCS.193.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Wurm15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Zimmermann15c,
  author       = {Martin Zimmermann},
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Parameterized Linear Temporal Logics Meet Costs: Still not Costlier
                  than {LTL}},
  booktitle    = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  pages        = {144--157},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193.11},
  doi          = {10.4204/EPTCS.193.11},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Zimmermann15c.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/EsparzaT15,
  editor       = {Javier Esparza and
                  Enrico Tronci},
  title        = {Proceedings Sixth International Symposium on Games, Automata, Logics
                  and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September
                  2015},
  series       = {{EPTCS}},
  volume       = {193},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.193},
  doi          = {10.4204/EPTCS.193},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/EsparzaT15.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.