@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{HeuermannStolleSchiek1995,
  author    = {Heuermann, Holger and Stolle, Reinhard and Schiek, Burkhard},
  title     = {Auswertemethoden zur Praezisions-Entfernungsmessung mit FMCW-Systemen und deren Anwendung im Mikrowellenbereich},
  series = {tm - Technisches Messen. 62. 1995 (1995), H. 2},
  journal   = {tm - Technisches Messen. 62. 1995 (1995), H. 2},
  pages     = {66 -- 73},
  year      = {1995},
  language  = {de}
}
@article{Benkner1995,
  author    = {Benkner, Thorsten},
  title     = {Autonomous Slot Assignment Schemes for PRMA++ Third Generation TDMA Systems},
  series = {Proceedings / Organization: IEEE Vehicular Technology/Communications Society; Joint Chapter in the Benelux Section and Telecommunications Division, Eindhoven University of Technology, The Netherlands. Ed.: Peter Smulders},
  journal   = {Proceedings / Organization: IEEE Vehicular Technology/Communications Society; Joint Chapter in the Benelux Section and Telecommunications Division, Eindhoven University of Technology, The Netherlands. Ed.: Peter Smulders},
  publisher = {Techn. Univ. Eindhoven, Telecommunications Div.},
  address   = {Eindhoven},
  isbn      = {9061449928},
  pages     = {209 S.},
  year      = {1995},
  language  = {en}
}
@article{Mayer1995,
  author    = {Mayer, Claudia},
  title     = {Between Resistance and Affirmation: Christa Wolf and German Unification},
  series = {Canadian review of comparative literature : CRCL = Revue canadienne de litt{\´e}rature compar{\´e}e / Canadian Comparative Literature Association. 22 (1995), H. 3-4},
  journal   = {Canadian review of comparative literature : CRCL = Revue canadienne de litt{\´e}rature compar{\´e}e / Canadian Comparative Literature Association. 22 (1995), H. 3-4},
  isbn      = {0319-051X},
  pages     = {813 -- 835},
  year      = {1995},
  language  = {en}
}
@article{HartungHorn1995,
  author    = {Hartung, Frank and Horn, U.},
  title     = {Codierung digitaler Videosignale nach dem MPEG-Standard / Hartung, F. ; Horn, U.},
  series = {Mikroelektronik + Mikrosystemtechnik. 9 (1995)},
  journal   = {Mikroelektronik + Mikrosystemtechnik. 9 (1995)},
  pages     = {18 -- 23},
  year      = {1995},
  language  = {de}
}
@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}
}
@article{Benkner1995,
  author    = {Benkner, Thorsten},
  title     = {Ein spektrumneutrales Mikrozellsystem mit Makro-Schirmzellen},
  series = {Mobile Kommunikation : Vortr{\"a}ge der ITG-Fachtagung vom 26. bis 28. September 1995 in Neu-Ulm / Veranst.: Informationstechnische Gesellschaft im VDE (ITG), ITG-Fachbereiche 1 "Kommunikationssysteme" ... Wiss. Tagungsleitung: Bernhard Walke},
  journal   = {Mobile Kommunikation : Vortr{\"a}ge der ITG-Fachtagung vom 26. bis 28. September 1995 in Neu-Ulm / Veranst.: Informationstechnische Gesellschaft im VDE (ITG), ITG-Fachbereiche 1 "Kommunikationssysteme" ... Wiss. Tagungsleitung: Bernhard Walke},
  publisher = {VDE-Verl.},
  address   = {Berlin [u.a.]},
  isbn      = {3-8007-2129-5},
  pages     = {542 S. : Ill., graph. Darst.},
  year      = {1995},
  language  = {de}
}
@article{HeuermannSchiek1995,
  author    = {Heuermann, Holger and Schiek, B.},
  title     = {Error corrected impedance measurements with a network analyzer},
  series = {IEEE transactions on instrumentation and measurement : IM / Institute of Electrical and Electronics Engineers, Instrumentation and Measurement Group. 44 (1995), H. 2},
  journal   = {IEEE transactions on instrumentation and measurement : IM / Institute of Electrical and Electronics Engineers, Instrumentation and Measurement Group. 44 (1995), H. 2},
  isbn      = {0018-9456},
  pages     = {295 -- 299},
  year      = {1995},
  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{Heuermann1995,
  author    = {Heuermann, Holger},
  title     = {LZY: A Self-Calibration Approach in Competition to the LRM Method for On-Wafer Measurements},
  pages     = {129 -- 136},
  year      = {1995},
  language  = {en}
}