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  - BOOK
A1  - Horn, Erika
A1  - Reinke, Thomas
T1  - Componentware-orientierte Softwarearchitektur unter Nutzung der CORBA-implemenation Orbix
T3  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1996
VL  - 1996, 06
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - THES
A1  - Kunz, Wolfgang
T1  - Testing techniques in logic synthesis
Y1  - 1996
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  - BOOK
A1  - Bartl, Peter
A1  - Reinke, Thomas
T1  - Logisches Gesamtmodell der Vorgangsmodellierung
T3  - MOSVO-Bericht
Y1  - 1996
VL  - UP.015.2
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - THES
A1  - Gohlke, Mario
T1  - Konzept, Entwurf und Anwendungsanalyse eines fehlertoleranten modellbasierten Objekterkennungssystems zur Auswertung von Farbbildern
Y1  - 1996
ER  - 
TY  - BOOK
A1  - Horn, Erika
T1  - MOSVO-Rechnergestützte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationsstrukturen : Statusseminar
Y1  - 1996
PB  - BMBF-Verl.
CY  - Bonn
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  - BOOK
A1  - Koutzevlov, Atanas
A1  - Tschapek, Alexej
T1  - Software & interface requirements specifications
T3  - HGG-Dokument
Y1  - 1996
VL  - UPHGG.014.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Koutzevlov, Atanas
A1  - Schubert, Wolfgang
A1  - Tschapek, Alexej
T1  - Software test plan & test description
T3  - HGG-Dokument
Y1  - 1996
VL  - UPHGG.016.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Kupries, Mario
T1  - Datenhaltung und Evolution objektorientierter Modelle von Geschäftsprozessen im Datenverwaltungssystem O2
T3  - MOSVO-Bericht
Y1  - 1996
VL  - UP.019.1
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Liers, Achim
A1  - Michel, Mathias
A1  - Stavenhagen, Tilo
T1  - Zwischenbericht MUBOSE
Y1  - 1996
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - BOOK
A1  - Richter, Peter
T1  - Efficient deterministic approaches solving the general layout problem in graphs : Forschungsbericht
Y1  - 1996
PB  - Univ.
CY  - Potsdam
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  - 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  - 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  - 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  - 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  - BOOK
T1  - Schülerduden, Informatik
Y1  - 1997
SN  - 3-411-04483-7
PB  - Dudenverl.
CY  - Mannheim
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  - 
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  - 
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  - Hartje, Hendrik
A1  - Sogomonyan, Egor S.
A1  - Gössel, Michael
T1  - Code disjoint circuits for partity codes
Y1  - 1997
ER  -