@article{GosslaBoescheBrunner2007,
  author    = {Gossla, Ulrich and B{\"o}sche, Thomas and Brunner, Andreas},
  title     = {Untersuchungen zur Verbesserung der Erkenntnisse {\"u}ber das Tragverhalten der Vorlandb{\"o}gen der Eisenbahn-Marienbr{\"u}cke Dresden / B{\"o}sche, Thomas ; Gossla, Ulrich ; Brunner, Andreas},
  series = {4. Symposium Experimentelle Untersuchungen von Baukonstruktionen : 27. September 2007 / Technische Universit{\"a}t Dresden, Fakult{\"a}t Bauingenieurwesen. [Hrsg. dieses Bd. Manfred Curbach ...].},
  journal   = {4. Symposium Experimentelle Untersuchungen von Baukonstruktionen : 27. September 2007 / Technische Universit{\"a}t Dresden, Fakult{\"a}t Bauingenieurwesen. [Hrsg. dieses Bd. Manfred Curbach ...].},
  publisher = {Techn. Univ., Fak. Bauingenieurwesen},
  address   = {Dresden},
  pages     = {103 -- 114},
  year      = {2007},
  language  = {de}
}
@article{HolthausSellheierBlecken2008,
  author    = {Holthaus-Sellheier, Ursula and Blecken, Udo},
  title     = {Nutzenkosten: DIN 18960-2008 - Leistungsf{\"a}hige Grundlage f{\"u}r die zielorientierte Planung der Lebenszykluskosten / Blecken, Udo ; Holthaus-Sellheier, Ursula},
  series = {Bautechnik. 85 (2008), H. 7},
  journal   = {Bautechnik. 85 (2008), H. 7},
  isbn      = {1437-0999},
  pages     = {464 -- 471},
  year      = {2008},
  language  = {de}
}
@article{Jochim2007,
  author    = {Jochim, Haldor E.},
  title     = {Beurteilung der Ausbaunotwendigkeit von Eisenbahn-Streckenabschnitten - ein anspruchsloses Verfahren},
  series = {Eisenbahn-Ingenieur-Kalender 2008 : EIK ; Jahrbuch f{\"u}r Schienenverkehr \& Technik / Hrsg. Verband Deutscher Eisenbahn-Ingenieure e.V., VDEI},
  journal   = {Eisenbahn-Ingenieur-Kalender 2008 : EIK ; Jahrbuch f{\"u}r Schienenverkehr \& Technik / Hrsg. Verband Deutscher Eisenbahn-Ingenieure e.V., VDEI},
  isbn      = {0934-5930},
  pages     = {333 -- 342},
  year      = {2007},
  language  = {de}
}
@article{Timme2008,
  author    = {Timme, Michael},
  title     = {Schriftformmangel trotz Heilungsklausel?},
  series = {Neue Zeitschrift f{\"u}r Miet- und Wohnungsrecht : NZM. 11 (2008)},
  journal   = {Neue Zeitschrift f{\"u}r Miet- und Wohnungsrecht : NZM. 11 (2008)},
  isbn      = {1434-677X},
  pages     = {764 -- 767},
  year      = {2008},
  language  = {de}
}
@article{TimmeHuelk2008,
  author    = {Timme, Michael and H{\"u}lk, Fabian},
  title     = {Mieterh{\"o}hungsverlangen bei unwirksamer Sch{\"o}nheitsreparaturklausel},
  series = {Monatsschrift f{\"u}r deutsches Recht : MdR ; Zeitschrift f{\"u}r die Zivilrechtspraxis. 28 (2008), H. 22},
  journal   = {Monatsschrift f{\"u}r deutsches Recht : MdR ; Zeitschrift f{\"u}r die Zivilrechtspraxis. 28 (2008), H. 22},
  isbn      = {0340-1812},
  pages     = {1249 -- 1251},
  year      = {2008},
  language  = {de}
}
@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}
}