Adam Antonik

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
Modal and mixed specifications: key decision problems and their complexities. Math. Struct. Comput. Sci. 20 (1) (2010)
Adam Antonik, Nathaniel Charlton, Michael Huth
Polynomial-Time Under-Approximation of Winning Regions in Parity Games. Electron. Notes Theor. Comput. Sci. 225 (2009)
Adam Antonik, Michael Huth
On the Complexity of Semantic Self-minimization. Electron. Notes Theor. Comput. Sci. 250 (1) (2009)
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS (2008)
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski
EXPTIME-complete Decision Problems for Modal and Mixed Specifications. EXPRESS (2008)
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski
20 Years of Modal and Mixed Specifications. Bull. EATCS 95 (2008)
Adam Antonik, Michael Huth
LTL. MFPS (2006)