Searching for deadlocks while debugging concurrent haskell programs. - Jan Christiansen; Frank Huch (ICFP, 2004)

A purely functional implementation of ROBDDs in Haskell. - Jan Christiansen; Frank Huch (Trends in Functional Programming, 2006)

Denotation by Transformation. - Bernd Braßel; Jan Christiansen (LOPSTR, 2007)

A Relation Algebraic Semantics for a Lazy Functional Logic Language. - Bernd Braßel; Jan Christiansen (RelMiCS, 2008)

EasyCheck - Test Data for Free. - Jan Christiansen; Sebastian Fischer 001 (FLOPS, 2008)

Free theorems for functional logic programs: (abstract only). - Jan Christiansen; Daniel Seidel; Janis Voigtländer (ACM SIGPLAN Notices, 2009)

Free theorems for functional logic programs. - Jan Christiansen; Daniel Seidel; Janis Voigtländer (PLPV, 2010)

An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. - Jan Christiansen; Daniel Seidel; Janis Voigtländer (WFLP, 2010)

Sloth - A Tool for Checking Minimal-Strictness. - Jan Christiansen (PADL, 2011)

Minimally strict polymorphic functions. - Jan Christiansen; Daniel Seidel (PPDP, 2011)

Investigating minimally strict functions in functional programming. - Jan Christiansen (2011)

A semantics for weakly encapsulated search in functional logic programs. - Jan Christiansen; Michael Hanus; Fabian Reck 002; Daniel Seidel (PPDP, 2013)

All sorts of permutations (functional pearl). - Jan Christiansen; Nikita Danilenko; Sandra Dylus (ICFP, 2016)

Probabilistic Functional Logic Programming. - Sandra Dylus; Jan Christiansen; Finn Teegen (PADL, 2018)

One Monad to Prove Them All (Functional Pearl). - Jan Christiansen; Sandra Dylus; Finn Teegen (CoRR, 2018)

Verifying effectful Haskell programs in Coq. - Jan Christiansen; Sandra Dylus; Niels Bunkenburg (Haskell@ICFP, 2019)

One Monad to Prove Them All. - Sandra Dylus; Jan Christiansen; Finn Teegen (Art Sci. Eng. Program., 2019)

Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism. - Sandra Dylus; Jan Christiansen; Finn Teegen (Theory Pract. Log. Program., 2020)

Embedding Functional Logic Programming in Haskell via a Compiler Plugin. - Kai-Oliver Prott; Finn Teegen; Jan Christiansen (PADL, 2023)