Yov Montacute
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | A Coalgebraic Dijkstra Algorithm (Invited Talk). | Takahiro Sanada, Yov Montacute, Kittiphon Phalakarn, Ichiro Hasuo |
| 2026 | FM | Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking. | Radu Florin Tulcan, Rose Bohrer, Yov Montacute, Kevin Zhou, Yusuke Kawamoto, Ichiro Hasuo |
| 2026 | LICS | Monads and Distributive Laws in Substructural Contexts. | Soichiro Fujii, Yun Chen Tsai, Yov Montacute, Ichiro Hasuo |
| 2024 | AAAI | Dynamic Tangled Derivative Logic of Metric Spaces. | David Fernndez-Duque, Yov Montacute |
| 2024 | LICS | Concurrent Games over Relational Structures: The Origin of Game Comonads. | Yov Montacute, Glynn Winskel |
| 2023 | AAAI | Untangled: A Complete Dynamic Topological Logic. | David Fernndez-Duque, Yov Montacute |
| 2022 | CSL | Dynamic Cantor Derivative Logic. | David Fernndez-Duque, Yov Montacute |
| 2022 | LICS | The Pebble-Relation Comonad in Finite Model Theory. | Yov Montacute, Nihil Shah |