Tim Leys

Orcid: 0000-0001-6281-9693

According to our database¹, Tim Leys authored at least 5 papers between 2023 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Algorithms for Markov Binomial Chains.

[BibT_eX]

[DOI]

Alejandro Alarcón Gonzalez

Niel Hens

Tim Leys

Guillermo A. Pérez

Log. Methods Comput. Sci., 2025

The geometry of reachability in continuous vector addition systems with states.

[BibT_eX]

[DOI]

Inf. Comput., 2025

2024

Inform: From Compartmental Models to Stochastic Bounded Counter Machines.

[BibT_eX]

[DOI]

Tim Leys

Guillermo A. Pérez

CoRR, 2024

2023

Continuous One-counter Automata.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., January, 2023

A Framework for the Competitive Analysis of Model Predictive Controllers.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 17th International Conference, 2023

Tim Leys

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...