Nicolas Mazzocchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
10
Active years
2017–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Kofola 1.0: A Modular Approach to mega-Regular Complementation and Inclusion Checking. | Ondrej Alexaj, Vojtech Havlena, Luks Holk, Ondrej Lengl, Yong Li, Nicolas Mazzocchi |
| 2026 | CAV | Extending QuAK with Nested Quantitative Automata. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara, Harun Yilmaz |
| 2026 | CONCUR | Complementing Emerson-Lei Elevator Automata. | Ondrej Alexaj, Vojtech Havlena, Ondrej Lengl, Yong Li, Nicolas Mazzocchi |
| 2025 | CONCUR | Temporal Explorability Games. | Pete Austin, Sougata Bose, Nicolas Mazzocchi, Patrick Totzke |
| 2025 | CONCUR | Quantitative Language Automata. | Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Sara |
| 2025 | TACAS | Automating the Analysis of Quantitative Automata with QuAK. | Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2024 | CONCUR | Strategic Dominance: A New Preorder for Nondeterministic Processes. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2024 | ISoLA | QuAK: Quantitative Automata Kit. | Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2023 | CONCUR | Safety and Liveness of Quantitative Automata. | Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2023 | FOSSACS | Quantitative Safety and Liveness. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2023 | ICALP | Regular Methods for Operator Precedence Languages. | Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Sara |
| 2022 | CAV | FORQ-Based Language Inclusion Formal Testing. | Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi |
| 2022 | RV | Abstract Monitors for Quantitative Specifications. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2021 | CONCUR | Decomposing Permutation Automata. | Ismal Jecker, Nicolas Mazzocchi, Petra Wolf |
| 2020 | CONCUR | Weighted Transducers for Robustness Verification. | Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2020 | MFCS | Unary Prime Languages. | Ismal Jecker, Orna Kupferman, Nicolas Mazzocchi |
| 2018 | DLT | A Pattern Logic for Automata with Outputs. | Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin |
| 2017 | FCT | Decidable Weighted Expressions with Presburger Combinators. | Emmanuel Filiot, Nicolas Mazzocchi, Jean-Franois Raskin |