×

zbMATH — the first resource for mathematics

Maggiolo-Schettini, Andrea

Compute Distance To:
Author ID: maggiolo-schettini.andrea Recent zbMATH articles by "Maggiolo-Schettini, Andrea"
Published as: Maggiolo Schettini, A.; Maggiolo Schettini, Andrea; Maggiolo-Schettini, A.; Maggiolo-Schettini, Andrea; Schettini, Andrea Maggiolo
Documents Indexed: 102 Publications since 1972, including 1 Book
Reviewing Activity: 51 Reviews

Publications by Year

Citations contained in zbMATH

80 Publications have been cited 331 times in 156 Documents Cited by Year
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
16
2006
Compositional semantics and behavioral equivalences for P systems. Zbl 1145.68033
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
11
2008
Transformations of structures: An algebraic approach. Zbl 0491.68035
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef
11
1981
Spatial calculus of looping sequences. Zbl 1230.92002
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
10
2011
Quelques caractérisations des fonctions recursives partielles. Zbl 0324.02025
Germano, Giorgio; Maggiolo-Schettini, Andrea
10
1973
Bisimulations in calculi modelling membranes. Zbl 1152.68035
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
9
2008
Sequence-to-sequence recursiveness. Zbl 0311.02047
Germano, G.; Maggiolo-Schettini, A.
9
1975
Equivalence of partial recursivity and computability by algorithms without concluding formulas. Zbl 0242.02043
Germano, G.; Maggiolo-Schettini, A.
9
1972
Spatial P systems. Zbl 1213.68256
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tesei, Luca
8
2011
Parametric probabilistic transition systems for system design and analysis. Zbl 1111.68084
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
8
2007
Bisimulation congruences in the calculus of looping sequences. Zbl 1168.68435
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
8
2006
Time-based expressivity of time Petri nets for system specification. Zbl 0914.68145
Cerone, Antonio; Maggiolo-Schettini, Andrea
8
1999
Computable stack functions for semantics of stack programs. Zbl 0428.68057
Germano, Giorgio; Maggiolo-Schettini, Andrea
8
1979
A flow diagram composition of Markov’s normal algorithms without concluding formulas. Zbl 0283.68026
Germano, G.; Maggiolo-Schettini, A.
8
1973
An overview on operational semantics in membrane computing. Zbl 1213.68357
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2011
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2010
A P systems flat form preserving step-by-step behaviour. Zbl 1154.68048
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2008
Automatic analysis of a non-repudiation protocol. Zbl 1272.68326
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
7
2005
Proving a compiler correct: A simple approach. Zbl 0304.68022
Germano, G.; Maggiolo-Schettini, A.
7
1975
Foundational aspects of multiscale modeling of biological systems with process algebras. Zbl 1238.68093
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
6
2012
Weak bisimulation for probabilistic timed automata. Zbl 1208.68160
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
6
2010
An intermediate language for the simulation of biological systems. Zbl 1279.92030
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
6
2008
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Zbl 1241.92019
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tiberi, Paolo; Troina, Angelo
6
2008
A comparison of Statecharts step semantics. Zbl 1018.68045
Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone
6
2003
Some structural properties of systolic tree automata. Zbl 0687.68036
Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiorgi, D.
6
1989
Sequence recursiveness without cylindrification and limited register machines. Zbl 0464.68050
Germano, Giorgio; Maggiolo-Schettini, Andrea
6
1981
Deriving structures from structures. Zbl 0379.68055
Ehrig, Hartmut; Kreowski, Hans-Jörg; Maggiolo-Schettini, A.; Rosen, B. K.; Winkowski, Z.
6
1978
Delay stochastic simulation of biological systems: a purely delayed approach. Zbl 1326.92026
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
5
2011
Spatial calculus of looping sequences. Zbl 1283.92024
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
5
2009
A compositional semantics of reaction systems with restriction. Zbl 1387.68115
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
4
2013
An intermediate language for the stochastic simulation of biological systems. Zbl 1176.68095
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
4
2009
The calculus of looping sequences for modeling biological membranes. Zbl 1137.68371
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2007
A probabilistic model for molecular systems. Zbl 1096.68101
Barbuti, Roberto; Cataudella, Stefano; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2005
Timed cooperating automata. Zbl 0965.68046
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano
4
2000
Compositional semantics and behavioural equivalences for reaction systems with restriction. Zbl 1360.68574
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2014
Simulation of spatial P system models. Zbl 1358.68098
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
3
2014
On conditions for modular verification in systems of synchronising components. Zbl 1279.68204
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
3
2012
P systems with transport and diffusion membrane channels. Zbl 1191.68315
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2009
Design and verification of long-running transactions in a timed framework. Zbl 1170.68024
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
3
2008
Towards an algebra for timed behaviours. Zbl 0772.68037
Maggiolo-Schettini, Andrea; Winkowski, Józef
3
1992
Comparisons among classes of Y-tree systolic automata. Zbl 0734.68066
Fachini, E.; Maggiolo Schettini, A.; Sangiorgi, D.
3
1990
Simulation of systolic tree automata on trellis automata. Zbl 0726.68057
Fachini, Emanuela; Gruska, Jozef; Schettini, Andrea Maggiolo; Sangiorgi, Davide
3
1990
Comparing hierarchies of primitive recursive sequence functions. Zbl 0497.03031
Fachini, E.; Maggiolo-Schettini, A.
3
1982
Recursivity, sequence recursivity, stack recursivity and semantics of programs. Zbl 0339.68003
Germano, G.; Maggiolo-Schettini, A.
3
1976
Identification of components in biochemical pathways: extensive aqpplication to SBML models. Zbl 1332.92018
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
2
2014
An algorithm for the identification of components in biochemical pathways. Zbl 1337.92066
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
2
2013
Modular verification of interactive systems with an application to biology. Zbl 1283.68204
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
2
2010
Reachability results for timed automata with unbounded data structures. Zbl 1214.68199
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
2
2010
Timed P automata. Zbl 1347.68127
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tesei, Luca
2
2009
Concurrency in timed automata. Zbl 1070.68073
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2003
Formal models of timing attacks on web privacy. Zbl 1268.68036
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico
2
2002
Concurrency in timed automata. Zbl 0999.68135
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2001
Transformations of timed cooperating automata. Zbl 1004.68088
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano
2
2001
Applying techniques of asynchronous concurrency to synchronous languages. Zbl 0942.68029
Maggiolo-Schettini, Andrea; Tini, Simone
2
1999
Classes of systolic \(Y\)-tree automata and a comparison with systolic trellis automata. Zbl 0790.68086
Fachini, E.; Maggiolo-Schettini, A.; Sangiorgi, D.
2
1992
Programmed derivations of relational structures. Zbl 0768.68071
Maggiolo-Schettini, Andrea; Winkowski, Józef
2
1991
A compositional semantics for timed Petri nets. Zbl 0697.68062
Maggiolo-Schettini, Andrea; Winkowski, Józef
2
1990
Processes of transforming structures. Zbl 0488.68040
Maggiolo-Schettini, Andrea; Winkowski, Jozef
2
1982
Modeling a solution for a control problem in distributed systems by restrictions. Zbl 0441.68021
Maggiolo-Schettini, Andrea; Wedde, Horst; Winkowski, Jozef
2
1981
SOL: An exercise in defining a language. Zbl 0436.68014
Maggiolo-Schettini, A.; Uccella, G.
2
1979
A hierarchy of primitive recursive sequence functions. Zbl 0402.03041
Fachini, E.; Maggiolo-Schettini, A.
2
1979
An algebraic characterization of derivability relations. Zbl 0383.68011
Maggiolo Schettini, Andrea; Winkowski, Jozef
2
1978
A language for Markov’s algorithms composition. Zbl 0345.02021
Germano, G.; Maggiolo-Schettini, A.
2
1976
Component identification in biochemical pathways. Zbl 1327.68163
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
1
2015
Modular verification of qualitative pathway models with fairness. Zbl 1424.92015
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
1
2013
Modular verification of interactive systems with an application to biology. Zbl 1424.68091
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
1
2011
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183
Barbuti, 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.68053
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
1
2010
Structural model checking for communicating hierarchical machines. Zbl 1096.68092
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano
1
2004
Dynamic hierarchical machines. Zbl 1111.68061
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone
1
2003
Process algebras for network communication. Zbl 0974.68138
Gruska, Damas P.; Maggiolo-Schettini, Andrea
1
2001
Timed automata with monotonic activities. Zbl 0996.68100
Lanotte, Ruggero; Maggiolo-Schettini, Andrea
1
2000
Processes in cause-effect systems. Zbl 0892.68036
Maggiolo-Schettini, Andrea; Matteucci, Gionata
1
1997
A kernel language for programmed rewriting of (hyper)graphs. Zbl 0849.68072
Maggiolo-Schettini, Andrea; Winkowski, Józef
1
1996
Transitions as interrupts: A new semantics for timed statecharts. Zbl 0942.68634
Peron, Adriano; Maggiolo-Schettini, Andrea
1
1994
Semantics of statecharts based on graph rewriting. Zbl 0768.68087
Maggiolo-Schettini, Andrea; Peron, Adriano
1
1992
Towards a programming language for manipulating relational data bases. Zbl 0522.68099
Maggiolo-Schettini, Andrea; Winkowski, Jozef
1
1983
Processes in structures. Zbl 0443.68079
Maggiolo-Schettini, Andrea; Winkowski, Jozef
1
1979
Recursion structure simplification. Zbl 0311.68030
Strong, H. R. jun.; Maggiolo-Schettini, A.; Rosen, B. K.
1
1975
Procedure linkage optimization working paper. Zbl 0309.68029
Maggiolo-Schettini, A.; Rosen, B. K.; Strong, H. R.
1
1973
Component identification in biochemical pathways. Zbl 1327.68163
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
1
2015
Compositional semantics and behavioural equivalences for reaction systems with restriction. Zbl 1360.68574
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2014
Simulation of spatial P system models. Zbl 1358.68098
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
3
2014
Identification of components in biochemical pathways: extensive aqpplication to SBML models. Zbl 1332.92018
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
2
2014
A compositional semantics of reaction systems with restriction. Zbl 1387.68115
Pardini, Giovanni; Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
4
2013
An algorithm for the identification of components in biochemical pathways. Zbl 1337.92066
Pardini, Giovanni; Milazzo, Paolo; Maggiolo-Schettini, Andrea
2
2013
Modular verification of qualitative pathway models with fairness. Zbl 1424.92015
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
1
2013
Foundational aspects of multiscale modeling of biological systems with process algebras. Zbl 1238.68093
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
6
2012
On conditions for modular verification in systems of synchronising components. Zbl 1279.68204
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
3
2012
Spatial calculus of looping sequences. Zbl 1230.92002
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
10
2011
Spatial P systems. Zbl 1213.68256
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni; Tesei, Luca
8
2011
An overview on operational semantics in membrane computing. Zbl 1213.68357
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2011
Delay stochastic simulation of biological systems: a purely delayed approach. Zbl 1326.92026
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
5
2011
Modular verification of interactive systems with an application to biology. Zbl 1424.68091
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
1
2011
Compositional semantics of spiking neural P systems. Zbl 1208.68123
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2010
Weak bisimulation for probabilistic timed automata. Zbl 1208.68160
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
6
2010
Modular verification of interactive systems with an application to biology. Zbl 1283.68204
Drábik, Peter; Maggiolo-Schettini, Andrea; Milazzo, Paolo
2
2010
Reachability results for timed automata with unbounded data structures. Zbl 1214.68199
Lanotte, 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.68183
Barbuti, 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.68053
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
1
2010
Spatial calculus of looping sequences. Zbl 1283.92024
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Pardini, Giovanni
5
2009
An intermediate language for the stochastic simulation of biological systems. Zbl 1176.68095
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
4
2009
P systems with transport and diffusion membrane channels. Zbl 1191.68315
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
3
2009
Timed P automata. Zbl 1347.68127
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tesei, Luca
2
2009
Compositional semantics and behavioral equivalences for P systems. Zbl 1145.68033
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
11
2008
Bisimulations in calculi modelling membranes. Zbl 1152.68035
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
9
2008
A P systems flat form preserving step-by-step behaviour. Zbl 1154.68048
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone
7
2008
An intermediate language for the simulation of biological systems. Zbl 1279.92030
Barbuti, Roberto; Caravagna, Giulio; Maggiolo-Schettini, Andrea; Milazzo, Paolo
6
2008
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Zbl 1241.92019
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tiberi, Paolo; Troina, Angelo
6
2008
Design and verification of long-running transactions in a timed framework. Zbl 1170.68024
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
3
2008
Parametric probabilistic transition systems for system design and analysis. Zbl 1111.68084
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
8
2007
The calculus of looping sequences for modeling biological membranes. Zbl 1137.68371
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2007
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
16
2006
Bisimulation congruences in the calculus of looping sequences. Zbl 1168.68435
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
8
2006
Automatic analysis of a non-repudiation protocol. Zbl 1272.68326
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
7
2005
A probabilistic model for molecular systems. Zbl 1096.68101
Barbuti, Roberto; Cataudella, Stefano; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2005
Structural model checking for communicating hierarchical machines. Zbl 1096.68092
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano
1
2004
A comparison of Statecharts step semantics. Zbl 1018.68045
Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone
6
2003
Concurrency in timed automata. Zbl 1070.68073
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2003
Dynamic hierarchical machines. Zbl 1111.68061
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano; Tini, Simone
1
2003
Formal models of timing attacks on web privacy. Zbl 1268.68036
Focardi, Riccardo; Gorrieri, Roberto; Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Martinelli, Fabio; Tini, Simone; Tronci, Enrico
2
2002
Concurrency in timed automata. Zbl 0999.68135
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone
2
2001
Transformations of timed cooperating automata. Zbl 1004.68088
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Tini, Simone; Peron, Adriano
2
2001
Process algebras for network communication. Zbl 0974.68138
Gruska, Damas P.; Maggiolo-Schettini, Andrea
1
2001
Timed cooperating automata. Zbl 0965.68046
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Peron, Adriano
4
2000
Timed automata with monotonic activities. Zbl 0996.68100
Lanotte, Ruggero; Maggiolo-Schettini, Andrea
1
2000
Time-based expressivity of time Petri nets for system specification. Zbl 0914.68145
Cerone, Antonio; Maggiolo-Schettini, Andrea
8
1999
Applying techniques of asynchronous concurrency to synchronous languages. Zbl 0942.68029
Maggiolo-Schettini, Andrea; Tini, Simone
2
1999
Processes in cause-effect systems. Zbl 0892.68036
Maggiolo-Schettini, Andrea; Matteucci, Gionata
1
1997
A kernel language for programmed rewriting of (hyper)graphs. Zbl 0849.68072
Maggiolo-Schettini, Andrea; Winkowski, Józef
1
1996
Transitions as interrupts: A new semantics for timed statecharts. Zbl 0942.68634
Peron, Adriano; Maggiolo-Schettini, Andrea
1
1994
Towards an algebra for timed behaviours. Zbl 0772.68037
Maggiolo-Schettini, Andrea; Winkowski, Józef
3
1992
Classes of systolic \(Y\)-tree automata and a comparison with systolic trellis automata. Zbl 0790.68086
Fachini, E.; Maggiolo-Schettini, A.; Sangiorgi, D.
2
1992
Semantics of statecharts based on graph rewriting. Zbl 0768.68087
Maggiolo-Schettini, Andrea; Peron, Adriano
1
1992
Programmed derivations of relational structures. Zbl 0768.68071
Maggiolo-Schettini, Andrea; Winkowski, Józef
2
1991
Comparisons among classes of Y-tree systolic automata. Zbl 0734.68066
Fachini, E.; Maggiolo Schettini, A.; Sangiorgi, D.
3
1990
Simulation of systolic tree automata on trellis automata. Zbl 0726.68057
Fachini, Emanuela; Gruska, Jozef; Schettini, Andrea Maggiolo; Sangiorgi, Davide
3
1990
A compositional semantics for timed Petri nets. Zbl 0697.68062
Maggiolo-Schettini, Andrea; Winkowski, Józef
2
1990
Some structural properties of systolic tree automata. Zbl 0687.68036
Fachini, E.; Maggiolo Schettini, A.; Resta, G.; Sangiorgi, D.
6
1989
Towards a programming language for manipulating relational data bases. Zbl 0522.68099
Maggiolo-Schettini, Andrea; Winkowski, Jozef
1
1983
Comparing hierarchies of primitive recursive sequence functions. Zbl 0497.03031
Fachini, E.; Maggiolo-Schettini, A.
3
1982
Processes of transforming structures. Zbl 0488.68040
Maggiolo-Schettini, Andrea; Winkowski, Jozef
2
1982
Transformations of structures: An algebraic approach. Zbl 0491.68035
Ehrig, Hartmut; Kreowski, Hans-Joerg; Maggiolo-Schettini, Andrea; Rosen, Barry K.; Winkowski, Jozef
11
1981
Sequence recursiveness without cylindrification and limited register machines. Zbl 0464.68050
Germano, Giorgio; Maggiolo-Schettini, Andrea
6
1981
Modeling a solution for a control problem in distributed systems by restrictions. Zbl 0441.68021
Maggiolo-Schettini, Andrea; Wedde, Horst; Winkowski, Jozef
2
1981
Computable stack functions for semantics of stack programs. Zbl 0428.68057
Germano, Giorgio; Maggiolo-Schettini, Andrea
8
1979
SOL: An exercise in defining a language. Zbl 0436.68014
Maggiolo-Schettini, A.; Uccella, G.
2
1979
A hierarchy of primitive recursive sequence functions. Zbl 0402.03041
Fachini, E.; Maggiolo-Schettini, A.
2
1979
Processes in structures. Zbl 0443.68079
Maggiolo-Schettini, Andrea; Winkowski, Jozef
1
1979
Deriving structures from structures. Zbl 0379.68055
Ehrig, Hartmut; Kreowski, Hans-Jörg; Maggiolo-Schettini, A.; Rosen, B. K.; Winkowski, Z.
6
1978
An algebraic characterization of derivability relations. Zbl 0383.68011
Maggiolo Schettini, Andrea; Winkowski, Jozef
2
1978
Recursivity, sequence recursivity, stack recursivity and semantics of programs. Zbl 0339.68003
Germano, G.; Maggiolo-Schettini, A.
3
1976
A language for Markov’s algorithms composition. Zbl 0345.02021
Germano, G.; Maggiolo-Schettini, A.
2
1976
Sequence-to-sequence recursiveness. Zbl 0311.02047
Germano, G.; Maggiolo-Schettini, A.
9
1975
Proving a compiler correct: A simple approach. Zbl 0304.68022
Germano, G.; Maggiolo-Schettini, A.
7
1975
Recursion structure simplification. Zbl 0311.68030
Strong, H. R. jun.; Maggiolo-Schettini, A.; Rosen, B. K.
1
1975
Quelques caractérisations des fonctions recursives partielles. Zbl 0324.02025
Germano, Giorgio; Maggiolo-Schettini, Andrea
10
1973
A flow diagram composition of Markov’s normal algorithms without concluding formulas. Zbl 0283.68026
Germano, G.; Maggiolo-Schettini, A.
8
1973
Procedure linkage optimization working paper. Zbl 0309.68029
Maggiolo-Schettini, A.; Rosen, B. K.; Strong, H. R.
1
1973
Equivalence of partial recursivity and computability by algorithms without concluding formulas. Zbl 0242.02043
Germano, G.; Maggiolo-Schettini, A.
9
1972
all top 5

