Christophe Chareton

According to our database, Christophe Chareton authored at least 15 papers between 2011 and 2026.

Collaborative distances:

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

2026

Hybrid Path-Sums for Hybrid Quantum Programs.

Christophe Chareton, Jad Issa, Mathieu Nguyen, Nicolas Blanco, Sébastien Bardin

CoRR, April, 2026

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

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

2025

Quantum Circuit Equivalence Checking: A Tractable Bridge From Unitary to Hybrid Circuits.

Jérome Ricciardi, Sébastien Bardin, Christophe Chareton, Benoît Valiron

CoRR, November, 2025

2023

Formal Methods for Quantum Algorithms.

Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu

Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2021

Formal Methods for Quantum Programs: A Survey.

Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu

CoRR, 2021

An Automated Deductive Verification Framework for Circuit-building Quantum Programs.

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron

Proceedings of the Programming Languages and Systems, 2021

2020

Toward certified quantum programming.

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron

CoRR, 2020

2017

Strategic Knowledge of the Past in Quantum Cryptography.

Christophe Chareton, Hans van Ditmarsch

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Strategic Knowledge of the Past - Expressivity and Complexity.

Christophe Chareton

Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

2015

A logic with revocable and refinable strategies.

Christophe Chareton, Julien Brunel, David Chemouil

Inf. Comput., 2015

Evaluating the Assignment of Behavioral Goals to Coalitions of Agents.

Christophe Chareton, Julien Brunel, David Chemouil

Proceedings of the Formal Methods: Foundations and Applications - 18th Brazilian Symposium, 2015

Specifying Avionic Embedded Systems by Denotations of the Time-Triggered Constraint-Based Calculus.

Sardaouna Hamadou, John Mullins, Christophe Chareton, Abdelouahed Gherbi

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

2014

Modélisation formelle d'exigences et logiques temporelles multi-agents. (Formal Requirement Modeling and Temporal Multi-Agent Logics).

Christophe Chareton

PhD thesis, 2014

2013

Towards an Updatable Strategy Logic

Christophe Chareton, Julien Brunel, David Chemouil

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

2011

A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic.

Christophe Chareton, Julien Brunel, David Chemouil

Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011