| |
| 2001 | ||
|---|---|---|
| 10 | EE | Heinz Faßbender: Reengineering an Ada95-programmed command and control information system by using UML. SIGAda 2001: 53-60 |
| 1999 | ||
| 9 | EE | Gerhard Bühler, Heinz Faßbender: Applying Ada, Java and CORBA for making a command and control information system platform independent. SIGAda 1999: 83-88 |
| 1998 | ||
| 8 | Heinz Faßbender, Sebastian Maneth: A Strict Border for the Decidability of E-Unification for Recursive Functions. Journal of Functional and Logic Programming 1998(4): (1998) | |
| 1996 | ||
| 7 | Heinz Faßbender, Sebastian Maneth: A Strict Border for the Decidability of E-Unification for Recursive Functions. ALP 1996: 194-208 | |
| 6 | Heinz Faßbender, Andrea Mößle, Heiko Vogler: Implementation of a Deterministic Partial E-Unification Algorithm for Macro Tree Transducers. Journal of Functional and Logic Programming 1996(2): (1996) | |
| 1995 | ||
| 5 | Heinz Faßbender: Implementation of a UU-Algorithm for Primitive Recursive Tree Functions. FCT 1995: 233-242 | |
| 4 | Heinz Faßbender: A Verified Implementation of Narrowing PLILP 1995: 63-80 | |
| 1994 | ||
| 3 | EE | Heinz Faßbender, Heiko Vogler: A Universal Unification Algorithm Based on Unification-Driven Leftmost Outermost Narrowing. Acta Cybern. 11(3): 139-168 (1994) |
| 1993 | ||
| 2 | Heinz Faßbender: Implementation of a Universal Unification Algorithm for Macro Tree Transducers. FCT 1993: 222-233 | |
| 1992 | ||
| 1 | Heinz Faßbender, Heiko Vogler: An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines. Formal Asp. Comput. 4(4): 341-375 (1992) | |
| 1 | Gerhard Bühler | [9] |
| 2 | Sebastian Maneth | [7] [8] |
| 3 | Andrea Mößle | [6] |
| 4 | Heiko Vogler | [1] [3] [6] |