Maura Cerioli

From MaRDI portal
Person:673183

Available identifiers

zbMath Open cerioli.mauraMaRDI QIDQ673183

List of research outcomes





PublicationDate of PublicationType
DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications2009-04-28Paper
https://portal.mardi4nfdi.de/entity/Q30438282004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q27671812002-01-28Paper
https://portal.mardi4nfdi.de/entity/Q27641582002-01-22Paper
https://portal.mardi4nfdi.de/entity/Q27363392001-08-29Paper
https://portal.mardi4nfdi.de/entity/Q27220152001-07-11Paper
https://portal.mardi4nfdi.de/entity/Q47025931999-11-24Paper
https://portal.mardi4nfdi.de/entity/Q42603891999-09-19Paper
Very abstract specifications: a formalism independent approach1999-03-22Paper
May I borrow your logic? (Transporting logical structures along maps)1998-07-22Paper
https://portal.mardi4nfdi.de/entity/Q43735531998-01-21Paper
Free objects and equational deduction for partial conditional specifications1997-02-28Paper
Non-strict don't care algebras and specifications1996-09-12Paper
https://portal.mardi4nfdi.de/entity/Q43124811995-05-14Paper
https://portal.mardi4nfdi.de/entity/Q40352281993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40180621993-01-16Paper

Research outcomes over time

This page was built for person: Maura Cerioli

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:673183&oldid=7800805"
Powered by MediaWiki