Algebraic Automata and Optimal Solutions in Pattern Recognition. - Egidio Astesiano; Gerardo Costa (Optimization Techniques, 1973)

Sharing in Nondeterminism. - Egidio Astesiano; Gerardo Costa (ICALP, 1979)

Delayed evaluation trees and their application to sementics (Additif). - Egidio Astesiano; Gerardo Costa (CLAAP, 1980)

Delayed evaluation trees and their application to sementics. - Egidio Astesiano; Gerardo Costa (CLAAP, 1980)

Languages with Reducing Reflective Types. - Egidio Astesiano; Gerardo Costa (ICALP, 1980)

Nondeterminism and Fully Abstract Models. - Egidio Astesiano; Gerardo Costa (RAIRO Theor. Informatics Appl., 1980)

Semantics of Distributed Processes Derived by Translation. - Egidio Astesiano; Elena Zucca (GI Jahrestagung, 1981)

Reducing Types in Applicative Languages with Structured Data. - Egidio Astesiano; Gerardo Costa (ICFPC, 1981)

Semantics of CSP via Translation into CCS. - Egidio Astesiano; Elena Zucca (MFCS, 1981)

On the Specification of the Firing Squad Problem. - Egidio Astesiano; Gianna Reggio (The Analysis of Concurrent Systems, 1983)

The Insensitivity Theorem for Nonreducing Reflexive Types. - Egidio Astesiano; Gerardo Costa (J. Comput. Syst. Sci., 1983)

Distributive Semantics for Nondeterministic Typed lambda-Calculi. - Egidio Astesiano; Gerardo Costa (Theor. Comput. Sci., 1984)

Parametric Channels via Label Expressions in CCS. - Egidio Astesiano; Elena Zucca (Theor. Comput. Sci., 1984)

On the Parameterized Algebraic Specification of Concurrent Systems. - Egidio Astesiano; Gianfranco Mascari; Gianna Reggio; Martin Wirsing (TAPSOFT, Vol.1, 1985)

An Qutline of the SMoLCS Approach. - Egidio Astesiano; Gianna Reggio (Mathematical Models for the Semantics of Parallelism, 1986)

The SMoLCS Approach to the Formal Semantics of Programming Languages - A Tutorial Introduction. - Egidio Astesiano; Gianna Reggio (System Development and Ada, 1986)

A Syntax-Directed Approach to the Semantics of Concurrent Languages. - Egidio Astesiano; Gianna Reggio (IFIP Congress, 1986)

Relational Specifications and Observational Semantics. - Egidio Astesiano; Gianna Reggio; Martin Wirsing (MFCS, 1986)

An Integrated Algebraic Approach to the Specification of Data Types, Processes and Objects. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio; Elena Zucca (Algebraic Methods, 1987)

Comparing Direct and Continuation Semantics Styles for Concurrent Languages: Revisiting an Old Problem from a New Viewpoint. - Egidio Astesiano; Gianna Reggio (STACS, 1987)

SMoLCS-Driven Concurrent Calculi. - Egidio Astesiano; Gianna Reggio (TAPSOFT, Vol.1, 1987)

Models and Logical Deduction in Partial Higher-Order Conditional Specifications. - Egidio Astesiano; Maura Cerioli (ADT, 1988)

Data in a Concurrent Environment. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio (ADT, 1988)

Generalized Bisimulation in Relational Specifications. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio (STACS, 1988)

Inductive and Operational Semantics. - Egidio Astesiano (Formal Description of Programming Concepts, 1989)

On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications. - Egidio Astesiano; Maura Cerioli (TAPSOFT, Vol.1, 1989)

Processes as Data Types: Observational Semantics and Logic. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio (Semantics of Systems of Concurrent Processes, 1990)

Algebraic Specification at Work. - Egidio Astesiano; Alessandro Giovini; Franco Morando; Gianna Reggio (AMAST, 1991)

Relationships between Logical Frameworks. - Egidio Astesiano; Maura Cerioli (COMPASS/ADT, 1991)

Algebraic Specification of Concurrency. - Egidio Astesiano; Gianna Reggio (COMPASS/ADT, 1991)

