@article{Fassbender2001,
  author    = {Faßbender, Heinz},
  title     = {Reengineering an Ada95-programmed command and control information system by using UML},
  series = {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)},
  journal   = {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)},
  publisher = {ACM},
  address   = {New York, NY},
  isbn      = {1-58113-392-8},
  pages     = {53 -- 60},
  year      = {2001},
  language  = {en}
}
@article{FassbenderManeth1998,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian},
  series = {Journal of functional and logic programming. 1998 (1998), H. 4},
  journal   = {Journal of functional and logic programming. 1998 (1998), H. 4},
  isbn      = {1080-5230},
  year      = {1998},
  language  = {en}
}
@article{FassbenderBuehler1999,
  author    = {Faßbender, Heinz and B{\"u}hler, Gerhard},
  title     = {Making a C2 information system platform independent by using internet and middleware technologies},
  series = {Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA},
  journal   = {Proceedings of the 1999 Command and Control Research and Technology Symposium, Juni 1999, Newport, USA},
  pages     = {1 -- 11},
  year      = {1999},
  language  = {en}
}
@article{FassbenderMoessleVogler1996,
  author    = {Faßbender, Heinz and M{\"o}ßle, Andrea and Vogler, Heiko},
  title     = {Implementation of a deterministic partial e-unification algorithm for macro tree transducers},
  series = {Journal of functional and logic programming. 1996 (1996), H. 2},
  journal   = {Journal of functional and logic programming. 1996 (1996), H. 2},
  isbn      = {1080-5230},
  year      = {1996},
  language  = {en}
}
@article{FassbenderVogler1994,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A universal unification algorithm based on unification-driven leftmost outermost narrowing},
  series = {Acta Cybernetica. 11 (1994), H. 3},
  journal   = {Acta Cybernetica. 11 (1994), H. 3},
  isbn      = {0324-721x},
  pages     = {139 -- 167},
  year      = {1994},
  language  = {en}
}
@article{Fassbender1995,
  author    = {Faßbender, Heinz},
  title     = {A verified implementation of narrowing},
  series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)},
  journal   = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)},
  publisher = {Springer},
  address   = {Berlin [u.a.]},
  isbn      = {3-540-60359-X},
  pages     = {63 -- 80},
  year      = {1995},
  language  = {en}
}
@article{FassbenderManeth1996,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian},
  series = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)},
  journal   = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)},
  publisher = {Springer},
  address   = {Berlin [u.a.]},
  isbn      = {3-540-61735-3},
  pages     = {194 -- 208},
  year      = {1996},
  language  = {en}
}
@article{FassbenderBuehler1999,
  author    = {Faßbender, Heinz and B{\"u}hler, Gerhard},
  title     = {Applying Ada, Java and CORBA for making a command and control information system platform independent},
  series = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference},
  journal   = {Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach \& Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference},
  publisher = {ACM},
  address   = {New York, NY},
  isbn      = {1-58113-127-5},
  pages     = {83 -- 88},
  year      = {1999},
  language  = {en}
}
@article{FassbenderVogler1992,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {An implementation of syntax directed functional programming on nested-stack machines},
  series = {Formal Aspects of Computing. 4 (1992), H. 4},
  journal   = {Formal Aspects of Computing. 4 (1992), H. 4},
  isbn      = {0934-5043},
  pages     = {341 -- 375},
  year      = {1992},
  language  = {en}
}
@article{Fassbender1993,
  author    = {Faßbender, Heinz},
  title     = {Implementation of a universal unification algorithm for macro tree transducers},
  series = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)},
  journal   = {Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zolt{\´a}n {\´E}sik (ed.)},
  publisher = {Springer},
  address   = {Berlin [u.a.]},
  isbn      = {3-540-57163-9},
  pages     = {222 -- 233},
  year      = {1993},
  language  = {en}
}
@article{Fassbender1995,
  author    = {Faßbender, Heinz},
  title     = {Implementation of a UU-Algorithm for primitive recursive tree functions},
  series = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)},
  journal   = {Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.)},
  publisher = {Springer},
  address   = {Berlin [u.a.]},
  isbn      = {3-540-60249-6},
  pages     = {233 -- 242},
  year      = {1995},
  language  = {en}
}
@article{Gerhardt2005,
  author    = {Gerhardt, Hans Joachim},
  title     = {Design methods of smoke and heat exhaust systems in construction works},
  series = {V Mie\&\#796;dzynarodowa Konferencja Bezpiecze\&\#324;stwo Po\&\#380;arowe Budowli, Warszawa-Miedzeszyn, 14 - 16 listopada 2005 r. = : Vth International Conference Fire Safety of Buildings / ITB ... [Ed. Miros\&\#322;aw Kosiorek]},
  journal   = {V Mie\&\#796;dzynarodowa Konferencja Bezpiecze\&\#324;stwo Po\&\#380;arowe Budowli, Warszawa-Miedzeszyn, 14 - 16 listopada 2005 r. = : Vth International Conference Fire Safety of Buildings / ITB ... [Ed. Miros\&\#322;aw Kosiorek]},
  publisher = {ITB},
  address   = {Warszawa},
  isbn      = {83-7413-810-6},
  pages     = {127 -- 140},
  year      = {2005},
  language  = {en}
}
@article{GerhardtKonrathLieb2005,
  author    = {Gerhardt, Hans Joachim and Konrath, B. and Lieb, R.-D.},
  title     = {Das Drallrohr},
  series = {HLH : L{\"u}ftung, Klima, Heizung, Sanit{\"a}r, Geb{\"a}udetechnik. 56 (2005), H. 11},
  journal   = {HLH : L{\"u}ftung, Klima, Heizung, Sanit{\"a}r, Geb{\"a}udetechnik. 56 (2005), H. 11},
  isbn      = {1436-5103},
  pages     = {91 -- 95},
  year      = {2005},
  language  = {en}
}
@article{GerhardtKrueger1997,
  author    = {Gerhardt, Hans Joachim and Kr{\"u}ger, O.},
  title     = {Building shape influence on local wind loads},
  series = {Proceedings of the 2nd European \& African Conference on Wind Engineering : 2 EACWE, Palazzo Ducale, Genova, Italy, June 22-26, 1997 / ed. by Giovanni Solari. - Vol. 2},
  journal   = {Proceedings of the 2nd European \& African Conference on Wind Engineering : 2 EACWE, Palazzo Ducale, Genova, Italy, June 22-26, 1997 / ed. by Giovanni Solari. - Vol. 2},
  publisher = {Servizi Grafici Editoriali},
  address   = {Padova},
  isbn      = {88-86281-19-6},
  pages     = {XIX, S. 1017 - 1998 : Ill., graph. Darst.},
  year      = {1997},
  language  = {en}
}
@book{FassbenderVogler1992,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A universal unification algorithm based on unification driven leftmost outermost narrowing},
  publisher = {Univ. Ulm, Fak. f{\"u}r Informatik},
  address   = {Ulm},
  pages     = {47 S. : graph. Darst.},
  year      = {1992},
  language  = {en}
}
@book{FassbenderManeth1996,
  author    = {Faßbender, Heinz and Maneth, Sebastian},
  title     = {A strict border for the decidability of e-unification for recursive functions},
  publisher = {TU, Fak. Informatik},
  address   = {Dresden},
  pages     = {27 S. : graph. Darst.},
  year      = {1996},
  language  = {en}
}
@book{FassbenderGladtzVogler1991,
  author    = {Faßbender, Heinz and Gladtz, Katia and Vogler, Heiko},
  title     = {Compiler based implementation of syntax directed functional programming},
  publisher = {RWTH, Fachgruppe Informatik},
  address   = {Aachen},
  pages     = {37 S.},
  year      = {1991},
  language  = {en}
}
@book{FassbenderVogler1990,
  author    = {Faßbender, Heinz and Vogler, Heiko},
  title     = {A call-by-need implementation of syntax directed functional programming},
  publisher = {RWTH, Fachgruppe Informatik},
  address   = {Aachen},
  pages     = {44 S. : graph. Darst.},
  year      = {1990},
  language  = {en}
}
@article{BohnFunke2003,
  author    = {Bohn, Dieter and Funke, Harald},
  title     = {Experimental investigations into the nonuniform flow in a 4-stage turbine with special focus on the flow equalization in the first turbine stage},
  series = {ASME TURBO EXPO, Proceedings of the ASME Turbo Expo, 2003},
  journal   = {ASME TURBO EXPO, Proceedings of the ASME Turbo Expo, 2003},
  isbn      = {0-7918-3689-4},
  pages     = {281 -- 289},
  year      = {2003},
  language  = {en}
}
@book{FassbenderVoglerWedel1994,
  author    = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea},
  title     = {Implementation of a deterministic partial E-unification algorithm for macro tree transducers},
  publisher = {Univ. Ulm, Fak. f{\"u}r Informatik},
  address   = {Ulm},
  pages     = {62 S.},
  year      = {1994},
  language  = {en}
}