A functional logic database library. - Sebastian Fischer 001 (WCFLP, 2005)

A Program Transformation for Tracing Functional Logic Computations. - Bernd Brassel; Sebastian Fischer 001; Frank Huch (LOPSTR, 2006)

Resource-based Web applications. - Sebastian Fischer 001 (Trends in Functional Programming, 2006)

Implementing Relational Specifications in a Constraint Functional Logic Language. - Rudolf Berghammer; Sebastian Fischer 001 (WFLP, 2006)

Lazy Database Access with Persistent Predicates. - Sebastian Fischer 001 (WFLP, 2006)

Lazy call-by-value evaluation. - Bernd Braßel; Michael Hanus; Sebastian Fischer 001; Frank Huch; Germán Vidal (ICFP, 2007)

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. - Sebastian Fischer 001; Josep Silva; Salvador Tamarit; Germán Vidal (LOPSTR, 2007)

Systematic generation of glass-box test cases for functional logic programs. - Sebastian Fischer 001; Herbert Kuchen (PPDP, 2007)

Declaring Numbers. - Bernd Braßel; Sebastian Fischer 001; Frank Huch (WFLP@RDP, 2007)

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

Data-flow testing of declarative programs. - Sebastian Fischer 001; Herbert Kuchen (ICFP, 2008)

From Functional Logic Programs to Purely Functional Programs Preserving Laziness. - Bernd Braßel; Sebastian Fischer 001 (IFL, 2008)

Reinventing Haskell Backtracking. - Sebastian Fischer 001 (GI Jahrestagung, 2009)

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

Purely functional lazy non-deterministic programming. - Sebastian Fischer 001; Oleg Kiselyov; Chung-chieh Shan (ICFP, 2009)

A play on regular expressions: functional pearl. - Sebastian Fischer 001; Frank Huch; Thomas Wilke (ICFP, 2010)

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

On functional logic programming and its application to testing. - Sebastian Fischer 001 (2010)

Purely functional lazy nondeterministic programming. - Sebastian Fischer 001; Oleg Kiselyov; Chung-chieh Shan (J. Funct. Program., 2011)

Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures. - Rudolf Berghammer; Sebastian Fischer 001 (RAMiCS, 2012)

Validity Checking of Putback Transformations in Bidirectional Programming. - Zhenjiang Hu; Hugo Pacheco 001; Sebastian Fischer 001 (FM, 2014)

Monadic combinators for "Putback" style bidirectional programming. - Hugo Pacheco 001; Zhenjiang Hu; Sebastian Fischer 001 (PEPM, 2014)

A Clear Picture of Lens Laws - Functional Pearl. - Sebastian Fischer 001; Zhenjiang Hu; Hugo Pacheco 001 (MPC, 2015)

The essence of bidirectional programming. - Sebastian Fischer 001; Zhenjiang Hu; Hugo Pacheco 001 (Sci. China Inf. Sci., 2015)

Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. - Rudolf Berghammer; Sebastian Fischer 001 (J. Log. Algebraic Methods Program., 2015)