Maura Cerioli

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications Algebraic Methodology and Software Technology	2009-04-28	Paper
scientific article; zbMATH DE number 2084345 (Why is no real title available?)	2004-08-06	Paper
scientific article; zbMATH DE number 1696895 (Why is no real title available?)	2002-01-28	Paper
scientific article; zbMATH DE number 1693554 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1638643 (Why is no real title available?)	2001-08-29	Paper
scientific article; zbMATH DE number 1617291 (Why is no real title available?)	2001-07-11	Paper
scientific article; zbMATH DE number 1368949 (Why is no real title available?)	1999-11-24	Paper
scientific article; zbMATH DE number 1333615 (Why is no real title available?)	1999-09-19	Paper
Very abstract specifications: a formalism independent approach Mathematical Structures in Computer Science	1999-03-22	Paper
May I borrow your logic? (Transporting logical structures along maps) Theoretical Computer Science	1998-07-22	Paper
scientific article; zbMATH DE number 1107619 (Why is no real title available?)	1998-01-21	Paper
Free objects and equational deduction for partial conditional specifications Theoretical Computer Science	1997-02-28	Paper
Non-strict don't care algebras and specifications Mathematical Structures in Computer Science	1996-09-12	Paper
scientific article; zbMATH DE number 683360 (Why is no real title available?)	1995-05-14	Paper
scientific article; zbMATH DE number 176127 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 92597 (Why is no real title available?)	1993-01-16	Paper

Research outcomes over time

This page was built for person: Maura Cerioli