@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{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{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{Zastrow1978,
  author    = {Zastrow, Udo},
  title     = {Zur Berechnung anisotroper Scheiben durch singul{\"a}re Integralgleichungen},
  series = {ZAMM - Zeitschrift f{\"u}r Angewandte Mathematik und Mechanik.},
  volume    = {58},
  journal   = {ZAMM - Zeitschrift f{\"u}r Angewandte Mathematik und Mechanik.},
  number    = {6},
  publisher = {Wiley-VCH},
  address   = {Berlin},
  isbn      = {1521-4001},
  doi       = {10.1002/zamm.19780580605},
  pages     = {T132 -- T133},
  year      = {1978},
  language  = {de}
}
@article{Zastrow1979,
  author    = {Zastrow, Udo},
  title     = {Anisotrope Scheiben mit gemischten Randbedingungen},
  series = {ZAMM - Zeitschrift f{\"u}r Angewandte Mathematik und Mechanik. 59 (1979), H. 5},
  journal   = {ZAMM - Zeitschrift f{\"u}r Angewandte Mathematik und Mechanik. 59 (1979), H. 5},
  isbn      = {1521-4001},
  pages     = {T218 -- T219},
  year      = {1979},
  language  = {de}
}
@article{Zastrow1980,
  author    = {Zastrow, Udo},
  title     = {Die Airysche Spannungsfunktion f{\"u}r die unendliche anisotrope, orthotrope und isotrope Scheibe},
  series = {ZAMM - Zeitschrift f{\"u}r Angewandte Mathematik und Mechanik. 60 (1980), H. 6},
  journal   = {ZAMM - Zeitschrift f{\"u}r Angewandte Mathematik und Mechanik. 60 (1980), H. 6},
  isbn      = {1521-4001},
  pages     = {T159 -- T160},
  year      = {1980},
  language  = {de}
}
@book{Zastrow1979,
  author    = {Zastrow, Udo},
  title     = {Berechnung von anisotropen Scheiben mit gemischten Randbedingungen durch singulaere Integralgleichungen},
  year      = {1979},
  language  = {de}
}
@book{Zastrow1986,
  author    = {Zastrow, Udo},
  title     = {Zur L{\"o}sung von Halbraumproblemen nach der Spannungsfunktionenmethode : neue u. alte Ans{\"a}tze f{\"u}r Verschiebungs- u. Spannungsfunktionen in d. r{\"a}uml. Elastizit{\"a}tstheorie},
  publisher = {VDI-Berl.},
  address   = {D{\"u}sseldorf},
  isbn      = {3-18-143318-7},
  pages     = {XI, 331 S. : graph. Darst.},
  year      = {1986},
  language  = {de}
}
@article{Zastrow1981,
  author    = {Zastrow, Udo},
  title     = {Die Einflußfunktionen der Einzelkraft und der Stufenversetzung in der anisotropen Vollebene},
  series = {Archive of Applied Mechanics - Ingenieur Archiv. 51 (1981), H. 1-2},
  journal   = {Archive of Applied Mechanics - Ingenieur Archiv. 51 (1981), H. 1-2},
  isbn      = {1432-0681},
  pages     = {89 -- 99},
  year      = {1981},
  language  = {de}
}
@article{Zastrow1985,
  author    = {Zastrow, Udo},
  title     = {Zum System der Einflußfunktionen f{\"u}r die unendliche anisotrope Scheibe mit statischen und geometrischen Singularit{\"a}ten},
  series = {Archive of Applied Mechanics - Ingenieur Archiv. 55 (1985), H. 2},
  journal   = {Archive of Applied Mechanics - Ingenieur Archiv. 55 (1985), H. 2},
  isbn      = {1432-0681},
  pages     = {124 -- 133},
  year      = {1985},
  language  = {de}
}
@article{Zastrow1982,
  author    = {Zastrow, Udo},
  title     = {Solution of plane anisotropic elastostatical boundary value problems by singular integral equations},
  series = {Acta Mechanica. 44 (1982), H. 1-2},
  journal   = {Acta Mechanica. 44 (1982), H. 1-2},
  isbn      = {1619-6937},
  pages     = {59 -- 71},
  year      = {1982},
  language  = {en}
}
@article{Zastrow1985,
  author    = {Zastrow, Udo},
  title     = {On the formulation of the fundamental solutions for orthotropic plane elasticity},
  series = {Acta Mechanica. 57 (1985), H. 3-4},
  journal   = {Acta Mechanica. 57 (1985), H. 3-4},
  isbn      = {1619-6937},
  pages     = {113 -- 122},
  year      = {1985},
  language  = {en}
}
@book{Fassbender1995,
  author    = {Faßbender, Heinz},
  title     = {E-Unifikation f{\"u}r primitiv-rekursive Baumfunktionen : Semantik und Implementierung. - Als Ms. gedr.},
  publisher = {Shaker},
  address   = {Aachen},
  isbn      = {3-8265-0917-X},
  pages     = {IX, 272 S. : graph. Darst.},
  year      = {1995},
  language  = {de}
}
@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}
}
@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}
}