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 |
|---|---|---|
| Ranked enumeration for MSO on trees via knowledge compilation | 2025-11-11 | Paper |
| Enumerating regular languages with bounded delay | 2024-10-08 | Paper |
| Weighted counting of matchings in unbounded-treewidth graph families | 2024-08-06 | Paper |
| The Complexity of Counting Problems Over Incomplete Databases ACM Transactions on Computational Logic | 2022-12-08 | Paper |
| Connecting width and structure in knowledge compilation (available as arXiv preprint) | 2020-08-06 | Paper |
| Connecting knowledge compilation classes and width parameters Theory of Computing Systems | 2020-07-02 | Paper |
| Evaluating Datalog via tree automata and cycluits Theory of Computing Systems | 2019-09-05 | Paper |
| Combined tractability of query evaluation via tree automata and cycluits (available as arXiv preprint) | 2018-07-18 | Paper |
| The Non-Cancelling Intersections Conjecture (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Mikaël Monet
