Skip to content

Tristan Kneisel

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

2025–2026

Best venue rank

A

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2026ICDTDatabase Theory in Action: Learning Logical Modelling with Iltis.Tristan Kneisel, Fabian Vehlken, Thomas Zeume
2025AIEDLogical Modelling in CS Education: Bridging the Natural Language Gap.Tristan Kneisel, Fabian Vehlken, Thomas Zeume
2025SIGCSETool-Assisted Learning of Computational Reductions.Tristan Kneisel, Elias Radtke, Marko Schmellenkamp, Fabian Vehlken, Thomas Zeume