Tristan Kneisel

According to our database, Tristan Kneisel authored at least 4 papers between 2025 and 2026.

Collaborative distances:

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

2026

NILE: Formalizing Natural-Language Descriptions of Formal Languages.

Tristan Kneisel, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume

CoRR, February, 2026

Database Theory in Action: Learning Logical Modelling with Iltis.

Tristan Kneisel, Fabian Vehlken, Thomas Zeume

Proceedings of the 29th International Conference on Database Theory, 2026

2025

Tool-Assisted Learning of Computational Reductions.

Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, 2025

Logical Modelling in CS Education: Bridging the Natural Language Gap.

Tristan Kneisel, Fabian Vehlken, Thomas Zeume

Proceedings of the Artificial Intelligence in Education - 26th International Conference, 2025