Adam Antonik
From MaRDI portal
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
