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 |
|---|---|---|
| New algorithms for solving simple stochastic games | 2013-09-20 | Paper |
| Parallel model checking for \texttt{LTL}, \texttt{CTL}\(^*\), and \(L^2_{\mu}\) | 2013-08-30 | Paper |
| Propositional dynamic logic of context-free programs and fixpoint logic with chop Information Processing Letters | 2010-01-29 | Paper |
| The Complexity of Model Checking Higher-Order Fixpoint Logic Logical Methods in Computer Science | 2007-10-11 | Paper |
| Mathematical Foundations of Computer Science 2005 Lecture Notes in Computer Science | 2006-10-20 | Paper |
| Algorithms counting monotone Boolean functions Information Processing Letters | 2002-07-14 | Paper |
| scientific article; zbMATH DE number 1515282 (Why is no real title available?) | 2000-11-21 | Paper |
Research outcomes over time
This page was built for person: Rafał Somla
