Laurent Mauborgne

Available identifiers

zbMath Open mauborgne.laurentMaRDI QIDQ845248

List of research outcomes

Publication	Date of Publication	Type
Theories, solvers and static analysis by abstract interpretation	2014-02-17	Paper
The reduced product of abstract domains and the combination of decision procedures	2011-05-19	Paper
A scalable segmented decision tree abstract domain	2010-09-07	Paper
Why does Astrée scale up?	2010-02-05	Paper
Programming Languages and Systems	2005-09-13	Paper
Programming Languages and Systems	2005-09-13	Paper
Infinitary relations and their representation.	2003-08-07	Paper
https://portal.mardi4nfdi.de/entity/Q4414726	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q2722068	2001-07-11	Paper
An incremental unique representation for regular trees	2001-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4518886	2000-12-03	Paper
https://portal.mardi4nfdi.de/entity/Q4494376	2000-08-10	Paper
Abstract interpretation using typed decision graphs	2000-01-04	Paper

Research outcomes over time

This page was built for person: Laurent Mauborgne