Laurent Mauborgne

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
Theories, solvers and static analysis by abstract interpretation Journal of the ACM	2014-02-17	Paper
The reduced product of abstract domains and the combination of decision procedures Foundations of Software Science and Computational Structures	2011-05-19	Paper
A scalable segmented decision tree abstract domain Time for Verification	2010-09-07	Paper
Why does Astrée scale up? Formal Methods in System Design	2010-02-05	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-09-13	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2005-09-13	Paper
Infinitary relations and their representation. Science of Computer Programming	2003-08-07	Paper
scientific article; zbMATH DE number 1953274 (Why is no real title available?)	2003-07-27	Paper
scientific article; zbMATH DE number 1617329 (Why is no real title available?)	2001-07-11	Paper
An incremental unique representation for regular trees Nordic Journal of Computing	2001-05-06	Paper
scientific article; zbMATH DE number 1538031 (Why is no real title available?)	2000-12-03	Paper
scientific article; zbMATH DE number 1487852 (Why is no real title available?)	2000-08-10	Paper
Abstract interpretation using typed decision graphs Science of Computer Programming	2000-01-04	Paper

Research outcomes over time

This page was built for person: Laurent Mauborgne