| Publication | Date of Publication | Type |
|---|
| Contract lenses: Reasoning about bidirectional programs via calculation | 2023-12-11 | Paper |
| Constructing format-preserving printing from syntax-directed definitions | 2022-10-28 | Paper |
| A lazy desugaring system for evaluating programs with sugars | 2022-08-10 | Paper |
| Generic recursive lens combinators and their calculation laws | 2022-04-07 | Paper |
| Fregel: a functional domain-specific language for vertex-centric large-scale graph processing | 2022-03-17 | Paper |
| An efficient composition of bidirectional programs by memoization and lazy update | 2021-07-06 | Paper |
| Principles and practice of bidirectional programming in BiGUL | 2019-02-15 | Paper |
| Optimizing declarative parallel distributed graph processing by using constraint solvers | 2018-07-09 | Paper |
| Tupling calculation eliminates multiple data traversals | 2017-08-21 | Paper |
| Deriving structural hylomorphisms from recursive definitions | 2016-09-01 | Paper |
| Make it practical | 2015-09-11 | Paper |
| A Clear Picture of Lens Laws | 2015-08-27 | Paper |
| The third homomorphism theorem on trees | 2015-07-03 | Paper |
| Iterative-free program analysis | 2015-07-02 | Paper |
| Structural recursion for querying ordered graphs | 2015-03-30 | Paper |
| Bidirectionalizing graph transformations | 2015-03-05 | Paper |
| Combining syntactic and semantic bidirectionalization | 2015-03-05 | Paper |
| Bidirectionalization transformation based on automatic derivation of view complement functions | 2014-07-21 | Paper |
| Enhancing semantic bidirectionalization via shape bidirectionalizer plug-ins | 2014-02-27 | Paper |
| Manipulating accumulative functions by swapping call-time and return-time computations | 2014-02-27 | Paper |
| Filter-embedding semiring fusion for programming with MapReduce | 2013-03-22 | Paper |
| Marker-Directed Optimization of UnCAL Graph Transformations | 2013-03-13 | Paper |
| Generate, Test, and Aggregate | 2012-06-22 | Paper |
| Program Calculation in Coq | 2011-01-21 | Paper |
| Gradual Refinement | 2010-07-26 | Paper |
| A Grammar-Based Approach to Invertible Programs | 2010-05-04 | Paper |
| A programmable editor for developing structured documents based on bidirectional transformations | 2009-08-04 | Paper |
| Deterministic second-order patterns | 2009-07-09 | Paper |
| Swapping Arguments and Results of Recursive Functions | 2009-04-02 | Paper |
| A compositional framework for developing parallel programs on two-dimensional arrays | 2007-11-14 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Logic Based Program Synthesis and Transformation | 2005-12-27 | Paper |
| Logic Based Program Synthesis and Transformation | 2005-12-27 | Paper |
| Advances in Neural Networks – ISNN 2005 | 2005-11-23 | Paper |
| Mathematics of Program Construction | 2005-08-26 | Paper |
| Euro-Par 2004 Parallel Processing | 2005-08-23 | Paper |
| Programming Languages and Systems | 2005-08-17 | Paper |
| Programming Languages and Systems | 2005-08-17 | Paper |
| A new parallel skeleton for general accumulative computations | 2005-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738348 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4445768 | 2004-02-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4440326 | 2003-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4420695 | 2003-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4413058 | 2003-07-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2722049 | 2001-07-11 | Paper |