Cited by 235 Authors

35 Maggiolo-Schettini, Andrea
24 Milazzo, Paolo
19 Barbuti, Roberto
11 Pardini, Giovanni
10 Tini, Simone
8 Lanotte, Ruggero
8 Troina, Angelo
6 Fachini, Emanuela
6 Germano, Giorgio M.
6 Napoli, Margherita
5 Caravagna, Giulio
5 Levi, Francesca
4 Ehrig, Hartmut
4 Gori, Roberta
4 Mazzanti, Silvio
4 Winkowski, Jozef
3 Bodei, Chiara
3 Buj, Dmytro B.
3 Galpin, Vashti
3 Gruska, Jozef
3 Hillston, Jane
3 Kreowski, Hans-Jörg
3 Monti, Angelo
3 Parente, Domenico
3 Rosen, Barry K.
2 Aman, Bogdan
2 André, Étienne
2 Baier, Christel
2 Bartocci, Ezio
2 Bioglio, Livio
2 Bove, Pasquale
2 Burstall, Rod M.
2 Calder, Muffy
2 Cerone, Antonio
2 Courcelle, Bruno
2 Dezani-Ciancaglini, Mariangiola
2 Focardi, Riccardo
2 Germano, Geilson F.
2 Goguen, Joseph Amadee
2 Gubskij, B. V.
2 Katoen, Joost-Pieter
2 Kawahara, Yasuo
2 Krivine, Jean
2 Mendler, Michael
2 Norman, Gethin
2 Parisi-Presicce, Francesco
2 Peron, Adriano
2 Plotkin, Gordon D.
2 Priami, Corrado
2 Scatena, Guido
2 Schettini, A. Maggiolo
2 Sproston, Jeremy
2 Valero, Valentín
1 Adorna, Henry Natividad
1 Aguado, Joaquin
1 Akshay, S.
1 Andronikos, Theodore
1 Antoniotti, Marco
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 Book, Ronald Vernon
1 Bortolussi, Luca
1 Boyer, Marc
1 Bracciali, Andrea
1 Brim, Luboš
1 Cabarle, Francis George C.
1 Cassez, Franck
1 Češka, Milan
1 Chatain, Thomas
1 Chen, Jing
1 Chen, Zhenbang
1 Chiarugi, Davide
1 Choppy, Christine
1 Ciobanu, Gabriel
1 Colvin, Robert J.
1 Coppo, Mario
1 Corradini, Andrea
1 Credi, A.
1 Cremers, Cas J. F.
1 Czaja, Ludwik
1 Damgaard, Troels Christoffer
1 Damiani, Ferruccio
1 De Guglielmo, Renato
1 de Lara, Juan
1 de Roever, Willem-Paul
1 Degano, Pierpaolo
1 Degasperi, Andrea
1 Delahaye, Benoît
1 Deng, Yuxin
...and 135 more Authors

Citations by Year