@article{Tarnick1994,
  author    = {Tarnick, Steffen},
  title     = {Bounding error masking in linear output space compression schemes},
  year      = {1994},
  language  = {en}
}
@article{Tarnick1994,
  author    = {Tarnick, Steffen},
  title     = {Controllable self-checking checkers for conditional concurrent checking},
  year      = {1994},
  language  = {en}
}
@article{Boehlau1994,
  author    = {B{\"o}hlau, Peter},
  title     = {Zero aliasing compression based on groups of weakly independent outputs in circuits with high complexity for two fault models},
  year      = {1994},
  language  = {en}
}
@article{KunzMenon1994,
  author    = {Kunz, Wolfgang and Menon, P.},
  title     = {Multi-level logic optimization by implication analysis},
  isbn      = {0-89791-690-5},
  year      = {1994},
  language  = {en}
}
@article{Cobernuss1994,
  author    = {Cobernuss, M.},
  title     = {Bused interconnection network for parallel memory with linear storage},
  isbn      = {3-05-501602-5},
  year      = {1994},
  language  = {en}
}
@article{GoesselSogomonyan1994,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {Self-parity combinational-circuits for self-testing, concurrent fault-detection and parity scan design},
  year      = {1994},
  language  = {en}
}
@article{GoesselMorosovSaposhnikovetal.1994,
  author    = {G{\"o}ssel, Michael and Morosov, Andrej and Saposhnikov, V. V. and Saposhnikov, VL. V.},
  title     = {Design of combinational self-testing devices with unidirectionally independent outputs},
  year      = {1994},
  language  = {en}
}
@article{BogueJuergensenGoessel1994,
  author    = {Bogue, Ted and J{\"u}rgensen, Helmut and G{\"o}ssel, Michael},
  title     = {Design of cover circuits for monitoring the output of a MISR},
  isbn      = {0-8186-6307-3 , 0-8186-6306-5},
  year      = {1994},
  language  = {en}
}
@article{GoesselSogomonyan1994,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {Code disjoint self-parity combinational circuits for self-testing, concurrent fault detection and parity scan design},
  year      = {1994},
  language  = {en}
}
@article{GerberGoessel1994,
  author    = {Gerber, Stefan and G{\"o}ssel, Michael},
  title     = {Detection of permanent faults of a floating point adder by pseudoduplication},
  year      = {1994},
  language  = {en}
}
@phdthesis{Gerber1995,
  author    = {Gerber, Stefan},
  title     = {Using software for fault detection in arithmetical circuits},
  pages     = {123 S.},
  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}
}
@phdthesis{Schmidt1995,
  author    = {Schmidt, Henning},
  title     = {Dynamisch ver{\"a}nderbare Betriebssystemstrukturen},
  pages     = {XII, 141 S.},
  year      = {1995},
  language  = {de}
}
@book{OPUS4-27228,
  title     = {The journal of supercomputing : trends in parallel operating systems},
  editor    = {Schr{\"o}der-Preikschat, Wolfgang and Wu, Min-You},
  publisher = {Kluwer},
  address   = {Boston},
  pages     = {157 S.},
  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}
}
@phdthesis{Tarnick1995,
  author    = {Tarnick, Steffen},
  title     = {Data compression techniques for concurrent error detection and built-in self test},
  pages     = {159 S. : Ill.},
  year      = {1995},
  language  = {en}
}
@book{BartlHornReinke1995,
  author    = {Bartl, Peter and Horn, Erika and Reinke, Thomas},
  title     = {Modelltypen, Ausdrucksmittel, Beispiele f{\"u}r die Modellierung von Verwaltungsvorg{\"a}ngen},
  series = {MOSVO-Bericht},
  volume    = {UP.004.1},
  journal   = {MOSVO-Bericht},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1995},
  language  = {de}
}
@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}
}
@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{SchaubBruening1996,
  author    = {Schaub, Torsten H. and Br{\"u}ning, Stefan},
  title     = {Prolog technology for default reasoning},
  isbn      = {0-471-96809-9},
  year      = {1996},
  language  = {en}
}
@article{BesnardSchaub1996,
  author    = {Besnard, Philippe and Schaub, Torsten H.},
  title     = {A simple signed system for paraconsistent reasoning},
  isbn      = {3-540-61630-6},
  year      = {1996},
  language  = {en}
}
@article{SchaubThielscher1996,
  author    = {Schaub, Torsten H. and Thielscher, Michael},
  title     = {Skeptical query-answering in constrained default logic},
  isbn      = {3-540-61313-7},
  year      = {1996},
  language  = {en}
}
@article{SchaubBrueningNicolas1996,
  author    = {Schaub, Torsten H. and Br{\"u}ning, Stefan and Nicolas, Pascal},
  title     = {XRay : a prolog technology theorem prover for default reasoning: a system description},
  isbn      = {3-540-61511-3},
  year      = {1996},
  language  = {en}
}
@article{LinkeSchaub1996,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {Putting default logics in perspective},
  isbn      = {3-540-61708-6},
  year      = {1996},
  language  = {en}
}
@phdthesis{Morosov1996,
  author    = {Morosov, Andrej},
  title     = {Entwurf von selbstpr{\"u}fenden digitalen Schaltungen mit monoton unabh{\"a}ngigen Ausg{\"a}ngen},
  pages     = {85 S.},
  year      = {1996},
  language  = {de}
}
@article{BrueningSchaub1996,
  author    = {Br{\"u}ning, Stefan and Schaub, Torsten H.},
  title     = {A model-based approach to consistency-checking},
  isbn      = {3-540-61286-6},
  year      = {1996},
  language  = {en}
}
@article{HornKoutzevlovRaetschetal.1996,
  author    = {Horn, Erika and Koutzevlov, Atanas and R{\"a}tsch, Gunnar and Schubert, Wolfgang and Tschapek, Alexej},
  title     = {Software system specification},
  series = {HGG-Dokument},
  volume    = {UPHGG.010.4},
  journal   = {HGG-Dokument},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1996},
  language  = {en}
}
@article{SchmidtBergBuettneretal.1996,
  author    = {Schmidt, Henning and Berg, Ralph and B{\"u}ttner, Lars and Cordson, J{\"o}rg and Luther, Eva-Maria and Sch{\"o}n, Friedrich},
  title     = {PEACE - Beispiel einer anwendungsorientierten Betriebssystemstruktur},
  year      = {1996},
  language  = {de}
}
@article{SchroederPreikschatGarnatzHaacketal.1996,
  author    = {Schr{\"o}der-Preikschat, Wolfgang and Garnatz, Thomas and Haack, Ute and Sander, Michael},
  title     = {Experience made with the design and development of a message-passing kernel for a dual-processor-node parallel computer},
  year      = {1996},
  language  = {en}
}
@article{HornNeuhausRaetschetal.1996,
  author    = {Horn, Erika and Neuhaus, Alexander and R{\"a}tsch, Gunnar and Schubert, Wolfgang and Tschapek, Alexej},
  title     = {Software development plan},
  series = {HGG-Dokument},
  volume    = {UPHGG.002.4},
  journal   = {HGG-Dokument},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1996},
  language  = {en}
}
@book{HornReinke1996,
  author    = {Horn, Erika and Reinke, Thomas},
  title     = {Componentware-orientierte Softwarearchitektur unter Nutzung der CORBA-implemenation Orbix},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1996, 06},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  pages     = {30 Bl. : graph. Darst.},
  year      = {1996},
  language  = {de}
}
@phdthesis{Kunz1996,
  author    = {Kunz, Wolfgang},
  title     = {Testing techniques in logic synthesis},
  pages     = {189 S.},
  year      = {1996},
  language  = {en}
}
@article{Reinke1996,
  author    = {Reinke, Thomas},
  title     = {Objektorientierte Modellierung eines Sicherheitskonzeptes f{\"u}r Verwaltungsvorg{\"a}nge},
  series = {MOSVO-Bericht},
  volume    = {UP.014.1},
  journal   = {MOSVO-Bericht},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1996},
  language  = {de}
}
@article{SchulmeisterScheller1996,
  author    = {Schulmeister, Thomas and Scheller, Frieder W.},
  title     = {The mathematics of exponential signal amplification in amperometric three enzyme electrodes},
  year      = {1996},
  language  = {en}
}
@article{SchulmeisterRoseVoigt1996,
  author    = {Schulmeister, Thomas and Rose, J{\"u}rgen and Voigt, Horst},
  title     = {Some extensions of Schmidt's partition method for sequence comparison based on binary character amino acid properties},
  year      = {1996},
  language  = {en}
}
@article{Schwill1996,
  author    = {Schwill, Andreas},
  title     = {Un approccio uniforme all'insegnamento dell'Informatica},
  year      = {1996},
  language  = {it}
}
@book{BartlReinke1996,
  author    = {Bartl, Peter and Reinke, Thomas},
  title     = {Logisches Gesamtmodell der Vorgangsmodellierung},
  series = {MOSVO-Bericht},
  volume    = {UP.015.2},
  journal   = {MOSVO-Bericht},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1996},
  language  = {de}
}
@phdthesis{Gohlke1996,
  author    = {Gohlke, Mario},
  title     = {Konzept, Entwurf und Anwendungsanalyse eines fehlertoleranten modellbasierten Objekterkennungssystems zur Auswertung von Farbbildern},
  pages     = {117 S. : Ill.},
  year      = {1996},
  language  = {de}
}
@book{Horn1996,
  author    = {Horn, Erika},
  title     = {MOSVO-Rechnergest{\"u}tzte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationsstrukturen : Statusseminar},
  publisher = {BMBF-Verl.},
  address   = {Bonn},
  year      = {1996},
  language  = {de}
}