Tim Leys

Orcid: 0000-0001-6281-9693

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

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

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

The Geometry of Reachability in Continuous Vector Addition Systems with States.

[BibT_eX]

[DOI]

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

Tim Leys

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...