Andrea Maggiolo-Schettini

According to our database, Andrea Maggiolo-Schettini authored at least 123 papers between 1973 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Component identification in biochemical pathways.

Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini

Theor. Comput. Sci., 2015

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

Simulation of Spatial P system models.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini

Theor. Comput. Sci., 2014

Identification of components in biochemical pathways: extensive application to SBML models.

Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini

Nat. Comput., 2014

Systolic Automata and P Systems.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Simone Tini

Proceedings of the Computing with New Resources, 2014

2013

An Algorithm for the Identification of Components in Biochemical Pathways.

Giovanni Pardini, Paolo Milazzo, Andrea Maggiolo-Schettini

Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, 2013

Modular Verification of Qualitative Pathway Models with Fairness.

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini

Sci. Ann. Comput. Sci., 2013

Application of a Semi-automatic Algorithm for Identification of Molecular Components in SBML Models.

Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini

Proceedings of the Proceedings Wivace 2013, 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

Proceedings of the Software Engineering and Formal Methods, 2013

A Compositional Semantics of Reaction Systems with Restriction.

Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Proceedings of the Nature of Computation. Logic, Algorithms, Applications, 2013

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

On Conditions for Modular Verification in Systems of Synchronising Components.

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Fundam. Informaticae, 2012

Towards modular verification of pathways: fairness and assumptions

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Modelling Population Dynamics Using Grid Systems.

Roberto Barbuti, Antonio Cerone, Andrea Maggiolo-Schettini, Paolo Milazzo, Suryana Setiawan

Proceedings of the Information Technology and Open Source: Applications for Education, Innovation, and Sustainability, 2012

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

Spatial Calculus of Looping Sequences.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini

Theor. Comput. Sci., 2011

Spatial P systems.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Luca Tesei

Nat. Comput., 2011

An Overview on Operational Semantics in Membrane Computing.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Int. J. Found. Comput. Sci., 2011

A Testing Framework for P Systems

Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei

CoRR, 2011

2010

Time and Probability-Based Information Flow Analysis.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

IEEE Trans. Software Eng., 2010

Weak bisimulation for Probabilistic Timed Automata.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Theor. Comput. Sci., 2010

Compositional semantics of spiking neural P systems.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

J. Log. Algebraic Methods Program., 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

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

Modular Verification of Interactive Systems with an Application to Biology.

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, 2010

Aspects of multiscale modelling in a process algebra for biological systems

Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini, Simone Tini

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Modelling the Dynamics of an Aedes albopictus Population

Thomas Anung Basuki, Antonio Cerone, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Elisabetta Rossi

Proceedings of the Proceedings First Workshop on Applications of Membrane computing, 2010

Reachability results for timed automata with unbounded data structures.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Acta Informatica, 2010

Dynamic Sync-Programs for Modular Verification of Biological Systems.

Peter Drábik, Andrea Maggiolo-Schettini, Paolo Milazzo

Proceedings of the Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23, 2010

Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Proceedings of the Membrane Computing, 2010

2009

An intermediate language for the stochastic simulation of biological systems.

Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo

Theor. Comput. Sci., 2009

P Systems with Endosomes.

Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo

Int. J. Comput. Commun. Control, 2009

Timed P Automata.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Luca Tesei

Fundam. Informaticae, 2009

P Systems with Transport and Diffusion Membrane Channels.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Fundam. Informaticae, 2009

A Process Calculus for Molecular Interaction Maps

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

On the Interpretation of Delays in Delay Stochastic Simulation of Biological Systems

Roberto Barbuti, Giulio Caravagna, Paolo Milazzo, Andrea Maggiolo-Schettini

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

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

Proceedings of the Perspectives of Systems Informatics, 2009

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

Compositional semantics and behavioral equivalences for P Systems.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Theor. Comput. Sci., 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

Security in a Model for Long-running Transactions.

Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo

Fundam. Informaticae, 2008

A P Systems Flat Form Preserving Step-by-step Behaviour.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini

Fundam. Informaticae, 2008

Bisimulations in calculi modelling membranes.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Formal Aspects Comput., 2008

The Calculus of Looping Sequences.

Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini

Proceedings of the Formal Methods for Computational Systems Biology, 2008

2007

Parametric probabilistic transition systems for system design and analysis.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Formal Aspects Comput., 2007

An Intermediate Language for the Simulation of Biological Systems.

Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

The Calculus of Looping Sequences for Modeling Biological Membranes.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Proceedings of the Membrane Computing, 8th International Workshop, 2007

Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo

Proceedings of the Bioinformatics Research and Applications, Third International Symposium, 2007

2006

A Calculus of Looping Sequences for Modelling Microbiological Systems.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Fundam. Informaticae, 2006

