James C. A. Main

Orcid: 0009-0000-8471-4833

According to our database1, James C. A. Main authored at least 5 papers between 2021 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Different strokes in randomised strategies: Revisiting Kuhn's theorem under finite-memory assumptions.
Inf. Comput., 2024

Arena-Independent Memory Bounds for Nash Equilibria in Reachability Games.
Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023
Reachability Games and Friends: A Journey Through the Lens of Memory and Complexity (Invited Talk).
Proceedings of the 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2023

2022
Timed Games with Bounded Window Parity Objectives.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022

2021
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021


  Loading...