Amélie David 0001 - Citegraph

Author Info

Name	Affiliation	Papers
AMÉLIE DAVID 0001	Lab IBISC Univ Evry Val dEssonne, Evry, France	3
Collaborators	Citations	PageRank
2	0	1.01
Referers	Referees	References
0	40	23

Publications (3 rows)

Collaborators (2 rows)

Referers (0 rows)

Referees (40 rows)

Title	Citations	PageRank	Year
Minimisation of ATL ^* Models.	0	0.34	2017
Optimal Tableau Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-Time Temporal Logic ATL +	0	0.34	2014
Optimal Tableaux-Based Decision Procedure for Testing Satisfiability in the Alternating-Time Temporal Logic ATL+.	0	0.34	2014

1