 | 2001 |
|---|
| 10 |       | Heinz Faßbender:
Reengineering an Ada95-programmed command and control information system by using UML.
SIGAda 2001: 53-60 |
| 1999 |
|---|
| 9 | | 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 | | 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) |