A Semantic Model for Dynamic Systems. - Egidio Astesiano; Elena Zucca (FMLDO, 1992)

Partial higher-order specifications. - Egidio Astesiano; Maura Cerioli (Fundam. Informaticae, 1992)

Observational Structures and Their Logics. - Egidio Astesiano; Alessandro Giovini; Gianna Reggio (Theor. Comput. Sci., 1992)

A Metalanguage for the Formal Requirement Specification of Reactive Systems. - Egidio Astesiano; Gianna Reggio (FME, 1993)

Specifying Reactive Systems by Abstract Events. - Egidio Astesiano; Gianna Reggio (IWSSD, 1993)

Stores as Homomorphisms and their Transformations. - Egidio Astesiano; Gianna Reggio; Elena Zucca (MFCS, 1993)

Multiparadigm Specification Languages: A First Attempt at Foundations. - Egidio Astesiano; Maura Cerioli (Semantics of Specification Languages, 1993)

A Dynamic Specification of the RPC-Memory Problem. - Egidio Astesiano; Gianna Reggio (Formal Systems Specification, 1994)

The SMoLCS ToolSet. - Egidio Astesiano; Gianna Reggio; Franco Morando (TAPSOFT, 1995)

D-oids: A Model for Dynamic Data-Types. - Egidio Astesiano; Elena Zucca (Math. Struct. Comput. Sci., 1995)

Free Objects and Equational Deduction for Partial Conditional Specifications. - Egidio Astesiano; Maura Cerioli (Theor. Comput. Sci., 1995)

A Free Construction of Dynamic Terms. - Egidio Astesiano; Elena Zucca (J. Comput. Syst. Sci., 1996)

Non-Strict Don't Care Algebras and Specifications. - Egidio Astesiano; Maura Cerioli (Math. Struct. Comput. Sci., 1996)

A Discipline for Handling Feature Interaction. - Egidio Astesiano; Gianna Reggio (Requirements Targeting Software and Systems Engineering, 1997)

Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? - Roel J. Wieringa; Egidio Astesiano; Gianna Reggio; Alain Le Guennec; Heinrich Hußmann; Klaas van den Berg; Pim van den Broek (ECOOP Workshops, 1999)

Stores as Homomorphisms and Their Transformations: A Uniform Approach to Structured Types in Imperative Languages. - Egidio Astesiano; Gianna Reggio; Elena Zucca (Sci. Comput. Program., 1999)

Algebraic Specification of Concurrent Systems. - Egidio Astesiano; Manfred Broy; Gianna Reggio (Algebraic Foundations of Systems Specification, 1999)

Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. - Egidio Astesiano; Maura Cerioli; Gianna Reggio (AMAST, 2000)

Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. - Gianna Reggio; Egidio Astesiano; Christine Choppy; Heinrich Hußmann (FASE, 2000)

Formalism and method. - Egidio Astesiano; Gianna Reggio (Theor. Comput. Sci., 2000)

From ADT to UML-Like Modelling. - Egidio Astesiano; Maura Cerioli; Gianna Reggio (Ershov Memorial Conference, 2001)

Towards a Rigorous Semantics of UML Supporting Its Multiview Approach. - Gianna Reggio; Maura Cerioli; Egidio Astesiano (FASE, 2001)

UML-Spaces: A UML Profile for Distributed Systems Coordinated via Tuple Spaces. - Egidio Astesiano; Gianna Reggio (ISADS, 2001)

Labelled transition logic: an outline. - Egidio Astesiano; Gianna Reggio (Acta Informatica, 2001)

Fundamental Approaches to Software Engineering. - Egidio Astesiano; Carlo Ghezzi (Sci. Comput. Program., 2001)

Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case). - Egidio Astesiano; Maura Cerioli; Gianna Reggio (RISSEF, 2002)

Tight Structuring for Precise UML-Based Requirement Specifications. - Egidio Astesiano; Gianna Reggio (RISSEF, 2002)

Knowledge structuring and representation in requirement specificaiton. - Egidio Astesiano; Gianna Reggio (SEKE, 2002)

