Tim Leys

Orcid: 0000-0001-6281-9693

According to our database1, Tim Leys authored at least 5 papers between 2021 and 2025.

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

2025
Algorithms for Markov Binomial Chains.
Log. Methods Comput. Sci., 2025

2024
Inform: From Compartmental Models to Stochastic Bounded Counter Machines.
CoRR, 2024

2023
A Framework for the Competitive Analysis of Model Predictive Controllers.
Proceedings of the Reachability Problems - 17th International Conference, 2023

The Geometry of Reachability in Continuous Vector Addition Systems with States.
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

2021
Continuous One-Counter Automata.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021


  Loading...