Nicolas Mazzocchi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Temporal explorability games	2026-08-05	Paper
Quantitative language automata	2026-08-05	Paper
Strategic dominance: a new preorder for nondeterministic processes	2026-02-10	Paper
Decomposing permutation automata Journal of Computer and System Sciences	2025-12-11	Paper
Safety and liveness of quantitative automata	2025-06-26	Paper
Safety and liveness of quantitative properties and automata Logical Methods in Computer Science	2025-05-06	Paper
Regular methods for operator precedence languages	2024-11-14	Paper
Quantitative safety and liveness Lecture Notes in Computer Science	2023-11-24	Paper
scientific article; zbMATH DE number 7730620 (Why is no real title available?) (available as arXiv preprint)	2023-08-21	Paper
Two-Way Parikh Automata (available as arXiv preprint)	2023-02-03	Paper
FORQ-Based Language Inclusion Formal Testing	2022-12-07	Paper
scientific article; zbMATH DE number 7559422 (Why is no real title available?)	2022-07-18	Paper
scientific article; zbMATH DE number 7559473 (Why is no real title available?)	2022-07-18	Paper
A pattern logic for automata with outputs International Journal of Foundations of Computer Science	2021-04-19	Paper
Decidable weighted expressions with Presburger combinators Journal of Computer and System Sciences	2019-08-30	Paper
A pattern logic for automata with outputs (available as arXiv preprint)	2018-11-22	Paper
Decidable weighted expressions with Presburger combinators Lecture Notes in Computer Science	2017-11-22	Paper

Research outcomes over time

This page was built for person: Nicolas Mazzocchi