Dominique Cansell

From MaRDI portal
Person:860847

Available identifiers

zbMath Open cansell.dominiqueMaRDI QIDQ860847

List of research outcomes





PublicationDate of PublicationType
Incremental parametric development of greedy algorithms2015-03-18Paper
Click'n prove: interactive proofs within set theory2010-05-07Paper
Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm2007-01-09Paper
https://portal.mardi4nfdi.de/entity/Q46801892006-06-02Paper
https://portal.mardi4nfdi.de/entity/Q57038042005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q48170512004-09-14Paper
Incremental Proof of the Producer/Consumer Property for the PCI Protocol2004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44721942004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44719302004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44369832003-12-04Paper
A mechanically proved and incremental development of IEEE 1394 tree identify protocol2003-08-27Paper
Diagram refinements for the design of reactive systems2001-08-13Paper
https://portal.mardi4nfdi.de/entity/Q44943862000-08-10Paper

Research outcomes over time

This page was built for person: Dominique Cansell

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