Procedure Linkage Optimization. - Andrea Maggiolo-Schettini; Barry K. Rosen; H. Raymond Strong (POPL, 1973)

Loops in Algol 60 and in category theory. - Giorgio Germano; Andrea Maggiolo-Schettini (SIGACT News, 1974)

Sequence-to-Sequence Recursiveness. - Giorgio Germano; Andrea Maggiolo-Schettini (Inf. Process. Lett., 1975)

Proving a Compiler Correct: A Simple Approach. - Giorgio Germano; Andrea Maggiolo-Schettini (J. Comput. Syst. Sci., 1975)

Recursion Structure Simplification. - H. R. Strong Jr.; Andrea Maggiolo-Schettini (SIAM J. Comput., 1975)

Recursivity, Sequence Recursivity, Stack Recursivity and Semantics of Programs. - Giorgio Germano; Andrea Maggiolo-Schettini (MFCS, 1976)

A language for Markov's algorithms composition. - Giorgio Germano; Andrea Maggiolo-Schettini (Acta Cybern., 1976)

Processes in Structures. - Andrea Maggiolo-Schettini; Józef Winkowski (Graph-Grammars and Their Application to Computer Science and Biology, 1978)

Deriving Structures from Structures. - Hartmut Ehrig; Hans-Jörg Kreowski; Andrea Maggiolo-Schettini; Barry K. Rosen; Józef Winkowski (MFCS, 1978)

Modelling a Solution for a Control Problem in Distributed Systems by Restrictions. - Andrea Maggiolo-Schettini; Horst F. Wedde; Józef Winkowski (Formale Modelle für Informationssysteme, 1979)

Modeling a Solution for a Control Problem in Distributed Systems by Restrictions. - Andrea Maggiolo-Schettini; Horst F. Wedde; Józef Winkowski (Semantics of Concurrent Computation, 1979)

A Hierarchy of primitive recursive sequence functions. - E. Facchini; Andrea Maggiolo-Schettini (RAIRO Theor. Informatics Appl., 1979)

Computable Stack Functions for Semantics of Stack Programs. - Giorgio Germano; Andrea Maggiolo-Schettini (J. Comput. Syst. Sci., 1979)

Transformations of Structures: an Algebraic Approach. - Hartmut Ehrig; Hans-Jörg Kreowski; Andrea Maggiolo-Schettini; Barry K. Rosen; Józef Winkowski (Math. Syst. Theory, 1981)

Sequence Recursiveness Without Cylindrification and Limited Register Machines. - Giorgio Germano; Andrea Maggiolo-Schettini (Theor. Comput. Sci., 1981)

Towards a Programming Language for Manipulating Relational Data Bases. - Andrea Maggiolo-Schettini; Józef Winkowski (Formal Description of Programming Concepts, 1982)

Processes of Transforming Structures. - Andrea Maggiolo-Schettini; Józef Winkowski (J. Comput. Syst. Sci., 1982)

Comparing Hierarchies of Primitive Recursive Sequence Functions. - Emanuela Fachini; Andrea Maggiolo-Schettini (Math. Log. Q., 1982)

An Algebra of Processes. - Józef Winkowski; Andrea Maggiolo-Schettini (J. Comput. Syst. Sci., 1987)

Fondamenti di informatica. - Egon Börger; Andrea Maggiolo-Schettini (ETS Editrice, 1988)

Web Structures: A Tool for Representing and Manipulating Programs. - Andrea Maggiolo-Schettini; Margherita Napoli; Genoveffa Tortora (IEEE Trans. Software Eng., 1988)

Programmed Derivations of Relational Structures. - Andrea Maggiolo-Schettini; Józef Winkowski (Graph-Grammars and Their Application to Computer Science, 1990)

Comparisons Among Classes of Y-Tree Systolic Automata. - Emanuela Fachini; Andrea Maggiolo-Schettini; Davide Sangiorgi (MFCS, 1990)

Simulation of Systolic Tree Automata on Trellis Automata. - Emanuela Fachini; Jozef Gruska; Andrea Maggiolo-Schettini; Davide Sangiorgi (Int. J. Found. Comput. Sci., 1990)

