TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a universal unification algorithm for macro tree transducers
JF  - Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.)
Y1  - 1993
SN  - 3-540-57163-9
N1  - (Lecture notes in computer science ; 710)
SP  - 222
EP  - 233
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Implementation of a UU-Algorithm for primitive recursive tree functions
JF  - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)
Y1  - 1995
SN  - 3-540-60249-6
N1  - (Lecture notes in computer science ; 965)
SP  - 233
EP  - 242
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - A verified implementation of narrowing
JF  - Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)
Y1  - 1995
SN  - 3-540-60359-X
N1  - (Lecture notes in computer science ; 982)
SP  - 63
EP  - 80
PB  - Springer
CY  - Berlin [u.a.]
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
T1  - Reengineering an Ada95-programmed command and control information system by using UML
JF  - Proceedings : September 30 - October 4, 2001, Twin Cities, Best Western The Thunderbird Hotel & Convention Center, Bloomington, MN, USA / ACM SIGAda Annual International Conference (SIGAda 2001)
Y1  - 2001
SN  - 1-58113-392-8
N1  - (Ada letters ; 21,4)
SP  - 53
EP  - 60
PB  - ACM
CY  - New York, NY
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Bühler, Gerhard
T1  - Applying Ada, Java and CORBA for making a command and control information system platform independent
JF  - Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach & Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference
Y1  - 1999
SN  - 1-58113-127-5
N1  - (Ada letters ; 19,3)
SP  - 83
EP  - 88
PB  - ACM
CY  - New York, NY
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Bühler, Gerhard
T1  - Making a C2 information system platform independent by using internet and middleware technologies
JF  - Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA
Y1  - 1999
SP  - 1
EP  - 11
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Bühler, Gerhard
T1  - The join of a geographical situation display system and a platform independent C2 information system
JF  - Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA
Y1  - 2000
SP  - 1
EP  - 7
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Bühler, Gerhard
T1  - Modelling command and control information systems by UML
JF  - Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada
Y1  - 2001
SP  - 7-1
EP  - 7-9
ER  - 
TY  - JOUR
A1  - Faßbender, Heinz
A1  - Bühler, Gerhard
T1  - An experimental command and control information system based on Enterprise Java bean technology
JF  - Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada
Y1  - 2002
SP  - 1
EP  - 8
ER  - 
TY  - BOOK
A1  - Faßbender, Heinz
A1  - Gladtz, Katia
A1  - Vogler, Heiko
T1  - Compiler based implementation of syntax directed functional programming
Y1  - 1991
N1  - (Aachener Informatik-Berichte ; 91,10)
PB  - RWTH, Fachgruppe Informatik
CY  - Aachen
ER  -