| Declarative Debugging Meets the World | 0 | 0.34 | 2008 |
| Declarative Debugging for Encapsulated Search | 1 | 0.40 | 2002 |
| Adding Linear Constraints over Real Numbers to Curry | 11 | 0.61 | 2001 |
| Implementing Encapsulated Search for a Lazy Functional Logic Language | 17 | 0.76 | 1999 |
| An Efficient Abstract Machine for Curry | 17 | 0.89 | 1999 |
| Adaptable object migration: concept and implementation | 8 | 0.61 | 1995 |
| Adaptability using reflection | 6 | 0.76 | 1994 |
| The Architecture of the BIRLIX Operating System | 1 | 0.39 | 1990 |
| On the Implementation of Abstract Data Types in BirliX | 0 | 0.34 | 1989 |
| Distribution and Recovery in the BirliX Operating System | 1 | 0.93 | 1987 |