A compositional semantics for unmarked predicate/transition nets. - Andrea Maggiolo-Schettini; G. Michele Pinna; Józef Winkowski (Fundam. Informaticae, 1991)

Nonacceptability Criteria and Closure Properties for the Class of Languages Accepted by Binary Systolic Tree Automata. - Emanuela Fachini; Andrea Maggiolo-Schettini; Giovanni Resta; Davide Sangiorgi (Theor. Comput. Sci., 1991)

A Programming Language for Deriving Hypergraphs. - Andrea Maggiolo-Schettini; Józef Winkowski (CAAP, 1992)

Process Communication Environment. - Damas P. Gruska; Andrea Maggiolo-Schettini (NAPAW, 1992)

Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata. - Emanuela Fachini; Andrea Maggiolo-Schettini; Davide Sangiorgi (Acta Informatica, 1992)

TTL: A formalism to describe local and global properties of distributed systems. - Andrea Masini; Andrea Maggiolo-Schettini (RAIRO Theor. Informatics Appl., 1992)

Towards an Algebra for Timed Behaviours. - Andrea Maggiolo-Schettini; Józef Winkowski (Theor. Comput. Sci., 1992)

Semantics of Full Statecharts Based on Graph Rewriting. - Andrea Maggiolo-Schettini; Adriano Peron (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Transitions as Interrupts: A New Semantics for Timed Statecharts. - Adriano Peron; Andrea Maggiolo-Schettini (TACS, 1994)

A Graph Rewriting Framework for Statecharts Semantics. - Andrea Maggiolo-Schettini; Adriano Peron (TAGT, 1994)

Equivalences of Statecharts. - Andrea Maggiolo-Schettini; Adriano Peron; Simone Tini (CONCUR, 1996)

Retiming Techniques for Statecharts. - Andrea Maggiolo-Schettini; Adriano Peron (FTRTFT, 1996)

Prorities in Statecharts. - Andrea Maggiolo-Schettini; Massimo Merro (LOMAPS, 1996)

Dynamic Graphs. - Andrea Maggiolo-Schettini; Józef Winkowski (MFCS, 1996)

A Kernel Language for Programmed Rewriting of (Hyper)graphs. - Andrea Maggiolo-Schettini; Józef Winkowski (Acta Informatica, 1996)

Processes in Cause-Effect Systems. - Andrea Maggiolo-Schettini; Gionata Matteucci (Fundam. Informaticae, 1997)

A Partial Order Representation of Processes of Transforming Graphs. - Andrea Maggiolo-Schettini; Józef Winkowski (Fundam. Informaticae, 1997)

Projectable Semantics for Statecharts. - Andrea Maggiolo-Schettini; Simone Tini (MFCS Workshop on Concurrency, 1998)

Two semantics for Timed Default Concurrent Constraint Programming. - Simone Tini; Andrea Maggiolo-Schettini (COTIC, 1998)

A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming. - Simone Tini; Andrea Maggiolo-Schettini (ECOOP Workshops, 1999)

Applying Techniques of Asynchronous Concurrency to Synchronous Languages. - Andrea Maggiolo-Schettini; Simone Tini (Fundam. Informaticae, 1999)

Time-Based Expressivity of Time Petri Nets for System Specification. - Antonio Cerone; Andrea Maggiolo-Schettini (Theor. Comput. Sci., 1999)

A Causal Semantics for Timed Default Concurrent Constraint Programming. - Simone Tini; Andrea Maggiolo-Schettini (AMAST, 2000)

Timed Automata with Monotonic Activities. - Ruggero Lanotte; Andrea Maggiolo-Schettini (MFCS, 2000)

Timed Cooperating Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Adriano Peron (Fundam. Informaticae, 2000)

Concurrency in Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (FCT, 2001)

Formal Models of Timing Attacks on Web Privacy. - Riccardo Focardi; Roberto Gorrieri; Ruggero Lanotte; Andrea Maggiolo-Schettini; Fabio Martinelli; Simone Tini; Enrico Tronci (TOSCA, 2001)

Privacy in Real-Time Systems. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (MTCS, 2001)

Process Algebras for Network Communication. - Damas P. Gruska; Andrea Maggiolo-Schettini (Fundam. Informaticae, 2001)

Transformations of Timed Cooperating Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Adriano Peron (Fundam. Informaticae, 2001)

On disjunction of literals in triggers of statecharts transitions. - Andrea Maggiolo-Schettini; Simone Tini (Inf. Process. Lett., 2002)

Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (SEFM, 2003)

Automatic Analysis of the NRL Pump. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Angelo Troina; Enrico Tronci (MEFISTO, 2003)

Dynamic Hierarchical Machines. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Adriano Peron; Simone Tini (Fundam. Informaticae, 2003)

A comparison of Statecharts step semantics. - Andrea Maggiolo-Schettini; Adriano Peron; Simone Tini (Theor. Comput. Sci., 2003)

Automatic Covert Channel Analysis of a Multilevel Secure Component. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Angelo Troina; Enrico Tronci (ICICS, 2004)

Information Flow Analysis for Probabilistic Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Formal Aspects in Security and Trust, 2004)

