TY - JOUR A1 - Dimitriev, Alexej A1 - Saposhnikov, V. V. A1 - Saposhnikov, Vl. V. A1 - Gössel, Michael T1 - Concurrent checking of sequential circuits by alternating inputs Y1 - 1999 ER - TY - JOUR A1 - Morosov, Andrej A1 - Gössel, Michael A1 - Hartje, Hendrik T1 - Reduced area overhead of the input party for code-disjoint circuits Y1 - 1999 ER - TY - JOUR A1 - Seuring, Markus A1 - Gössel, Michael T1 - A structural method for output compaction of sequential automata implemented as circuits Y1 - 1999 ER - TY - JOUR A1 - Bibel, Wolfgang A1 - Brüning, Stefan A1 - Otten, Jens A1 - Rath, Thomas A1 - Schaub, Torsten H. T1 - Compressions and extensions Y1 - 1998 ER - TY - JOUR A1 - Benhammadi, Farid A1 - Nicolas, Pascal A1 - Schaub, Torsten H. T1 - Extension calculus and query answering in prioritized default logic Y1 - 1998 SN - 3-540-64993-X ER - TY - BOOK A1 - Jürgensen, Helmut T1 - Towards computer science T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1998 SN - 0946-7580 VL - 1998, 03 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Linke, Thomas A1 - Schaub, Torsten H. T1 - An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem. Y1 - 1998 SN - 3-540-65141-1 ER - TY - JOUR A1 - Benhammadi, Farid A1 - Nicolas, Pascal A1 - Schaub, Torsten H. T1 - Extension calculus and query answering in prioritized default logic Y1 - 1998 SN - 3-540- 64993-X ER - TY - JOUR A1 - Besnard, Philippe A1 - Schaub, Torsten H. T1 - Signed systems for paraconsistent reasoning Y1 - 1998 ER - TY - JOUR A1 - Nicolas, Pascal A1 - Schaub, Torsten H. T1 - The XRay system : an implementation platform for local query-answering in default logics Y1 - 1998 SN - 3-540-65312-0 ER - TY - JOUR A1 - Besnard, Philippe A1 - Schaub, Torsten H. T1 - Characterization of non-monotone non-constructive systems Y1 - 1998 SN - 1012-2443 ER - TY - JOUR A1 - Schaub, Torsten H. A1 - Brüning, Stefan T1 - Prolog technology for default reasoning : proof theory and compilation techniques Y1 - 1998 ER - TY - JOUR A1 - Besnard, Philippe A1 - Schaub, Torsten H. T1 - Signed systems for paraconsistent reasoning Y1 - 1998 SN - 0168-7433 ER - TY - JOUR A1 - Schaub, Torsten H. T1 - The family of default logics Y1 - 1998 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten H. T1 - Reasoning with sets of preferences in default logic Y1 - 1998 SN - 3-540- 65271-x ER - TY - JOUR A1 - Börner, Ferdinand T1 - A remark on the finite lattice representation problem Y1 - 1998 ER - TY - JOUR A1 - Börner, Ferdinand A1 - Haddad, L. T1 - Maximal partial clones with no finite basis Y1 - 1998 ER - TY - JOUR A1 - Börner, Ferdinand A1 - Haddad, L. T1 - Generating sets for clones and partial clones Y1 - 1998 ER - TY - JOUR A1 - Moshanin, Vl. A1 - Otscheretnij, Vitalij A1 - Dimitriev, Alexej T1 - The impact of logic optimization on concurrent error detection Y1 - 1998 ER - TY - BOOK A1 - Marques de Carvalho, Jackson W. A1 - Jürgensen, Helmut T1 - Dynamic multi-purpose mathematics notation T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1998 SN - 0946-7580 VL - 1998, 04 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Horn, Erika A1 - Kupries, Mario A1 - Glöde, Dirk T1 - Properties and models of software agents and agent systems Y1 - 1998 SN - 1-577-35063-4 ER - TY - JOUR A1 - Horn, Erika A1 - Kupries, Mario A1 - Reinke, Thomas T1 - Object-oriented software architecture types for the substantiation, development and fabrication of agent application systems Y1 - 1998 ER - TY - JOUR A1 - Saposhnikov, V. V. A1 - Morosov, Andrej A1 - Saposhnikov, Vl. V. A1 - Gössel, Michael T1 - A new design method for self-checking unidirectional combinational circuits Y1 - 1998 ER - TY - JOUR A1 - Seuring, Markus A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - A structural approach for space compaction for concurrent checking and BIST Y1 - 1998 ER - TY - JOUR A1 - Saposhnikov, Vl. V. A1 - Saposhnikov, V. V. A1 - Dimitriev, Alexej A1 - Gössel, Michael T1 - Self-dual duplication for error detection Y1 - 1998 ER - TY - JOUR A1 - Sogomonyan, Egor S. A1 - Singh, Adit D. A1 - Gössel, Michael T1 - A scan based concrrent BIST approach for low cost on-line testing Y1 - 1998 ER - TY - JOUR A1 - Saposhnikov, Vl. V. A1 - Otscheretnij, Vitalij A1 - Saposhnikov, V. V. A1 - Gössel, Michael T1 - Design of Fault-Tolerant Circuits by self-dual Duplication Y1 - 1998 ER - TY - BOOK A1 - Seuring, Markus A1 - Gössel, Michael T1 - A structural approach for space compaction for sequential circuits T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1998 SN - 0946-7580 VL - 1998, 05 PB - Univ. CY - Potsdam ER - TY - JOUR A1 - Bogue, Ted A1 - Gössel, Michael A1 - Jürgensen, Helmut A1 - Zorian, Yervant T1 - Built-in self-Test with an alternating output Y1 - 1998 SN - 0-8186-8359-7 ER - TY - JOUR A1 - Otscheretnij, Vitalij A1 - Gössel, Michael A1 - Saposhnikov, Vl. V. A1 - Saposhnikov, V. V. T1 - Fault-tolerant self-dual circuits with error detection by parity- and group parity prediction Y1 - 1998 ER - TY - JOUR A1 - Sogomonyan, Egor S. A1 - Singh, Adit D. A1 - Gössel, Michael T1 - A multi-mode scannable memory element for high test application efficiency and delay testing Y1 - 1998 ER - TY - JOUR A1 - Morosov, Andrej A1 - Saposhnikov, V. V. A1 - Gössel, Michael T1 - Self-Checking circuits with unidiectionally independent outputs Y1 - 1998 ER - TY - JOUR A1 - Stoffel, Dominik A1 - Kunz, Wolfgang A1 - Gerber, Stefan T1 - And/Or reasoning graphs for determining prime implicants in multi-level combinational networks Y1 - 1997 ER - TY - THES A1 - Wildner, Uwe T1 - CASC : compiler assisted self-checking of structural integrity Y1 - 1997 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten H. T1 - Compiling specificity into approaches to nonmonotonic reasoning Y1 - 1997 SN - 0004-3702 ER - TY - JOUR A1 - Linke, Thomas A1 - Schaub, Torsten H. T1 - Towards a classification of default logic Y1 - 1997 ER - TY - JOUR A1 - Kunz, Wolfgang A1 - Stoffel, Dominik A1 - Menon, P. T1 - Logic optimization and equivalence checking by implication analysis Y1 - 1997 ER - TY - JOUR A1 - Stoffel, Dominik A1 - Kunz, Wolfgang T1 - Record & play : a structural fixed point iteration for sequential circuit verification Y1 - 1997 SN - 0-8186-8200-0 ER - TY - JOUR A1 - Wildner, Uwe T1 - Experimental evaluation of assigned signature checking with return address hashing on different platforms Y1 - 1997 ER - TY - JOUR A1 - Delgrande, James Patrick A1 - Schaub, Torsten H. T1 - Compiling reasoning with and about preferences into default logic Y1 - 1997 SN - 1-558-60480-4 SN - 1045-0823 ER - TY - JOUR A1 - Schwill, Andreas T1 - Computer science education based on fundamental ideas Y1 - 1997 ER - TY - JOUR A1 - Schwill, Andreas T1 - Fundamental ideas : rethinking computer science education Y1 - 1997 ER - TY - JOUR A1 - Schaub, Torsten H. A1 - Nicolas, Pascal T1 - An implementation platform for query-answering in default logics : the XRay system, its implementation and evaluation Y1 - 1997 SN - 3-540-63255-7 ER - TY - JOUR A1 - Schaub, Torsten H. A1 - Nicolas, Pascal T1 - An implementation platform for query-answering in default logics : theoretical underpinnings Y1 - 1997 SN - 3-540-63614-5 ER - TY - BOOK A1 - Saposhnikov, Vl. V. T1 - Self-dual duplication for error detection and testing T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1997 SN - 0946-7580 VL - 1997, 02 PB - Inst. für Informatik CY - Potsdam ER - TY - BOOK A1 - Stoffel, Dominik A1 - Kunz, Wolfgang T1 - Structural FSM traversal : theory and a practical algorithm T3 - Preprint / Universität Potsdam, Institut für Informatik Y1 - 1997 SN - 0946-7580 VL - 1997, 05 PB - Univ. Potsdam CY - Potsdam ER - TY - JOUR A1 - Besnard, Philippe A1 - Schaub, Torsten H. T1 - Circumscribing inconsistency Y1 - 1997 SN - 1-558-60480-4 SN - 1045-0823 ER - TY - JOUR A1 - Dimitriev, Alexej A1 - Saposhnikov, Vl. V. A1 - Gössel, Michael A1 - Saposhnikov, V. V. T1 - On-line testing by self-dual duplication Y1 - 1997 ER - TY - JOUR A1 - Morosov, Andrej A1 - Saposhnikov, Vl. V. A1 - Saposhnikov, V. V. A1 - Gössel, Michael T1 - Design of self dual fault-secure combinational circuits Y1 - 1997 ER - TY - JOUR A1 - Hartje, Hendrik A1 - Gössel, Michael A1 - Sogomonyan, Egor S. T1 - Synthesis of code-disjoint combinational circuits Y1 - 1997 ER -