Towards a Parallel Search for Solutions of Non-deterministic Computations. - Fabian Reck 002; Sebastian Fischer 001 (GI Jahrestagung, 2009)

Transforming Functional Logic Programs into Monadic Functional Programs. - Bernd Braßel; Sebastian Fischer 001; Michael Hanus; Fabian Reck 002 (WFLP, 2010)

KiCS2: A New Compiler from Curry to Haskell. - Bernd Braßel; Michael Hanus; Björn Peemöller; Fabian Reck 002 (WFLP, 2011)

Search strategies for functional logic programming. - Michael Hanus; Björn Peemöller; Fabian Reck 002 (Software Engineering (Workshops), 2012)

Implementing Equational Constraints in a Functional Language. - Bernd Braßel; Michael Hanus; Björn Peemöller; Fabian Reck 002 (PADL, 2013)

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

A Generic Analysis Server System for Functional Logic Programs. - Michael Hanus; Fabian Reck 002 (CoRR, 2013)

A modular and generic analysis server system for functional logic programs. - Michael Hanus; Fabian Skrlac (PEPM, 2014)