Amélie David
Affiliations:- Laboratoire IBISC, Université d'Évry Val d'Essonne, Évry Cedex, France
According to our database1,
Amélie David
authored at least 9 papers
between 2013 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2013
2014
2015
2016
2017
2018
2019
0
1
2
3
4
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2019
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019
2017
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017
2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
Towards Synthesizing Open Systems: Tableaux For Multi-Agent Temporal Logics. (Vers la Synthèse de Systèmes Ouverts : Tableaux pour les Logiques Temporelles Multi-Agents).
PhD thesis, 2015
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL<sup>+</sup>.
ACM Trans. Comput. Log., 2015
Proceedings of the Automated Deduction - CADE-25, 2015
2014
Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+.
CoRR, 2014
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+.
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014
2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013