From Formal Techniques to Well-Founded Software Development Methods. - Egidio Astesiano; Gianna Reggio; Maura Cerioli (10th Anniversary Colloquium of UNU/IIST, 2002)

An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. - Egidio Astesiano; Gianna Reggio (WADT, 2002)

CASL: the Common Algebraic Specification Language. - Egidio Astesiano; Michel Bidoit; Hélène Kirchner; Bernd Krieg-Brückner; Peter D. Mosses; Donald Sannella; Andrzej Tarlecki (Theor. Comput. Sci., 2002)

Towards a Well-Founded UML-Based Development Method. - Egidio Astesiano; Gianna Reggio (SEFM, 2003)

From Requirement Specification to Prototype Execution: a Combination of Multiview Use-Case Driven Methods and Agent-Oriented Techniques. - Egidio Astesiano; Maurizio Martelli; Viviana Mascardi; Gianna Reggio (SEKE, 2003)

From Conditional Specifications to Interaction Charts. - Egidio Astesiano; Gianna Reggio (Formal Methods in Software and Systems Modeling, 2005)

Tutorials at MoDELS 2006. - Egidio Astesiano (MoDELS, 2006)

Modeling Business within a UML-Based Rigorous Software Development Approach. - Egidio Astesiano; Gianna Reggio; Filippo Ricca (Concurrency, Graphs and Models, 2008)

Revising the UML Collaborations: A Well-Founded Approach. - Egidio Astesiano; Gianna Reggio (Monterey Workshop, 2008)

On the effectiveness of screen mockups in requirements engineering: results from an internal replication. - Filippo Ricca; Giuseppe Scanniello; Marco Torchiano; Gianna Reggio; Egidio Astesiano (ESEM, 2010)

On the effort of augmenting use cases with screen mockups: results from a preliminary empirical study. - Filippo Ricca; Giuseppe Scanniello; Marco Torchiano; Gianna Reggio; Egidio Astesiano (ESEM, 2010)

A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation. - Gianna Reggio; Egidio Astesiano; Filippo Ricca; Maurizio Leotta (Monterey Workshop, 2010)

Comparing the Maintainability of Two Alternative Architectures of a Postal System: SOA vs. Non-SOA. - Maurizio Leotta; Filippo Ricca; Gianna Reggio; Egidio Astesiano (CSMR, 2011)

Building VECM-based Systems with a Model Driven Approach: an Experience Report. - Maurizio Leotta; Gianna Reggio; Filippo Ricca; Egidio Astesiano (EESSMod@MoDELS, 2011)

SOA adoption in the Italian industry. - Maurizio Leotta; Filippo Ricca; Marina Ribaudo; Gianna Reggio; Egidio Astesiano; Tullio Vernazza (ICSE, 2012)

Business process modelling: five styles and a method to choose the most suitable one. - Gianna Reggio; Maurizio Leotta; Filippo Ricca; Egidio Astesiano (EESSMod@MoDELS, 2012)

Towards a lightweight model driven method for developing SOA systems using existing assets. - Maurizio Leotta; Gianna Reggio; Filippo Ricca; Egidio Astesiano (WSE, 2012)

An exploratory survey on SOA knowledge, adoption and trend in the Italian industry. - Maurizio Leotta; Filippo Ricca; Marina Ribaudo; Gianna Reggio; Egidio Astesiano; Tullio Vernazza (WSE, 2012)

Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements. - Filippo Ricca; Giuseppe Scanniello; Marco Torchiano; Gianna Reggio; Egidio Astesiano (ACM Trans. Softw. Eng. Methodol., 2014)

A Framework for Defining and Comparing Modelling Methods. - Gianna Reggio; Egidio Astesiano; Christine Choppy (Software, Services, and Systems, 2015)

Towards a Holistic Method for Business Process Analytics. - Gianna Reggio; Maurizio Leotta; Filippo Ricca; Egidio Astesiano (Monterey Workshop, 2016)

Big-Data/Analytics Projects Failure: A Literature Review. - Gianna Reggio; Egidio Astesiano (SEAA, 2020)