TY  - JOUR
A1  - Thielscher, Michael
A1  - Schaub, Torsten
T1  - Default reasoning by deductive planning
Y1  - 1995
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  - Linke, Thomas
A1  - Schaub, Torsten
T1  - Putting default logics in perspective
Y1  - 1996
SN  - 3-540-61708-6
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
A1  - Thielscher, Michael
T1  - Skeptical query-answering in constrained default logic
Y1  - 1996
SN  - 3-540-61313-7
ER  - 
TY  - JOUR
A1  - Brüning, Stefan
A1  - Schaub, Torsten
T1  - A model-based approach to consistency-checking
Y1  - 1996
SN  - 3-540-61286-6
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
A1  - Brüning, Stefan
T1  - Prolog technology for default reasoning
Y1  - 1996
SN  - 0-471-96809-9
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
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  - Besnard, Philippe
A1  - Schaub, Torsten
T1  - A simple signed system for paraconsistent reasoning
Y1  - 1996
SN  - 3-540-61630-6
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  - 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  - 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  - 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  - 
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  - 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  - 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  - JOUR
A1  - Schaub, Torsten
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
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  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - Compiling reasoning with and about preferences into default logic
Y1  - 1997
SN  - 1-558-60480-4
SN  - 1045-0823
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten
T1  - Circumscribing inconsistency
Y1  - 1997
SN  - 1-558-60480-4
SN  - 1045-0823
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - Compiling specificity into approaches to nonmonotonic reasoning
Y1  - 1997
SN  - 0004-3702
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten
T1  - Towards a classification of default logic
Y1  - 1997
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  - 
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  - 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  - 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  - 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  - 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  - 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  - Nicolas, Pascal
A1  - Schaub, Torsten
T1  - Un cadre général pour l'interrogation automatique en logiques des défauts
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Volkmann, Gerald
A1  - Linke, Thomas
A1  - Waschulzik, Thomas
A1  - Ohmes, Rick
A1  - Schaub, Torsten
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
T1  - Extension calculus and query answering in prioritized default logic
Y1  - 1998
SN  - 3-540- 64993-X
ER  - 
TY  - JOUR
A1  - Benhammadi, Farid
A1  - Nicolas, Pascal
A1  - Schaub, Torsten
T1  - Extension calculus and query answering in prioritized default logic
Y1  - 1998
SN  - 3-540-64993-X
ER  - 
TY  - JOUR
A1  - Delgrande, James Patrick
A1  - Schaub, Torsten
T1  - Reasoning with sets of preferences in default logic
Y1  - 1998
SN  - 3-540- 65271-x
ER  - 
TY  - JOUR
A1  - Bibel, Wolfgang
A1  - Brüning, Stefan
A1  - Otten, Jens
A1  - Rath, Thomas
A1  - Schaub, Torsten
T1  - Compressions and extensions
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten
T1  - Characterization of non-monotone non-constructive systems
Y1  - 1998
SN  - 1012-2443
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten
T1  - Signed systems for paraconsistent reasoning
Y1  - 1998
SN  - 0168-7433
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
A1  - Brüning, Stefan
T1  - Prolog technology for default reasoning : proof theory and compilation techniques
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Schaub, Torsten
T1  - The family of default logics
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Nicolas, Pascal
A1  - Schaub, Torsten
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  - Besnard, Philippe
A1  - Schaub, Torsten
T1  - Signed systems for paraconsistent reasoning
Y1  - 1998
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Schaub, Torsten
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  - Horn, Erika
A1  - Kupries, Mario
A1  - Reinke, Thomas
T1  - Properties and models of software agents and prefabrication for agent application systems
Y1  - 1999
SN  - 0-7695-0001-3 , 0-7695-0002-1 , 0-7695-0003-X
ER  - 
TY  - JOUR
A1  - Reinke, Thomas
A1  - Glöde, Dirk
A1  - Lauert, Alexander
A1  - Kupries, Mario
A1  - Horn, Erika
T1  - An architecture type-based development environment for agent application systems
Y1  - 1999
SN  - 3-9501023-0-2
ER  - 
TY  - JOUR
A1  - Kupries, Mario
T1  - ADE : An architecture type-based development environment for agent application systems
Y1  - 1999
UR  - http://www.agentlink.org/newsletter/
ER  - 
TY  - JOUR
A1  - Kupries, Mario
A1  - Noseleit, Christof
T1  - Software architecture type-based interagent connections
Y1  - 1999
SN  - 158113066X
ER  - 
TY  - JOUR
A1  - Horn, Erika
A1  - Reinke, Thomas
T1  - Musterarchitekturen und Entwicklungsmethoden für Multiagentensysteme in betriebswirtschaftlichen Anwendungen
Y1  - 1999
UR  - http://www.cs.uni-potsdam.de/
ER  - 
TY  - JOUR
A1  - Horn, Erika
A1  - Reinke, Thomas
A1  - Kupries, Mario
T1  - Software-Agentsysteme : Konzepte, Anwendungsgebiete, Nutzen
Y1  - 1999
SN  - 3-929642-28-x
ER  - 
TY  - JOUR
A1  - Seuring, Markus
T1  - Built-in self test mit multi-mode scannable memory elementen
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Neumann, I.
A1  - Stoffel, Dominik
A1  - Hartje, Hendrik
A1  - Kunz, Wolfgang
T1  - Cell replication and redundancy elimination during placement for cycle time optimization
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Kupries, Mario
T1  - Connector-aided coordination in agent systems
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Seuring, Markus
A1  - Gössel, Michael
T1  - A structural approach for space compaction for sequential circuits
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Singh, Adit D.
A1  - Sogomonyan, Egor S.
A1  - Gössel, Michael
A1  - Seuring, Markus
T1  - Testability evaluation of sequential designs incorporating the multi-mode scannable memory element
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Saposhnikov, V. V.
A1  - Saposhnikov, Vl. V.
A1  - Gössel, Michael
A1  - Morosov, Andrej
T1  - A method of construction of combinational self-checking units with detection of all single faults
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
A1  - Morosov, Andrej
T1  - A new totally error propagating compactor for arbitrary cores with digital interfaces
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Dmitriev, Alexej
A1  - Saposhnikov, V. V.
A1  - Saposhnikov, Vl. V.
A1  - Gössel, Michael
T1  - Self-dual sequential circuits for concurrent chechking
Y1  - 1999
SN  - 0-7695-0390-X ; 0-7695-0391-8
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  - 1999
ER  - 
TY  - JOUR
A1  - Otscheretnij, Vitalij
A1  - Saposhnikov, Vl. V.
A1  - Saposhnikov, V. V.
A1  - Gössel, Michael
T1  - Fault-tolerant self-dual circuits
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Saposhnikov, Vl. V. V. V.
A1  - Moshanin, Vl.
A1  - Saposhnikov, V. V.
A1  - Gössel, Michael
T1  - Experimental results for self-dual multi-output combinational circuits
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Gössel, Michael
A1  - Dimitriev, Alexej
A1  - Saposhnikov, V. V.
A1  - Saposhnikov, Vl. V.
T1  - Eine selbsttestende Struktur zur on-line Fehlererkennung in kombinatorischen Schaltungen
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Saposhnikov, Vl. V.
A1  - Ocheretnij, V.
A1  - Saposhnikov, V. V.
A1  - Gössel, Michael
T1  - Modified TMR-system with reduced hardware overhead
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Gössel, Michael
A1  - Sogomonyan, Egor S.
T1  - New totally self-checking ripple and carry look-ahead adders
Y1  - 1999
ER  - 
TY  - JOUR
A1  - Gössel, Michael
T1  - A new method of redundancy addition for circuit optimization
JF  - Preprint / Universität Potsdam, Institut für Informatik
Y1  - 1999
SN  - 0946-7580
VL  - 1999, 08
PB  - Univ.
CY  - Potsdam
ER  - 
TY  - JOUR
A1  - Dimitriev, Alexej
A1  - Saposhnikov, V. V.
A1  - Saposhnikov, Vl. V.
A1  - Gössel, Michael
T1  - Concurrent checking of sequential circuits by alternating inputs
Y1  - 1999
ER  -