Dino Mandrioli

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages	2023	Dino Mandrioli Matteo Pradella Stefano Crespi Reghizzi
+	Lecture Notes on Monadic First- and Second-Order Logic on Strings	2023	Dino Mandrioli Davide Martinenghi Angelo Morzenti Matteo Pradella Matteo Rossi
+	Cyclic Operator Precedence Grammars for Parallel Parsing	2023	Michele Chiari Dino Mandrioli Matteo Pradella
+ PDF Chat	A First-Order Complete Temporal Logic for Structured Context-Free Languages	2022	Michele Chiari Dino Mandrioli Matteo Pradella
+	A First-Order Complete Temporal Logic for Structured Context-Free Languages	2021	Michele Chiari Dino Mandrioli Matteo Pradella
+ PDF Chat	Weighted operator precedence languages	2020	Manfred Droste Stefan Dück Dino Mandrioli Matteo Pradella
+	Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages.	2020	Dino Mandrioli Matteo Pradella Stefano Crespi-Reghizzi
+	Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages	2020	Dino Mandrioli Matteo Pradella Stefano Crespi Reghizzi
+	POTL: A First-Order Complete Temporal Logic for Operator Precedence Languages	2019	Michele Chiari Dino Mandrioli Matteo Pradella
+ PDF Chat	Temporal Logic and Model Checking for Operator Precedence Languages	2018	Michele Chiari Dino Mandrioli Matteo Pradella
+ PDF Chat	Generalizing input-driven languages: Theoretical and practical benefits	2017	Dino Mandrioli Matteo Pradella
+	Generalizing input-driven languages: theoretical and practical benefits	2017	Dino Mandrioli Matteo Pradella
+	Weighted Operator Precedence Languages	2017	Manfred Droste Stefan Dück Dino Mandrioli Matteo Pradella
+	Generalizing input-driven languages: theoretical and practical benefits	2017	Dino Mandrioli Matteo Pradella
+	Weighted Operator Precedence Languages	2017	Manfred Droste Stefan Dück Dino Mandrioli Matteo Pradella
+	A syntactic-semantic approach to incremental verification	2013	Domenico Bianculli Antonio Filieri Carlo Ghezzi Dino Mandrioli
+	Operator Precedence \omega-languages	2013	Federica Panella Matteo Pradella Dino Mandrioli Violetta Lonati
+	A Syntactic-Semantic Approach to Incremental Verification	2013	Domenico Bianculli Antonio Filieri Carlo Ghezzi Dino Mandrioli
+	Operator Precedence ω-languages	2013	Federica Panella Matteo Pradella Dino Mandrioli Violetta Lonati
+	Logic Characterization of Floyd Languages	2012	Violetta Lonati Dino Mandrioli Matteo Pradella
+	Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach	2012	Luca Ferrucci Dino Mandrioli Angelo Morzenti Matteo Rossi
+ PDF Chat	Precedence Automata and Languages	2011	Violetta Lonati Dino Mandrioli Matteo Pradella
+	Precedence Automata and Languages	2010	Violetta Lonati Dino Mandrioli Matteo Pradella
+ PDF Chat	Modeling time in computing	2010	Carlo A. Furia Dino Mandrioli Angelo Morzenti Matteo Rossi
+	Refinement and Verification of Real-Time Systems	2010	Paul Z. Kolano Carlo A. Furia Richard A. Kemmerer Dino Mandrioli
+	Precedence Automata and Languages	2010	Violetta Lonati Dino Mandrioli Matteo Pradella
+	Algebraic properties of structured context-free languages: old approaches and novel developments	2009	Stefano Crespi Reghizzi Dino Mandrioli

Common Coauthors

Coauthor	Papers Together
Matteo Pradella	21
Violetta Lonati	6
Michele Chiari	5
Stefano Crespi Reghizzi	3
Manfred Droste	3
Stefan Dück	3
Angelo Morzenti	3
Matteo Rossi	3
Carlo A. Furia	2
Carlo Ghezzi	2
Domenico Bianculli	2
Federica Panella	2
Antonio Filieri	2
Richard A. Kemmerer	1
Paul Z. Kolano	1
Luca Ferrucci	1
Davide Martinenghi	1
Stefano Crespi-Reghizzi	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	First-Order and Temporal Logics for Nested Words	2008	Rajeev Alur Marcelo Arenas Pablo Barceló Kousha Etessami Neil Immerman Leonid Libkin	6
+ PDF Chat	Generalizing input-driven languages: Theoretical and practical benefits	2017	Dino Mandrioli Matteo Pradella	5
+ PDF Chat	Precedence Automata and Languages	2011	Violetta Lonati Dino Mandrioli Matteo Pradella	3
+ PDF Chat	Temporal Logic and Model Checking for Operator Precedence Languages	2018	Michele Chiari Dino Mandrioli Matteo Pradella	2
+	Weighted Operator Precedence Languages	2017	Manfred Droste Stefan Dück Dino Mandrioli Matteo Pradella	2
+ PDF Chat	A First-Order Complete Temporal Logic for Structured Context-Free Languages	2022	Michele Chiari Dino Mandrioli Matteo Pradella	2
+	Weighted automata and logics for infinite nested words	2016	Manfred Droste Stefan Dück	2
+ PDF Chat	Timed Context-Free Temporal Logics	2018	Laura Bozzelli Aniello Murano Adriano Peron	2
+ PDF Chat	Weighted Logics for Nested Words and Algebraic Formal Power Series	2010	Christian Mathissen	1
+	Algebraic properties of structured context-free languages: old approaches and novel developments	2009	Stefano Crespi Reghizzi Dino Mandrioli	1
+	Aperiodicity, Star-freeness, and First-order Definability of Structured Context-Free Languages.	2020	Dino Mandrioli Matteo Pradella Stefano Crespi-Reghizzi	1
+ PDF Chat	Modeling time in computing	2010	Carlo A. Furia Dino Mandrioli Angelo Morzenti Matteo Rossi	1
+ PDF Chat	A theory of sampling for continuous-time metric temporal logic	2010	Carlo A. Furia Matteo Rossi	1
+ PDF Chat	Formal Languages and Compilation	2013	Stefano Crespi Reghizzi Luca Breveglieri Angelo Morzenti	1
+	Mathematical Logic and Hilbert's E-symbol	1969	Albert Leisenring	1
+ PDF Chat	A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic	2014	Manfred Droste Vitaly Perevoshchikov	1
+ PDF Chat	Piecewise testable tree languages	2012	Mikołaj Bojańczyk Luc Segoufin Howard Straubing	1
+ PDF Chat	A decidable characterization of locally testable tree languages	2011	Thomas Place Luc Segoufin	1
+ PDF Chat	A Proof of Kamp's theorem	2014	Alexander Rabinovich	1
+	Non-standard analysis	1966	Abraham Robinson	1
+ PDF Chat	Bounded Reachability for Temporal Logic over Constraint Systems	2010	Marcello M. Bersani Achille Frigeri Angelo Morzenti Matteo Pradella Matteo Rossi Pierluigi San Pietro	1
+	Generalizing input-driven languages: theoretical and practical benefits	2017	Dino Mandrioli Matteo Pradella	1
+ PDF Chat	Higher-Order Operator Precedence Languages	2017	Stefano Crespi Reghizzi Matteo Pradella	1