Adam Antonik
From MaRDI portal
Person:2810965
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| On the complexity of semantic self-minimization Electronic Notes in Theoretical Computer Science | 2016-06-06 | Paper |
| Polynomial-time under-approximation of winning regions in parity games Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
| EXPTIME-complete decision problems for modal and mixed specifications Electronic Notes in Theoretical Computer Science | 2014-07-23 | Paper |
| Efficient patterns for model checking partial state spaces in CTL \(\cap\) LTL | 2013-10-10 | Paper |
| Modal and mixed specifications: key decision problems and their complexities Mathematical Structures in Computer Science | 2010-04-01 | Paper |
| 20 years of modal and mixed specifications. | 2009-09-19 | Paper |
| Complexity of Decision Problems for Mixed and Modal Specifications Foundations of Software Science and Computational Structures | 2008-04-11 | Paper |
Research outcomes over time
This page was built for person: Adam Antonik
