Veröffentlichungen

Prof. Dr. rer. nat. Heinz Faßbender

Titel Architektur eines Führungsinformationssystems unter Verwendung von Enterprise Java Beans
Autoren Faßbender, Heinz
Erschienen Wachtberg : FGAN-FKIE 2003.
Bemerkung (FKIE-Bericht ; 59)
Titel An experimental command and control information system based on Enterprise Java bean technology
Autoren Faßbender, Heinz ; Bühler, Gerhard
Erschienen Proceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada. Seite: 1 - 8
Zugriff Online
Titel Reengineering an Ada95-programmed command and control information system by using UML
Autoren Faßbender, Heinz
Erschienen 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). New York, NY : ACM 2001. - XII, 135 S. : Ill., graph. Darst.Seite: 53 - 60
ISBN / ISSN 1-58113-392-8
Zugriff Online
Bemerkung (Ada letters ; 21,4)
Titel Modelling command and control information systems by UML
Autoren Faßbender, Heinz ; Bühler, Gerhard
Erschienen Proceedings of the Information Systems Technology Panel Symposium / Information Management Challenges in Achieving Coalition Interoperability, Mai 2001, Quebec City, Kanada. Seite: 7-1 - 7-9
Zugriff Online
Titel Protokolle zur Replikation verteilter Daten
Autoren Faßbender, Heinz ; Bühler, Gerhard ; Markmann, G. ; Wunder, M.
Erschienen Wachtberg : FGAN-FKIE 2001.
Bemerkung (FKIE-Bericht ; 27)
Titel Plattformunabhängige Verwendbarkeit eines Führungsinformationssystems durch den Einsatz von CORBA und Java
Autoren Faßbender, Heinz ; Bühler, Gerhard
Erschienen Proceedings zum Workshop. Neubiberg : Univ. der Bundeswehr, Fak. Informatik 2000.
Bemerkung (Institut für Angewandte Systemforschung und Operations-Research <Neubiberg>: Bericht ; S0006)
Titel The join of a geographical situation display system and a platform independent C2 information system
Autoren Faßbender, Heinz ; Bühler, Gerhard
Erschienen Proceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA. Seite: 1 - 7
Zugriff Online
Titel Applying Ada, Java and CORBA for making a command and control information system platform independent
Autoren Faßbender, Heinz ; Bühler, Gerhard
Erschienen Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach & Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference. New York, NY : ACM 1999. - XIV, 251 S. : graph. Darst.Seite: 83 - 88
ISBN / ISSN 1-58113-127-5
Zugriff Online
Bemerkung (Ada letters ; 19,3)
Titel Making a C2 information system platform independent by using internet and middleware technologies
Autoren Faßbender, Heinz ; Bühler, Gerhard
Erschienen Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA. Seite: 1 - 11
Zugriff Online
Titel Architektur eines plattformunabhängigen verteilten Führungsinformationssystems
Autoren Faßbender, Heinz
Erschienen Wachtberg : FGAN-FKIE 1999.
Bemerkung (FKIE-Bericht ; 8)
Titel A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
Autoren Faßbender, Heinz ; Maneth, Sebastian
Erschienen Journal of functional and logic programming. 1998 (1998), H. 4.
ISBN / ISSN 1080-5230
Zugriff Online
Titel A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
Autoren Faßbender, Heinz ; Maneth, Sebastian
Erschienen Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.). Berlin [u.a.] : Springer 1996. - VIII, 344 S. : graph. Darst.Seite: 194 - 208
ISBN / ISSN 3-540-61735-3
Zugriff Online
Bemerkung (Lecture notes in computer science ; 1139)
Titel Implementation of a deterministic partial e-unification algorithm for macro tree transducers
Autoren Faßbender, Heinz ; Mößle, Andrea ; Vogler, Heiko
Erschienen Journal of functional and logic programming. 1996 (1996), H. 2.
ISBN / ISSN 1080-5230
Zugriff Online
Titel A strict border for the decidability of e-unification for recursive functions
Autoren Faßbender, Heinz ; Maneth, Sebastian
Erschienen Dresden : TU, Fak. Informatik 1996. - 27 S. : graph. Darst.
Bemerkung (Technische Berichte ; 96,21)
Titel E-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.
Autoren Faßbender, Heinz
Erschienen Aachen : Shaker 1995. - IX, 272 S. : graph. Darst.
ISBN / ISSN 3-8265-0917-X
Bemerkung (Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995
Titel Implementation of a UU-Algorithm for primitive recursive tree functions
Autoren Faßbender, Heinz
Erschienen Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.). Berlin [u.a.] : Springer 1995. - IX, 433 S. : graph. Darst.Seite: 233 - 242
ISBN / ISSN 3-540-60249-6
Bemerkung (Lecture notes in computer science ; 965)
Titel A verified implementation of narrowing
Autoren Faßbender, Heinz
Erschienen Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.). Berlin [u.a.] : Springer 1995. - XI, 466 S. : graph. Darst.Seite: 63 - 80
ISBN / ISSN 3-540-60359-X
Bemerkung (Lecture notes in computer science ; 982)
Titel Implementation of a deterministic partial E-unification algorithm for macro tree transducers
Autoren Faßbender, Heinz ; Vogler, Heiko ; Wedel, Andrea
Erschienen Ulm : Univ. Ulm, Fak. für Informatik 1994. - 62 S.
Bemerkung (Ulmer Informatik-Berichte ; 94,4)
Titel A universal unification algorithm based on unification-driven leftmost outermost narrowing
Autoren Faßbender, Heinz ; Vogler, Heiko
Erschienen Acta Cybernetica. 11 (1994), H. 3. Seite: 139 - 167
ISBN / ISSN 0324-721x
Titel Implementierung eines universellen Unifikationsalgorithmus für Macro Tree Transducer
Autoren Faßbender, Heinz ; Vogler, Heiko
Erschienen Alternative Konzepte für Sprachen und Rechner : Bad Honnef 1993 / J. Ebert (Hrsg.). Koblenz : Univ., Inst. für Informatik 1994. - 151 S.
Bemerkung (Fachberichte Informatik ; 94,4)
Titel Implementation of a universal unification algorithm for macro tree transducers
Autoren Faßbender, Heinz
Erschienen Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.). Berlin [u.a.] : Springer 1993. - IX, 471 S. : graph. Darst.Seite: 222 - 233
ISBN / ISSN 3-540-57163-9
Bemerkung (Lecture notes in computer science ; 710)
Titel An abstract machine for the E-Unification with macro tree transducer
Autoren Faßbender, Heinz ; Vogler, Heiko ; Wedel, Andrea
Erschienen 7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA].
Titel An implementation of syntax directed functional programming on nested-stack machines
Autoren Faßbender, Heinz ; Vogler, Heiko
Erschienen Formal Aspects of Computing. 4 (1992), H. 4. Seite: 341 - 375
ISBN / ISSN 0934-5043
Zugriff Online
Titel E-Unifikation mit macro tree transducer
Autoren Faßbender, Heinz ; Wedel, Andrea
Erschienen 2. Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen / Arbeitstreffen Effiziente Implementierung Funktionaler Programmiersprachen <2, 1992, Oberjoch>. Herbert Klaeren. Tübingen : Wilhelm-Schickard-Inst. für Informatik, Univ. 1992. - 5 S.
ISBN / ISSN 0946-3852
Bemerkung (WSI / Wilhelm-Schickard-Institut für Informatik <Tübingen> ; 92,9)
Titel A universal unification algorithm based on unification driven leftmost outermost narrowing
Autoren Faßbender, Heinz ; Vogler, Heiko
Erschienen Ulm : Univ. Ulm, Fak. für Informatik 1992. - 47 S. : graph. Darst.
Bemerkung (Ulmer Informatik-Berichte ; 92,7)
Titel A narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract
Autoren Faßbender, Heinz ; Vogler, Heiko
Erschienen Granada Workshop on the Integration of Functional and Logic Programming / Granada Workshop on the Integration of Functional and Logic Programming <1990>. K. Indermark ... (ed.). Aachen : RWTH, Fachgruppe Informatik 1991. - III, 231 S. : graph. Darst.Seite: 95 - 96
Zugriff Online
Titel Compiler based implementation of syntax directed functional programming
Autoren Faßbender, Heinz ; Gladtz, Katia ; Vogler, Heiko
Erschienen Aachen : RWTH, Fachgruppe Informatik 1991. - 37 S.
Bemerkung (Aachener Informatik-Berichte ; 91,10)
Titel A call-by-need implementation of syntax directed functional programming
Autoren Faßbender, Heinz ; Vogler, Heiko
Erschienen Aachen : RWTH, Fachgruppe Informatik 1990. - 44 S. : graph. Darst.
Bemerkung (Aachener Informatik-Berichte ; 90,22)
Titel Implementierung der Call-by-Need Auswertungsstrategie für Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabebändern
Autoren Faßbender, Heinz
Erschienen Aachen : 1989.
Bemerkung Diplomarbeit