Adam Antonik

According to our database, Adam Antonik authored at least 7 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Modal and mixed specifications: key decision problems and their complexities.

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski

Math. Struct. Comput. Sci., 2010

2008

EXPTIME-complete Decision Problems for Modal and Mixed Specifications.

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 2008

20 Years of Modal and Mixed Specifications.

Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski

Bull. EATCS, 2008

Complexity of Decision Problems for Mixed and Modal Specifications.

Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2007

On the Complexity of Semantic Self-minimization.

Adam Antonik, Michael Huth

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

2006

Efficient Patterns for Model Checking Partial State Spaces in CTL <i>intersection</i> LTL.

Adam Antonik, Michael Huth

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Polynomial-Time Under-Approximation of Winning Regions in Parity Games.

Adam Antonik, Nathaniel Charlton, Michael Huth

Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2006