@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{Hanrath1989,
  author    = {Hanrath, Wilhelm},
  title     = {Character tables of some factor groups of space groups},
  series = {Perfect groups / Derek F. Holt and W. Plesken},
  journal   = {Perfect groups / Derek F. Holt and W. Plesken},
  publisher = {Clarendon Press},
  address   = {Oxford},
  isbn      = {0-19-853559-7},
  pages     = {357 -- 359},
  year      = {1989},
  language  = {en}
}
@article{HanrathPlesken1985,
  author    = {Hanrath, Wilhelm and Plesken, Wilhelm},
  title     = {Group rings and irreducible representations of space groups / by W. Hanrath and W. Plesken},
  series = {Journal f{\"u}r die reine und angewandte Mathematik. 362 (1985)},
  journal   = {Journal f{\"u}r die reine und angewandte Mathematik. 362 (1985)},
  isbn      = {0075-4102},
  pages     = {130 -- 140},
  year      = {1985},
  language  = {en}
}
@article{HanrathPlesken1984,
  author    = {Hanrath, Wilhelm and Plesken, Wilhelm},
  title     = {The lattices of six-dimensional euclidean space},
  series = {Mathematics of computation. 43 (1984), H. 168},
  journal   = {Mathematics of computation. 43 (1984), H. 168},
  isbn      = {0025-5718},
  pages     = {573 -- 587},
  year      = {1984},
  language  = {en}
}
@article{Mertens1992,
  author    = {Mertens, Josef},
  title     = {Laminar flow for supersonic transports},
  series = {Proceedings : March 16 - 18, 1992, Congress Centrum, Hamburg, Federal Republic of Germany / organized jointly by: Deutsche Gesellschaft f{\"u}r Luft- und Raumfahrt e.V. ... [Programme committee J. Szodruch ...]},
  journal   = {Proceedings : March 16 - 18, 1992, Congress Centrum, Hamburg, Federal Republic of Germany / organized jointly by: Deutsche Gesellschaft f{\"u}r Luft- und Raumfahrt e.V. ... [Programme committee J. Szodruch ...]},
  publisher = {DGLR},
  address   = {Bonn},
  isbn      = {3-922010-73-3},
  pages     = {319 -- 323},
  year      = {1992},
  language  = {en}
}