×

zbMATH — the first resource for mathematics

Mandrioli, Dino

Compute Distance To:
Author ID: mandrioli.dino Recent zbMATH articles by "Mandrioli, Dino"
Published as: Mandrioli, D.; Mandrioli, Dino
External Links: MGP · Wikidata
Documents Indexed: 52 Publications since 1972, including 5 Books

Publications by Year

Citations contained in zbMATH

35 Publications have been cited 162 times in 114 Documents Cited by Year
A decidability theorem for a class of vector-addition systems. Zbl 0302.68065
Crespi-Reghizzi, S.; Mandrioli, D.
22
1975
QRT FIFO automata, breadth-first grammars and their relations. Zbl 0745.68069
Cherubini, Alessandra; Citrini, Claudio; Crespi Reghizzi, Stefano; Mandrioli, Dino
16
1991
Theoretical foundations of computer science. Zbl 0734.68002
Mandrioli, Dino; Ghezzi, Carlo
15
1987
Petri nets and Szilard languages. Zbl 0354.68098
Crespi-Reghizzi, S.; Mandrioli, D.
13
1977
Operator precedence and the visibly pushdown property. Zbl 1250.68175
Reghizzi, Stefano Crespi; Mandrioli, Dino
8
2012
Modeling time in computing. Zbl 1260.68004
Furia, Carlo A.; Mandrioli, Dino; Morzenti, Angelo; Rossi, Matteo
7
2012
Fundamentals of software engineering. Zbl 0827.68030
Ghezzi, Carlo; Jazayeri, Mehdi; Mandrioli, Dino
7
1991
Noncounting context-free languages. Zbl 0388.68073
Crespi-Reghizzi, S.; Guida, G.; Mandrioli, D.
7
1978
Algebraic properties of operator precedence languages. Zbl 0377.68048
Crespi-Reghizzi, Stefano; Mandrioli, Dino; Martin, David F.
7
1978
Operator precedence languages: their automata-theoretic and logic characterization. Zbl 06477902
Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
6
2015
Commutative grammars. Zbl 0354.68099
Crespi-Reghizzi, S.; Mandrioli, D.
5
1976
Generalizing input-driven languages: theoretical and practical benefits. Zbl 1382.68136
Mandrioli, Dino; Pradella, Matteo
4
2018
Incremental parsing. Zbl 0449.68046
Ghezzi, Carlo; Mandrioli, Dino
4
1979
A general approach to learning in problem-solving. Zbl 0376.68062
Sangiovanni Vincentelli, A.; Mandrioli, D.; Somalvico, M.
4
1976
Precedence automata and languages. Zbl 1252.68178
Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
3
2011
Operator precedence and the visibly pushdown property. Zbl 1284.68345
Crespi Reghizzi, Stefano; Mandrioli, Dino
3
2010
Operator precedence grammars and the noncounting property. Zbl 0454.68090
Crespi-Reghizzi, Stefano; Guida, Giovanni; Mandrioli, Dino
3
1981
Augmenting parsers to support incrementality. Zbl 0475.68052
Ghezzi, Carlo; Mandrioli, Dino
3
1980
Pseudoequilibrium in dynamical systems. Zbl 0274.93022
Gatto, M.; Mandrioli, D.; Rinaldi, S.
3
1973
First-order logic definability of free languages. Zbl 06496829
Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
2
2015
Parallel parsing of operator precedence grammars. Zbl 1259.68101
Barenghi, Alessandro; Crespi Reghizzi, Stefan; Mandrioli, Dino; Pradella, Matteo
2
2013
Dealing with zero-time transitions in axiom systems. Zbl 1045.68591
Gargantini, Angelo; Mandrioli, Dino; Morzenti, Angelo
2
1999
Advanced object-oriented software engineering. Zbl 0814.68049
Mandrioli, Dino (ed.); Meyer, Bertrand (ed.)
2
1992
On deterministic multi-pass analysis. Zbl 0611.68051
Citrini, Claudio; Crespi-Reghizzi, Stefano; Mandrioli, Dino
2
1986
An integrated theory of problems as an algebraic base for complexity understanding and automatic problem solving. Zbl 0337.90051
Guida, Giovanni; Mandrioli, Dino; Paci, Amedeo; Somalvico, Marco
2
1976
Toward a theory of input-driven locally parsable languages. Zbl 1355.68154
Crespi Reghizzi, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
1
2017
Locally chain-parsable languages. Zbl 06482732
Crespi Reghizzi, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
1
2015
Logic characterization of invisibly structured languages: the case of Floyd languages. Zbl 1303.68080
Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
1
2013
Operator precedence \(\omega \)-languages. Zbl 1381.68130
Panella, Federica; Pradella, Matteo; Lonati, Violetta; Mandrioli, Dino
1
2013
Automated compositional proofs for real-time systems. Zbl 1119.68427
Furia, Carlo A.; Rossi, Matteo; Mandrioli, Dino; Morzenti, Angelo
1
2005
Real-time synchronised Petri nets. Zbl 1047.68606
Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas
1
2002
Breadth and depth grammars and Deque automata. Zbl 0732.68066
Cherubini, Alessandra; Citrini, Claudio; Crespi Reghizzi, Stefano; Mandrioli, Dino
1
1990
Symbolic execution of concurrent systems using Petri nets. Zbl 0689.68008
Ghezzi, Carlo; Mandrioli, Dino; Morasca, Sandro; Pezzè, Mauro
1
1989
Chained deterministic push-down transductions. Zbl 0614.68056
Citrini, C.; Crespi Reghizzi, S.; Mandrioli, D.
1
1986
An integrated model of problem solver. Zbl 0368.94023
Guida, Giovanni; Mandrioli, Dino; Somalvico, Marco
1
1977
Generalizing input-driven languages: theoretical and practical benefits. Zbl 1382.68136
Mandrioli, Dino; Pradella, Matteo
4
2018
Toward a theory of input-driven locally parsable languages. Zbl 1355.68154
Crespi Reghizzi, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
1
2017
Operator precedence languages: their automata-theoretic and logic characterization. Zbl 06477902
Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
6
2015
First-order logic definability of free languages. Zbl 06496829
Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo
2
2015
Locally chain-parsable languages. Zbl 06482732
Crespi Reghizzi, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
1
2015
Parallel parsing of operator precedence grammars. Zbl 1259.68101
Barenghi, Alessandro; Crespi Reghizzi, Stefan; Mandrioli, Dino; Pradella, Matteo
2
2013
Logic characterization of invisibly structured languages: the case of Floyd languages. Zbl 1303.68080
Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
1
2013
Operator precedence \(\omega \)-languages. Zbl 1381.68130
Panella, Federica; Pradella, Matteo; Lonati, Violetta; Mandrioli, Dino
1
2013
Operator precedence and the visibly pushdown property. Zbl 1250.68175
Reghizzi, Stefano Crespi; Mandrioli, Dino
8
2012
Modeling time in computing. Zbl 1260.68004
Furia, Carlo A.; Mandrioli, Dino; Morzenti, Angelo; Rossi, Matteo
7
2012
Precedence automata and languages. Zbl 1252.68178
Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo
3
2011
Operator precedence and the visibly pushdown property. Zbl 1284.68345
Crespi Reghizzi, Stefano; Mandrioli, Dino
3
2010
Automated compositional proofs for real-time systems. Zbl 1119.68427
Furia, Carlo A.; Rossi, Matteo; Mandrioli, Dino; Morzenti, Angelo
1
2005
Real-time synchronised Petri nets. Zbl 1047.68606
Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas
1
2002
Dealing with zero-time transitions in axiom systems. Zbl 1045.68591
Gargantini, Angelo; Mandrioli, Dino; Morzenti, Angelo
2
1999
Advanced object-oriented software engineering. Zbl 0814.68049
Mandrioli, Dino (ed.); Meyer, Bertrand (ed.)
2
1992
QRT FIFO automata, breadth-first grammars and their relations. Zbl 0745.68069
Cherubini, Alessandra; Citrini, Claudio; Crespi Reghizzi, Stefano; Mandrioli, Dino
16
1991
Fundamentals of software engineering. Zbl 0827.68030
Ghezzi, Carlo; Jazayeri, Mehdi; Mandrioli, Dino
7
1991
Breadth and depth grammars and Deque automata. Zbl 0732.68066
Cherubini, Alessandra; Citrini, Claudio; Crespi Reghizzi, Stefano; Mandrioli, Dino
1
1990
Symbolic execution of concurrent systems using Petri nets. Zbl 0689.68008
Ghezzi, Carlo; Mandrioli, Dino; Morasca, Sandro; Pezzè, Mauro
1
1989
Theoretical foundations of computer science. Zbl 0734.68002
Mandrioli, Dino; Ghezzi, Carlo
15
1987
On deterministic multi-pass analysis. Zbl 0611.68051
Citrini, Claudio; Crespi-Reghizzi, Stefano; Mandrioli, Dino
2
1986
Chained deterministic push-down transductions. Zbl 0614.68056
Citrini, C.; Crespi Reghizzi, S.; Mandrioli, D.
1
1986
Operator precedence grammars and the noncounting property. Zbl 0454.68090
Crespi-Reghizzi, Stefano; Guida, Giovanni; Mandrioli, Dino
3
1981
Augmenting parsers to support incrementality. Zbl 0475.68052
Ghezzi, Carlo; Mandrioli, Dino
3
1980
Incremental parsing. Zbl 0449.68046
Ghezzi, Carlo; Mandrioli, Dino
4
1979
Noncounting context-free languages. Zbl 0388.68073
Crespi-Reghizzi, S.; Guida, G.; Mandrioli, D.
7
1978
Algebraic properties of operator precedence languages. Zbl 0377.68048
Crespi-Reghizzi, Stefano; Mandrioli, Dino; Martin, David F.
7
1978
Petri nets and Szilard languages. Zbl 0354.68098
Crespi-Reghizzi, S.; Mandrioli, D.
13
1977
An integrated model of problem solver. Zbl 0368.94023
Guida, Giovanni; Mandrioli, Dino; Somalvico, Marco
1
1977
Commutative grammars. Zbl 0354.68099
Crespi-Reghizzi, S.; Mandrioli, D.
5
1976
A general approach to learning in problem-solving. Zbl 0376.68062
Sangiovanni Vincentelli, A.; Mandrioli, D.; Somalvico, M.
4
1976
An integrated theory of problems as an algebraic base for complexity understanding and automatic problem solving. Zbl 0337.90051
Guida, Giovanni; Mandrioli, Dino; Paci, Amedeo; Somalvico, Marco
2
1976
A decidability theorem for a class of vector-addition systems. Zbl 0302.68065
Crespi-Reghizzi, S.; Mandrioli, D.
22
1975
Pseudoequilibrium in dynamical systems. Zbl 0274.93022
Gatto, M.; Mandrioli, D.; Rinaldi, S.
3
1973
all top 5

