TY  - JOUR
A1  - Bogue, Ted
A1  - Jürgensen, Helmut
A1  - Gössel, Michael
T1  - BIST with negligible aliasing through random cover circuits
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Brüning, Stefan
T1  - Prolog technology for default reasoning
Y1  - 1996
SN  - 0-471-96809-9
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - A simple signed system for paraconsistent reasoning
Y1  - 1996
SN  - 3-540-61630-6
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Thielscher, Michael
T1  - Skeptical query-answering in constrained default logic
Y1  - 1996
SN  - 3-540-61313-7
ER  - 
TY  - JOUR
A1  - Schaub, Torsten H.
A1  - Brüning, Stefan
A1  - Nicolas, Pascal
T1  - XRay : a prolog technology theorem prover for default reasoning: a system description
Y1  - 1996
SN  - 3-540-61511-3
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - Putting default logics in perspective
Y1  - 1996
SN  - 3-540-61708-6
ER  - 
TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten H.
T1  - A model-based approach to consistency-checking
Y1  - 1996
SN  - 3-540-61286-6
ER  - 
TY  - JOUR
A1  - Horn, Erika
A1  - Koutzevlov, Atanas
A1  - Rätsch, Gunnar
A1  - Schubert, Wolfgang
A1  - Tschapek, Alexej
T1  - Software system specification
JF  - HGG-Dokument
Y1  - 1996
VL  - UPHGG.010.4
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Schmidt, Henning
A1  - Berg, Ralph
A1  - Büttner, Lars
A1  - Cordson, Jörg
A1  - Luther, Eva-Maria
A1  - Schön, Friedrich
T1  - PEACE - Beispiel einer anwendungsorientierten Betriebssystemstruktur
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Schröder-Preikschat, Wolfgang
A1  - Garnatz, Thomas
A1  - Haack, Ute
A1  - Sander, Michael
T1  - Experience made with the design and development of a message-passing kernel for a dual-processor-node parallel computer
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Horn, Erika
A1  - Neuhaus, Alexander
A1  - Rätsch, Gunnar
A1  - Schubert, Wolfgang
A1  - Tschapek, Alexej
T1  - Software development plan
JF  - HGG-Dokument
Y1  - 1996
VL  - UPHGG.002.4
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Reinke, Thomas
T1  - Objektorientierte Modellierung eines Sicherheitskonzeptes für Verwaltungsvorgänge
JF  - MOSVO-Bericht
Y1  - 1996
VL  - UP.014.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Schulmeister, Thomas
A1  - Scheller, Frieder W.
T1  - The mathematics of exponential signal amplification in amperometric three enzyme electrodes
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Schulmeister, Thomas
A1  - Rose, Jürgen
A1  - Voigt, Horst
T1  - Some extensions of Schmidt's partition method for sequence comparison based on binary character amino acid properties
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Schwill, Andreas
T1  - Un approccio uniforme all'insegnamento dell'Informatica
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Pradhan, D. K.
A1  - Chatterjee, M.
A1  - Swarna, M.
A1  - Kunz, Wolfgang
T1  - Implication-based gate-level synthesis for low-power
Y1  - 1996
SN  - 0-7803-3571-6
ER  - 
TY  - JOUR
A1  - Kunz, Wolfgang
A1  - Reddy, S. M.
A1  - Subodh, M.
A1  - Pradhan, D. K.
T1  - Efficient logic verification in a synthesis environment
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Wildner, Uwe
T1  - Compiler assisted self-checking of structural integrity using return adress hashing
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Stoffel, Dominik
A1  - Kunz, Wolfgang
T1  - Logic equivalence checking by optimization techniues
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Saposhnikov, Va. V.
A1  - Morosov, Andrej
A1  - Saposhnikov, Vl. V.
A1  - Gössel, Michael
T1  - Design of self-checking unidirectional combinational circuits with low area overhead
Y1  - 1996
ER  -