Filter Results:
- Full text PDF available (19)
Publication Year
1988
2014
- This year (0)
- Last 5 years (1)
- Last 10 years (3)
Publication Type
Co-author
Journals and Conferences
Learn More
- Gianna Reggio, Maura Cerioli, Egidio Astesiano
- FASE
- 2001
- Maura Cerioli, José Meseguer
- Theor. Comput. Sci.
- 1997
It can be very advantageous to borrow key components of a logic for use in another logic. The advantages are both conceptual and practical; due to the existence of software systems supporting… (More)
- Egidio Astesiano, Maura Cerioli
- COMPASS/ADT
- 1991
- Maura Cerioli, Till Mossakowski, Horst Reichel
- Algebraic Foundations of Systems Specification
- 1999
- Maura Cerioli, Gianna Reggio
- Mathematical Structures in Computer Science
- 1998
EXTEND
- Egidio Astesiano, Maura Cerioli
- TAPSOFT, Vol.1
- 1991
Non-strict don't care functions, whose foremost representative is the ubiquitous if then else, play an essential role in computer science. As far as the semantics is concerned, they can be modelled… (More)
- Egidio Astesiano, Gianna Reggio, Maura Cerioli
- 10th Anniversary Colloquium of UNU/IIST
- 2002
We look at the main issue of the Colloquium \Formal Methods at the Crossroads from Panacea to Foundational Support" reeecting on our rather long experience of active engagement in the development and… (More)
- Martin Gogolla, Maura Cerioli
- COMPASS/ADT
- 1994
1 Organizers and Publications of the Workshops 1st Workshop on Abst rac t Da ta Types (1982) Organization: Hans-Dieter Ehrich, Udo Walter Lipeck in Langscheid, Sorpesee (BRD) from 22.03.82 to… (More)
- Egidio Astesiano, Maura Cerioli
- MFCS
- 1991
- Maura Cerioli
- COMPASS/ADT
- 1994
Abs t rac t . Starting from the analysis of which features are required by an algebraic formalism to describe at least the more common data types used in imperative and functional programming, a… (More)