Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2209-10306,
  author       = {Hadar Frenkel and
                  Sarai Sheinvald},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Realizable and Context-Free Hyperlanguages},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {114--130},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.8},
  doi          = {10.4204/EPTCS.370.8},
  timestamp    = {Mon, 31 Oct 2022 12:23:58 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10306.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10309,
  author       = {Benedikt Bollig and
                  Arnaud Sangnier and
                  Olivier Stietel},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {On the Existential Fragments of Local First-Order Logics with Data},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {1--16},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.1},
  doi          = {10.4204/EPTCS.370.1},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10309.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10311,
  author       = {Florian Bruse and
                  David Kronenberger and
                  Martin Lange},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Capturing Bisimulation-Invariant Exponential-Time Complexity Classes},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {17--33},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.2},
  doi          = {10.4204/EPTCS.370.2},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10311.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10312,
  author       = {Joachim Niehren and
                  Momar Sakho and
                  Antonio Al Serhali},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Schema-Based Automata Determinization},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {49--65},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.4},
  doi          = {10.4204/EPTCS.370.4},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10312.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10313,
  author       = {Hans de Nivelle and
                  Dina Muktubayeva},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Generating Tokenizers with Flat Automata},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {66--80},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.5},
  doi          = {10.4204/EPTCS.370.5},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10313.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10315,
  author       = {Igor Khmelnitsky and
                  Serge Haddad and
                  Lina Ye and
                  Beno{\^{\i}}t Barbot and
                  Benedikt Bollig and
                  Martin Leucker and
                  Daniel Neider and
                  Rajarshi Roy},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {81--96},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.6},
  doi          = {10.4204/EPTCS.370.6},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10315.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10316,
  author       = {Laura Bozzelli and
                  Adriano Peron},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Parametric Interval Temporal Logic over Infinite Words},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {97--113},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.7},
  doi          = {10.4204/EPTCS.370.7},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10316.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10319,
  author       = {Renato Acampora and
                  Luca Geatti and
                  Nicola Gigante and
                  Angelo Montanari and
                  Valentino Picotti},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Controller Synthesis for Timeline-based Games},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {131--146},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.9},
  doi          = {10.4204/EPTCS.370.9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10319.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10321,
  author       = {Dalton Chichester and
                  Wei Du and
                  Raymond Kauffman and
                  Hai Lin and
                  Christopher Lynch and
                  Andrew M. Marshall and
                  Catherine A. Meadows and
                  Paliath Narendran and
                  Veena Ravishankar and
                  Luis Rovira and
                  Brandon Rozek},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic
                  Algorithms},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {147--161},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.10},
  doi          = {10.4204/EPTCS.370.10},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10321.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10322,
  author       = {Thomas Brihaye and
                  Sophie Pinchinat and
                  Alexandre Terefenko},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Adversarial Formal Semantics of Attack Trees and Related Problems},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {162--177},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.11},
  doi          = {10.4204/EPTCS.370.11},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10322.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10323,
  author       = {Giann Karlo Aguirre{-}Sambon{\'{\i}} and
                  Stefan Haar and
                  Lo{\"{\i}}c Paulev{\'{e}} and
                  Stefan Schwoon and
                  Nick W{\"{u}}rdemann},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {178--193},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.12},
  doi          = {10.4204/EPTCS.370.12},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10323.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10324,
  author       = {Michael J. Coulombe and
                  Jayson Lynch},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Characterizing the Decidability of Finite State Automata Team Games
                  with Communication},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {213--228},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.14},
  doi          = {10.4204/EPTCS.370.14},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10324.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10328,
  author       = {Felix Stutz and
                  Damien Zufferey},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Comparing Channel Restrictions of Communicating State Machines, High-level
                  Message Sequence Charts, and Multiparty Session Types},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {194--212},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.13},
  doi          = {10.4204/EPTCS.370.13},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10328.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10377,
  author       = {Luca Aceto and
                  Antonis Achilleos and
                  Elli Anastasiadi and
                  Adrian Francalanza and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Complexity through Translations for Modal Logic with Recursion},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {34--48},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.3},
  doi          = {10.4204/EPTCS.370.3},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10377.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2209-09333,
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370},
  doi          = {10.4204/EPTCS.370},
  timestamp    = {Mon, 31 Oct 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-09333.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}