François Bobot

Available identifiers

zbMath Open bobot.francoisMaRDI QIDQ2011566

List of research outcomes

Publication	Date of Publication	Type
An automated deductive verification framework for circuit-building quantum programs	2021-10-18	Paper
A formally verified floating-point implementation of the compact position reporting algorithm	2021-05-04	Paper
Exploiting pointer analysis in memory models for deductive verification	2020-01-23	Paper
Sharpening constraint programming approaches for bit-vector theory	2017-08-04	Paper
Certified Complexity (CerCo)	2016-01-07	Paper
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic	2012-09-05	Paper
Expressing Polymorphic Types in a Many-Sorted Language	2011-10-07	Paper

Research outcomes over time

This page was built for person: François Bobot