Polynomial-Time Under-Approximation of Winning Regions in Parity Games. - Adam Antonik; Nathaniel Charlton; Michael Huth 001 (MFCSIT, 2006)

Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL. - Adam Antonik; Michael Huth 001 (MFPS, 2006)

On the Complexity of Semantic Self-minimization. - Adam Antonik; Michael Huth 001 (AVoCS, 2007)

Complexity of Decision Problems for Mixed and Modal Specifications. - Adam Antonik; Michael Huth 001; Kim Guldstrand Larsen; Ulrik Nyman; Andrzej Wasowski (FoSSaCS, 2008)

20 Years of Modal and Mixed Specifications. - Adam Antonik; Michael Huth 001; Kim G. Larsen; Ulrik Nyman; Andrzej Wasowski (Bull. EATCS, 2008)

EXPTIME-complete Decision Problems for Modal and Mixed Specifications. - Adam Antonik; Michael Huth 001; Kim Guldstrand Larsen; Ulrik Nyman; Andrzej Wasowski (EXPRESS, 2008)

Modal and mixed specifications: key decision problems and their complexities. - Adam Antonik; Michael Huth 001; Kim G. Larsen; Ulrik Nyman; Andrzej Wasowski (Math. Struct. Comput. Sci., 2010)