Edit Profile Mandrioli, Dino Compute Distance To: Compute Author ID: mandrioli.dino Published as: Mandrioli, D.; Mandrioli, Dino External Links: MGP · Wikidata Documents Indexed: 52 Publications since 1972, including 5 Books all top 5 Co-Authors 3 single-authored 11 Crespi Reghizzi, Stefano 11 Pradella, Matteo 9 Ghezzi, Carlo 7 Lonati, Violetta 5 Morzenti, Angelo 4 Citrini, Claudio 4 Crespi Reghizzi, Stefan 4 Furia, Carlo Alberto 4 Gatto, Marino 4 Guida, Giovanni 4 Rossi, Matteo A. C. 3 Celentano, Augusto 3 Della Vigna, Pierluigi 3 Panella, Federica 3 Rinaldi, Sergio 3 Somalvico, Marco 2 Cherubini, Alessandra Spoletini 1 Araki, Keijiro 1 Barenghi, Alessandro 1 Berry, Daniel M. 1 Buchs, Didier 1 Chiari, Michele 1 Coen-Porisini, Alberto 1 Di Marzo Serugendo, Giovanna 1 Droste, Manfred 1 Dück, Stefan 1 Ferrucci, Luca 1 Gargantini, Angelo 1 Gnesi, Stefania 1 Guelfi, Nicolas 1 Jazayeri, Mehdi 1 Martin, David F. 1 Meyer, Bertrand 1 Morasca, Sandro 1 Paci, Amedeo 1 Pezzè, Mauro 1 Sangiovanni-Vincentelli, Alberto L. 1 Tisato, Francesco all top 5 Serials 5 Theoretical Computer Science 3 Information Processing Letters 3 Computer Languages 3 Information and Control 3 SIAM Journal on Computing 2 Calcolo 2 Journal of the Association for Computing Machinery 1 International Journal of Systems Science 1 Information Sciences 1 Journal of Computer and System Sciences 1 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 ACM Transactions on Programming Languages and Systems 1 Information and Computation 1 International Journal of Foundations of Computer Science 1 Concurrency: Practice and Experience 1 IEEE Transactions on Software Engineering 1 Lecture Notes in Computer Science 1 La Matematica nella Società e nella Cultura. Serie I 1 Computer Science Review 1 Monographs in Theoretical Computer Science. An EATCS Series all top 5 Fields 49 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 3 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications 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.68065Crespi-Reghizzi, S.; Mandrioli, D. 22 1975 QRT FIFO automata, breadth-first grammars and their relations. Zbl 0745.68069Cherubini, Alessandra; Citrini, Claudio; Crespi Reghizzi, Stefano; Mandrioli, Dino 16 1991 Theoretical foundations of computer science. Zbl 0734.68002Mandrioli, Dino; Ghezzi, Carlo 15 1987 Petri nets and Szilard languages. Zbl 0354.68098Crespi-Reghizzi, S.; Mandrioli, D. 13 1977 Operator precedence and the visibly pushdown property. Zbl 1250.68175Reghizzi, Stefano Crespi; Mandrioli, Dino 8 2012 Modeling time in computing. Zbl 1260.68004Furia, Carlo A.; Mandrioli, Dino; Morzenti, Angelo; Rossi, Matteo 7 2012 Fundamentals of software engineering. Zbl 0827.68030Ghezzi, Carlo; Jazayeri, Mehdi; Mandrioli, Dino 7 1991 Noncounting context-free languages. Zbl 0388.68073Crespi-Reghizzi, S.; Guida, G.; Mandrioli, D. 7 1978 Algebraic properties of operator precedence languages. Zbl 0377.68048Crespi-Reghizzi, Stefano; Mandrioli, Dino; Martin, David F. 7 1978 Operator precedence languages: their automata-theoretic and logic characterization. Zbl 06477902Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo 6 2015 Commutative grammars. Zbl 0354.68099Crespi-Reghizzi, S.; Mandrioli, D. 5 1976 Generalizing input-driven languages: theoretical and practical benefits. Zbl 1382.68136Mandrioli, Dino; Pradella, Matteo 4 2018 Incremental parsing. Zbl 0449.68046Ghezzi, Carlo; Mandrioli, Dino 4 1979 A general approach to learning in problem-solving. Zbl 0376.68062Sangiovanni Vincentelli, A.; Mandrioli, D.; Somalvico, M. 4 1976 Precedence automata and languages. Zbl 1252.68178Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo 3 2011 Operator precedence and the visibly pushdown property. Zbl 1284.68345Crespi Reghizzi, Stefano; Mandrioli, Dino 3 2010 Operator precedence grammars and the noncounting property. Zbl 0454.68090Crespi-Reghizzi, Stefano; Guida, Giovanni; Mandrioli, Dino 3 1981 Augmenting parsers to support incrementality. Zbl 0475.68052Ghezzi, Carlo; Mandrioli, Dino 3 1980 Pseudoequilibrium in dynamical systems. Zbl 0274.93022Gatto, M.; Mandrioli, D.; Rinaldi, S. 3 1973 First-order logic definability of free languages. Zbl 06496829Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo 2 2015 Parallel parsing of operator precedence grammars. Zbl 1259.68101Barenghi, Alessandro; Crespi Reghizzi, Stefan; Mandrioli, Dino; Pradella, Matteo 2 2013 Dealing with zero-time transitions in axiom systems. Zbl 1045.68591Gargantini, Angelo; Mandrioli, Dino; Morzenti, Angelo 2 1999 Advanced object-oriented software engineering. Zbl 0814.68049Mandrioli, Dino (ed.); Meyer, Bertrand (ed.) 2 1992 On deterministic multi-pass analysis. Zbl 0611.68051Citrini, 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.90051Guida, Giovanni; Mandrioli, Dino; Paci, Amedeo; Somalvico, Marco 2 1976 Toward a theory of input-driven locally parsable languages. Zbl 1355.68154Crespi Reghizzi, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo 1 2017 Locally chain-parsable languages. Zbl 06482732Crespi Reghizzi, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo 1 2015 Logic characterization of invisibly structured languages: the case of Floyd languages. Zbl 1303.68080Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo 1 2013 Operator precedence \(\omega \)-languages. Zbl 1381.68130Panella, Federica; Pradella, Matteo; Lonati, Violetta; Mandrioli, Dino 1 2013 Automated compositional proofs for real-time systems. Zbl 1119.68427Furia, Carlo A.; Rossi, Matteo; Mandrioli, Dino; Morzenti, Angelo 1 2005 Real-time synchronised Petri nets. Zbl 1047.68606Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas 1 2002 Breadth and depth grammars and Deque automata. Zbl 0732.68066Cherubini, Alessandra; Citrini, Claudio; Crespi Reghizzi, Stefano; Mandrioli, Dino 1 1990 Symbolic execution of concurrent systems using Petri nets. Zbl 0689.68008Ghezzi, Carlo; Mandrioli, Dino; Morasca, Sandro; Pezzè, Mauro 1 1989 Chained deterministic push-down transductions. Zbl 0614.68056Citrini, C.; Crespi Reghizzi, S.; Mandrioli, D. 1 1986 An integrated model of problem solver. Zbl 0368.94023Guida, Giovanni; Mandrioli, Dino; Somalvico, Marco 1 1977 Generalizing input-driven languages: theoretical and practical benefits. Zbl 1382.68136Mandrioli, Dino; Pradella, Matteo 4 2018 Toward a theory of input-driven locally parsable languages. Zbl 1355.68154Crespi Reghizzi, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo 1 2017 Operator precedence languages: their automata-theoretic and logic characterization. Zbl 06477902Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo 6 2015 First-order logic definability of free languages. Zbl 06496829Lonati, Violetta; Mandrioli, Dino; Panella, Federica; Pradella, Matteo 2 2015 Locally chain-parsable languages. Zbl 06482732Crespi Reghizzi, Stefano; Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo 1 2015 Parallel parsing of operator precedence grammars. Zbl 1259.68101Barenghi, Alessandro; Crespi Reghizzi, Stefan; Mandrioli, Dino; Pradella, Matteo 2 2013 Logic characterization of invisibly structured languages: the case of Floyd languages. Zbl 1303.68080Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo 1 2013 Operator precedence \(\omega \)-languages. Zbl 1381.68130Panella, Federica; Pradella, Matteo; Lonati, Violetta; Mandrioli, Dino 1 2013 Operator precedence and the visibly pushdown property. Zbl 1250.68175Reghizzi, Stefano Crespi; Mandrioli, Dino 8 2012 Modeling time in computing. Zbl 1260.68004Furia, Carlo A.; Mandrioli, Dino; Morzenti, Angelo; Rossi, Matteo 7 2012 Precedence automata and languages. Zbl 1252.68178Lonati, Violetta; Mandrioli, Dino; Pradella, Matteo 3 2011 Operator precedence and the visibly pushdown property. Zbl 1284.68345Crespi Reghizzi, Stefano; Mandrioli, Dino 3 2010 Automated compositional proofs for real-time systems. Zbl 1119.68427Furia, Carlo A.; Rossi, Matteo; Mandrioli, Dino; Morzenti, Angelo 1 2005 Real-time synchronised Petri nets. Zbl 1047.68606Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas 1 2002 Dealing with zero-time transitions in axiom systems. Zbl 1045.68591Gargantini, Angelo; Mandrioli, Dino; Morzenti, Angelo 2 1999 Advanced object-oriented software engineering. Zbl 0814.68049Mandrioli, Dino (ed.); Meyer, Bertrand (ed.) 2 1992 QRT FIFO automata, breadth-first grammars and their relations. Zbl 0745.68069Cherubini, Alessandra; Citrini, Claudio; Crespi Reghizzi, Stefano; Mandrioli, Dino 16 1991 Fundamentals of software engineering. Zbl 0827.68030Ghezzi, Carlo; Jazayeri, Mehdi; Mandrioli, Dino 7 1991 Breadth and depth grammars and Deque automata. Zbl 0732.68066Cherubini, Alessandra; Citrini, Claudio; Crespi Reghizzi, Stefano; Mandrioli, Dino 1 1990 Symbolic execution of concurrent systems using Petri nets. Zbl 0689.68008Ghezzi, Carlo; Mandrioli, Dino; Morasca, Sandro; Pezzè, Mauro 1 1989 Theoretical foundations of computer science. Zbl 0734.68002Mandrioli, Dino; Ghezzi, Carlo 15 1987 On deterministic multi-pass analysis. Zbl 0611.68051Citrini, Claudio; Crespi-Reghizzi, Stefano; Mandrioli, Dino 2 1986 Chained deterministic push-down transductions. Zbl 0614.68056Citrini, C.; Crespi Reghizzi, S.; Mandrioli, D. 1 1986 Operator precedence grammars and the noncounting property. Zbl 0454.68090Crespi-Reghizzi, Stefano; Guida, Giovanni; Mandrioli, Dino 3 1981 Augmenting parsers to support incrementality. Zbl 0475.68052Ghezzi, Carlo; Mandrioli, Dino 3 1980 Incremental parsing. Zbl 0449.68046Ghezzi, Carlo; Mandrioli, Dino 4 1979 Noncounting context-free languages. Zbl 0388.68073Crespi-Reghizzi, S.; Guida, G.; Mandrioli, D. 7 1978 Algebraic properties of operator precedence languages. Zbl 0377.68048Crespi-Reghizzi, Stefano; Mandrioli, Dino; Martin, David F. 7 1978 Petri nets and Szilard languages. Zbl 0354.68098Crespi-Reghizzi, S.; Mandrioli, D. 13 1977 An integrated model of problem solver. Zbl 0368.94023Guida, Giovanni; Mandrioli, Dino; Somalvico, Marco 1 1977 Commutative grammars. Zbl 0354.68099Crespi-Reghizzi, S.; Mandrioli, D. 5 1976 A general approach to learning in problem-solving. Zbl 0376.68062Sangiovanni 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.90051Guida, Giovanni; Mandrioli, Dino; Paci, Amedeo; Somalvico, Marco 2 1976 A decidability theorem for a class of vector-addition systems. Zbl 0302.68065Crespi-Reghizzi, S.; Mandrioli, D. 22 1975 Pseudoequilibrium in dynamical systems. Zbl 0274.93022Gatto, M.; Mandrioli, D.; Rinaldi, S. 3 1973 all cited Publications top 5 cited Publications 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 all top 5 Cited in 15 Fields 98 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 5 Biology and other natural sciences (92-XX) 3 Ordinary differential equations (34-XX) 3 Information and communication theory, circuits (94-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Numerical analysis (65-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Quantum theory (81-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 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.