@article{Boerner1998, author = {B{\"o}rner, Ferdinand}, title = {A remark on the finite lattice representation problem}, year = {1998}, language = {en} } @article{BoernerHaddad1998, author = {B{\"o}rner, Ferdinand and Haddad, L.}, title = {Maximal partial clones with no finite basis}, year = {1998}, language = {en} } @article{BoernerHaddad1998, author = {B{\"o}rner, Ferdinand and Haddad, L.}, title = {Generating sets for clones and partial clones}, year = {1998}, language = {en} } @article{MoshaninOtscheretnijDimitriev1998, author = {Moshanin, Vl. and Otscheretnij, Vitalij and Dimitriev, Alexej}, title = {The impact of logic optimization on concurrent error detection}, year = {1998}, language = {en} } @article{HornKupriesGloede1998, author = {Horn, Erika and Kupries, Mario and Gl{\"o}de, Dirk}, title = {Properties and models of software agents and agent systems}, isbn = {1-577-35063-4}, year = {1998}, language = {en} } @article{HornKupriesReinke1998, author = {Horn, Erika and Kupries, Mario and Reinke, Thomas}, title = {Object-oriented software architecture types for the substantiation, development and fabrication of agent application systems}, year = {1998}, language = {en} } @article{SaposhnikovMorosovSaposhnikovetal.1998, author = {Saposhnikov, V. V. and Morosov, Andrej and Saposhnikov, Vl. V. and G{\"o}ssel, Michael}, title = {A new design method for self-checking unidirectional combinational circuits}, year = {1998}, language = {en} } @article{SeuringGoesselSogomonyan1998, author = {Seuring, Markus and G{\"o}ssel, Michael and Sogomonyan, Egor S.}, title = {A structural approach for space compaction for concurrent checking and BIST}, year = {1998}, language = {en} } @article{SaposhnikovSaposhnikovDimitrievetal.1998, author = {Saposhnikov, Vl. V. and Saposhnikov, V. V. and Dimitriev, Alexej and G{\"o}ssel, Michael}, title = {Self-dual duplication for error detection}, year = {1998}, language = {en} } @article{SogomonyanSinghGoessel1998, author = {Sogomonyan, Egor S. and Singh, Adit D. and G{\"o}ssel, Michael}, title = {A scan based concrrent BIST approach for low cost on-line testing}, year = {1998}, language = {en} } @article{NicolasSchaub1998, author = {Nicolas, Pascal and Schaub, Torsten}, title = {Un cadre g{\´e}n{\´e}ral pour l'interrogation automatique en logiques des d{\´e}fauts}, year = {1998}, language = {fr} } @article{VolkmannLinkeWaschulziketal.1998, author = {Volkmann, Gerald and Linke, Thomas and Waschulzik, Thomas and Ohmes, Rick and Schaub, Torsten and Wischnewsky, M.}, title = {HExProSA - ein hybrides Expertensystem zur Prozeßkontrolle und St{\"o}rfallanalyse von Abwasserbehandlungsanlagen : Erfahrungen bei der Evaluierung eines Prototypen}, year = {1998}, language = {de} } @article{BenhammadiNicolasSchaub1998, author = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten}, title = {Extension calculus and query answering in prioritized default logic}, isbn = {3-540- 64993-X}, year = {1998}, language = {en} } @article{BenhammadiNicolasSchaub1998, author = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten}, title = {Extension calculus and query answering in prioritized default logic}, isbn = {3-540-64993-X}, year = {1998}, language = {en} } @article{DelgrandeSchaub1998, author = {Delgrande, James Patrick and Schaub, Torsten}, title = {Reasoning with sets of preferences in default logic}, isbn = {3-540- 65271-x}, year = {1998}, language = {en} } @article{BibelBrueningOttenetal.1998, author = {Bibel, Wolfgang and Br{\"u}ning, Stefan and Otten, Jens and Rath, Thomas and Schaub, Torsten}, title = {Compressions and extensions}, year = {1998}, language = {en} } @article{BesnardSchaub1998, author = {Besnard, Philippe and Schaub, Torsten}, title = {Characterization of non-monotone non-constructive systems}, issn = {1012-2443}, year = {1998}, language = {en} } @article{BesnardSchaub1998, author = {Besnard, Philippe and Schaub, Torsten}, title = {Signed systems for paraconsistent reasoning}, issn = {0168-7433}, year = {1998}, language = {en} } @article{SchaubBruening1998, author = {Schaub, Torsten and Br{\"u}ning, Stefan}, title = {Prolog technology for default reasoning : proof theory and compilation techniques}, year = {1998}, language = {en} } @article{Schaub1998, author = {Schaub, Torsten}, title = {The family of default logics}, year = {1998}, language = {en} } @article{NicolasSchaub1998, author = {Nicolas, Pascal and Schaub, Torsten}, title = {The XRay system : an implementation platform for local query-answering in default logics}, isbn = {3-540-65312-0}, year = {1998}, language = {en} } @article{BesnardSchaub1998, author = {Besnard, Philippe and Schaub, Torsten}, title = {Signed systems for paraconsistent reasoning}, year = {1998}, language = {en} } @article{SaposhnikovOtscheretnijSaposhnikovetal.1998, author = {Saposhnikov, Vl. V. and Otscheretnij, Vitalij and Saposhnikov, V. V. and G{\"o}ssel, Michael}, title = {Design of Fault-Tolerant Circuits by self-dual Duplication}, year = {1998}, language = {en} } @article{SeuringGoesselSogomonyan1998, author = {Seuring, Markus and G{\"o}ssel, Michael and Sogomonyan, Egor S.}, title = {Ein strukturelles Verfahren zur Kompaktierung von Schaltungsausgaben f{\"u}r online-Fehlererkennungen und Selbstests}, year = {1998}, language = {de} } @article{BogueGoesselJuergensenetal.1998, author = {Bogue, Ted and G{\"o}ssel, Michael and J{\"u}rgensen, Helmut and Zorian, Yervant}, title = {Built-in self-Test with an alternating output}, isbn = {0-8186-8359-7}, year = {1998}, language = {en} } @article{OtscheretnijGoesselSaposhnikovetal.1998, author = {Otscheretnij, Vitalij and G{\"o}ssel, Michael and Saposhnikov, Vl. V. and Saposhnikov, V. V.}, title = {Fault-tolerant self-dual circuits with error detection by parity- and group parity prediction}, year = {1998}, language = {en} } @article{SogomonyanSinghGoessel1998, author = {Sogomonyan, Egor S. and Singh, Adit D. and G{\"o}ssel, Michael}, title = {A multi-mode scannable memory element for high test application efficiency and delay testing}, year = {1998}, language = {en} } @article{GoesselSogomonyan1998, author = {G{\"o}ssel, Michael and Sogomonyan, Egor S.}, title = {On-line Test auf der Grundlage eines die Parit{\"a}t erhaltenden Signaturanalysators}, year = {1998}, language = {de} } @article{MorosovSaposhnikovGoessel1998, author = {Morosov, Andrej and Saposhnikov, V. V. and G{\"o}ssel, Michael}, title = {Self-Checking circuits with unidiectionally independent outputs}, year = {1998}, language = {en} } @article{LinkeSchaub1998, author = {Linke, Thomas and Schaub, Torsten}, title = {An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem.}, isbn = {3-540-65141-1}, year = {1998}, language = {en} }