Dipartimento di Informatica e Scienze dell'Informazione

Publications of Maura Cerioli

Chapters in Books

• M. Cerioli. Basic concepts. In Algebraic System Specification and Development: Survey and Annotated Bibliography. 2nd edition, 1997, number 3 in Monographs of the Bremen Institute of Safe Systems, chapter 1. Shaker, 1998.
• M. Cerioli, T. Mossakowski, and H. Reichel. From total equational to partial conditional. In E. Astesiano, H.-J. Kreowski and B. Krieg-Bruckner, editors, Algebraic Foundation of Information Systems Specification, chapter 3, pages 31--104, Berlin, 1999. Springer Verlag.
  A preliminary version is in DISI-TR-96, 1996.

International Proceedings

• G. Reggio, M. Cerioli and E. Astesiano Towards a Rigorous Semantics of UML Supporting its Multiview Approach In Heinrich Hussmann, editor, Proceedings of FASE'01, number 2029 in Lecture Notes in Computer Science, pages 171--186, Berlin, 1999. Springer Verlag.
• G. Reggio, M. Cerioli and E. Astesiano An Algebraic Semantics of UML Supporting its Multiview Approach In D. Heylen, A. Nijholt and G. Scollo Editors, Proceedings of AMiLP 2000, number 16 in Twente Workshop on Language Technology, Enschede, 2000. University of Twente.
• E. Astesiano, M. Cerioli and G. Reggio Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML In T. Rus, editor, Proceedings of AMAST'00, number 1816 in Lecture Notes in Computer Science, Berlin, 2000. Springer Verlag.
• D. Ancona, M. Cerioli and E. Zucca A Formal Framework with Late Binding In Jean-Pierre Finance, editor, Proceedings of FASE'99, number 1577 in Lecture Notes in Computer Science, pages 30--44, Berlin, 1999. Springer Verlag.
• M. Cerioli and E. Zucca Implementation of Derived Programs (Almost) for Free In Recent Trends in Data Type Specification, in In F. Parisi Presicce, editor, Recent Trends in Data Type Specification, number 1376 in Lecture Notes in Computer Science, pages 141--155, Berlin, 1998. Springer Verlag.
• M. Cerioli, Anne Haxthausen, Bernd Krieg-Brückner and Till Mossakowski. Permissive Subsorted Partial Logic in CASL, In Algebraic Methodology and Software Technology (AMAST'97), number 1349 in Lecture Notes in Computer Science, pages 91--107, Berlin, 1997. Springer Verlag.
• M. Cerioli. A Lazy Approach to Partial Algebras In G. Reggio, E. Astesiano and A. Tarlecki, editors, Recent Trends in Data Type Specification, number 906 in Lecture Notes in Computer Science, pages 188--202, Berlin, 1995. Springer Verlag.
• M. Gogolla and M. Cerioli. What is an Abstract Data Type, after all?
  (A Bibliography on the Workshops on Abstract Data Types) In G. Reggio, E. Astesiano and A. Tarlecki, editors, Recent Trends in Data Type Specification, number 906 in Lecture Notes in Computer Science, pages 499--523, Berlin, 1995. Springer Verlag.
• E. Astesiano and M. Cerioli. Multiparadigm Specification Languages: a First Attempt at Foundations, In C.A. Middelburg D.J. Andrews, J.F. Groote, editor, Semantics of Specification Languages (SoSL'93), Workshops in Computing, pages 168--185. Springer Verlag, 1994.
• M. Cerioli and José Meseguer. May I Borrow Your Logic?, In A.M. Borzyszkowski and S. Sokolowski, editors, Proc. of Mathematical Foundation of Computer Science '93, number 711 in Lecture Notes in Computer Science, pages 342--351, Berlin, 1993. Springer Verlag.
• M. Cerioli and G. Reggio. Algebraic oriented Institutions, In T. Rus M. Nivat, C. Rattray and G. Scollo, editors, Algebraic Methodology and Software Technology (AMAST'93), Workshops in Computing, pages 103--210. Springer Verlag, 1994.
• M. Cerioli and G. Reggio. Institutions for Very Abstract Specifications, In Recent Trends in Data Type Specification, number 785 in Lecture Notes in Computer Science, pages 113--127, Berlin, 1993. Springer Verlag.
• E. Astesiano and M. Cerioli. Relationships between Logical Frameworks, In Recent Trends in Data Type Specification, number 655 in Lecture Notes in Computer Science, pages 126--143, Berlin, 1993. Springer Verlag.
• E. Astesiano and M. Cerioli. Partial Higher-Order Specifications, In A. Tarlecki, editor, Proceedings of Mathematical Foundation of Computer Science '91, number 520 in Lecture Notes in Computer Science, pages 74--84, Berlin, 1991. Springer Verlag.
• E. Astesiano and M. Cerioli. Non-strict don't care Algebras and Specifications, In S. Abramsky and T.S.E. Maibaum, editors, Proceedings of TAPSOFT'91, number 493 in Lecture Notes in Computer Science, pages 121--142, Berlin, 1992. Springer Verlag.
• M. Cerioli. A sound and equationally complete deduction system
  for partial conditional (higher-order) types
  (Extended Abstract), In Proceedings of the 3rd Italian Conference of Theoretical Computer Science. World Scientific, 1989.
• E. Astesiano and M. Cerioli. On the existence of initial models for
  partial (higher-order) conditional specifications, In Proceedings of TAPSOFT'89, number 351 in Lecture Notes in Computer Science, pages 74--88, Berlin, 1989. Springer Verlag.

International Journals

• G. Reggio and M. Cerioli. Very abstract Specifications: A formalism Independent Approach
  Mathematical Structures in Computer Science, 8(1), 1998.
• E. Astesiano and M. Cerioli. Non-strict don't care Algebras and Specifications
  (Extended version), Mathematical Structures in Computer Science, 6(1):85--125, 1996.
• M. Cerioli and José Meseguer. May I Borrow Your Logic? (Transporting Logical Structures along Maps), Theoretical Computer Science,173(2):311--347, 1997.
• E. Astesiano and M. Cerioli. Free Objects and Equational Deduction for Partial Conditional Specifications, Theoretical Computer Science, 152(1):91--138, 1995.
• E. Astesiano and M. Cerioli. Partial Higher-Order Specifications
  (Extended version), Fundamenta informaticae, 16(2):101--126, 1992.

Ph. D. Thesis