Structural Model Checking for Communicating Hierarchical Machines. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Adriano Peron (MFCS, 2004)

Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (SEFM, 2004)

Automatic Analysis of a Non-Repudiation Protocol. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (QAPL, 2004)

Compositional Synthesis of Generalized Mealy Machines. - Simone Tini; Andrea Maggiolo-Schettini (Fundam. Informaticae, 2004)

Automated analysis of timed security: a case study on web privacy. - Roberto Gorrieri; Ruggero Lanotte; Andrea Maggiolo-Schettini; Fabio Martinelli; Simone Tini; Enrico Tronci (Int. J. Inf. Sec., 2004)

Epsilon-transitions in Concurrent Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (Inf. Process. Lett., 2004)

Information flow in hybrid systems. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini (ACM Trans. Embed. Comput. Syst., 2004)

Timed Automata with Data Structures for Distributed Systems Design and Analysis. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (SEFM, 2005)

A Classification of Time and/or Probability Dependent Security Properties. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (QAPL, 2005)

A Probabilistic Model for Molecular Systems. - Roberto Barbuti; Stefano Cataudella 001; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Fundam. Informaticae, 2005)

Monotonic hybrid systems. - Ruggero Lanotte; Andrea Maggiolo-Schettini (J. Comput. Syst. Sci., 2005)

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (FMOODS, 2006)

Bisimulation Congruences in the Calculus of Looping Sequences. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (ICTAC, 2006)

A Calculus of Looping Sequences for Modelling Microbiological Systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Fundam. Informaticae, 2006)

Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo (ISBRA, 2007)

The Calculus of Looping Sequences for Modeling Biological Membranes. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Workshop on Membrane Computing, 2007)

An Intermediate Language for the Simulation of Biological Systems. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo (FBTC@CONCUR, 2007)

Parametric probabilistic transition systems for system design and analysis. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Formal Aspects Comput., 2007)

The Calculus of Looping Sequences. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (SFM, 2008)

Timed P Automata. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Luca Tesei (MeCBIC, 2008)

Bisimulations in calculi modelling membranes. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Formal Aspects Comput., 2008)

A P Systems Flat Form Preserving Step-by-step Behaviour. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Fundam. Informaticae, 2008)

Security in a Model for Long-running Transactions. - Damas P. Gruska; Andrea Maggiolo-Schettini; Paolo Milazzo (Fundam. Informaticae, 2008)

Design and verification of long-running transactions in a timed framework. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Sci. Comput. Program., 2008)

Compositional semantics and behavioral equivalences for P Systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Theor. Comput. Sci., 2008)

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Paolo Tiberi; Angelo Troina (Trans. Comp. Sys. Biology, 2008)

Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. - Roberto Barbuti; Daniela Lepri; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Aureliano Rama (Ershov Memorial Conference, 2009)

On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems - Roberto Barbuti; Giulio Caravagna; Paolo Milazzo; Andrea Maggiolo-Schettini (COMPMOD, 2009)

A Process Calculus for Molecular Interaction Maps - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Aureliano Rama (MeCBIC, 2009)

