@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{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} } @article{Kupries1999, author = {Kupries, Mario}, title = {ADE : An architecture type-based development environment for agent application systems}, 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{HornReinke1999, author = {Horn, Erika and Reinke, Thomas}, title = {Musterarchitekturen und Entwicklungsmethoden f{\"u}r Multiagentensysteme in betriebswirtschaftlichen Anwendungen}, year = {1999}, language = {de} } @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{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{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{BrueningSchaub1999, author = {Br{\"u}ning, Stefan and Schaub, Torsten H.}, title = {A voiding non-ground variables}, 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{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{Kupries1999, author = {Kupries, Mario}, title = {Connector-aided coordination in agent systems}, 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{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} } @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{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{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} } @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{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} } @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{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} } @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} } @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{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{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{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{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} }