Arthur Carcano

According to our database, Arthur Carcano authored at least 5 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Smt.ml: A Multi-Backend Frontend for SMT Solvers in OCaml.

João Madeira Pereira, Filipe Marques, Pedro Adão, Hichem Rami Ait El Hara, Léo Andrès, Arthur Carcano, Pierre Chambart, Petar Maksimovic, Nuno Santos, José Fragoso Santos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2024

Owi: Performant Parallel Symbolic Execution Made Easy, an Application to WebAssembly.

Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Santos, Jean-Christophe Filliâtre

Art Sci. Eng. Program., 2024

2021

Methods and tools for the optimal design of experiments applied to the efficient characterization of enzyme-mediated escape to antimicrobial treatments. (Méthodes et outils pour la conception optimale d'expériences appliqués à la caractérisation efficace de la résistance bactérienne aux traitements antibiotiques).

Arthur Carcano

PhD thesis, 2021

2019

Can optimal experimental design serve as a tool to characterize highly non-linear synthetic circuits?

Maxim Kryukov, Arthur Carcano, Grégory Batt, Jakob Ruess

Proceedings of the 17th European Control Conference, 2019

2017

Probably Approximately Correct Learning of Regulatory Networks from Time-Series Data.

Arthur Carcano, François Fages, Sylvain Soliman

Proceedings of the Computational Methods in Systems Biology, 2017