Christophe Chareton
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2015–2026
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TACAS | Equivalence Checking of Quantum Circuits via Path-Sum and Weighted Model Counting. | Wei-Jia Huang, Christophe Chareton, Yu-Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, Alfons Laarman, Jingyi Mei |
| 2021 | ESOP | An Automated Deductive Verification Framework for Circuit-building Quantum Programs. | Christophe Chareton, Sbastien Bardin, Franois Bobot, Valentin Perrelle, Benot Valiron |
| 2017 | EUMAS | Strategic Knowledge of the Past - Expressivity and Complexity. | Christophe Chareton |
| 2015 | IRI | Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus. | Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi |