Sam van Gool

18 papers A* 2B 3C 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Learning Weighted Automata over Number Rings, Concretely and Categorically.
LICS
Quentin Aristote, Sam van Gool, Daniela Petrisan, Mahsa Shirmohammadi
2025 J jnl
Learning Weighted Automata over Number Rings, Concretely and Categorically.
CoRR
Quentin Aristote, Sam van Gool, Daniela Petrisan, Mahsa Shirmohammadi
2025 J jnl
Uniform Interpolation.
CoRR
Sam van Gool
2024 J jnl
Deciding Equations in the Time Warp Algebra.
Log. Methods Comput. Sci.
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2024 — conf
Mechanised Uniform Interpolation for Modal Logics K, GL, and iSL.
IJCAR (2)
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
2024 J jnl
Mechanised uniform interpolation for modal logics K, GL and iSL.
CoRR
Hugo Férée, Iris van der Giessen, Sam van Gool, Ian Shillito
2024 J jnl
On duality and model theory for polyadic spaces.
Ann. Pure Appl. Log.
Sam van Gool, Jérémie Marquès
2023 J jnl
Deciding Equations in the Time Warp Algebra.
CoRR
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2023 B conf
Formalizing and Computing Propositional Quantifiers.
CPP
Hugo Férée, Sam van Gool
2023 B conf
Profinite lambda-terms and parametricity.
MFPS
Sam van Gool, Paul-André Melliès, Vincent Moreau
2022 B conf
First-order separation over countable ordinals.
FoSSaCS
Thomas Colcombet, Sam van Gool, Rémi Morvan
2022 J jnl
First-order separation over countable ordinals.
CoRR
Thomas Colcombet, Sam van Gool, Rémi Morvan
2022 J jnl
Topological duality for distributive lattices, and applications.
CoRR
Mai Gehrke, Sam van Gool
2021 C conf
Time Warps, from Algebra to Algorithms.
RAMiCS
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2021 J jnl
Time Warps, from Algebra to Algorithms.
CoRR
Sam van Gool, Adrien Guatto, George Metcalfe, Simon Santschi
2016 A* conf
Monadic second order logic as the model companion of temporal logic.
LICS
Silvio Ghilardi, Sam van Gool
2010 J jnl
Duality and canonical extensions for stably compact spaces
CoRR
Sam van Gool
2009 — conf
Disjunctive Questions, Intonation, and Highlighting.
Amsterdam Colloquium on Logic, Language and Meaning
Floris Roelofsen, Sam van Gool