@article{BesnardSchaub1993,
  author    = {Besnard, Philippe and Schaub, Torsten H.},
  title     = {A context-based framework for default logics},
  isbn      = {0-262-51071-5},
  year      = {1993},
  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}
}
@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{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{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{Richter1994,
  author    = {Richter, Peter},
  title     = {Efficient shortest path algorithms for road traffic optimization},
  year      = {1994},
  language  = {en}
}
@book{SchroederPreikschat1994,
  author    = {Schr{\"o}der-Preikschat, Wolfgang},
  title     = {The logical design of parallel operating systems},
  publisher = {Prentice Hall International},
  address   = {Englewood Cliffs},
  pages     = {370 S.},
  year      = {1994},
  language  = {en}
}
@article{SchroederPreikschat1994,
  author    = {Schr{\"o}der-Preikschat, Wolfgang},
  title     = {PEACE - software backplane for parallel computing},
  year      = {1994},
  language  = {en}
}
@article{Sommerfeld1994,
  author    = {Sommerfeld, Erdmute},
  title     = {Operations on cognitive structures : their modelling on the basis of graph theory},
  year      = {1994},
  language  = {en}
}
@article{KunzPradhan1994,
  author    = {Kunz, Wolfgang and Pradhan, D. K.},
  title     = {Recursive learning : a new implication technique for efficient solutions to CAD problems : test, verification and optimization},
  year      = {1994},
  language  = {en}
}
@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}
}
@phdthesis{Gerber1995,
  author    = {Gerber, Stefan},
  title     = {Using software for fault detection in arithmetical circuits},
  pages     = {123 S.},
  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{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{Richter1995,
  author    = {Richter, Peter},
  title     = {A new deterministic approach for the optimization of cable layouts for power supply systems},
  year      = {1995},
  language  = {en}
}
@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}
}
@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{SaposhnikovMorosovSaposhnikovetal.1996,
  author    = {Saposhnikov, Va. V. and Morosov, Andrej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {Design of self-checking unidirectional combinational circuits with low area overhead},
  year      = {1996},
  language  = {en}
}
@article{MoschaninSaposhnikovSaposhnikovetal.1996,
  author    = {Moschanin, Wladimir and Saposhnikov, Vl. V. and Saposhnikov, Va. V. and G{\"o}ssel, Michael},
  title     = {Synthesis of self-dual multi-output combinational circuits for on-line Teting},
  year      = {1996},
  language  = {en}
}
@article{SaposhnikovDimitrievGoesseletal.1996,
  author    = {Saposhnikov, Vl. V. and Dimitriev, Alexej and G{\"o}ssel, Michael and Saposhnikov, Va. V.},
  title     = {Self-dual parity checking - a new method for on-line testing},
  year      = {1996},
  language  = {en}
}
@article{GoesselSogomonyan1996,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A new self-testing parity checker for ultra-reliable applications},
  year      = {1996},
  language  = {en}
}
@article{SogomonyanGoessel1996,
  author    = {Sogomonyan, Egor S. and G{\"o}ssel, Michael},
  title     = {Concurrently self-testing embedded checkers for ultra-reliable fault-tolerant systems},
  year      = {1996},
  language  = {en}
}
@article{GoesselSogomonyan1996,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A parity-preserving multi-input signature analyzer and it application for concurrent checking and BIST},
  year      = {1996},
  language  = {en}
}
@article{KunduSogomonyanGoesseletal.1996,
  author    = {Kundu, S. and Sogomonyan, Egor S. and G{\"o}ssel, Michael and Tarnick, Steffen},
  title     = {Self-checking comparator with one periodiv output},
  year      = {1996},
  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}
}
@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{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}
}
@phdthesis{Kunz1996,
  author    = {Kunz, Wolfgang},
  title     = {Testing techniques in logic synthesis},
  pages     = {189 S.},
  year      = {1996},
  language  = {en}
}