Two-Way Parikh Automata. - Emmanuel Filiot; Shibashis Guha; Nicolas Mazzocchi (FSTTCS, 2019)

Decidable weighted expressions with Presburger combinators. - Emmanuel Filiot; Nicolas Mazzocchi; Jean-François Raskin (J. Comput. Syst. Sci., 2019)

Weighted Transducers for Robustness Verification. - Emmanuel Filiot; Nicolas Mazzocchi; Jean-François Raskin; Sriram Sankaranarayanan 001; Ashutosh Trivedi 001 (CONCUR, 2020)

Unary Prime Languages. - Ismaël Jecker; Orna Kupferman; Nicolas Mazzocchi (MFCS, 2020)

A Pattern Logic for Automata with Outputs. - Emmanuel Filiot; Nicolas Mazzocchi; Jean-François Raskin (Int. J. Found. Comput. Sci., 2020)

Decomposing Permutation Automata. - Ismaël Jecker; Nicolas Mazzocchi; Petra Wolf 002 (CONCUR, 2021)

FORQ-Based Language Inclusion Formal Testing. - Kyveli Doveri; Pierre Ganty; Nicolas Mazzocchi (CAV (2), 2022)

Abstract Monitors for Quantitative Specifications. - Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (RV, 2022)

Safety and Liveness of Quantitative Automata. - Udi Boker; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (CONCUR, 2023)

Quantitative Safety and Liveness. - Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (FoSSaCS, 2023)

Regular Methods for Operator Precedence Languages. - Thomas A. Henzinger; Pavol Kebis; Nicolas Mazzocchi; N. Ege Saraç (ICALP, 2023)

Strategic Dominance: A New Preorder for Nondeterministic Processes. - Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (CONCUR, 2024)

QuAK: Quantitative Automata Kit. - Marek Chalupa; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (ISoLA (4), 2024)

Temporal Explorability Games. - Pete Austin; Sougata Bose; Nicolas Mazzocchi; Patrick Totzke (CONCUR, 2025)

Quantitative Language Automata. - Thomas A. Henzinger; Pavol Kebis; Nicolas Mazzocchi; N. Ege Saraç (CONCUR, 2025)

Automating the Analysis of Quantitative Automata with QuAK. - Marek Chalupa; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (TACAS (1), 2025)

Safety and Liveness of Quantitative Properties and Automata. - Udi Boker; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (Log. Methods Comput. Sci., 2025)