TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Plattformunabhängige Verwendbarkeit eines Führungsinformationssystems durch den Einsatz von CORBA und Java JF - Proceedings zum Workshop Y1 - 2000 N1 - (Institut für Angewandte Systemforschung und Operations-Research <Neubiberg>: Bericht ; S0006) PB - Univ. der Bundeswehr, Fak. Informatik CY - Neubiberg ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko A1 - Wedel, Andrea T1 - An abstract machine for the E-Unification with macro tree transducer JF - 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA] Y1 - 1993 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract JF - Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.) Y1 - 1991 SP - 95 EP - 96 PB - RWTH, Fachgruppe Informatik CY - Aachen ER - TY - JOUR A1 - Faßbender, Heinz A1 - Wedel, Andrea T1 - E-Unifikation mit macro tree transducer JF - 2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren Y1 - 1992 SN - 0946-3852 N1 - (WSI / Wilhelm-Schickard-Institut für Informatik ; 92,9) PB - Wilhelm-Schickard-Inst. für Informatik, Univ. CY - Tübingen ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - Implementierung eines universellen Unifikationsalgorithmus für Macro Tree Transducer JF - Alternative Konzepte für Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.) Y1 - 1994 N1 - (Fachberichte Informatik ; 94,4) PB - Univ., Inst. für Informatik CY - Koblenz 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 - 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 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian JF - Journal of functional and logic programming. 1998 (1998), H. 4 Y1 - 1998 SN - 1080-5230 ER -