@article{ThielscherSchaub1995,
  author    = {Thielscher, Michael and Schaub, Torsten},
  title     = {Default reasoning by deductive planning},
  year      = {1995},
  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}
}
@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}
}
@article{PradhanChatterjeeSwarnaetal.1996,
  author    = {Pradhan, D. K. and Chatterjee, M. and Swarna, M. and Kunz, Wolfgang},
  title     = {Implication-based gate-level synthesis for low-power},
  isbn      = {0-7803-3571-6},
  year      = {1996},
  language  = {en}
}
@article{KunzReddySubodhetal.1996,
  author    = {Kunz, Wolfgang and Reddy, S. M. and Subodh, M. and Pradhan, D. K.},
  title     = {Efficient logic verification in a synthesis environment},
  year      = {1996},
  language  = {en}
}
@article{Wildner1996,
  author    = {Wildner, Uwe},
  title     = {Compiler assisted self-checking of structural integrity using return adress hashing},
  year      = {1996},
  language  = {en}
}
@article{StoffelKunz1996,
  author    = {Stoffel, Dominik and Kunz, Wolfgang},
  title     = {Logic equivalence checking by optimization techniues},
  year      = {1996},
  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{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{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{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{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{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{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{LinkeSchaub1996,
  author    = {Linke, Thomas and Schaub, Torsten},
  title     = {Putting default logics in perspective},
  isbn      = {3-540-61708-6},
  year      = {1996},
  language  = {en}
}
@article{SchaubThielscher1996,
  author    = {Schaub, Torsten and Thielscher, Michael},
  title     = {Skeptical query-answering in constrained default logic},
  isbn      = {3-540-61313-7},
  year      = {1996},
  language  = {en}
}
@article{BrueningSchaub1996,
  author    = {Br{\"u}ning, Stefan and Schaub, Torsten},
  title     = {A model-based approach to consistency-checking},
  isbn      = {3-540-61286-6},
  year      = {1996},
  language  = {en}
}
@article{SchaubBruening1996,
  author    = {Schaub, Torsten and Br{\"u}ning, Stefan},
  title     = {Prolog technology for default reasoning},
  isbn      = {0-471-96809-9},
  year      = {1996},
  language  = {en}
}
@article{SchaubBrueningNicolas1996,
  author    = {Schaub, Torsten 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{BesnardSchaub1996,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {A simple signed system for paraconsistent reasoning},
  isbn      = {3-540-61630-6},
  year      = {1996},
  language  = {en}
}
@article{StoffelKunzGerber1997,
  author    = {Stoffel, Dominik and Kunz, Wolfgang and Gerber, Stefan},
  title     = {And/Or reasoning graphs for determining prime implicants in multi-level combinational networks},
  year      = {1997},
  language  = {en}
}
@article{HornKupriesGloede1997,
  author    = {Horn, Erika and Kupries, Mario and Gl{\"o}de, Dirk},
  title     = {Eigenschaften und Modelle von Software-Agenten und Agenten-Systemen},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1997, 06},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Inst. f{\"u}r Informatik},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {82 Bl. : Ill.},
  year      = {1997},
  language  = {de}
}
@article{KunzStoffelMenon1997,
  author    = {Kunz, Wolfgang and Stoffel, Dominik and Menon, P.},
  title     = {Logic optimization and equivalence checking by implication analysis},
  year      = {1997},
  language  = {en}
}
@article{StoffelKunz1997,
  author    = {Stoffel, Dominik and Kunz, Wolfgang},
  title     = {Record \& play : a structural fixed point iteration for sequential circuit verification},
  isbn      = {0-8186-8200-0},
  year      = {1997},
  language  = {en}
}
@article{Wildner1997,
  author    = {Wildner, Uwe},
  title     = {Experimental evaluation of assigned signature checking with return address hashing on different platforms},
  year      = {1997},
  language  = {en}
}
@article{Schwill1997,
  author    = {Schwill, Andreas},
  title     = {Computer science education based on fundamental ideas},
  year      = {1997},
  language  = {en}
}
@article{Schwill1997,
  author    = {Schwill, Andreas},
  title     = {Fundamental ideas : rethinking computer science education},
  year      = {1997},
  language  = {en}
}
@article{Schwill1997,
  author    = {Schwill, Andreas},
  title     = {Grafische Datenverarbeitung : eine fruchtbare Verbindung von Mathematik und Informatik},
  year      = {1997},
  language  = {de}
}
@article{DimitrievSaposhnikovGoesseletal.1997,
  author    = {Dimitriev, Alexej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael and Saposhnikov, V. V.},
  title     = {On-line testing by self-dual duplication},
  year      = {1997},
  language  = {en}
}
@article{MorosovSaposhnikovSaposhnikovetal.1997,
  author    = {Morosov, Andrej and Saposhnikov, Vl. V. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Design of self dual fault-secure combinational circuits},
  year      = {1997},
  language  = {en}
}
@article{HartjeGoesselSogomonyan1997,
  author    = {Hartje, Hendrik and G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {Synthesis of code-disjoint combinational circuits},
  year      = {1997},
  language  = {en}
}
@article{MorosovSaposhnikovSaposhnikovetal.1997,
  author    = {Morosov, Andrej and Saposhnikov, V. V. and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {Ein Transformationsalgorithmus einer kombinatorischen Schaltung in eine monotone Schaltung},
  year      = {1997},
  language  = {de}
}
@article{HartjeSogomonyanGoessel1997,
  author    = {Hartje, Hendrik and Sogomonyan, Egor S. and G{\"o}ssel, Michael},
  title     = {Code disjoint circuits for partity codes},
  year      = {1997},
  language  = {en}
}
@article{HlawiczkaGoesselSogomonyan1997,
  author    = {Hlawiczka, A. and G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A linear code-preserving signature analyzer COPMISR},
  isbn      = {0-8186-7810-0},
  year      = {1997},
  language  = {en}
}
@article{DimitrievSaposhnikovGoesseletal.1997,
  author    = {Dimitriev, Alexej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael and Saposhnikov, V. V.},
  title     = {Self-dual duplication - a new method for on-line testing},
  year      = {1997},
  language  = {en}
}
@article{SaposhnikovMoshaninSaposhnikovetal.1997,
  author    = {Saposhnikov, Vl. V. and Moshanin, Vl. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Self-dual multi output combinational circuits with output data compaction},
  year      = {1997},
  language  = {en}
}
@article{SchaubNicolas1997,
  author    = {Schaub, Torsten and Nicolas, Pascal},
  title     = {An implementation platform for query-answering in default logics : the XRay system, its implementation and evaluation},
  isbn      = {3-540-63255-7},
  year      = {1997},
  language  = {en}
}
@article{SchaubNicolas1997,
  author    = {Schaub, Torsten and Nicolas, Pascal},
  title     = {An implementation platform for query-answering in default logics : theoretical underpinnings},
  isbn      = {3-540-63614-5},
  year      = {1997},
  language  = {en}
}
@article{DelgrandeSchaub1997,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {Compiling reasoning with and about preferences into default logic},
  isbn      = {1-558-60480-4},
  issn      = {1045-0823},
  year      = {1997},
  language  = {en}
}
@article{BesnardSchaub1997,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {Circumscribing inconsistency},
  isbn      = {1-558-60480-4},
  issn      = {1045-0823},
  year      = {1997},
  language  = {en}
}
@article{DelgrandeSchaub1997,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {Compiling specificity into approaches to nonmonotonic reasoning},
  issn      = {0004-3702},
  year      = {1997},
  language  = {en}
}
@article{LinkeSchaub1997,
  author    = {Linke, Thomas and Schaub, Torsten},
  title     = {Towards a classification of default logic},
  year      = {1997},
  language  = {en}
}
@article{Boerner1998,
  author    = {B{\"o}rner, Ferdinand},
  title     = {A remark on the finite lattice representation problem},
  year      = {1998},
  language  = {en}
}
@article{BoernerHaddad1998,
  author    = {B{\"o}rner, Ferdinand and Haddad, L.},
  title     = {Maximal partial clones with no finite basis},
  year      = {1998},
  language  = {en}
}
@article{BoernerHaddad1998,
  author    = {B{\"o}rner, Ferdinand and Haddad, L.},
  title     = {Generating sets for clones and partial clones},
  year      = {1998},
  language  = {en}
}
@article{MoshaninOtscheretnijDimitriev1998,
  author    = {Moshanin, Vl. and Otscheretnij, Vitalij and Dimitriev, Alexej},
  title     = {The impact of logic optimization on concurrent error detection},
  year      = {1998},
  language  = {en}
}
@article{HornKupriesGloede1998,
  author    = {Horn, Erika and Kupries, Mario and Gl{\"o}de, Dirk},
  title     = {Properties and models of software agents and agent systems},
  isbn      = {1-577-35063-4},
  year      = {1998},
  language  = {en}
}
@article{HornKupriesReinke1998,
  author    = {Horn, Erika and Kupries, Mario and Reinke, Thomas},
  title     = {Object-oriented software architecture types for the substantiation, development and fabrication of agent application systems},
  year      = {1998},
  language  = {en}
}
@article{SaposhnikovMorosovSaposhnikovetal.1998,
  author    = {Saposhnikov, V. V. and Morosov, Andrej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {A new design method for self-checking unidirectional combinational circuits},
  year      = {1998},
  language  = {en}
}
@article{SeuringGoesselSogomonyan1998,
  author    = {Seuring, Markus and G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {A structural approach for space compaction for concurrent checking and BIST},
  year      = {1998},
  language  = {en}
}
@article{SaposhnikovSaposhnikovDimitrievetal.1998,
  author    = {Saposhnikov, Vl. V. and Saposhnikov, V. V. and Dimitriev, Alexej and G{\"o}ssel, Michael},
  title     = {Self-dual duplication for error detection},
  year      = {1998},
  language  = {en}
}
@article{SogomonyanSinghGoessel1998,
  author    = {Sogomonyan, Egor S. and Singh, Adit D. and G{\"o}ssel, Michael},
  title     = {A scan based concrrent BIST approach for low cost on-line testing},
  year      = {1998},
  language  = {en}
}
@article{SaposhnikovOtscheretnijSaposhnikovetal.1998,
  author    = {Saposhnikov, Vl. V. and Otscheretnij, Vitalij and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Design of Fault-Tolerant Circuits by self-dual Duplication},
  year      = {1998},
  language  = {en}
}
@article{SeuringGoesselSogomonyan1998,
  author    = {Seuring, Markus and G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {Ein strukturelles Verfahren zur Kompaktierung von Schaltungsausgaben f{\"u}r online-Fehlererkennungen und Selbstests},
  year      = {1998},
  language  = {de}
}
@article{BogueGoesselJuergensenetal.1998,
  author    = {Bogue, Ted and G{\"o}ssel, Michael and J{\"u}rgensen, Helmut and Zorian, Yervant},
  title     = {Built-in self-Test with an alternating output},
  isbn      = {0-8186-8359-7},
  year      = {1998},
  language  = {en}
}
@article{OtscheretnijGoesselSaposhnikovetal.1998,
  author    = {Otscheretnij, Vitalij and G{\"o}ssel, Michael and Saposhnikov, Vl. V. and Saposhnikov, V. V.},
  title     = {Fault-tolerant self-dual circuits with error detection by parity- and group parity prediction},
  year      = {1998},
  language  = {en}
}
@article{SogomonyanSinghGoessel1998,
  author    = {Sogomonyan, Egor S. and Singh, Adit D. and G{\"o}ssel, Michael},
  title     = {A multi-mode scannable memory element for high test application efficiency and delay testing},
  year      = {1998},
  language  = {en}
}
@article{GoesselSogomonyan1998,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {On-line Test auf der Grundlage eines die Parit{\"a}t erhaltenden Signaturanalysators},
  year      = {1998},
  language  = {de}
}
@article{MorosovSaposhnikovGoessel1998,
  author    = {Morosov, Andrej and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Self-Checking circuits with unidiectionally independent outputs},
  year      = {1998},
  language  = {en}
}
@article{NicolasSchaub1998,
  author    = {Nicolas, Pascal and Schaub, Torsten},
  title     = {Un cadre g{\´e}n{\´e}ral pour l'interrogation automatique en logiques des d{\´e}fauts},
  year      = {1998},
  language  = {fr}
}
@article{VolkmannLinkeWaschulziketal.1998,
  author    = {Volkmann, Gerald and Linke, Thomas and Waschulzik, Thomas and Ohmes, Rick and Schaub, Torsten and Wischnewsky, M.},
  title     = {HExProSA - ein hybrides Expertensystem zur Prozeßkontrolle und St{\"o}rfallanalyse von Abwasserbehandlungsanlagen : Erfahrungen bei der Evaluierung eines Prototypen},
  year      = {1998},
  language  = {de}
}
@article{BenhammadiNicolasSchaub1998,
  author    = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten},
  title     = {Extension calculus and query answering in prioritized default logic},
  isbn      = {3-540- 64993-X},
  year      = {1998},
  language  = {en}
}
@article{BenhammadiNicolasSchaub1998,
  author    = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten},
  title     = {Extension calculus and query answering in prioritized default logic},
  isbn      = {3-540-64993-X},
  year      = {1998},
  language  = {en}
}
@article{DelgrandeSchaub1998,
  author    = {Delgrande, James Patrick and Schaub, Torsten},
  title     = {Reasoning with sets of preferences in default logic},
  isbn      = {3-540- 65271-x},
  year      = {1998},
  language  = {en}
}
@article{BibelBrueningOttenetal.1998,
  author    = {Bibel, Wolfgang and Br{\"u}ning, Stefan and Otten, Jens and Rath, Thomas and Schaub, Torsten},
  title     = {Compressions and extensions},
  year      = {1998},
  language  = {en}
}
@article{BesnardSchaub1998,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {Characterization of non-monotone non-constructive systems},
  issn      = {1012-2443},
  year      = {1998},
  language  = {en}
}
@article{BesnardSchaub1998,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {Signed systems for paraconsistent reasoning},
  issn      = {0168-7433},
  year      = {1998},
  language  = {en}
}
@article{SchaubBruening1998,
  author    = {Schaub, Torsten and Br{\"u}ning, Stefan},
  title     = {Prolog technology for default reasoning : proof theory and compilation techniques},
  year      = {1998},
  language  = {en}
}
@article{Schaub1998,
  author    = {Schaub, Torsten},
  title     = {The family of default logics},
  year      = {1998},
  language  = {en}
}
@article{NicolasSchaub1998,
  author    = {Nicolas, Pascal and Schaub, Torsten},
  title     = {The XRay system : an implementation platform for local query-answering in default logics},
  isbn      = {3-540-65312-0},
  year      = {1998},
  language  = {en}
}
@article{BesnardSchaub1998,
  author    = {Besnard, Philippe and Schaub, Torsten},
  title     = {Signed systems for paraconsistent reasoning},
  year      = {1998},
  language  = {en}
}
@article{LinkeSchaub1998,
  author    = {Linke, Thomas and Schaub, Torsten},
  title     = {An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem.},
  isbn      = {3-540-65141-1},
  year      = {1998},
  language  = {en}
}
@article{HornKupriesReinke1999,
  author    = {Horn, Erika and Kupries, Mario and Reinke, Thomas},
  title     = {Properties and models of software agents and prefabrication for agent application systems},
  isbn      = {0-7695-0001-3 , 0-7695-0002-1 , 0-7695-0003-X},
  year      = {1999},
  language  = {en}
}
@article{ReinkeGloedeLauertetal.1999,
  author    = {Reinke, Thomas and Gl{\"o}de, Dirk and Lauert, Alexander and Kupries, Mario and Horn, Erika},
  title     = {An architecture type-based development environment for agent application systems},
  isbn      = {3-9501023-0-2},
  year      = {1999},
  language  = {en}
}
@article{Kupries1999,
  author    = {Kupries, Mario},
  title     = {ADE : An architecture type-based development environment for agent application systems},
  year      = {1999},
  language  = {en}
}
@article{KupriesNoseleit1999,
  author    = {Kupries, Mario and Noseleit, Christof},
  title     = {Software architecture type-based interagent connections},
  isbn      = {158113066X},
  year      = {1999},
  language  = {en}
}
@article{HornReinke1999,
  author    = {Horn, Erika and Reinke, Thomas},
  title     = {Musterarchitekturen und Entwicklungsmethoden f{\"u}r Multiagentensysteme in betriebswirtschaftlichen Anwendungen},
  year      = {1999},
  language  = {de}
}
@article{HornReinkeKupries1999,
  author    = {Horn, Erika and Reinke, Thomas and Kupries, Mario},
  title     = {Software-Agentsysteme : Konzepte, Anwendungsgebiete, Nutzen},
  isbn      = {3-929642-28-x},
  year      = {1999},
  language  = {de}
}
@article{Seuring1999,
  author    = {Seuring, Markus},
  title     = {Built-in self test mit multi-mode scannable memory elementen},
  year      = {1999},
  language  = {en}
}
@article{NeumannStoffelHartjeetal.1999,
  author    = {Neumann, I. and Stoffel, Dominik and Hartje, Hendrik and Kunz, Wolfgang},
  title     = {Cell replication and redundancy elimination during placement for cycle time optimization},
  year      = {1999},
  language  = {en}
}
@article{Kupries1999,
  author    = {Kupries, Mario},
  title     = {Connector-aided coordination in agent systems},
  year      = {1999},
  language  = {en}
}
@article{SeuringGoessel1999,
  author    = {Seuring, Markus and G{\"o}ssel, Michael},
  title     = {A structural approach for space compaction for sequential circuits},
  year      = {1999},
  language  = {en}
}
@article{SinghSogomonyanGoesseletal.1999,
  author    = {Singh, Adit D. and Sogomonyan, Egor S. and G{\"o}ssel, Michael and Seuring, Markus},
  title     = {Testability evaluation of sequential designs incorporating the multi-mode scannable memory element},
  year      = {1999},
  language  = {en}
}
@article{SaposhnikovSaposhnikovGoesseletal.1999,
  author    = {Saposhnikov, V. V. and Saposhnikov, Vl. V. and G{\"o}ssel, Michael and Morosov, Andrej},
  title     = {A method of construction of combinational self-checking units with detection of all single faults},
  year      = {1999},
  language  = {en}
}
@article{GoesselSogomonyanMorosov1999,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S. and Morosov, Andrej},
  title     = {A new totally error propagating compactor for arbitrary cores with digital interfaces},
  year      = {1999},
  language  = {en}
}
@article{DmitrievSaposhnikovSaposhnikovetal.1999,
  author    = {Dmitriev, Alexej and Saposhnikov, V. V. and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {Self-dual sequential circuits for concurrent chechking},
  isbn      = {0-7695-0390-X ; 0-7695-0391-8},
  year      = {1999},
  language  = {en}
}
@article{SogomonyanSinghGoessel1999,
  author    = {Sogomonyan, Egor S. and Singh, Adit D. and G{\"o}ssel, Michael},
  title     = {A multi-mode scannable memory element for high test application efficiency and delay testing},
  year      = {1999},
  language  = {en}
}
@article{OtscheretnijSaposhnikovSaposhnikovetal.1999,
  author    = {Otscheretnij, Vitalij and Saposhnikov, Vl. V. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Fault-tolerant self-dual circuits},
  year      = {1999},
  language  = {en}
}
@article{SaposhnikovMoshaninSaposhnikovetal.1999,
  author    = {Saposhnikov, Vl. V. V. V. and Moshanin, Vl. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Experimental results for self-dual multi-output combinational circuits},
  year      = {1999},
  language  = {en}
}
@article{GoesselDimitrievSaposhnikovetal.1999,
  author    = {G{\"o}ssel, Michael and Dimitriev, Alexej and Saposhnikov, V. V. and Saposhnikov, Vl. V.},
  title     = {Eine selbsttestende Struktur zur on-line Fehlererkennung in kombinatorischen Schaltungen},
  year      = {1999},
  language  = {de}
}
@article{SaposhnikovOcheretnijSaposhnikovetal.1999,
  author    = {Saposhnikov, Vl. V. and Ocheretnij, V. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Modified TMR-system with reduced hardware overhead},
  year      = {1999},
  language  = {en}
}
@article{GoesselSogomonyan1999,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {New totally self-checking ripple and carry look-ahead adders},
  year      = {1999},
  language  = {en}
}
@article{Goessel1999,
  author    = {G{\"o}ssel, Michael},
  title     = {A new method of redundancy addition for circuit optimization},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 08},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {9 Bl.},
  year      = {1999},
  language  = {en}
}
@article{DimitrievSaposhnikovSaposhnikovetal.1999,
  author    = {Dimitriev, Alexej and Saposhnikov, V. V. and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {Concurrent checking of sequential circuits by alternating inputs},
  year      = {1999},
  language  = {en}
}