Edit Profile (opens in new tab) Maggiolo-Schettini, Andrea Co-Author Distance Author ID: maggiolo-schettini.andrea Published as: Maggiolo-Schettini, Andrea; Maggiolo-Schettini, A.; Maggiolo Schettini, A.; Maggiolo Schettini, Andrea; Schettini, Andrea Maggiolo more...less Further Spellings: Schettini, A. Maggiolo Homepage: http://groups.di.unipi.it/~maggiolo/ Documents Indexed: 106 Publications since 1972, including 1 Book Reviewing Activity: 51 Reviews Co-Authors: 42 Co-Authors with 105 Joint Publications 655 Co-Co-Authors all top 5 Co-Authors 1 single-authored 41 Milazzo, Paolo 31 Barbuti, Roberto 23 Tini, Simone 17 Lanotte, Ruggero 15 Troina, Angelo 14 Winkowski, Jozef 12 Pardini, Giovanni 10 Peron, Adriano 9 Germano, Giorgio M. 7 Fachini, Emanuela 4 Caravagna, Giulio 4 Drábik, Peter 4 Rosen, Barry K. 4 Sangiorgi, Davide 3 Gruska, Damas P. 3 Tesei, Luca 2 Ehrig, Hartmut 2 Kreowski, Hans-Jörg 2 Resta, Giovanni 2 Strong, H. R. jun. 2 Tronci, Enrico 2 Wedde, Horst F. 1 Cataudella, Stefano 1 Cerone, Antonio 1 Del Corso, Antonella 1 Dezani-Ciancaglini, Mariangiola 1 Focardi, Riccardo 1 Gorrieri, Roberto 1 Gruska, Jozef 1 Lepri, Daniela 1 Martinelli, Fabio 1 Masini, Andrea 1 Matteucci, Gionata 1 Mura, Umberto 1 Napoli, Margherita 1 Pinna, G. Michele 1 Rama, Aureliano 1 Sangiori, D. 1 Tiberi, Paolo 1 Tortora, Genoveffa 1 Uccella, G. 1 Winkowski, Z. all top 5 Serials 15 Theoretical Computer Science 15 Fundamenta Informaticae 6 Annales Societatis Mathematicae Polonae. Series IV 5 Journal of Computer and System Sciences 3 Acta Informatica 3 Information Processing Letters 2 Formal Aspects of Computing 2 International Journal of Foundations of Computer Science 2 Natural Computing 2 Scientific Annals of Computer Science 1 Acta Cybernetica 1 Calcolo 1 Mathematical Systems Theory 1 RAIRO, Informatique Théorique 1 SIAM Journal on Computing 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 Science of Computer Programming 1 IEEE Transactions on Software Engineering 1 RAIRO. Informatique Théorique et Applications 1 Journal of Biological Systems 1 The Journal of Logic and Algebraic Programming 1 Comptes Rendus Hebdomadaires des Séances de l’Académie des Sciences, Série A 1 BIT. Nordisk Tidskrift for Informationsbehandling all top 5 Fields 97 Computer science (68-XX) 26 Biology and other natural sciences (92-XX) 11 Mathematical logic and foundations (03-XX) 3 Category theory; homological algebra (18-XX) 2 General algebraic systems (08-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 Combinatorics (05-XX) 1 Ordinary differential equations (34-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 82 Publications have been cited 372 times in 183 Documents Cited by ▼ Year ▼ A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 18 2006 Parametric probabilistic transition systems for system design and analysis. Zbl 1111.68084Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 17 2007 Transformations of structures: An algebraic approach. Zbl 0491.68035Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef 13 1981 Compositional semantics and behavioral equivalences for P systems. Zbl 1145.68033Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 11 2008 Bisimulations in calculi modelling membranes. Zbl 1152.68035Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 11 2008 Spatial P systems. Zbl 1213.68256Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tesei, Luca 11 2011 Sequence-to-sequence recursiveness. Zbl 0311.02047Germano, G.; Maggiolo-Schettini, A. 11 1975 Bisimulation congruences in the calculus of looping sequences. Zbl 1168.68435Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 10 2006 Quelques caractérisations des fonctions recursives partielles. Zbl 0324.02025Germano, Giorgio; Maggiolo-Schettini, Andrea 10 1973 Equivalence of partial recursivity and computability by algorithms without concluding formulas. Zbl 0242.02043Germano, G.; Maggiolo-Schettini, A. 10 1972 A flow diagram composition of Markov’s normal algorithms without concluding formulas. Zbl 0283.68026Germano, G.; Maggiolo-Schettini, A. 9 1973 Time-based expressivity of time Petri nets for system specification. Zbl 0914.68145Cerone, Antonio; Maggiolo-Schettini, Andrea 9 1999 Computable stack functions for semantics of stack programs. Zbl 0428.68057Germano, Giorgio; Maggiolo-Schettini, Andrea 8 1979 Compositional semantics of spiking neural P systems. Zbl 1208.68123Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 8 2010 Spatial calculus of looping sequences. Zbl 1230.92002Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 8 2011 Automatic analysis of a non-repudiation protocol. Zbl 1272.68326Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 8 2005 An overview on operational semantics in membrane computing. Zbl 1213.68357Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 7 2011 Some structural properties of systolic tree automata. Zbl 0687.68036Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiorgi, D. 7 1989 A comparison of Statecharts step semantics. Zbl 1018.68045Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone 7 2003 Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Zbl 1241.92019Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tiberi, Paolo; Troina, Angelo 7 2008 A P systems flat form preserving step-by-step behaviour. Zbl 1154.68048Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 7 2008 Proving a compiler correct: A simple approach. Zbl 0304.68022Germano, G.; Maggiolo-Schettini, A. 7 1975 Compositional semantics and behavioural equivalences for reaction systems with restriction. Zbl 1360.68574Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 7 2014 Sequence recursiveness without cylindrification and limited register machines. Zbl 0464.68050Germano, Giorgio; Maggiolo-Schettini, Andrea 6 1981 Deriving structures from structures. Zbl 0379.68055Ehrig, Hartmut; Kreowski, Hans-Jörg; Maggiolo-Schettini, A.; Rosen, B. K.; Winkowski, Z. 6 1978 Foundational aspects of multiscale modeling of biological systems with process algebras. Zbl 1238.68093Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 6 2012 Delay stochastic simulation of biological systems: a purely delayed approach. Zbl 1326.92026Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo 5 2011 Non acceptability criteria and closure properties for the class of languages accepted by binary systolic tree automata. Zbl 0725.68060Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiori, D. 5 1991 A probabilistic model for molecular systems. Zbl 1096.68101Barbuti, Roberto; Cataudella, Stefano; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 5 2005 A compositional semantics of reaction systems with restriction. Zbl 1387.68115Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 5 2013 Spatial calculus of looping sequences. Zbl 1283.92024Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 5 2009 Weak bisimulation for probabilistic timed automata. Zbl 1208.68160Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 4 2010 P systems with transport and diffusion membrane channels. Zbl 1191.68315Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 4 2009 Comparisons among classes of Y-tree systolic automata. Zbl 0734.68066Fachini, E.; Maggiolo Schettini, A.; Sangiorgi, D. 4 1990 Timed cooperating automata. Zbl 0965.68046Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano 4 2000 Simulation of spatial P system models. Zbl 1358.68098Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 4 2014 Towards an algebra for timed behaviours. Zbl 0772.68037Maggiolo-Schettini, Andrea; Winkowski, Józef 3 1992 Semantics of statecharts based on graph rewriting. Zbl 0768.68087Maggiolo-Schettini, Andrea; Peron, Adriano 3 1992 Programmed derivations of relational structures. Zbl 0768.68071Maggiolo-Schettini, Andrea; Winkowski, Józef 3 1991 The calculus of looping sequences for modeling biological membranes. Zbl 1137.68371Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 3 2007 An intermediate language for the stochastic simulation of biological systems. Zbl 1176.68095Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo 3 2009 Simulation of systolic tree automata on trellis automata. Zbl 0726.68057Fachini, Emanuela; Gruska, Jozef; Schettini, Andrea Maggiolo; Sangiorgi, Davide 3 1990 Recursivity, sequence recursivity, stack recursivity and semantics of programs. Zbl 0339.68003Germano, G.; Maggiolo-Schettini, A. 3 1976 Comparing hierarchies of primitive recursive sequence functions. Zbl 0497.03031Fachini, E.; Maggiolo-Schettini, A. 3 1982 Timed P automata. Zbl 1347.68127Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tesei, Luca 3 2009 An algorithm for the identification of components in biochemical pathways. Zbl 1337.92066Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea 3 2013 Equivalences of statecharts. Zbl 1514.68173Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone 3 1996 A hierarchy of primitive recursive sequence functions. Zbl 0402.03041Fachini, E.; Maggiolo-Schettini, A. 2 1979 SOL: An exercise in defining a language. Zbl 0436.68014Maggiolo-Schettini, A.; Uccella, G. 2 1979 Modeling a solution for a control problem in distributed systems by restrictions. Zbl 0441.68021Maggiolo-Schettini, Andrea; Wedde, Horst; Winkowski, Jozef 2 1981 A compositional semantics for timed Petri nets. Zbl 0697.68062Maggiolo-Schettini, Andrea; Winkowski, Józef 2 1990 Processes in cause-effect systems. Zbl 0892.68036Maggiolo-Schettini, Andrea; Matteucci, Gionata 2 1997 Reachability results for timed automata with unbounded data structures. Zbl 1214.68199Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 2 2010 Classes of systolic \(Y\)-tree automata and a comparison with systolic trellis automata. Zbl 0790.68086Fachini, E.; Maggiolo-Schettini, A.; Sangiorgi, D. 2 1992 Transformations of timed cooperating automata. Zbl 1004.68088Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano 2 2001 Concurrency in timed automata. Zbl 0999.68135Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone 2 2001 On conditions for modular verification in systems of synchronising components. Zbl 1279.68204Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo 2 2012 Modeling long-running transactions with communicating hierarchical timed automata. Zbl 1461.68136Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 2 2006 Design and verification of long-running transactions in a timed framework. Zbl 1170.68024Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 2 2008 Applying techniques of asynchronous concurrency to synchronous languages. Zbl 0942.68029Maggiolo-Schettini, Andrea; Tini, Simone 2 1999 Transitions as interrupts: A new semantics for timed statecharts. Zbl 0942.68634Peron, Adriano; Maggiolo-Schettini, Andrea 2 1994 A language for Markov’s algorithms composition. Zbl 0345.02021Germano, G.; Maggiolo-Schettini, A. 2 1976 Modular verification of interactive systems with an application to biology. Zbl 1424.68091Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo 2 2011 Modular verification of qualitative pathway models with fairness. Zbl 1424.92015Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 2 2013 Concurrency in timed automata. Zbl 1070.68073Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone 2 2003 Processes of transforming structures. Zbl 0488.68040Maggiolo-Schettini, Andrea; Winkowski, Jozef 2 1982 Identification of components in biochemical pathways: extensive aqpplication to SBML models. Zbl 1332.92018Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea 2 2014 A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 1 2010 Membrane systems working in generating and accepting modes: expressiveness and encodings. Zbl 1259.68053Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 1 2010 A kernel language for programmed rewriting of (hyper)graphs. Zbl 0849.68072Maggiolo-Schettini, Andrea; Winkowski, Józef 1 1996 Timed automata with monotonic activities. Zbl 0996.68100Lanotte, Ruggero; Maggiolo-Schettini, Andrea 1 2000 Automatic covert channel analysis of a multilevel secure component. Zbl 1109.68470Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico 1 2004 Structural model checking for communicating hierarchical machines. Zbl 1096.68092Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano 1 2004 Process algebras for network communication. Zbl 0974.68138Gruska, Damas P.; Maggiolo-Schettini, Andrea 1 2001 Procedure linkage optimization working paper. Zbl 0309.68029Maggiolo-Schettini, A.; Rosen, B. K.; Strong, H. R. 1 1973 Recursion structure simplification. Zbl 0311.68030Strong, H. R. jun.; Maggiolo-Schettini, A.; Rosen, B. K. 1 1975 Dynamic hierarchical machines. Zbl 1111.68061Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone 1 2003 Component identification in biochemical pathways. Zbl 1327.68163Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea 1 2015 Towards a programming language for manipulating relational data bases. Zbl 0522.68099Maggiolo-Schettini, Andrea; Winkowski, Jozef 1 1983 An algebraic characterization of derivability relations. Zbl 0383.68011Maggiolo Schettini, Andrea; Winkowski, Jozef 1 1978 An intermediate language for the simulation of biological systems. Zbl 1279.92030Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo 1 2008 Modular verification of interactive systems with an application to biology. Zbl 1283.68204Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo 1 2010 Component identification in biochemical pathways. Zbl 1327.68163Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea 1 2015 Compositional semantics and behavioural equivalences for reaction systems with restriction. Zbl 1360.68574Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 7 2014 Simulation of spatial P system models. Zbl 1358.68098Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 4 2014 Identification of components in biochemical pathways: extensive aqpplication to SBML models. Zbl 1332.92018Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea 2 2014 A compositional semantics of reaction systems with restriction. Zbl 1387.68115Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 5 2013 An algorithm for the identification of components in biochemical pathways. Zbl 1337.92066Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea 3 2013 Modular verification of qualitative pathway models with fairness. Zbl 1424.92015Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 2 2013 Foundational aspects of multiscale modeling of biological systems with process algebras. Zbl 1238.68093Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 6 2012 On conditions for modular verification in systems of synchronising components. Zbl 1279.68204Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo 2 2012 Spatial P systems. Zbl 1213.68256Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tesei, Luca 11 2011 Spatial calculus of looping sequences. Zbl 1230.92002Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 8 2011 An overview on operational semantics in membrane computing. Zbl 1213.68357Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 7 2011 Delay stochastic simulation of biological systems: a purely delayed approach. Zbl 1326.92026Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo 5 2011 Modular verification of interactive systems with an application to biology. Zbl 1424.68091Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo 2 2011 Compositional semantics of spiking neural P systems. Zbl 1208.68123Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 8 2010 Weak bisimulation for probabilistic timed automata. Zbl 1208.68160Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 4 2010 Reachability results for timed automata with unbounded data structures. Zbl 1214.68199Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 2 2010 A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 1 2010 Membrane systems working in generating and accepting modes: expressiveness and encodings. Zbl 1259.68053Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 1 2010 Modular verification of interactive systems with an application to biology. Zbl 1283.68204Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo 1 2010 Spatial calculus of looping sequences. Zbl 1283.92024Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni 5 2009 P systems with transport and diffusion membrane channels. Zbl 1191.68315Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 4 2009 An intermediate language for the stochastic simulation of biological systems. Zbl 1176.68095Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo 3 2009 Timed P automata. Zbl 1347.68127Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tesei, Luca 3 2009 Compositional semantics and behavioral equivalences for P systems. Zbl 1145.68033Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 11 2008 Bisimulations in calculi modelling membranes. Zbl 1152.68035Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 11 2008 Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Zbl 1241.92019Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tiberi, Paolo; Troina, Angelo 7 2008 A P systems flat form preserving step-by-step behaviour. Zbl 1154.68048Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone 7 2008 Design and verification of long-running transactions in a timed framework. Zbl 1170.68024Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 2 2008 An intermediate language for the simulation of biological systems. Zbl 1279.92030Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo 1 2008 Parametric probabilistic transition systems for system design and analysis. Zbl 1111.68084Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 17 2007 The calculus of looping sequences for modeling biological membranes. Zbl 1137.68371Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 3 2007 A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 18 2006 Bisimulation congruences in the calculus of looping sequences. Zbl 1168.68435Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 10 2006 Modeling long-running transactions with communicating hierarchical timed automata. Zbl 1461.68136Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 2 2006 Automatic analysis of a non-repudiation protocol. Zbl 1272.68326Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo 8 2005 A probabilistic model for molecular systems. Zbl 1096.68101Barbuti, Roberto; Cataudella, Stefano; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 5 2005 Automatic covert channel analysis of a multilevel secure component. Zbl 1109.68470Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Troina, Angelo; Tronci, Enrico 1 2004 Structural model checking for communicating hierarchical machines. Zbl 1096.68092Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano 1 2004 A comparison of Statecharts step semantics. Zbl 1018.68045Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone 7 2003 Concurrency in timed automata. Zbl 1070.68073Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone 2 2003 Dynamic hierarchical machines. Zbl 1111.68061Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone 1 2003 Transformations of timed cooperating automata. Zbl 1004.68088Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano 2 2001 Concurrency in timed automata. Zbl 0999.68135Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone 2 2001 Process algebras for network communication. Zbl 0974.68138Gruska, Damas P.; Maggiolo-Schettini, Andrea 1 2001 Timed cooperating automata. Zbl 0965.68046Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano 4 2000 Timed automata with monotonic activities. Zbl 0996.68100Lanotte, Ruggero; Maggiolo-Schettini, Andrea 1 2000 Time-based expressivity of time Petri nets for system specification. Zbl 0914.68145Cerone, Antonio; Maggiolo-Schettini, Andrea 9 1999 Applying techniques of asynchronous concurrency to synchronous languages. Zbl 0942.68029Maggiolo-Schettini, Andrea; Tini, Simone 2 1999 Processes in cause-effect systems. Zbl 0892.68036Maggiolo-Schettini, Andrea; Matteucci, Gionata 2 1997 Equivalences of statecharts. Zbl 1514.68173Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone 3 1996 A kernel language for programmed rewriting of (hyper)graphs. Zbl 0849.68072Maggiolo-Schettini, Andrea; Winkowski, Józef 1 1996 Transitions as interrupts: A new semantics for timed statecharts. Zbl 0942.68634Peron, Adriano; Maggiolo-Schettini, Andrea 2 1994 Towards an algebra for timed behaviours. Zbl 0772.68037Maggiolo-Schettini, Andrea; Winkowski, Józef 3 1992 Semantics of statecharts based on graph rewriting. Zbl 0768.68087Maggiolo-Schettini, Andrea; Peron, Adriano 3 1992 Classes of systolic \(Y\)-tree automata and a comparison with systolic trellis automata. Zbl 0790.68086Fachini, E.; Maggiolo-Schettini, A.; Sangiorgi, D. 2 1992 Non acceptability criteria and closure properties for the class of languages accepted by binary systolic tree automata. Zbl 0725.68060Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiori, D. 5 1991 Programmed derivations of relational structures. Zbl 0768.68071Maggiolo-Schettini, Andrea; Winkowski, Józef 3 1991 Comparisons among classes of Y-tree systolic automata. Zbl 0734.68066Fachini, E.; Maggiolo Schettini, A.; Sangiorgi, D. 4 1990 Simulation of systolic tree automata on trellis automata. Zbl 0726.68057Fachini, Emanuela; Gruska, Jozef; Schettini, Andrea Maggiolo; Sangiorgi, Davide 3 1990 A compositional semantics for timed Petri nets. Zbl 0697.68062Maggiolo-Schettini, Andrea; Winkowski, Józef 2 1990 Some structural properties of systolic tree automata. Zbl 0687.68036Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiorgi, D. 7 1989 Towards a programming language for manipulating relational data bases. Zbl 0522.68099Maggiolo-Schettini, Andrea; Winkowski, Jozef 1 1983 Comparing hierarchies of primitive recursive sequence functions. Zbl 0497.03031Fachini, E.; Maggiolo-Schettini, A. 3 1982 Processes of transforming structures. Zbl 0488.68040Maggiolo-Schettini, Andrea; Winkowski, Jozef 2 1982 Transformations of structures: An algebraic approach. Zbl 0491.68035Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef 13 1981 Sequence recursiveness without cylindrification and limited register machines. Zbl 0464.68050Germano, Giorgio; Maggiolo-Schettini, Andrea 6 1981 Modeling a solution for a control problem in distributed systems by restrictions. Zbl 0441.68021Maggiolo-Schettini, Andrea; Wedde, Horst; Winkowski, Jozef 2 1981 Computable stack functions for semantics of stack programs. Zbl 0428.68057Germano, Giorgio; Maggiolo-Schettini, Andrea 8 1979 A hierarchy of primitive recursive sequence functions. Zbl 0402.03041Fachini, E.; Maggiolo-Schettini, A. 2 1979 SOL: An exercise in defining a language. Zbl 0436.68014Maggiolo-Schettini, A.; Uccella, G. 2 1979 Deriving structures from structures. Zbl 0379.68055Ehrig, Hartmut; Kreowski, Hans-Jörg; Maggiolo-Schettini, A.; Rosen, B. K.; Winkowski, Z. 6 1978 An algebraic characterization of derivability relations. Zbl 0383.68011Maggiolo Schettini, Andrea; Winkowski, Jozef 1 1978 Recursivity, sequence recursivity, stack recursivity and semantics of programs. Zbl 0339.68003Germano, G.; Maggiolo-Schettini, A. 3 1976 A language for Markov’s algorithms composition. Zbl 0345.02021Germano, G.; Maggiolo-Schettini, A. 2 1976 Sequence-to-sequence recursiveness. Zbl 0311.02047Germano, G.; Maggiolo-Schettini, A. 11 1975 Proving a compiler correct: A simple approach. Zbl 0304.68022Germano, G.; Maggiolo-Schettini, A. 7 1975 Recursion structure simplification. Zbl 0311.68030Strong, H. R. jun.; Maggiolo-Schettini, A.; Rosen, B. K. 1 1975 Quelques caractérisations des fonctions recursives partielles. Zbl 0324.02025Germano, Giorgio; Maggiolo-Schettini, Andrea 10 1973 A flow diagram composition of Markov’s normal algorithms without concluding formulas. Zbl 0283.68026Germano, G.; Maggiolo-Schettini, A. 9 1973 Procedure linkage optimization working paper. Zbl 0309.68029Maggiolo-Schettini, A.; Rosen, B. K.; Strong, H. R. 1 1973 Equivalence of partial recursivity and computability by algorithms without concluding formulas. Zbl 0242.02043Germano, G.; Maggiolo-Schettini, A. 10 1972 all cited Publications top 5 cited Publications all top 5 Cited by 256 Authors 40 Maggiolo-Schettini, Andrea 26 Milazzo, Paolo 20 Barbuti, Roberto 11 Pardini, Giovanni 11 Tini, Simone 9 Katoen, Joost-Pieter 9 Troina, Angelo 8 Germano, Giorgio M. 8 Lanotte, Ruggero 7 Fachini, Emanuela 7 Napoli, Margherita 5 Caravagna, Giulio 5 Ehrig, Hartmut 5 Gori, Roberta 5 Junges, Sebastian 5 Levi, Francesca 5 Monti, Angelo 4 Gruska, Jozef 4 Kreowski, Hans-Jörg 4 Mazzanti, Stefano 4 Parente, Domenico 4 Peron, Adriano 4 Winkowski, Jozef 3 Baier, Christel 3 Brodo, Linda 3 Bruni, Roberto 3 Buj, Dmytro B. 3 Falaschi, Moreno 3 Galpin, Vashti 3 Hillston, Jane 3 Kawahara, Yasuo 3 Norman, Gethin 3 Rosen, Barry K. 3 Spel, Jip 2 Abate, Alessandro 2 Aman, Bogdan 2 André, Étienne 2 Bartocci, Ezio 2 Bioglio, Livio 2 Bove, Pasquale 2 Burstall, Rod M. 2 Calder, Muffy 2 Cerone, Antonio 2 Courcelle, Bruno 2 Czaja, Ludwik 2 Dezani-Ciancaglini, Mariangiola 2 Drastík, Jan 2 Focardi, Riccardo 2 Garzon, Max H. 2 Goguen, Joseph Amadee 2 Gubskij, B. V. 2 Hutschenreiter, Lisa 2 Klein, Joachim 2 Krivine, Jean 2 Mendler, Michael 2 Mizoguchi, Yoshihiro 2 Parisi-Presicce, Francesco 2 Pérez, Guillermo A. 2 Plotkin, Gordon D. 2 Priami, Corrado 2 Schürr, Andy 2 Smolka, Vladimír 2 Sosík, Petr 2 Sproston, Jeremy 2 Toro, Mauricio 2 Valero, Valentín 2 Winkler, Tobias 2 Zou, Xueyi 1 Adorna, Henry Natividad 1 Aguado, Joaquin 1 Akshay, S. 1 Andronikos, Theodore 1 Antoniotti, Marco 1 Arboleda, Sair 1 Atanasiu, Adrian 1 Azgomi, Mohammad Abdollahi 1 Bacci, Giorgio 1 Balaguer, Sandie 1 Ban Kirigin, Tajana 1 Basarab, I. A. 1 Basin, David A. 1 Basuki, Thomas Anung 1 Bauderon, Michel 1 Benerecetti, Massimo 1 Benmoussa, Mohamed Mahdi 1 Bibi, Alia 1 Bliudze, Simon 1 Bodei, Chiara 1 Book, Ronald Vernon 1 Bortolussi, Luca 1 Bottoni, Paolo 1 Brim, Luboš 1 Cabarle, Francis George C. 1 Češka, Milan 1 Chatain, Thomas 1 Chen, Jing 1 Chen, Zhenbang 1 Choppy, Christine 1 Ciobanu, Gabriel 1 Colvin, Robert J. ...and 156 more Authors all top 5 Cited in 38 Serials 58 Theoretical Computer Science 7 Journal of Computer and System Sciences 6 Information Processing Letters 6 Information and Computation 4 Acta Informatica 4 Cybernetics 4 Formal Aspects of Computing 4 Formal Methods in System Design 3 Mathematical Systems Theory 3 MSCS. Mathematical Structures in Computer Science 3 Natural Computing 3 Journal of Logical and Algebraic Methods in Programming 2 RAIRO, Informatique Théorique 2 Annals of Pure and Applied Logic 2 International Journal of Foundations of Computer Science 2 The Journal of Logic and Algebraic Programming 2 Journal of Membrane Computing 1 Applied Mathematics and Computation 1 Information Sciences 1 Journal of Soviet Mathematics 1 Programming and Computer Software 1 Studia Logica 1 Science of Computer Programming 1 Real-Time Systems 1 Discrete Event Dynamic Systems 1 Annals of Physics 1 International Journal of Computer Mathematics 1 Distributed Computing 1 Complexity 1 Mathematical and Computer Modelling of Dynamical Systems 1 Discrete Dynamics in Nature and Society 1 International Journal of Applied Mathematics and Computer Science 1 Fundamenta Informaticae 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Journal of Shanghai Jiaotong University (Science) 1 BIT. Nordisk Tidskrift for Informationsbehandling 1 RAIRO. Theoretical Informatics and Applications 1 Computer Science Review all top 5 Cited in 11 Fields 174 Computer science (68-XX) 38 Biology and other natural sciences (92-XX) 21 Mathematical logic and foundations (03-XX) 12 Category theory; homological algebra (18-XX) 7 Probability theory and stochastic processes (60-XX) 6 Systems theory; control (93-XX) 5 Operations research, mathematical programming (90-XX) 3 Combinatorics (05-XX) 2 General algebraic systems (08-XX) 2 Information and communication theory, circuits (94-XX) 1 Dynamical systems and ergodic theory (37-XX) Citations by Year