Yoàv Montacute

According to our database, Yoàv Montacute authored at least 10 papers between 2022 and 2026.

Collaborative distances:

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

2026

A Coalgebraic Dijkstra Algorithm.

Takahiro Sanada, Yoàv Montacute, Kittiphon Phalakarn, Ichiro Hasuo

CoRR, May, 2026

Monads and Distributive Laws in Substructural Contexts (Extended Version).

Soichiro Fujii, Yun Chen Tsai, Yoàv Montacute, Ichiro Hasuo

CoRR, May, 2026

Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking.

Radu Florin Tulcan, Rose Bohrer, Yoàv Montacute, Kevin Zhou, Yusuke Kawamoto, Ichiro Hasuo

Proceedings of the Formal Methods - 27th International Symposium, 2026

2024

Concurrent Games over Relational Structures: The Origin of Game Comonads.

Yoàv Montacute, Glynn Winskel

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

Dynamic Tangled Derivative Logic of Metric Spaces.

David Fernández-Duque, Yoàv Montacute

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Cantor Derivative Logic in Topological Dynamics.

Yoàv Montacute

CoRR, 2023

Linear Arboreal Categories.

Samson Abramsky, Yoàv Montacute, Nihil Shah

Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, 2023

Untangled: A Complete Dynamic Topological Logic.

David Fernández-Duque, Yoàv Montacute

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

The Pebble-Relation Comonad in Finite Model Theory.

Yoàv Montacute, Nihil Shah

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Dynamic Cantor Derivative Logic.

David Fernández-Duque, Yoàv Montacute

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022