TY  - JOUR
A1  - Seuring, Markus
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - Ein strukturelles Verfahren zur Kompaktierung von Schaltungsausgaben für online-Fehlererkennungen und Selbstests
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  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - On-line Test auf der Grundlage eines die Parität erhaltenden Signaturanalysators
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  - 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  - 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  - 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  - 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  - 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  - Volkmann, Gerald
A1  - Linke, Thomas
A1  - Waschulzik, Thomas
A1  - Ohmes, Rick
A1  - Schaub, Torsten H.
A1  - Wischnewsky, M.
T1  - HExProSA - ein hybrides Expertensystem zur Prozeßkontrolle und Störfallanalyse von Abwasserbehandlungsanlagen : Erfahrungen bei der Evaluierung eines Prototypen
Y1  - 1998
UR  - http://home.zait.uni-bremen.de/~gerald/papers/pius-papers.html
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  - Nicolas, Pascal
A1  - Schaub, Torsten H.
T1  - Un cadre général pour l'interrogation automatique en logiques des défauts
Y1  - 1998
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  - 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  -