| Publication | Date of Publication | Type |
|---|
Confluence in concurrent constraint programming
Algebraic Methodology and Software Technology | 2022-08-16 | Paper |
Efficient analysis of concurrent constraint logic programs
Automata, Languages and Programming | 2019-03-29 | Paper |
Independence in dynamically scheduled logic languages
Algebraic and Logic Programming | 2017-01-19 | Paper |
Automatic minimal-height table layout
INFORMS Journal on Computing | 2015-12-21 | Paper |
Stress-Minimizing Orthogonal Layout of Data Flow Diagrams with Ports
Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications | 2015-01-07 | Paper |
Modelling with option types in MiniZinc
Integration of AI and OR Techniques in Constraint Programming | 2014-05-27 | Paper |
Incremental grid-like layout using soft and hard constraints
Graph Drawing | 2013-12-20 | Paper |
Optimal k-level planarization and crossing minimization
Graph Drawing | 2011-02-11 | Paper |
Orthogonal connector routing
Graph Drawing | 2010-04-27 | Paper |
Resource usage verification.
Lecture Notes in Computer Science | 2010-01-05 | Paper |
Constrained graph layout by stress majorization and gradient projection
Discrete Mathematics | 2009-04-09 | Paper |
Dunnart: A Constraint-Based Network Diagram Authoring Tool
Graph Drawing | 2009-03-03 | Paper |
Topology Preserving Constrained Graph Layout
Graph Drawing | 2009-03-03 | Paper |
The design of the zinc modelling language
Constraints | 2008-09-02 | Paper |
Constrained Stress Majorization Using Diagonally Scaled Gradient Projection
Graph Drawing | 2008-03-25 | Paper |
Integrating Edge Routing into Force-Directed Layout
Graph Drawing | 2007-08-28 | Paper |
Fast Node Overlap Removal—Correction
Graph Drawing | 2007-08-28 | Paper |
Graph Drawing
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Graph Drawing
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Graph Drawing
Lecture Notes in Computer Science | 2006-11-13 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
NP-Completeness of Minimal Width Unordered Tree Layout
Journal of Graph Algorithms and Applications | 2006-04-03 | Paper |
Checking modes of HAL programs
Theory and Practice of Logic Programming | 2006-01-03 | Paper |
Diagrammatic Representation and Inference
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Lecture Notes in Computer Science | 2005-08-17 | Paper |
| scientific article; zbMATH DE number 2084717 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2085271 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1973219 (Why is no real title available?) | 2003-09-01 | Paper |
Removing node overlapping in graph layout using constrained optimization
Constraints | 2003-08-25 | Paper |
| scientific article; zbMATH DE number 1942451 (Why is no real title available?) | 2003-06-30 | Paper |
QOCA: A constraint solving toolkit for interactive graphical applications
Constraints | 2003-05-04 | Paper |
| scientific article; zbMATH DE number 1787158 (Why is no real title available?) | 2002-11-18 | Paper |
| scientific article; zbMATH DE number 1786546 (Why is no real title available?) | 2002-08-21 | Paper |
| scientific article; zbMATH DE number 1696868 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1670615 (Why is no real title available?) | 2001-12-09 | Paper |
| scientific article; zbMATH DE number 1670607 (Why is no real title available?) | 2001-11-11 | Paper |
| scientific article; zbMATH DE number 1630075 (Why is no real title available?) | 2001-09-30 | Paper |
Improving program analyses, by structure untupling
The Journal of Logic Programming | 2000-05-07 | Paper |
| scientific article; zbMATH DE number 1304447 (Why is no real title available?) | 2000-03-29 | Paper |
Two classes of Boolean functions for dependency analysis
Science of Computer Programming | 2000-01-04 | Paper |
Constraint-based document layout for the Web
Multimedia Systems | 2000-01-01 | Paper |
| scientific article; zbMATH DE number 1312992 (Why is no real title available?) | 1999-07-01 | Paper |
| scientific article; zbMATH DE number 1304449 (Why is no real title available?) | 1999-06-17 | Paper |
The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
The Journal of Logic Programming | 1999-05-31 | Paper |
Constrained graph layout
Constraints | 1999-02-02 | Paper |
Differential methods in logic program analysis
The Journal of Logic Programming | 1998-11-24 | Paper |
A confluent calculus for concurrent constraint programming
Theoretical Computer Science | 1998-07-23 | Paper |
Confluence in concurrent constraint programming
Theoretical Computer Science | 1998-07-22 | Paper |
A confluent semantic basis for the analysis of concurrent constraint logic programs
The Journal of Logic Programming | 1998-03-17 | Paper |
Constraint logic programming with dynamic scheduling: A semantics based on closure operators
Information and Computation | 1997-09-28 | Paper |
Algebraic and logical semantics for CLP languages with dynamic scheduling
The Journal of Logic Programming | 1997-09-04 | Paper |
Most specific logic programs
Annals of Mathematics and Artificial Intelligence | 1997-06-04 | Paper |
Incremental constraint deletion in systems of linear constraints
Information Processing Letters | 1997-02-28 | Paper |
Negative Boolean constraints
Theoretical Computer Science | 1997-02-27 | Paper |
Spatial query optimization: From Boolean constraints to range queries
Journal of Computer and System Sciences | 1995-10-25 | Paper |
Frameworks for abstract interpretation
Acta Informatica | 1994-05-10 | Paper |
Difference-list transformation for Prolog
New Generation Computing | 1993-09-30 | Paper |
| scientific article; zbMATH DE number 176121 (Why is no real title available?) | 1993-05-18 | Paper |
Bottom-up dataflow analysis of normal logic programs
The Journal of Logic Programming | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4053011 (Why is no real title available?) | 1988-01-01 | Paper |
Explicit representation of terms defined by counter examples
Journal of Automated Reasoning | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4011966 (Why is no real title available?) | 1986-01-01 | Paper |
