@article{FassbenderVoglerWedel1993,
  author    = {Faßbender, Heinz and Vogler, Heiko and Wedel, Andrea},
  title     = {An abstract machine for the E-Unification with macro tree transducer},
  series = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  journal   = {7th International Workshop on Unification : 13. 06. - 14. 06. 93 / Franz Baader ... (eds.). [Boston University, Boston, USA]},
  year      = {1993},
  language  = {en}
}
@article{ZastrowRieder1980,
  author    = {Zastrow, Udo and Rieder, G.},
  title     = {Bracketing eigenvalues of an oscillating elastic body by integral equations},
  series = {Bracketing of eigenfrequencies of continous structures : Euromech Colloquium, no. 112, M{\´a}traf{\"u}red (Hungary), 21 - 23 February, 1979 / ed. by {\`A}. Bosznay},
  journal   = {Bracketing of eigenfrequencies of continous structures : Euromech Colloquium, no. 112, M{\´a}traf{\"u}red (Hungary), 21 - 23 February, 1979 / ed. by {\`A}. Bosznay},
  publisher = {Akad. Kiad{\´o}},
  address   = {Budapest},
  isbn      = {963-05-2625-5},
  pages     = {421 -- 434},
  year      = {1980},
  language  = {en}
}
@article{Zastrow1985,
  author    = {Zastrow, Udo},
  title     = {On the complete system of fundamental solutions for anisotropic slices and slabs: A comparison by use of the slab analogy},
  series = {Journal of Elasticity. 15 (1985), H. 3},
  journal   = {Journal of Elasticity. 15 (1985), H. 3},
  isbn      = {1573-2681},
  pages     = {293 -- 318},
  year      = {1985},
  language  = {en}
}
@article{ZastrowHackl1988,
  author    = {Zastrow, Udo and Hackl, Klaus},
  title     = {On the existence, uniqueness and completeness of displacements and stress functions in linear elasticity / Hackl, Klaus ; Zastrow, Udo},
  series = {Journal of Elasticity. 19 (1988), H. 1},
  journal   = {Journal of Elasticity. 19 (1988), H. 1},
  isbn      = {1573-2681},
  pages     = {3 -- 23},
  year      = {1988},
  language  = {en}
}
@article{Zastrow1985,
  author    = {Zastrow, Udo},
  title     = {Basic geometrical singularities in plane-elasticity and plate-bending problems},
  series = {International Journal of Solids and Structures. 21 (1985), H. 10},
  journal   = {International Journal of Solids and Structures. 21 (1985), H. 10},
  isbn      = {0020-7683},
  pages     = {1047 -- 1067},
  year      = {1985},
  language  = {en}
}
@article{Zastrow1985,
  author    = {Zastrow, Udo},
  title     = {Numerical plane stress analysis by integral equations based on the singularity method},
  series = {SM archives . 10 (1985)},
  journal   = {SM archives . 10 (1985)},
  isbn      = {0376-7426},
  pages     = {113 -- 128},
  year      = {1985},
  language  = {en}
}
@article{ZastrowPanagiotopoulos1979,
  author    = {Zastrow, Udo and Panagiotopoulos, P. D.},
  title     = {An integral "Equation" approach to the unilateral contact problem},
  series = {ZAMM - Zeitschrift f{\"u}r angewandte Mathematik und Mechanik. 59 (1979), H. 8},
  journal   = {ZAMM - Zeitschrift f{\"u}r angewandte Mathematik und Mechanik. 59 (1979), H. 8},
  isbn      = {1521-4001},
  pages     = {392 -- 393},
  year      = {1979},
  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{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{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{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}
}