@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{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{Boerner1998,
  author    = {B{\"o}rner, Ferdinand},
  title     = {A remark on the finite lattice representation problem},
  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{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}
}
@book{SeuringGoessel1998,
  author    = {Seuring, Markus and G{\"o}ssel, Michael},
  title     = {A structural approach for space compaction for sequential circuits},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1998, 05},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {16 Bl. : graph. Darst.},
  year      = {1998},
  language  = {en}
}
@article{LinkeSchaub1998,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  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}
}
@book{HornKupriesReinke1998,
  author    = {Horn, Erika and Kupries, Mario and Reinke, Thomas},
  title     = {Architekturtypen f{\"u}r Agentenanwendungssysteme},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1998, 01},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  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{BesnardSchaub1998,
  author    = {Besnard, Philippe and Schaub, Torsten H.},
  title     = {Characterization of non-monotone non-constructive systems},
  issn      = {1012-2443},
  year      = {1998},
  language  = {en}
}
@article{BibelBrueningOttenetal.1998,
  author    = {Bibel, Wolfgang and Br{\"u}ning, Stefan and Otten, Jens and Rath, Thomas and Schaub, Torsten H.},
  title     = {Compressions and extensions},
  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}
}
@book{MarquesdeCarvalhoJuergensen1998,
  author    = {Marques de Carvalho, Jackson W. and J{\"u}rgensen, Helmut},
  title     = {Dynamic multi-purpose mathematics notation},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1998, 04},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {14 Bl. : graph. Darst.},
  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{BenhammadiNicolasSchaub1998,
  author    = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten H.},
  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 H.},
  title     = {Extension calculus and query answering in prioritized default logic},
  isbn      = {3-540- 64993-X},
  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{BoernerHaddad1998,
  author    = {B{\"o}rner, Ferdinand and Haddad, L.},
  title     = {Generating sets for clones and partial clones},
  year      = {1998},
  language  = {en}
}
@book{Horn1998,
  author    = {Horn, Erika},
  title     = {Grundlagen der Software-Entwicklung II : Objektorientierte Software-Architekturen},
  publisher = {Univ.},
  address   = {Potsdam},
  pages     = {5/31 S.},
  year      = {1998},
  language  = {de}
}
@article{VolkmannLinkeWaschulziketal.1998,
  author    = {Volkmann, Gerald and Linke, Thomas and Waschulzik, Thomas and Ohmes, Rick and Schaub, Torsten H. 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{BoernerHaddad1998,
  author    = {B{\"o}rner, Ferdinand and Haddad, L.},
  title     = {Maximal partial clones with no finite basis},
  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{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{SchaubBruening1998,
  author    = {Schaub, Torsten H. and Br{\"u}ning, Stefan},
  title     = {Prolog technology for default reasoning : proof theory and compilation techniques},
  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{DelgrandeSchaub1998,
  author    = {Delgrande, James Patrick and Schaub, Torsten H.},
  title     = {Reasoning with sets of preferences in default logic},
  isbn      = {3-540- 65271-x},
  year      = {1998},
  language  = {en}
}
@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{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{BesnardSchaub1998,
  author    = {Besnard, Philippe and Schaub, Torsten H.},
  title     = {Signed systems for paraconsistent reasoning},
  year      = {1998},
  language  = {en}
}
@article{BesnardSchaub1998,
  author    = {Besnard, Philippe and Schaub, Torsten H.},
  title     = {Signed systems for paraconsistent reasoning},
  issn      = {0168-7433},
  year      = {1998},
  language  = {en}
}
@article{Schaub1998,
  author    = {Schaub, Torsten H.},
  title     = {The family of default logics},
  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{NicolasSchaub1998,
  author    = {Nicolas, Pascal and Schaub, Torsten H.},
  title     = {The XRay system : an implementation platform for local query-answering in default logics},
  isbn      = {3-540-65312-0},
  year      = {1998},
  language  = {en}
}
@book{Juergensen1998,
  author    = {J{\"u}rgensen, Helmut},
  title     = {Towards computer science},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1998, 03},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {10 Bl. : Ill.},
  year      = {1998},
  language  = {en}
}
@article{NicolasSchaub1998,
  author    = {Nicolas, Pascal and Schaub, Torsten H.},
  title     = {Un cadre g{\´e}n{\´e}ral pour l'interrogation automatique en logiques des d{\´e}fauts},
  year      = {1998},
  language  = {fr}
}
@book{OPUS4-22102,
  title     = {UTW-Workshop "Soziotechnischer Zugang bei der Konstruktion, Einf{\"u}hrung und Anwendung von Workflow- Management-Systemen"},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1998, 02},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  editor    = {Horn, Erika and Kupries, Mario and Bartl, Peter},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {68 S.},
  year      = {1998},
  language  = {de}
}