TY  - JOUR
A1  - Hlawiczka, A.
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - A linear code-preserving signature analyzer COPMISR
Y1  - 1997
SN  - 0-8186-7810-0
ER  - 
TY  - BOOK
A1  - Seuring, Markus
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - A structural approach for space compaction for concurrent checking and BIST
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 01
PB  - Univ. Potsdam
CY  - Potsdam [u.a.]
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  - 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  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - Circumscribing inconsistency
Y1  - 1997
SN  - 1-558-60480-4
SN  - 1045-0823
ER  - 
TY  - JOUR
A1  - Hartje, Hendrik
A1  - Sogomonyan, Egor S.
A1  - Gössel, Michael
T1  - Code disjoint circuits for partity codes
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  - Delgrande, James Patrick
A1  - Schaub, Torsten H.
T1  - Compiling specificity into approaches to nonmonotonic reasoning
Y1  - 1997
SN  - 0004-3702
ER  - 
TY  - JOUR
A1  - Schwill, Andreas
T1  - Computer science education based on fundamental ideas
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  - Horn, Erika
A1  - Kupries, Mario
A1  - Glöde, Dirk
T1  - Eigenschaften und Modelle von Software-Agenten und Agenten-Systemen
JF  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1997
SN  - 0946-7580
VL  - 1997, 06
PB  - Inst. für Informatik
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Morosov, Andrej
A1  - Saposhnikov, V. V.
A1  - Saposhnikov, Vl. V.
A1  - Gössel, Michael
T1  - Ein Transformationsalgorithmus einer kombinatorischen Schaltung in eine monotone Schaltung
Y1  - 1997
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  - Schwill, Andreas
T1  - Fundamental ideas : rethinking computer science education
Y1  - 1997
ER  - 
TY  - JOUR
A1  - Schwill, Andreas
T1  - Grafische Datenverarbeitung : eine fruchtbare Verbindung von Mathematik und Informatik
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  - 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  - 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  - BOOK
T1  - Schülerduden, Informatik
Y1  - 1997
SN  - 3-411-04483-7
PB  - Dudenverl.
CY  - Mannheim
ER  - 
TY  - JOUR
A1  - Dimitriev, Alexej
A1  - Saposhnikov, Vl. V.
A1  - Gössel, Michael
A1  - Saposhnikov, V. V.
T1  - Self-dual duplication - a new method for on-line testing
Y1  - 1997
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  - JOUR
A1  - Saposhnikov, Vl. V.
A1  - Moshanin, Vl.
A1  - Saposhnikov, V. V.
A1  - Gössel, Michael
T1  - Self-dual multi output combinational circuits with output data compaction
Y1  - 1997
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  - Hartje, Hendrik
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - Synthesis of code-disjoint combinational circuits
Y1  - 1997
ER  - 
TY  - BOOK
A1  - Wilhelm, Otto
ED  - Budach, Lothar
T1  - Theoretische Grundlagen der Informatik : ein vorlesungsbegleitendes Manuskript für den internen Gebrauch am Institut ; Bd. 1 Automaten und Umwelten
Y1  - 1997
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - Towards a classification of default logic
Y1  - 1997
ER  -