Formale Verifikation eingebetteter Systeme Schneider, K.; Huhn, M.; Logothetis, G.; Sabelfeld, V. 1999. it+ti, Informationstech. u. Tech. Informatik 1 (1999) H. 2 S. 12-16
Force sensing in microrobotic systems: an overview Fahlbusch, S.; Fatikow, S.; Santa, K. 1999. In: Advances in manufacturing: decision, control, and information technology. Ed.: S.G. Tzafestas. London 1999. S. 233-244
Flexible access control using IPC redirection Jaeger, T.; Elphinstone, K.; Liedtke, J.; Panteleenko, V.; Park, Y. 1999. In: Proceedings of the 7th Workshop on Hot Topics in Operating Systems, HotOS-VII, Rio Rico, AZ 1999. IEEE Comput. Soc. Pr. 1999. S. 191-196
Fast signal transforms for quantum computers Roetteler, M.; Pueschel, M.; Beth, T. 1999. In: Physik, Informatik, Informationstechnik. Workshop on Physics and Computer Science (DPG Frühjahrstagung), Heidelberg 1999. Hrsg.: W. Kluge. Berlin 1999. S. 31-43
Funktionsorientiertes Management heterogener ATM-Netzwerke. PhD dissertation Wiltfang, H. R. 1999. Sankt Augustin 1999. (Dissertationen zu Datenbanken und Informationssystemen. 57.) Fak. f. Informatik, Diss. v. 4.2.1999., Universität Karlsruhe (TH)
Extending Esterel by asynchronous concurrency Baldamus, M.; Schneider, K. 1999. In: Tagungsband. GI/GMM/ITG Fachtagung zum Entwurf Integrierter Schaltungen, Darmstadt 1999. S. 241-248
Eine Hohlstrahl-Dipol-Falle für Quantenoptik mit wenigen ultrakalten Atomen Eschner, J.; Schmid, M.; Schulz, M.; Crepaz, H.; Blatt, R. 1999. In: Workshop Quanten-Initiative Karlsruhe-Innsbruck (QIKI). Hrsg.: T. Beth. Karlsruhe 1999. S. 18. (Report. Europäisches Institut für Systemsicherheit, Universität Karlsruhe. 1999,1.)
Approximate inverse meets local tomography Rieder, A.; Dietz, R.; Schuster, T. 1999. Karlsruhe 1999. (Preprint. Institut für Wissenschaftliches Rechnen und Mathematische Modellbildung. 1999,6.)
Ein effizientes RMI für Java Nester, C.; Philippsen, M.; Haumacher, B. 1999. In: JIT’99, Java-Informations-Tage, Düsseldorf 1999. Berlin 1999. S. 135-148
Experiences in object-oriented re-engineering Ducasse, S.; Ciupke, O. 1999. In: Object-oriented technology. ECOOP ’99 workshop reader. Ed.: A. Moreira. Berlin 1999. S. 164-183. (Lecture notes in computer science. 1743.)
Dynamic types for software components Reussner, R. 1999. In: Companion of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA ’99, Denver, CO 1999. Ed.: ACM. S. 77-78
Do metadata models meet IQ requirements? Naumann, F.; Rolker, C. 1999. In: Proceedings of the 1999 MIT Conference on Information Quality, IQ99, Cambridge, USA 1999. Boston : MIT Pr. 1999. S. 99-114
Distributed value functions Schneider, J.; Wong, W.-K.; Moore, A.; Riedmiller, M. 1999. In: Proceedings. International Conference on Machine Learning, Bled, Slovenia 1999. S. 371-378
Design theory. 2. ed. Vol. 1 + 2 Beth, T.; Jungnickel, D.; Lenz, H. 1999. Cambridge 1999. (Encyclopaedia of mathematics and its applications. 69 + 78.)
Design and evaluation of ParaStation2 Warschko, T.; Blum, J.; Tichy, W. 1999. In: Workshop on Wide Area Networks and High Performance Computing. Ed.: G. Cooperman. London, Berlin 1999. S. 283-296. (Lecture notes in control and information sciences. 249.)
Das Jahr-2000-Problem und die Haftung aus Softwarepflegeverträgen Bartsch, M. 1999. In: Angewandte Informatik und Formale Beschreibungsverfahren. Festschrift zum 60. Geburtstag von Wolffried Stucky.. Hrsg.: G. Lausen. Stuttgart 1999. S. 21-32. (Teubner Texte zur Informatik. 29.)
Das dienstgüteunterstützende, adaptive Information Retrieval System Rolker, C.; Kramer, R. 1999. In: Proceedings. 7. GI-Workshop Adaptivität und Benutzermodellierung in Interaktiven Softwaresystemen, ABIS99, Magdeburg 1999. LWA Sammelband. Magdeburg : Univ. 1999. S. 181-190
Correct composition of distributed systems Genssler, T.; Loewe, W. 1999. In: Proceedings of the 31st TOOLS Conference, Nanjing 1999. Los Alamitos : IEEE 1999. S. 296-305
Complex numbers for Java Guenthner, E.; Philippsen, M. 1999. In: Computing in object-oriented parallel environments. ISCOPE 99. Ed.: S. Matsuoka. Berlin 1999. S. 1-12. (Lecture notes in computer science. 1732.)
Compiler supported speculative execution on SMT processors Unger, A.; Ungerer, T.; Zehendner, E. 1999. In: Proceedings. Workshop on Multi-Threaded Execution, Architecture and Compilation (MTEAC-99) in conjunction with 5th International Symposium on High Performance Computer Architecture, Orlando, USA 1999
Cellular automata with dynamically reconfigurable buses Worsch, T. 1999. In: SOFSEM’99: theory and practice of informatics. Milovy 1999. Ed.: J. Pavelka. Berlin 1999. S. 488-496. (Lecture notes in computer science. 1725.)
Brokering problem-solving knowledge on the internet Benjamins, V. R.; Wielinga, B.; Wielemaker, J.; Fensel, D. 1999. In: Proceedings of the European Knowledge Acquisition Workshop, EKAW-99. Ed.: D. Fensel. Berlin 1999. (Lecture notes in artificial intelligence. 1621.)
Bit-summation on the reconfigurable mesh Middendorf, M. 1999. In: Parallel and distributed processing. 11th IPPS/SPDP’99 Workshops. Ed.: J. Rolim. Berlin 1999. S. 625-633. (Lecture notes in computer science. 1586.)
Application of simulation in multi-agent-systems Brighenti, A.; Dore, A.; Laengle, T.; Albert, M.; Senior, C. 1999. In: Proceedings of the MAS’99, International Conference on Multi-Agent Systems, Vienna, Austria 1999. S. 265-270