Yoàv Montacute

15 papers A* 4B 2Journal 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Hybrid Spatiotemporal Logic for Automotive Applications: Modeling and Model-Checking.
CoRR
Radu Florin Tulcan, Rose Bohrer, Yoàv Montacute, Kevin Zhou, Yusuke Kawamoto, Ichiro Hasuo
2024 A* conf
Concurrent Games over Relational Structures: The Origin of Game Comonads.
LICS
Yoàv Montacute, Glynn Winskel
2024 J jnl
Concurrent Games over Relational Structures: The Origin of Game Comonads.
CoRR
Yoàv Montacute, Glynn Winskel
2024 A* conf
Dynamic Tangled Derivative Logic of Metric Spaces.
AAAI
David Fernández-Duque, Yoàv Montacute
2024 J jnl
The Pebble-Relation Comonad in Finite Model Theory.
Log. Methods Comput. Sci.
Yoàv Montacute, Nihil Shah
2023 J jnl
Cantor Derivative Logic in Topological Dynamics.
CoRR
Yoàv Montacute
2023 J jnl
Dynamic Cantor Derivative Logic.
Log. Methods Comput. Sci.
David Fernández-Duque, Yoàv Montacute
2023 J jnl
Dynamic Tangled Derivative Logic of Metric Spaces.
CoRR
David Fernández-Duque, Yoàv Montacute
2023 B conf
Linear Arboreal Categories.
MFPS
Samson Abramsky, Yoàv Montacute, Nihil Shah
2023 A* conf
Untangled: A Complete Dynamic Topological Logic.
AAAI
David Fernández-Duque, Yoàv Montacute
2022 B conf
Dynamic Cantor Derivative Logic.
CSL
David Fernández-Duque, Yoàv Montacute
2022 A* conf
The Pebble-Relation Comonad in Finite Model Theory.
LICS
Yoàv Montacute, Nihil Shah
2022 J jnl
Untangled: A Complete Dynamic Topological Logic.
CoRR
David Fernández-Duque, Yoàv Montacute
2021 J jnl
Dynamic Cantor Derivative Logic.
CoRR
David Fernández-Duque, Yoàv Montacute
2021 J jnl
The Pebble-Relation Comonad in Finite Model Theory.
CoRR
Yoàv Montacute, Nihil Shah