Thomas Feller

According to our database, Thomas Feller authored at least 6 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Decidability of Querying First-Order Theories via Countermodels of Finite Width.

Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph

CoRR, 2023

Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying.

Thomas Feller, Tim S. Lyon, Piotr Ostropolski-Nalewaja, Sebastian Rudolph

Proceedings of the 26th International Conference on Database Theory, 2023

2021

On Logics and Homomorphism Closure.

Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Sequentiality of Group-Weighted Tree Automata.

Frederic Dörband, Thomas Feller, Kevin Stier

Proceedings of the Language and Automata Theory and Applications, 2021

Approximated Determinisation of Weighted Tree Automata.

Frederic Dörband, Thomas Feller, Kevin Stier

Proceedings of the Language and Automata Theory and Applications, 2021

2020

The classification of homomorphism homogeneous tournaments.

Thomas Feller, Christian Pech, Maja Pech

Eur. J. Comb., 2020