MANDRIOLI, DINO
MANDRIOLI, DINO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A class of Grammars Generating Non Counting Languages
1979-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
A decidability theorem for a class of vector-addition systems
1975-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES
2022-01-01 Chiari, M.; Mandrioli, D.; Pradella, M.
A formal approach for designing CORBA-based applications
2003-01-01 A., Coen Porisini; Pradella, Matteo; Rossi, MATTEO GIOVANNI; Mandrioli, Dino
A Formal Framework for ASTRAL Intra-level Proof Obligations
1994-01-01 Coen, Porisini; Kemmerer, R.; Mandrioli, Dino
A framework architecture for supervision and control systems
2000-01-01 R., Capobianchi; COEN PORISINI, Alberto; Mandrioli, Dino; Morzenti, ANGELO CARLO
A Model Checker for Operator Precedence Languages
2023-01-01 Chiari, M.; Mandrioli, D.; Pontiggia, F.; Pradella, M.
A Model Parametric Real-Time Logic
1992-01-01 Morzenti, ANGELO CARLO; Mandrioli, Dino; Ghezzi, Carlo
A Note on Petri Net Languages
1977-01-01 Mandrioli, Dino
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications
2016-01-01 Rossi, MATTEO GIOVANNI; Mandrioli, Dino; Morzenti, ANGELO CARLO; Ferrucci, Luca
A Unified High-level Petri Net Model for Time Critical Systems
1991-01-01 Ghezzi, Carlo; Mandrioli, Dino; Morasca, S.; Pezze', M.
Algebraic Properties of Operator Precedence Languages
1978-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino; Martin, D.
APERIODICITY, STAR-FREENESS, AND FIRST-ORDER LOGIC DEFINABILITY OF OPERATOR PRECEDENCE LANGUAGES
2023-01-01 Mandrioli, D.; Pradella, M.; Crespi Reghizzi, S.
Augmenting Parsers to Support Incrementality
1980-01-01 Ghezzi, Carlo; Mandrioli, Dino
Automated Compositional Proofs for Real-Time Systems
2007-01-01 Furia, CARLO ALBERTO; Mandrioli, Dino; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Automated formal verification for flexible manufacturing systems
2014-01-01 E., Carpanzano; Ferrucci, Luca; Mandrioli, Dino; Mazzolini, •. M.; Morzenti, ANGELO CARLO; Rossi, MATTEO GIOVANNI
Basi, problemi e prospettive dell'elaborazione automatica del linguaggio naturale
1978-01-01 CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Breadth and depth grammars and Deque automata
1990-01-01 Cherubini, Alessandra; Citrini, Claudio; CRESPI REGHIZZI, Stefano; Mandrioli, Dino
Dealing with Zero-time Transitions in Axiom Systems
1999-01-01 Gargantini, A.; Mandrioli, Dino; Morzenti, ANGELO CARLO
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali
1974-01-01 Gatto, Marino; Mandrioli, Dino