Rylo Ashmore

According to our database, Rylo Ashmore authored at least 3 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Cuts, cats, and complete graphs.

Rylo Ashmore, Danny Dyer, Trent Marbach, Rebecca Milley

Theor. Comput. Sci., 2025

Cat Herding Game Played on Infinite Trees.

Rylo Ashmore, Sophie Pinchinat

Proceedings of the 45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2025

2019

Local Reasoning for Parameterized First Order Protocols.

Rylo Ashmore, Arie Gurfinkel, Richard J. Trefler

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019