Manas Joglekar
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 |
|---|---|---|
| GYM: a multiround distributed join algorithm | 2018-07-18 | Paper |
| It's all a matter of degree. Using degree information to optimize multiway joins Theory of Computing Systems | 2018-07-16 | Paper |
| It's all a matter of degree: using degree information to optimize multiway joins (available as arXiv preprint) | 2017-07-14 | Paper |
| Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives (available as arXiv preprint) | 2017-01-26 | Paper |
| Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives Theoretical Computer Science | 2015-02-24 | Paper |
| Improved upper and lower bounds for Büchi disambiguation Automated Technology for Verification and Analysis | 2014-07-08 | Paper |
| Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives Formal Methods in System Design | 2014-06-30 | Paper |
| Balanced group-labeled graphs Discrete Mathematics | 2012-04-30 | Paper |
Research outcomes over time
This page was built for person: Manas Joglekar
