Christophe Chareton

Affiliations:
  • CEA, LIST, Université Paris-Saclay, Palaiseau, France


According to our database1, Christophe Chareton authored at least 12 papers between 2011 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Formal Methods for Quantum Algorithms.
Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2021
Formal Methods for Quantum Programs: A Survey.
CoRR, 2021

An Automated Deductive Verification Framework for Circuit-building Quantum Programs.
Proceedings of the Programming Languages and Systems, 2021

2020
Toward certified quantum programming.
CoRR, 2020

2017
Strategic Knowledge of the Past in Quantum Cryptography.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Strategic Knowledge of the Past - Expressivity and Complexity.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2017

2015
A logic with revocable and refinable strategies.
Inf. Comput., 2015

Evaluating the Assignment of Behavioral Goals to Coalitions of Agents.
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.
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).
PhD thesis, 2014

2013
Towards an Updatable Strategy Logic
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.
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011


  Loading...