Michele Chiari

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
Cyclic operator precedence grammars for parallel parsing Information and Computation	2025-12-15	Paper
Cyclic operator precedence grammars for improved parallel parsing	2025-01-31	Paper
Verification of programs with exceptions through operator precedence automata Software Engineering and Formal Methods	2023-05-26	Paper
A first-order complete temporal logic for structured context-free languages (available as arXiv preprint)	2022-08-30	Paper
A first-order complete temporal logic for structured context-free languages	2022-08-30	Paper
Correct approximation of IEEE 754 floating-point arithmetic for program verification Constraints	2022-07-07	Paper
Model-checking structured context-free languages	2022-03-25	Paper
Temporal logic and model checking for operator precedence languages (available as arXiv preprint)	2021-12-17	Paper
Temporal logic and model checking for operator precedence languages	2021-12-17	Paper
Operator precedence temporal logic and model checking Theoretical Computer Science	2020-12-15	Paper

Research outcomes over time

This page was built for person: Michele Chiari