TY  - JOUR
A1  - Hellebrand, Sybille
A1  - Rajski, Janusz
A1  - Tarnick, Steffen
A1  - Venkatraman, Srikanth
A1  - Courtois, Bernard
T1  - Built-in test for circuits with scan based on reseeding of multiole polynomial linear feedback shift registers
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Havemann, Ulrich
A1  - Grivtsov, A. G.
A1  - Merkulenko, N. N.
T1  - Molecular dynamics simulation of the association of model colloidal particles in two dimensions
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Liers, Achim
A1  - Michel, Mathias
T1  - Erfassung und Bewertung der Elektroenergiequalität in Netzen mit transienten Vorgängen
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Richter, Peter
T1  - A new deterministic approach for the optimization of cable layouts for power supply systems
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Schröder-Preikschat, Wolfgang
T1  - Experience developing an object-oriented parallel operating system
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Schröder-Preikschat, Wolfgang
A1  - Giloi, Wolfgang K.
T1  - The next generation parallel architecture - multiple executing threads
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Reddy, S. M.
A1  - Kunz, Wolfgang
A1  - Pradhan, D. K.
T1  - Novel verification framework combining structural and OBDD methods in a synthesis environment
Y1  - 1995
SN  - 0-8186-7213-7
SN  - 0-8186-7214-5
ER  - 
TY  - JOUR
A1  - Chatterjee, M.
A1  - Pradhan, D. K.
A1  - Kunz, Wolfgang
T1  - ATPG-based Transformations for random-pattern testable logic synthesis
Y1  - 1995
SN  - 0-8186-7213-7
SN  - 0-8186-7214-5
SN  - 0-8186-7215-3
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - Lemma handling in default logic theorem provers
Y1  - 1995
SN  - 3540601120
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
T1  - An approach to context-based default reasoning
Y1  - 1995
SN  - 0169-2968
ER  - 
TY  - JOUR
A1  - Thielscher, Michael
A1  - Schaub, Torsten H.
T1  - Default reasoning by deductive planning
Y1  - 1995
ER  - 
TY  - JOUR
A1  - Sogomonyan, Egor S.
A1  - Gössel, Michael
T1  - A new parity preserving multi-input signature analyser
Y1  - 1995
ER  - 
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  - 
TY  - JOUR
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - A parity-preserving multi-input signature analyzer and it application for concurrent checking and BIST
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Saposhnikov, Vl. V.
A1  - Dimitriev, Alexej
A1  - Gössel, Michael
A1  - Saposhnikov, Va. V.
T1  - Self-dual parity checking - a new method for on-line testing
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Kundu, S.
A1  - Sogomonyan, Egor S.
A1  - Gössel, Michael
A1  - Tarnick, Steffen
T1  - Self-checking comparator with one periodiv output
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - A new self-testing parity checker for ultra-reliable applications
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Moschanin, Wladimir
A1  - Saposhnikov, Vl. V.
A1  - Saposhnikov, Va. V.
A1  - Gössel, Michael
T1  - Synthesis of self-dual multi-output combinational circuits for on-line Teting
Y1  - 1996
ER  - 
TY  - JOUR
A1  - Sogomonyan, Egor S.
A1  - Gössel, Michael
T1  - Concurrently self-testing embedded checkers for ultra-reliable fault-tolerant systems
Y1  - 1996
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  - 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  - 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  - 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  - Schwill, Andreas
T1  - Grafische Datenverarbeitung : eine fruchtbare Verbindung von Mathematik und Informatik
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  -