@article{SaposhnikovMorosovSaposhnikovetal.1996, author = {Saposhnikov, Va. V. and Morosov, Andrej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael}, title = {Design of self-checking unidirectional combinational circuits with low area overhead}, year = {1996}, language = {en} } @article{MoschaninSaposhnikovSaposhnikovetal.1996, author = {Moschanin, Wladimir and Saposhnikov, Vl. V. and Saposhnikov, Va. V. and G{\"o}ssel, Michael}, title = {Synthesis of self-dual multi-output combinational circuits for on-line Teting}, year = {1996}, language = {en} } @article{SaposhnikovDimitrievGoesseletal.1996, author = {Saposhnikov, Vl. V. and Dimitriev, Alexej and G{\"o}ssel, Michael and Saposhnikov, Va. V.}, title = {Self-dual parity checking - a new method for on-line testing}, year = {1996}, language = {en} } @article{GoesselSogomonyan1996, author = {G{\"o}ssel, Michael and Sogomonyan, Egor S.}, title = {A new self-testing parity checker for ultra-reliable applications}, year = {1996}, language = {en} } @article{SogomonyanGoessel1996, author = {Sogomonyan, Egor S. and G{\"o}ssel, Michael}, title = {Concurrently self-testing embedded checkers for ultra-reliable fault-tolerant systems}, year = {1996}, language = {en} } @article{GoesselSogomonyan1996, author = {G{\"o}ssel, Michael and Sogomonyan, Egor S.}, title = {A parity-preserving multi-input signature analyzer and it application for concurrent checking and BIST}, year = {1996}, language = {en} } @article{KunduSogomonyanGoesseletal.1996, author = {Kundu, S. and Sogomonyan, Egor S. and G{\"o}ssel, Michael and Tarnick, Steffen}, title = {Self-checking comparator with one periodiv output}, year = {1996}, language = {en} } @article{SchaubBruening1996, author = {Schaub, Torsten H. and Br{\"u}ning, Stefan}, title = {Prolog technology for default reasoning}, isbn = {0-471-96809-9}, year = {1996}, language = {en} } @article{BesnardSchaub1996, author = {Besnard, Philippe and Schaub, Torsten H.}, title = {A simple signed system for paraconsistent reasoning}, isbn = {3-540-61630-6}, year = {1996}, language = {en} } @article{SchaubThielscher1996, author = {Schaub, Torsten H. and Thielscher, Michael}, title = {Skeptical query-answering in constrained default logic}, isbn = {3-540-61313-7}, year = {1996}, language = {en} } @article{SchaubBrueningNicolas1996, author = {Schaub, Torsten H. and Br{\"u}ning, Stefan and Nicolas, Pascal}, title = {XRay : a prolog technology theorem prover for default reasoning: a system description}, isbn = {3-540-61511-3}, year = {1996}, language = {en} } @article{LinkeSchaub1996, author = {Linke, Thomas and Schaub, Torsten H.}, title = {Putting default logics in perspective}, isbn = {3-540-61708-6}, year = {1996}, language = {en} } @article{BrueningSchaub1996, author = {Br{\"u}ning, Stefan and Schaub, Torsten H.}, title = {A model-based approach to consistency-checking}, isbn = {3-540-61286-6}, year = {1996}, language = {en} } @article{HornKoutzevlovRaetschetal.1996, author = {Horn, Erika and Koutzevlov, Atanas and R{\"a}tsch, Gunnar and Schubert, Wolfgang and Tschapek, Alexej}, title = {Software system specification}, series = {HGG-Dokument}, volume = {UPHGG.010.4}, journal = {HGG-Dokument}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {en} } @article{SchmidtBergBuettneretal.1996, author = {Schmidt, Henning and Berg, Ralph and B{\"u}ttner, Lars and Cordson, J{\"o}rg and Luther, Eva-Maria and Sch{\"o}n, Friedrich}, title = {PEACE - Beispiel einer anwendungsorientierten Betriebssystemstruktur}, year = {1996}, language = {de} } @article{SchroederPreikschatGarnatzHaacketal.1996, author = {Schr{\"o}der-Preikschat, Wolfgang and Garnatz, Thomas and Haack, Ute and Sander, Michael}, title = {Experience made with the design and development of a message-passing kernel for a dual-processor-node parallel computer}, year = {1996}, language = {en} } @article{HornNeuhausRaetschetal.1996, author = {Horn, Erika and Neuhaus, Alexander and R{\"a}tsch, Gunnar and Schubert, Wolfgang and Tschapek, Alexej}, title = {Software development plan}, series = {HGG-Dokument}, volume = {UPHGG.002.4}, journal = {HGG-Dokument}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {en} } @article{Reinke1996, author = {Reinke, Thomas}, title = {Objektorientierte Modellierung eines Sicherheitskonzeptes f{\"u}r Verwaltungsvorg{\"a}nge}, series = {MOSVO-Bericht}, volume = {UP.014.1}, journal = {MOSVO-Bericht}, publisher = {Univ.}, address = {Potsdam}, year = {1996}, language = {de} } @article{SchulmeisterScheller1996, author = {Schulmeister, Thomas and Scheller, Frieder W.}, title = {The mathematics of exponential signal amplification in amperometric three enzyme electrodes}, year = {1996}, language = {en} } @article{SchulmeisterRoseVoigt1996, author = {Schulmeister, Thomas and Rose, J{\"u}rgen and Voigt, Horst}, title = {Some extensions of Schmidt's partition method for sequence comparison based on binary character amino acid properties}, year = {1996}, language = {en} } @article{Schwill1996, author = {Schwill, Andreas}, title = {Un approccio uniforme all'insegnamento dell'Informatica}, year = {1996}, language = {it} } @article{PradhanChatterjeeSwarnaetal.1996, author = {Pradhan, D. K. and Chatterjee, M. and Swarna, M. and Kunz, Wolfgang}, title = {Implication-based gate-level synthesis for low-power}, isbn = {0-7803-3571-6}, year = {1996}, language = {en} } @article{KunzReddySubodhetal.1996, author = {Kunz, Wolfgang and Reddy, S. M. and Subodh, M. and Pradhan, D. K.}, title = {Efficient logic verification in a synthesis environment}, year = {1996}, language = {en} } @article{Wildner1996, author = {Wildner, Uwe}, title = {Compiler assisted self-checking of structural integrity using return adress hashing}, year = {1996}, language = {en} } @article{StoffelKunz1996, author = {Stoffel, Dominik and Kunz, Wolfgang}, title = {Logic equivalence checking by optimization techniues}, year = {1996}, language = {en} }