FoSSaCS (1)

Keyphrases

Publications

2024

Pete Austin, Sougata Bose, Patrick Totzke
Parity Games on Temporal Graphs. FoSSaCS (1) (2024)
Aditya Prakash
Checking History-Determinism is NP-hard for Parity Automata. FoSSaCS (1) (2024)
Alejandro Villoria, Henning Basold, Alfons Laarman
Enriching Diagrams with Algebraic Operations. FoSSaCS (1) (2024)
Jérôme Leroux
Ackermannian Completion of Separators. FoSSaCS (1) (2024)
Dario Stein, Richard Samuelson
Towards a Compositional Framework for Convex Analysis (with Applications to Probability Theory). FoSSaCS (1) (2024)
Orna Kupferman, Ofer Leshkowitz, Naama Shamash Halevy
Synthesis with Privacy Against an Observer. FoSSaCS (1) (2024)
Marek Jankola, Jan Strejcek
Tighter Construction of Tight Büchi Automata. FoSSaCS (1) (2024)
Laurent Doyen, Pranshu Gaba, Shibashis Guha
Stochastic Window Mean-Payoff Games. FoSSaCS (1) (2024)
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. FoSSaCS (1) (2024)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
Fair ømega-Regular Games. FoSSaCS (1) (2024)
Shaull Almagor, Neta Dafni
Determinization of Integral Discounted-Sum Automata is Decidable. FoSSaCS (1) (2024)
Fabian Birkmann, Henning Urbat, Stefan Milius
Monoidal Extended Stone Duality. FoSSaCS (1) (2024)
Bart Jacobs
Drawing from an Urn is Isometric. FoSSaCS (1) (2024)

volume 14574, 2024

Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I FoSSaCS (1) 14574 (2024)