Steen Vester
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2014–2016
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FOSSACS | Distributed Synthesis in Continuous Time. | Holger Hermanns, Jan Krcl, Steen Vester |
| 2016 | LICS | Winning Cores in Parity Games. | Steen Vester |
| 2015 | ATVA | On the Complexity of Model-Checking Branching and Alternating-Time Temporal Logics in One-Counter Systems. | Steen Vester |
| 2014 | AiML | Optimal Decision Procedures for Satisfiability in Fragments of Alternating-time Temporal Logics. | Valentin Goranko, Steen Vester |
| 2014 | ATVA | Symmetry Reduction in Infinite Games with Finite Branching. | Nicolas Markey, Steen Vester |