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 |
|---|---|---|
| Parameterised counting in logspace | 2026-04-21 | Paper |
| Counting of teams in first-order team logics ACM Transactions on Computational Logic | 2026-01-07 | Paper |
| PACE solver description: exact (GUTHMI) and heuristic (GUTHM) | 2025-09-24 | Paper |
| Parameterised counting in logspace Algorithmica | 2023-10-06 | Paper |
| Descriptive complexity of \#P functions: a new perspective Journal of Computer and System Sciences | 2021-01-22 | Paper |
| Model-theoretic characterization of Boolean and arithmetic circuit classes of small depth Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-20 | Paper |
| A model-theoretic characterization of constant-depth arithmetic circuits Annals of Pure and Applied Logic | 2019-09-18 | Paper |
| Descriptive complexity of \#AC\(^0\) functions (available as arXiv preprint) | 2017-07-19 | Paper |
| A model-theoretic characterization of constant-depth arithmetic circuits Lecture Notes in Computer Science | 2016-09-09 | Paper |
Research outcomes over time
This page was built for person: Anselm Haak
