| Publication | Date of Publication | Type |
|---|
| Confluence in concurrent constraint programming | 2022-08-16 | Paper |
| Efficient analysis of concurrent constraint logic programs | 2019-03-29 | Paper |
| Independence in dynamically scheduled logic languages | 2017-01-19 | Paper |
| Automatic Minimal-Height Table Layout | 2015-12-21 | Paper |
| Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports | 2015-01-07 | Paper |
| Modelling with Option Types in MiniZinc | 2014-05-27 | Paper |
| Incremental Grid-Like Layout Using Soft and Hard Constraints | 2013-12-20 | Paper |
| Optimal k-Level Planarization and Crossing Minimization | 2011-02-11 | Paper |
| Orthogonal Connector Routing | 2010-04-27 | Paper |
| Programming Languages and Systems | 2010-01-05 | Paper |
| Constrained graph layout by stress majorization and gradient projection | 2009-04-09 | Paper |
| Topology Preserving Constrained Graph Layout | 2009-03-03 | Paper |
| Dunnart: A Constraint-Based Network Diagram Authoring Tool | 2009-03-03 | Paper |
| The design of the zinc modelling language | 2008-09-02 | Paper |
| Constrained Stress Majorization Using Diagonally Scaled Gradient Projection | 2008-03-25 | Paper |
| Integrating Edge Routing into Force-Directed Layout | 2007-08-28 | Paper |
| Fast Node Overlap Removal—Correction | 2007-08-28 | Paper |
| Graph Drawing | 2006-11-13 | Paper |
| Graph Drawing | 2006-11-13 | Paper |
| Graph Drawing | 2006-11-13 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| NP-Completeness of Minimal Width Unordered Tree Layout | 2006-04-03 | Paper |
| Checking modes of HAL programs | 2006-01-03 | Paper |
| Diagrammatic Representation and Inference | 2005-12-27 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| Program Development in Computational Logic | 2005-12-23 | Paper |
| Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making | 2005-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4475644 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736506 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4421873 | 2003-09-01 | Paper |
| Removing node overlapping in graph layout using constrained optimization | 2003-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4409151 | 2003-06-30 | Paper |
| QOCA: A constraint solving toolkit for interactive graphical applications | 2003-05-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4548198 | 2002-11-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4547843 | 2002-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767146 | 2002-01-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753868 | 2001-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753850 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2729855 | 2001-09-30 | Paper |
| Improving program analyses, by structure untupling | 2000-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251204 | 2000-03-29 | Paper |
| Two classes of Boolean functions for dependency analysis | 2000-01-04 | Paper |
| Constraint-based document layout for the Web | 2000-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4254883 | 1999-07-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251206 | 1999-06-17 | Paper |
| The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1 | 1999-05-31 | Paper |
| Constrained graph layout | 1999-02-02 | Paper |
| Differential methods in logic program analysis | 1998-11-24 | Paper |
| A confluent calculus for concurrent constraint programming | 1998-07-23 | Paper |
| Confluence in concurrent constraint programming | 1998-07-22 | Paper |
| A confluent semantic basis for the analysis of concurrent constraint logic programs | 1998-03-17 | Paper |
| Constraint logic programming with dynamic scheduling: A semantics based on closure operators | 1997-09-28 | Paper |
| Algebraic and logical semantics for CLP languages with dynamic scheduling | 1997-09-04 | Paper |
| Most specific logic programs | 1997-06-04 | Paper |
| Incremental constraint deletion in systems of linear constraints | 1997-02-28 | Paper |
| Negative Boolean constraints | 1997-02-27 | Paper |
| Spatial query optimization: From Boolean constraints to range queries | 1995-10-25 | Paper |
| Frameworks for abstract interpretation | 1994-05-10 | Paper |
| Difference-list transformation for Prolog | 1993-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035222 | 1993-05-18 | Paper |
| Bottom-up dataflow analysis of normal logic programs | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3789064 | 1988-01-01 | Paper |
| Explicit representation of terms defined by counter examples | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3761721 | 1986-01-01 | Paper |
