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