Dominique Cansell

Available identifiers

zbMath Open cansell.dominiqueMaRDI QIDQ860847

List of research outcomes

Publication	Date of Publication	Type
Incremental Parametric Development of Greedy Algorithms	2015-03-18	Paper
Click’n Prove: Interactive Proofs within Set Theory	2010-05-07	Paper
Formal and incremental construction of distributed algorithms: on the distributed reference counting algorithm	2007-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q4680189	2006-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q5703804	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4817051	2004-09-14	Paper
Incremental Proof of the Producer/Consumer Property for the PCI Protocol	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4472194	2004-08-03	Paper
https://portal.mardi4nfdi.de/entity/Q4471930	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4436983	2003-12-04	Paper
A mechanically proved and incremental development of IEEE 1394 tree identify protocol	2003-08-27	Paper
https://portal.mardi4nfdi.de/entity/Q2709808	2001-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4494386	2000-08-10	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dominique Cansell