@inproceedings{OPUS4-39635,
  title     = {11. Workshop Testmethoden und Zuverl{\"a}ssigkeit von Schaltungen und Systemen},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  isbn      = {978-3-9806494-1-4},
  pages     = {137 Seiten},
  year      = {1999},
  language  = {de}
}
@article{SaposhnikovSaposhnikovGoesseletal.1999,
  author    = {Saposhnikov, V. V. and Saposhnikov, Vl. V. and G{\"o}ssel, Michael and Morosov, Andrej},
  title     = {A method of construction of combinational self-checking units with detection of all single faults},
  year      = {1999},
  language  = {en}
}
@article{SogomonyanSinghGoessel1999,
  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      = {1999},
  language  = {en}
}
@article{Goessel1999,
  author    = {G{\"o}ssel, Michael},
  title     = {A new method of redundancy addition for circuit optimization},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 08},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {9 Bl.},
  year      = {1999},
  language  = {en}
}
@article{GoesselSogomonyanMorosov1999,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S. and Morosov, Andrej},
  title     = {A new totally error propagating compactor for arbitrary cores with digital interfaces},
  year      = {1999},
  language  = {en}
}
@article{SeuringGoessel1999,
  author    = {Seuring, Markus and G{\"o}ssel, Michael},
  title     = {A structural approach for space compaction for sequential circuits},
  year      = {1999},
  language  = {en}
}
@article{SeuringGoessel1999,
  author    = {Seuring, Markus and G{\"o}ssel, Michael},
  title     = {A structural method for output compaction of sequential automata implemented as circuits},
  year      = {1999},
  language  = {en}
}
@article{BrueningSchaub1999,
  author    = {Br{\"u}ning, Stefan and Schaub, Torsten H.},
  title     = {A voiding non-ground variables},
  year      = {1999},
  language  = {en}
}
@book{PupkaBartlKelleretal.1999,
  author    = {Pupka, Reiner and Bartl, Peter and Keller, Vera and Kupries, Mario and Reichel, Ingrid and Schmidt, Maren and Tiede, Gabriele},
  title     = {Abschlußbericht zum Verbundprojekt "Rechnergest{\"u}tzte Modellierung und Steuerung der Vorgangsbearbeitung in verteilten Verwaltungs- und Organisationssystemen"},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 01},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {120, [21] Bl. : graph. Darst.},
  year      = {1999},
  language  = {de}
}
@article{Kupries1999,
  author    = {Kupries, Mario},
  title     = {ADE : An architecture type-based development environment for agent application systems},
  year      = {1999},
  language  = {en}
}
@article{ReinkeGloedeLauertetal.1999,
  author    = {Reinke, Thomas and Gl{\"o}de, Dirk and Lauert, Alexander and Kupries, Mario and Horn, Erika},
  title     = {An architecture type-based development environment for agent application systems},
  isbn      = {3-9501023-0-2},
  year      = {1999},
  language  = {en}
}
@book{SchubertKoutzevlovHornetal.1999,
  author    = {Schubert, Wolfgang and Koutzevlov, Atanas and Horn, Erika and R{\"a}tsch, Gunnar and Tschapek, Alexej},
  title     = {Aspekte der Flexibilisierung von Systemen f{\"u}r den Hardwaretest},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 04},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {24 S. : graph. Darst.},
  year      = {1999},
  language  = {de}
}
@article{BrueningSchaub1999,
  author    = {Br{\"u}ning, Stefan and Schaub, Torsten H.},
  title     = {Avoiding non-ground variables},
  isbn      = {3-540-66131-x},
  year      = {1999},
  language  = {en}
}
@article{Seuring1999,
  author    = {Seuring, Markus},
  title     = {Built-in self test mit multi-mode scannable memory elementen},
  year      = {1999},
  language  = {en}
}
@article{NeumannStoffelHartjeetal.1999,
  author    = {Neumann, I. and Stoffel, Dominik and Hartje, Hendrik and Kunz, Wolfgang},
  title     = {Cell replication and redundancy elimination during placement for cycle time optimization},
  year      = {1999},
  language  = {en}
}
@article{DimitrievSaposhnikovSaposhnikovetal.1999,
  author    = {Dimitriev, Alexej and Saposhnikov, V. V. and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {Concurrent checking of sequential circuits by alternating inputs},
  year      = {1999},
  language  = {en}
}
@article{Kupries1999,
  author    = {Kupries, Mario},
  title     = {Connector-aided coordination in agent systems},
  year      = {1999},
  language  = {en}
}
@article{GoesselDimitrievSaposhnikovetal.1999,
  author    = {G{\"o}ssel, Michael and Dimitriev, Alexej and Saposhnikov, V. V. and Saposhnikov, Vl. V.},
  title     = {Eine selbsttestende Struktur zur on-line Fehlererkennung in kombinatorischen Schaltungen},
  year      = {1999},
  language  = {de}
}
@phdthesis{Petrasch1999,
  author    = {Petrasch, Roland},
  title     = {Entwicklung von Modelltypen f{\"u}r das Qualit{\"a}tsmanagement in der Software-Entwicklung am Beispiel von ausgew{\"a}hlten Qualit{\"a}tssicherungsmaßnahmen},
  pages     = {Bl. i - viii; 173 Bl. : graph. Darst.},
  year      = {1999},
  language  = {de}
}
@phdthesis{Moschanin1999,
  author    = {Moschanin, Wladimir},
  title     = {Entwurf selbstdualer digitaler Schaltungen zur Fehlererkennung},
  address   = {Potsdam},
  pages     = {III, 94 S. : graph. Darst.},
  year      = {1999},
  language  = {de}
}
@book{HoofReinke1999,
  author    = {Hoof, Karsten and Reinke, Thomas},
  title     = {Entwurf und Realisierung einer komplexen verteilten Bankanwendung mit Hilfe der CORBA-Implementation Orbix},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 06},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {V, 75 S. : graph. Darst.},
  year      = {1999},
  language  = {de}
}
@article{SaposhnikovMoshaninSaposhnikovetal.1999,
  author    = {Saposhnikov, Vl. V. V. V. and Moshanin, Vl. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Experimental results for self-dual multi-output combinational circuits},
  year      = {1999},
  language  = {en}
}
@article{OtscheretnijSaposhnikovSaposhnikovetal.1999,
  author    = {Otscheretnij, Vitalij and Saposhnikov, Vl. V. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Fault-tolerant self-dual circuits},
  year      = {1999},
  language  = {en}
}
@book{JuergensenStaiger1999,
  author    = {J{\"u}rgensen, Helmut and Staiger, Ludwig},
  title     = {Finite automata : encoding geometric figures},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 07},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {8 S. : graph. Darst.},
  year      = {1999},
  language  = {en}
}
@book{OPUS4-20949,
  title     = {Informatik und Schule : fachspezifische und fach{\"u}bergreifende didaktische Konzepte},
  editor    = {Schwill, Andreas},
  publisher = {Springer},
  address   = {Berlin, Heidelberg},
  isbn      = {3-540-66300-2},
  doi       = {10.1007/978-3-642-60238-2},
  pages     = {231 S.},
  year      = {1999},
  language  = {de}
}
@book{JuergensenKatsuraKonstantinidis1999,
  author    = {J{\"u}rgensen, Helmut and Katsura, M. and Konstantinidis, Stavros},
  title     = {Maximal solid codes},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 03},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {23 Bl.},
  year      = {1999},
  language  = {en}
}
@article{SaposhnikovOcheretnijSaposhnikovetal.1999,
  author    = {Saposhnikov, Vl. V. and Ocheretnij, V. and Saposhnikov, V. V. and G{\"o}ssel, Michael},
  title     = {Modified TMR-system with reduced hardware overhead},
  year      = {1999},
  language  = {en}
}
@book{JuergensenKariThierrin1999,
  author    = {J{\"u}rgensen, Helmut and Kari, L. and Thierrin, G.},
  title     = {Morphisms preserving densities},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 09},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {21 Bl.},
  year      = {1999},
  language  = {en}
}
@book{Zendler1999,
  author    = {Zendler, Andreas},
  title     = {Multiple einzelfallanalytische Versuchspl{\"a}ne der Biometrie zur Durchf{\"u}hrung softwaretechnischer Experimente},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 11},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {18 S.},
  year      = {1999},
  language  = {de}
}
@article{HornReinke1999,
  author    = {Horn, Erika and Reinke, Thomas},
  title     = {Musterarchitekturen und Entwicklungsmethoden f{\"u}r Multiagentensysteme in betriebswirtschaftlichen Anwendungen},
  year      = {1999},
  language  = {de}
}
@article{GoesselSogomonyan1999,
  author    = {G{\"o}ssel, Michael and Sogomonyan, Egor S.},
  title     = {New totally self-checking ripple and carry look-ahead adders},
  year      = {1999},
  language  = {en}
}
@article{LinkeSchaub1999,
  author    = {Linke, Thomas and Schaub, Torsten H.},
  title     = {On bottom-up pre-processing techniques for automated default reasoning},
  isbn      = {3-540-66131-x},
  year      = {1999},
  language  = {en}
}
@article{HornKupriesReinke1999,
  author    = {Horn, Erika and Kupries, Mario and Reinke, Thomas},
  title     = {Properties and models of software agents and prefabrication for agent application systems},
  isbn      = {0-7695-0001-3 , 0-7695-0002-1 , 0-7695-0003-X},
  year      = {1999},
  language  = {en}
}
@article{BenhammadiNicolasSchaub1999,
  author    = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten H.},
  title     = {Query-answering in prioritized default logic},
  isbn      = {3-540-66131-X},
  year      = {1999},
  language  = {en}
}
@article{BenhammadiNicolasSchaub1999,
  author    = {Benhammadi, Farid and Nicolas, Pascal and Schaub, Torsten H.},
  title     = {Query-answering in prioritized default logic},
  isbn      = {3-540-66131-X},
  year      = {1999},
  language  = {en}
}
@article{MorosovGoesselHartje1999,
  author    = {Morosov, Andrej and G{\"o}ssel, Michael and Hartje, Hendrik},
  title     = {Reduced area overhead of the input party for code-disjoint circuits},
  year      = {1999},
  language  = {en}
}
@article{DmitrievSaposhnikovSaposhnikovetal.1999,
  author    = {Dmitriev, Alexej and Saposhnikov, V. V. and Saposhnikov, Vl. V. and G{\"o}ssel, Michael},
  title     = {Self-dual sequential circuits for concurrent chechking},
  isbn      = {0-7695-0390-X ; 0-7695-0391-8},
  year      = {1999},
  language  = {en}
}
@book{BrzozowskiJuergensen1999,
  author    = {Brzozowski, J. A. and J{\"u}rgensen, Helmut},
  title     = {Semilattices of fault semiautomata},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 02},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {13 Bl.},
  year      = {1999},
  language  = {en}
}
@article{KupriesNoseleit1999,
  author    = {Kupries, Mario and Noseleit, Christof},
  title     = {Software architecture type-based interagent connections},
  isbn      = {158113066X},
  year      = {1999},
  language  = {en}
}
@article{HornReinkeKupries1999,
  author    = {Horn, Erika and Reinke, Thomas and Kupries, Mario},
  title     = {Software-Agentsysteme : Konzepte, Anwendungsgebiete, Nutzen},
  isbn      = {3-929642-28-x},
  year      = {1999},
  language  = {de}
}
@article{SinghSogomonyanGoesseletal.1999,
  author    = {Singh, Adit D. and Sogomonyan, Egor S. and G{\"o}ssel, Michael and Seuring, Markus},
  title     = {Testability evaluation of sequential designs incorporating the multi-mode scannable memory element},
  year      = {1999},
  language  = {en}
}
@book{Schaub1999,
  author    = {Schaub, Torsten H.},
  title     = {The automation of reasoning with incomplete information : from semantic foundations to efficient computation},
  series = {Lecture notes in computer science},
  volume    = {1409},
  journal   = {Lecture notes in computer science},
  publisher = {Springer},
  address   = {Berlin},
  isbn      = {3-540-64515-2},
  doi       = {10.1007/BFb0054963},
  pages     = {XI, 159 S.},
  year      = {1999},
  language  = {en}
}
@book{OPUS4-22017,
  title     = {Workshop on Implementing Automata : WIA99 - pre-proceedings ; Potsdam, Germany, 17 - 19. July 1999},
  series = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  volume    = {1999, 4},
  journal   = {Preprint / Universit{\"a}t Potsdam, Institut f{\"u}r Informatik},
  editor    = {Boldt, Oliver and J{\"u}rgensen, Helmut and Robbins, L. E.},
  publisher = {Univ.},
  address   = {Potsdam},
  issn      = {0946-7580},
  pages     = {getr. Z{\"a}hl.},
  year      = {1999},
  language  = {en}
}