Johannes Waldmann | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Dieter Hofbauer
3 publications
Alfons Geser
1 publication
Sibylle Schwarz
1 publication
Dennis Renz
1 publication

research

∙ 07/26/2023

Old and New Benchmarks for Relative Termination of String Rewrite Systems

We provide a critical assessment of the current set of benchmarks for re...

0 Dieter Hofbauer, et al. ∙

research

∙ 09/02/2020

Check Your (Students') Proofs-With Holes

Cyp (Check Your Proofs) (Durner and Noschinski 2013; Traytel 2019) verif...

0 Dennis Renz, et al. ∙

research

∙ 03/03/2020

Sparse Tiling through Overlap Closures for Termination of String Rewriting

We over-approximate reachability sets in string rewriting by languages d...

0 Alfons Geser, et al. ∙

research

∙ 08/24/2018

When You Should Use Lists in Haskell (Mostly, You Should Not)

We comment on the over-use of lists in functional programming. With this...

0 Johannes Waldmann, et al. ∙