David Déharbe

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
Combining Decision Procedures by (Model-)Equality Propagation Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Verified Compilation and the B Method: A Proposal and a First Appraisal Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Distributing the workload in a lazy theorem-prover Electronic Notes in Theoretical Computer Science	2014-01-17	Paper
Explicit-symbolic modelling for formal verification	2013-09-26	Paper
Integration of SMT-solvers in B and Event-B development environments Science of Computer Programming	2013-06-06	Paper
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs Electronic Notes in Theoretical Computer Science	2013-04-19	Paper
Combining decision procedures by (model-)equality propagation Science of Computer Programming	2012-07-20	Paper
Exploiting symmetry in SMT problems Lecture Notes in Computer Science	2011-07-29	Paper
Artificial Intelligence and Symbolic Computation Lecture Notes in Computer Science	2005-08-19	Paper
Manipulating algebraic specifications with term-based and graph-based representations The Journal of Logic and Algebraic Programming	2004-11-12	Paper
scientific article; zbMATH DE number 2090074 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2020179 (Why is no real title available?)	2003-01-01	Paper
scientific article; zbMATH DE number 1487478 (Why is no real title available?)	2001-02-05	Paper
scientific article; zbMATH DE number 139820 (Why is no real title available?)	1993-03-28	Paper

Research outcomes over time

This page was built for person: David Déharbe