@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} } @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{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{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} } @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{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{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} } @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} } @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} } @phdthesis{Moschanin1999, author = {Moschanin, Wladimir}, title = {Entwurf selbstdualer digitaler Schaltungen zur Fehlererkennung}, address = {Potsdam}, pages = {III, 94 S. : graph. Darst.}, year = {1999}, language = {de} } @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} } @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{BrueningSchaub1999, author = {Br{\"u}ning, Stefan and Schaub, Torsten H.}, title = {A voiding non-ground variables}, year = {1999}, language = {en} }