P Systems with Transport and Diffusion Membrane Channels. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Fundam. Informaticae, 2009)

P Systems with Endosomes. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo (Int. J. Comput. Commun. Control, 2009)

An intermediate language for the stochastic simulation of biological systems. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo (Theor. Comput. Sci., 2009)

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Int. Conf. on Membrane Computing, 2010)

Dynamic Sync-Programs for Modular Verification of Biological Systems. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (NCMA, 2010)

Reachability results for timed automata with unbounded data structures. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Acta Informatica, 2010)

Modelling the Dynamics of an Aedes albopictus Population - Thomas Anung Basuki; Antonio Cerone; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Elisabetta Rossi (AMCA-POP, 2010)

Aspects of multiscale modelling in a process algebra for biological systems - Roberto Barbuti; Giulio Caravagna; Paolo Milazzo; Andrea Maggiolo-Schettini; Simone Tini (MeCBIC, 2010)

A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Damas P. Gruska (Fundam. Informaticae, 2010)

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. - Roberto Barbuti; Andrea Maggiolo-Schettini; Angelo Troina; Mariangiola Dezani-Ciancaglini; Paolo Milazzo (Fundam. Informaticae, 2010)

Compositional semantics of spiking neural P systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (J. Log. Algebraic Methods Program., 2010)

Weak bisimulation for Probabilistic Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Theor. Comput. Sci., 2010)

Time and Probability-Based Information Flow Analysis. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (IEEE Trans. Software Eng., 2010)

A Testing Framework for P Systems - Roberto Barbuti; Diletta Romana Cacciagrano; Andrea Maggiolo-Schettini; Paolo Milazzo; Luca Tesei (CoRR, 2011)

Modular Verification of Interactive Systems with an Application to Biology. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (Sci. Ann. Comput. Sci., 2011)

An Overview on Operational Semantics in Membrane Computing. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Int. J. Found. Comput. Sci., 2011)

Spatial P systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Luca Tesei (Nat. Comput., 2011)

Spatial Calculus of Looping Sequences. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (Theor. Comput. Sci., 2011)

Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo (Trans. Comp. Sys. Biology, 2011)

Modelling Population Dynamics Using Grid Systems. - Roberto Barbuti; Antonio Cerone; Andrea Maggiolo-Schettini; Paolo Milazzo; Suryana Setiawan (SEFM Satellite Events, 2012)

Towards modular verification of pathways: fairness and assumptions - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (MeCBIC, 2012)

On Conditions for Modular Verification in Systems of Synchronising Components. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo (Fundam. Informaticae, 2012)

Foundational aspects of multiscale modeling of biological systems with process algebras. - Roberto Barbuti; Giulio Caravagna; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Theor. Comput. Sci., 2012)

A Compositional Semantics of Reaction Systems with Restriction. - Giovanni Pardini; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (CiE, 2013)

A Computational Formal Model of the Invasiveness of Eastern Species in European Water Frog Populations. - Roberto Barbuti; Pasquale Bove; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (SEFM Workshops, 2013)

Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models. - Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (WIVACE, 2013)

Modular Verification of Qualitative Pathway Models with Fairness. - Peter Drábik; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (Sci. Ann. Comput. Sci., 2013)

An Algorithm for the Identification of Components in Biochemical Pathways. - Giovanni Pardini; Paolo Milazzo; Andrea Maggiolo-Schettini (CS2Bio, 2013)

Systolic Automata and P Systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini; Simone Tini (Computing with New Resources, 2014)

Identification of components in biochemical pathways: extensive application to SBML models. - Giovanni Pardini; Paolo Milazzo; Andrea Maggiolo-Schettini (Nat. Comput., 2014)

Simulation of Spatial P system models. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Giovanni Pardini (Theor. Comput. Sci., 2014)

Compositional semantics and behavioural equivalences for reaction systems with restriction. - Giovanni Pardini; Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Simone Tini (Theor. Comput. Sci., 2014)

Component identification in biochemical pathways. - Giovanni Pardini; Paolo Milazzo; Andrea Maggiolo-Schettini (Theor. Comput. Sci., 2015)