Veröffentlichungen

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

TitelArchitektur eines Führungsinformationssystems unter Verwendung von Enterprise Java Beans
AutorenFaßbender, Heinz
ErschienenWachtberg : FGAN-FKIE 2003.
Bemerkung(FKIE-Bericht ; 59)
TitelAn experimental command and control information system based on Enterprise Java bean technology
AutorenFaßbender, Heinz ; Bühler, Gerhard
ErschienenProceedings of the 7th International Command and Control Research and Technology Symposium, September 2002, Quebec City, Kanada. Seite: 1 - 8
Zugriff Online
TitelReengineering an Ada95-programmed command and control information system by using UML
AutorenFaßbender, Heinz
ErschienenProceedings : 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 / ISSN1-58113-392-8
Zugriff Online
Bemerkung(Ada letters ; 21,4)
TitelModelling command and control information systems by UML
AutorenFaßbender, Heinz ; Bühler, Gerhard
ErschienenProceedings 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
TitelProtokolle zur Replikation verteilter Daten
AutorenFaßbender, Heinz ; Bühler, Gerhard ; Markmann, G. ; Wunder, M.
ErschienenWachtberg : FGAN-FKIE 2001.
Bemerkung(FKIE-Bericht ; 27)
TitelPlattformunabhängige Verwendbarkeit eines Führungsinformationssystems durch den Einsatz von CORBA und Java
AutorenFaßbender, Heinz ; Bühler, Gerhard
ErschienenProceedings zum Workshop. Neubiberg : Univ. der Bundeswehr, Fak. Informatik 2000.
Bemerkung(Institut für Angewandte Systemforschung und Operations-Research <Neubiberg>: Bericht ; S0006)
TitelThe join of a geographical situation display system and a platform independent C2 information system
AutorenFaßbender, Heinz ; Bühler, Gerhard
ErschienenProceedings of the 2000 Command and Control Research and Technology Symposium, Juni 2000, Monterey, USA. Seite: 1 - 7
Zugriff Online
TitelApplying Ada, Java and CORBA for making a command and control information system platform independent
AutorenFaßbender, Heinz ; Bühler, Gerhard
ErschienenProceedings : (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 / ISSN1-58113-127-5
Zugriff Online
Bemerkung(Ada letters ; 19,3)
TitelMaking a C2 information system platform independent by using internet and middleware technologies
AutorenFaßbender, Heinz ; Bühler, Gerhard
ErschienenProceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA. Seite: 1 - 11
Zugriff Online
TitelArchitektur eines plattformunabhängigen verteilten Führungsinformationssystems
AutorenFaßbender, Heinz
ErschienenWachtberg : FGAN-FKIE 1999.
Bemerkung(FKIE-Bericht ; 8)
TitelA strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
AutorenFaßbender, Heinz ; Maneth, Sebastian
ErschienenJournal of functional and logic programming. 1998 (1998), H. 4.
ISBN / ISSN1080-5230
Zugriff Online
TitelA strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian
AutorenFaßbender, Heinz ; Maneth, Sebastian
ErschienenAlgebraic 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 / ISSN3-540-61735-3
Zugriff Online
Bemerkung(Lecture notes in computer science ; 1139)
TitelImplementation of a deterministic partial e-unification algorithm for macro tree transducers
AutorenFaßbender, Heinz ; Mößle, Andrea ; Vogler, Heiko
ErschienenJournal of functional and logic programming. 1996 (1996), H. 2.
ISBN / ISSN1080-5230
Zugriff Online
TitelA strict border for the decidability of e-unification for recursive functions
AutorenFaßbender, Heinz ; Maneth, Sebastian
ErschienenDresden : TU, Fak. Informatik 1996. - 27 S. : graph. Darst.
Bemerkung(Technische Berichte ; 96,21)
TitelE-Unifikation für primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.
AutorenFaßbender, Heinz
ErschienenAachen : Shaker 1995. - IX, 272 S. : graph. Darst.
ISBN / ISSN3-8265-0917-X
Bemerkung(Berichte aus der Informatik) ; Zugl.: Ulm, Univ., Diss., 1995
TitelImplementation of a UU-Algorithm for primitive recursive tree functions
AutorenFaßbender, Heinz
ErschienenFundamentals 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 / ISSN3-540-60249-6
Bemerkung(Lecture notes in computer science ; 965)
TitelA verified implementation of narrowing
AutorenFaßbender, Heinz
ErschienenProgramming 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 / ISSN3-540-60359-X
Bemerkung(Lecture notes in computer science ; 982)
TitelImplementation of a deterministic partial E-unification algorithm for macro tree transducers
AutorenFaßbender, Heinz ; Vogler, Heiko ; Wedel, Andrea
ErschienenUlm : Univ. Ulm, Fak. für Informatik 1994. - 62 S.
Bemerkung(Ulmer Informatik-Berichte ; 94,4)
TitelA universal unification algorithm based on unification-driven leftmost outermost narrowing
AutorenFaßbender, Heinz ; Vogler, Heiko
ErschienenActa Cybernetica. 11 (1994), H. 3. Seite: 139 - 167
ISBN / ISSN0324-721x
TitelImplementierung eines universellen Unifikationsalgorithmus für Macro Tree Transducer
AutorenFaßbender, Heinz ; Vogler, Heiko
ErschienenAlternative 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)
TitelImplementation of a universal unification algorithm for macro tree transducers
AutorenFaßbender, Heinz
ErschienenFundamentals 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 / ISSN3-540-57163-9
Bemerkung(Lecture notes in computer science ; 710)
TitelAn abstract machine for the E-Unification with macro tree transducer
AutorenFaßbender, Heinz ; Vogler, Heiko ; Wedel, Andrea
Erschienen7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA].
TitelAn implementation of syntax directed functional programming on nested-stack machines
AutorenFaßbender, Heinz ; Vogler, Heiko
ErschienenFormal Aspects of Computing. 4 (1992), H. 4. Seite: 341 - 375
ISBN / ISSN0934-5043
Zugriff Online
TitelE-Unifikation mit macro tree transducer
AutorenFaßbender, Heinz ; Wedel, Andrea
Erschienen2. 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 / ISSN0946-3852
Bemerkung(WSI / Wilhelm-Schickard-Institut für Informatik <Tübingen> ; 92,9)
TitelA universal unification algorithm based on unification driven leftmost outermost narrowing
AutorenFaßbender, Heinz ; Vogler, Heiko
ErschienenUlm : Univ. Ulm, Fak. für Informatik 1992. - 47 S. : graph. Darst.
Bemerkung(Ulmer Informatik-Berichte ; 92,7)
TitelA narrowing machine for the functional logic language BABEL, restricted to primitive recursion : abstract
AutorenFaßbender, Heinz ; Vogler, Heiko
ErschienenGranada 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
TitelCompiler based implementation of syntax directed functional programming
AutorenFaßbender, Heinz ; Gladtz, Katia ; Vogler, Heiko
ErschienenAachen : RWTH, Fachgruppe Informatik 1991. - 37 S.
Bemerkung(Aachener Informatik-Berichte ; 91,10)
TitelA call-by-need implementation of syntax directed functional programming
AutorenFaßbender, Heinz ; Vogler, Heiko
ErschienenAachen : RWTH, Fachgruppe Informatik 1990. - 44 S. : graph. Darst.
Bemerkung(Aachener Informatik-Berichte ; 90,22)
TitelImplementierung der Call-by-Need Auswertungsstrategie für Macro Tree-to-String Transducer auf Nested-Stack Maschinen mit geschachtelten Ausgabebändern
AutorenFaßbender, Heinz
ErschienenAachen : 1989.
BemerkungDiplomarbeit
x