Arnaud Da Costa Lopes

According to our database1, Arnaud Da Costa Lopes authored at least 4 papers between 2009 and 2012.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
Quantified CTL: Expressiveness and Model Checking - (Extended Abstract).
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Propriétés de jeux multi-agents. (Multi-agent games properties).
PhD thesis, 2011

2010
ATL with Strategy Contexts: Expressiveness and Model Checking.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

2009
ATL with Strategy Contexts and Bounded Memory.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009


  Loading...