Thomas Feller
From MaRDI portal
Person:2198975
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 |
|---|---|---|
| Decidability of querying first-order theories via countermodels of finite width Logical Methods in Computer Science | 2025-05-06 | Paper |
| Finite-cliquewidth sets of existential rules: toward a general criterion for decidable yet highly expressive querying | 2024-10-08 | Paper |
| Decidability of Querying First-Order Theories via Countermodels of Finite Width | 2023-04-13 | Paper |
| Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying | 2022-09-06 | Paper |
| Approximated determinisation of weighted tree automata | 2021-10-04 | Paper |
| Sequentiality of group-weighted tree automata | 2021-10-04 | Paper |
| On Logics and Homomorphism Closure | 2021-04-24 | Paper |
| The classification of homomorphism homogeneous tournaments European Journal of Combinatorics | 2020-09-15 | Paper |
| On the design of hardware building blocks for modern lattice-based encryption schemes Cryptographic Hardware and Embedded Systems – CHES 2012 | 2012-11-13 | Paper |
Research outcomes over time
This page was built for person: Thomas Feller