Bisimulation Congruences in the Calculus of Looping Sequences.

Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Proceedings of the Theoretical Aspects of Computing, 2006

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

Monotonic hybrid systems.

Ruggero Lanotte, Andrea Maggiolo-Schettini

J. Comput. Syst. Sci., 2005

A Probabilistic Model for Molecular Systems.

Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina

Fundam. Informaticae, 2005

A Classification of Time and/or Probability Dependent Security Properties.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

Timed Automata with Data Structures for Distributed Systems Design and Analysis.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

Information flow in hybrid systems.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

ACM Trans. Embed. Comput. Syst., 2004

Epsilon-transitions in Concurrent Timed Automata.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

Inf. Process. Lett., 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

Compositional Synthesis of Generalized Mealy Machines.

Simone Tini, Andrea Maggiolo-Schettini

Fundam. Informaticae, 2004

Automatic Analysis of a Non-Repudiation Protocol.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

Structural Model Checking for Communicating Hierarchical Machines.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

Information Flow Analysis for Probabilistic Timed Automata.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Automatic Covert Channel Analysis of a Multilevel Secure Component.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci

Proceedings of the Information and Communications Security, 6th International Conference, 2004

2003

A comparison of Statecharts step semantics.

Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini

Theor. Comput. Sci., 2003

Concurrency in timed automata.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

Theor. Comput. Sci., 2003

Dynamic Hierarchical Machines.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini

Fundam. Informaticae, 2003

Automatic Analysis of the NRL Pump.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Weak Bisimulation for Probabilistic Timed Automata and Applications to Security.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina

Proceedings of the 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 2003

2002

On disjunction of literals in triggers of statecharts transitions.

Andrea Maggiolo-Schettini, Simone Tini

Inf. Process. Lett., 2002

2001

Transformations of Timed Cooperating Automata.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Adriano Peron

Fundam. Informaticae, 2001

Process Algebras for Network Communication.

Damas P. Gruska, Andrea Maggiolo-Schettini

Fundam. Informaticae, 2001

Privacy in Real-Time Systems.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

Formal Models of Timing Attacks on Web Privacy.

Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

2000

Timed Cooperating Automata.

Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron

Fundam. Informaticae, 2000

Timed Automata with Monotonic Activities.

Ruggero Lanotte, Andrea Maggiolo-Schettini

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

A Causal Semantics for Timed Default Concurrent Constraint Programming.

Simone Tini, Andrea Maggiolo-Schettini

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Time-Based Expressivity of Time Petri Nets for System Specification.

Antonio Cerone, Andrea Maggiolo-Schettini

Theor. Comput. Sci., 1999

Applying Techniques of Asynchronous Concurrency to Synchronous Languages.

Andrea Maggiolo-Schettini, Simone Tini

Fundam. Informaticae, 1999

A Truly Concurrent Semantics for Timed Default Concurrent Constraint Programming.

Simone Tini, Andrea Maggiolo-Schettini

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

1998

Two semantics for Timed Default Concurrent Constraint Programming.

Simone Tini, Andrea Maggiolo-Schettini

Proceedings of the Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, 1998

Projectable Semantics for Statecharts.

Andrea Maggiolo-Schettini, Simone Tini

Proceedings of the MFCS '98 Workshop on Concurrency, 1998

1997

A Partial Order Representation of Processes of Transforming Graphs.

Andrea Maggiolo-Schettini, Józef Winkowski

Fundam. Informaticae, 1997

Processes in Cause-Effect Systems.

Andrea Maggiolo-Schettini, Gionata Matteucci

Fundam. Informaticae, 1997

1996

A Kernel Language for Programmed Rewriting of (Hyper)graphs.

Andrea Maggiolo-Schettini, Józef Winkowski

Acta Informatica, 1996

Dynamic Graphs.

Andrea Maggiolo-Schettini, Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1996, 1996

Prorities in Statecharts.

Andrea Maggiolo-Schettini, Massimo Merro

Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

Retiming Techniques for Statecharts.

Andrea Maggiolo-Schettini, Adriano Peron

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Equivalences of Statecharts.

Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini

Proceedings of the CONCUR '96, 1996

1994

A Graph Rewriting Framework for Statecharts Semantics.

Andrea Maggiolo-Schettini, Adriano Peron

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

Transitions as Interrupts: A New Semantics for Timed Statecharts.

Adriano Peron, Andrea Maggiolo-Schettini

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

Semantics of Full Statecharts Based on Graph Rewriting.

Andrea Maggiolo-Schettini, Adriano Peron

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1992

Towards an Algebra for Timed Behaviours.

Andrea Maggiolo-Schettini, Józef Winkowski

