@article{SogomonyanGoessel1995,
  author    = {Sogomonyan, Egor S. and G{\"o}ssel, Michael},
  title     = {A new parity preserving multi-input signature analyser},
  year      = {1995},
  language  = {en}
}
@article{BogueJuergensenGoessel1995,
  author    = {Bogue, Ted and J{\"u}rgensen, Helmut and G{\"o}ssel, Michael},
  title     = {BIST with negligible aliasing through random cover circuits},
  year      = {1995},
  language  = {en}
}
@article{Gohlke1995,
  author    = {Gohlke, Mario},
  title     = {A new approach for model-based recognition using colour regions},
  year      = {1995},
  language  = {en}
}
@article{Tarnick1995,
  author    = {Tarnick, Steffen},
  title     = {Controllable self-checking checkers for conditional concurrent checking},
  year      = {1995},
  language  = {en}
}
@article{HellebrandRajskiTarnicketal.1995,
  author    = {Hellebrand, Sybille and Rajski, Janusz and Tarnick, Steffen and Venkatraman, Srikanth and Courtois, Bernard},
  title     = {Built-in test for circuits with scan based on reseeding of multiole polynomial linear feedback shift registers},
  year      = {1995},
  language  = {en}
}
@article{HavemannGrivtsovMerkulenko1995,
  author    = {Havemann, Ulrich and Grivtsov, A. G. and Merkulenko, N. N.},
  title     = {Molecular dynamics simulation of the association of model colloidal particles in two dimensions},
  year      = {1995},
  language  = {en}
}
@article{LiersMichel1995,
  author    = {Liers, Achim and Michel, Mathias},
  title     = {Erfassung und Bewertung der Elektroenergiequalit{\"a}t in Netzen mit transienten Vorg{\"a}ngen},
  year      = {1995},
  language  = {de}
}
@article{Richter1995,
  author    = {Richter, Peter},
  title     = {A new deterministic approach for the optimization of cable layouts for power supply systems},
  year      = {1995},
  language  = {en}
}
@article{SchroederPreikschat1995,
  author    = {Schr{\"o}der-Preikschat, Wolfgang},
  title     = {Experience developing an object-oriented parallel operating system},
  year      = {1995},
  language  = {en}
}
@article{SchroederPreikschatGiloi1995,
  author    = {Schr{\"o}der-Preikschat, Wolfgang and Giloi, Wolfgang K.},
  title     = {The next generation parallel architecture - multiple executing threads},
  year      = {1995},
  language  = {en}
}
@article{ReddyKunzPradhan1995,
  author    = {Reddy, S. M. and Kunz, Wolfgang and Pradhan, D. K.},
  title     = {Novel verification framework combining structural and OBDD methods in a synthesis environment},
  isbn      = {0-8186-7213-7},
  year      = {1995},
  language  = {en}
}
@article{ChatterjeePradhanKunz1995,
  author    = {Chatterjee, M. and Pradhan, D. K. and Kunz, Wolfgang},
  title     = {ATPG-based Transformations for random-pattern testable logic synthesis},
  isbn      = {0-8186-7213-7},
  year      = {1995},
  language  = {en}
}
@article{LinkeSchaub1995,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {Lemma handling in default logic theorem provers},
  isbn      = {3540601120},
  year      = {1995},
  language  = {en}
}
@article{BesnardSchaub1995,
  author    = {Besnard, Philippe and Schaub, Torsten H.},
  title     = {An approach to context-based default reasoning},
  issn      = {0169-2968},
  year      = {1995},
  language  = {en}
}
@article{ThielscherSchaub1995,
  author    = {Thielscher, Michael and Schaub, Torsten H.},
  title     = {Default reasoning by deductive planning},
  year      = {1995},
  language  = {en}
}