Cited by 187 Authors

13 Mandrioli, Dino
8 Crespi Reghizzi, Stefano
7 Pradella, Matteo
6 Yen, Hsu-Chun
5 Howell, Rodney R.
5 Kutrib, Martin
5 Malcher, Andreas
5 Rosier, Louis E.
5 Wendlandt, Matthias
4 Best, Eike
3 Devillers, Raymond
3 Furia, Carlo Alberto
3 Guida, Giovanni
3 Lonati, Violetta
3 Moore, Cristopher
3 Morzenti, Angelo
3 Rossi, Matteo A. C.
3 San Pietro, Pierluigi L.
3 Somalvico, Marco
2 Cherubini, Alessandra Spoletini
2 Crutchfield, James P.
2 Gragnani, Alessandra
2 Jantzen, Matthias
2 Maibaum, Thomas Stephen Edward
2 Mitchell, William P. R.
2 Rinaldi, Sergio
2 Simmons, Harold
1 Aguirre, Nazareno M.
1 Akl, Selim G.
1 Alimonti, Paola
1 Arbab, Farhad
1 Arnold, André
1 Atanassov, Krassimir Todorov
1 Bailey, James M.
1 Barendregt, Hendrik Pieter
1 Battilotti, Giulia
1 Beier, Simon
1 Bensch, Suna
1 Bernaschi, Massimo
1 Bersani, Marcello M.
1 Bisbal, Jesús
1 Bjørner, Dines
1 Breveglieri, Luca
1 Carbone, Antonio
1 Cassez, Franck
1 Castiglione, Filippo
1 Castro, Pablo F.
1 Cavaliere, Matteo
1 Cerone, Antonio
1 Chiari, Michele
1 Citrini, Claudio
1 Cleaveland, Rance
1 Coenen, Frans
1 Cook, Phil
1 Coppo, Mario
1 Crespi Reghizzi, Stefan
1 Cristiano, Rony
1 Cugola, Gianpaolo
1 Dare, Vincent Rajkumar
1 Demasi, Ramiro
1 Dercole, Fabio
1 Dezani-Ciancaglini, Mariangiola
1 Diskin, Zinovy
1 Doder, Dragan
1 Dong, Guozhu
1 Drewes, Frank
1 Droste, Manfred
1 Dubey, Maneesh Kumar
1 Dück, Stefan
1 Eaglestone, Barry
1 Faggian, Claudia
1 Felder, Miguel
1 Fenner, Stephen A.
1 Fernau, Henning
1 Ferrucci, Luca
1 Feuerstein, Esteban
1 Fontana, Peter
1 Freire Macías, Emilio
1 Garg, Vijay K.
1 Gargantini, Angelo
1 Gautam, Vinay
1 Ghezzi, Carlo
1 Glasserman, Paul
1 Grabowski, Jan
1 Grimson, Jane B.
1 Grüning, André
1 Gu, Wenxiang
1 Hansson, Othar
1 Hesselink, Wim H.
1 Hojjat, Hossein
1 Hujsa, Thomas
1 Hunt, Harry Bowen III
1 Huynh, Dung T.
1 Joinet, Jean-Baptiste
1 Jones, Neil D.
1 Jürgensen, Helmut
1 Kamide, Norihiro
1 Khedri, Ridha
1 Kurtz, Stuart A.
1 Kuznetsov, Yuri Alexandrovich
...and 87 more Authors
all top 5

