| 2008 |
|---|
| 32 | EE | Maura Cerioli,
Giovanni Lagorio,
Enrico Morten,
Gianna Reggio:
Gesper: Support to Capitalize on Experience in a Network of SMEs.
ISoLA 2008: 738-752 |
| 2007 |
|---|
| 31 | EE | Michel Wermelinger,
Tiziana Margaria,
Maura Cerioli:
Introduction to the special section on fundamental approaches to software engineering.
STTT 9(5-6): 415-416 (2007) |
| 30 | EE | Maura Cerioli,
Tiziana Margaria,
Michel Wermelinger:
Foreword.
Theor. Comput. Sci. 376(3): 137-138 (2007) |
| 2006 |
|---|
| 29 | EE | Matteo Dell'Amico,
Maura Cerioli:
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications.
AMAST 2006: 96-110 |
| 2005 |
|---|
| 28 | | Maura Cerioli:
Fundamental Approaches to Software Engineering, 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings
Springer 2005 |
| 27 | EE | Maura Cerioli,
Matteo Dell'Amico:
Injecting Distribution in CASL.
Foundations of Global Computing 2005 |
| 2002 |
|---|
| 26 | EE | Egidio Astesiano,
Gianna Reggio,
Maura Cerioli:
From Formal Techniques to Well-Founded Software Development Methods.
10th Anniversary Colloquium of UNU/IIST 2002: 132-150 |
| 25 | EE | Egidio Astesiano,
Maura Cerioli,
Gianna Reggio:
Architecture Specific Models: Software Design on Abstract Platforms (The P2P Case).
RISSEF 2002: 1-15 |
| 2001 |
|---|
| 24 | | Maura Cerioli,
Gianna Reggio:
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers
Springer 2001 |
| 23 | EE | Egidio Astesiano,
Maura Cerioli,
Gianna Reggio:
From ADT to UML-Like Modelling.
Ershov Memorial Conference 2001: 246 |
| 22 | EE | Gianna Reggio,
Maura Cerioli,
Egidio Astesiano:
Towards a Rigorous Semantics of UML Supporting Its Multiview Approach.
FASE 2001: 171-186 |
| 2000 |
|---|
| 21 | EE | Egidio Astesiano,
Maura Cerioli,
Gianna Reggio:
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML.
AMAST 2000: 273-292 |
| 1999 |
|---|
| 20 | | Davide Ancona,
Maura Cerioli,
Elena Zucca:
A Formal Framework with Late Binding.
FASE 1999: 30-44 |
| 19 | | Davide Ancona,
Maura Cerioli,
Elena Zucca:
Extending Casl by Late Binding.
WADT 1999: 53-72 |
| 1998 |
|---|
| 18 | | Maura Cerioli,
Gianna Reggio:
Very Abstract Specifications: A Formalism Independent Approach.
Mathematical Structures in Computer Science 8(1): 17-66 (1998) |
| 1997 |
|---|
| 17 | | Maura Cerioli,
Anne Elisabeth Haxthausen,
Bernd Krieg-Brückner,
Till Mossakowski:
Permissive Subsorted Partial Logic in CASL.
AMAST 1997: 91-107 |
| 16 | | Maura Cerioli,
Elena Zucca:
Implementation of derived programs (almost) for free.
WADT 1997: 141-155 |
| 15 | EE | Maura Cerioli,
José Meseguer:
May I Borrow Your Logic? (Transporting Logical Structures Along Maps).
Theor. Comput. Sci. 173(2): 311-347 (1997) |
| 1996 |
|---|
| 14 | | Egidio Astesiano,
Maura Cerioli:
Non-Strict Don't Care Algebras and Specifications.
Mathematical Structures in Computer Science 6(1): 85-125 (1996) |
| 1995 |
|---|
| 13 | EE | Egidio Astesiano,
Maura Cerioli:
Free Objects and Equational Deduction for Partial Conditional Specifications.
Theor. Comput. Sci. 152(1): 91-138 (1995) |
| 1994 |
|---|
| 12 | | Maura Cerioli:
A Lazy Approach to Partial Algebras.
COMPASS/ADT 1994: 188-202 |
| 11 | | Martin Gogolla,
Maura Cerioli:
What is an Abstract Data Type, after all?
COMPASS/ADT 1994: 499-523 |
| 1993 |
|---|
| 10 | | Maura Cerioli,
Gianna Reggio:
Algebraic-Oriented Institutions.
AMAST 1993: 201-208 |
| 9 | | Maura Cerioli,
José Meseguer:
May I Borrow Your Logic?
MFCS 1993: 342-351 |
| 8 | | Egidio Astesiano,
Maura Cerioli:
Multiparadigm Specification Languages: A First Attempt at Foundations.
Semantics of Specification Languages 1993: 168-185 |
| 1992 |
|---|
| 7 | | Maura Cerioli,
Gianna Reggio:
Institutions for Very Abstract Specifications.
COMPASS/ADT 1992: 113-127 |
| 6 | | Egidio Astesiano,
Maura Cerioli:
Partial higher-order specifications.
Fundam. Inform. 16(1): 101-126 (1992) |
| 1991 |
|---|
| 5 | | Egidio Astesiano,
Maura Cerioli:
Relationships between Logical Frameworks.
COMPASS/ADT 1991: 126-143 |
| 4 | | Egidio Astesiano,
Maura Cerioli:
Partial Higher-Order Specifications.
MFCS 1991: 74-83 |
| 3 | | Egidio Astesiano,
Maura Cerioli:
Non-Strict Don't Care Algebras and Specifications.
TAPSOFT, Vol.1 1991: 121-142 |
| 1989 |
|---|
| 2 | | Egidio Astesiano,
Maura Cerioli:
On the Existence of Initial Models for Partial (Higher-Order) Conditional Specifications.
TAPSOFT, Vol.1 1989: 74-88 |
| 1988 |
|---|
| 1 | | Egidio Astesiano,
Maura Cerioli:
Models and Logical Deduction in Partial Higher-Order Conditional Specifications.
ADT 1988 |