Theor. Comput. Sci., 1992

TTL: A formalism to describe local and global properties of distributed systems.

Andrea Masini, Andrea Maggiolo-Schettini

RAIRO Theor. Informatics Appl., 1992

Classes of Systolic Y-Tree Automata and a Comparison with Systolic Trellis Automata.

Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi

Acta Informatica, 1992

Process Communication Environment.

Damas P. Gruska, Andrea Maggiolo-Schettini

Proceedings of the NAPAW 92, 1992

A Programming Language for Deriving Hypergraphs.

Andrea Maggiolo-Schettini, Józef Winkowski

Proceedings of the CAAP '92, 1992

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 compositional semantics for unmarked predicate/transition nets.

Andrea Maggiolo-Schettini, G. Michele Pinna, Józef Winkowski

Fundam. Informaticae, 1991

1990

Simulation of Systolic Tree Automata on Trellis Automata.

Emanuela Fachini, Jozef Gruska, Andrea Maggiolo-Schettini, Davide Sangiorgi

Int. J. Found. Comput. Sci., 1990

Comparisons Among Classes of Y-Tree Systolic Automata.

Emanuela Fachini, Andrea Maggiolo-Schettini, Davide Sangiorgi

Proceedings of the Mathematical Foundations of Computer Science 1990, 1990

Programmed Derivations of Relational Structures.

Andrea Maggiolo-Schettini, Józef Winkowski

Proceedings of the Graph-Grammars and Their Application to Computer Science, 1990

1988

Web Structures: A Tool for Representing and Manipulating Programs.

Andrea Maggiolo-Schettini, Margherita Napoli, Genoveffa Tortora

IEEE Trans. Software Eng., 1988

Fondamenti di informatica.

Egon Börger, Andrea Maggiolo-Schettini

ETS Editrice, 1988

1987

An Algebra of Processes.

Józef Winkowski, Andrea Maggiolo-Schettini

J. Comput. Syst. Sci., 1987

1982

Comparing Hierarchies of Primitive Recursive Sequence Functions.

Emanuela Fachini, Andrea Maggiolo-Schettini

Math. Log. Q., 1982

Processes of Transforming Structures.

Andrea Maggiolo-Schettini, Józef Winkowski

J. Comput. Syst. Sci., 1982

Towards a Programming Language for Manipulating Relational Data Bases.

Andrea Maggiolo-Schettini, Józef Winkowski

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

1981

Modeling a Solution for a Control Problem in Distributed Systems by Restrictions.

Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski

Theor. Comput. Sci., 1981

Sequence Recursiveness Without Cylindrification and Limited Register Machines.

Giorgio Germano, Andrea Maggiolo-Schettini

Theor. Comput. Sci., 1981

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

1979

Computable Stack Functions for Semantics of Stack Programs.

Giorgio Germano, Andrea Maggiolo-Schettini

J. Comput. Syst. Sci., 1979

A Hierarchy of primitive recursive sequence functions.

E. Facchini, Andrea Maggiolo-Schettini

RAIRO Theor. Informatics Appl., 1979

Modelling a Solution for a Control Problem in Distributed Systems by Restrictions.

Andrea Maggiolo-Schettini, Horst F. Wedde, Józef Winkowski

Proceedings of the Formale Modelle für Informationssysteme, 1979

1978

Deriving Structures from Structures.

Hartmut Ehrig, Hans-Jörg Kreowski, Andrea Maggiolo-Schettini, Barry K. Rosen, Józef Winkowski

Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Processes in Structures.

Andrea Maggiolo-Schettini, Józef Winkowski

Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978

1976

A language for Markov's algorithms composition.

Giorgio Germano, Andrea Maggiolo-Schettini

Acta Cybern., 1976

Recursivity, Sequence Recursivity, Stack Recursivity and Semantics of Programs.

Giorgio Germano, Andrea Maggiolo-Schettini

Proceedings of the Mathematical Foundations of Computer Science 1976, 1976

1975

Recursion Structure Simplification.

H. R. Strong Jr., Andrea Maggiolo-Schettini

SIAM J. Comput., 1975

Proving a Compiler Correct: A Simple Approach.

Giorgio Germano, Andrea Maggiolo-Schettini

J. Comput. Syst. Sci., 1975

Sequence-to-Sequence Recursiveness.

Giorgio Germano, Andrea Maggiolo-Schettini

Inf. Process. Lett., 1975

1974

Loops in Algol 60 and in category theory.

Giorgio Germano, Andrea Maggiolo-Schettini

SIGACT News, 1974

1973

Procedure Linkage Optimization.

Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong

Proceedings of the Conference Record of the ACM Symposium on Principles of Programming Languages, 1973