Daniel Bundala
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 magnitude of completeness thresholds in bounded model checking 2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| On parametric timed automata and one-counter machines Information and Computation | 2017-03-16 | Paper |
| Optimal-depth sorting networks Journal of Computer and System Sciences | 2016-11-14 | Paper |
| Advances in Parametric Real-Time Reasoning Mathematical Foundations of Computer Science 2014 | 2014-10-14 | Paper |
| On the Complexity of Temporal-Logic Path Checking Automata, Languages, and Programming | 2014-07-01 | Paper |
| Optimal sorting networks Language and Automata Theory and Applications | 2014-03-31 | Paper |
Research outcomes over time
This page was built for person: Daniel Bundala