Cited in 44 Serials

26 Theoretical Computer Science
11 Information Processing Letters
10 The Journal of Symbolic Logic
7 Journal of Computer and System Sciences
3 Acta Informatica
3 Information and Computation
3 Formal Aspects of Computing
2 ACM Computing Surveys
2 Calcolo
2 Information Sciences
2 Physica D
2 International Journal of Intelligent Systems
2 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
2 RAIRO. Theoretical Informatics and Applications
1 Artificial Intelligence
1 BIT
1 Computing
1 Mathematical Systems Theory
1 RAIRO, Informatique Théorique
1 SIAM Journal on Computing
1 Software. Practice & Experience
1 Theoretical Population Biology
1 Science of Computer Programming
1
1 International Journal of Foundations of Computer Science
1 Discrete Event Dynamic Systems
1 International Journal of Computer Mathematics
1 Pattern Recognition
1 RAIRO. Informatique Théorique et Applications
1 Advances in Engineering Software
1 Journal of Logic, Language and Information
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 Reliable Computing
1 Parallel Algorithms and Applications
1 European Journal of Control
1 Theory of Computing Systems
1 Soft Computing
1 Journal of Software Maintenance and Evolution. Research and Practice
1 Journal of Applied Mathematics and Computing
1 Journal of Applied Logic
1 International Journal of Computational Methods
1 Computer Science Review
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.