Embedding imperative synchronous languages in interactive theorem Schneider, K. 2001. In: Proceedings of the International Conference on Application of Concurrency to System Design, ICACSD 2001, Newcastle upon Tyne, Great Britain 2001. Los Alamitos, Calif. 2001. S. 143-156
Electromagnetic compatibility of robot cells for industrial applications Woern, H.; Nagelmueller, P.; Laengle, T. 2001. In: Proceedings of the 17th International Conference on CAD/CAM, Robotics and Factories of the Future, CARS & FOF ’01, Durban, South Africa 2001. Durban : Xerox, University of Natal 2001. S. 454-461
eLearning based on the semantic web Stojanovic, L.; Staab, S.; Studer, R. 2001. In: Web Net 2001, World Conference on the WWW and the Internet, Orlando, FL 2001. [CD-ROM]
Dynamic graph drawing Branke, J. 2001. In: Graph drawing: models and algorithms. Ed.: M. Wagner. Berlin 2001. S. 228-246. (Lecture notes in computer science. 2025.)
Distributed diagnosis for automated production cells Woern, H.; Laengle, T.; Albert, M. 2001. In: Proceedings of the 3rd International Workshop on Computer Science and Information Technologies, CSIT 2001, Yangantau, Russia 2001. Ed.: H. Schweppe. Ufa : USATU Publishers 2001. S. 49-54
Discrete cosine transforms on quantum computers Klappenecker, A.; Roetteler, M. 2001. In: Proceedings of the 2nd International Symposium on Image and Signal Processing and Analysis, ISPA 2001, Pula, Croatia 2001. Ed.: S. Loncaric. Zagreb : University Computing Center 2001. S. 464-468
Directing a mobile robot with dynamic gestures Dillmann, R.; Ehrenmann, M.; Luetticke, T. 2001. In: The 32nd International Symposium on Robotics, ISR 2001, Seoul, Korea 2001. Ed.: Korea Institute of Science and Technology. Seoul : Huronix 2001. S. 19
Decision support system for management of the region power net in emergencies Muelle, J.; Chernyakhovskaya, L.; Suleymanova, A.; Fedorova, N. 2001. In: Proceedings of the 3rd International Workshop on Computer Science and Information Technologies, CSIT 2001, Yangantau, Russia 2001. Ed.: H. Schweppe. Ufa : USATU Publishers 2001. S. 118-122
Database support for evolving data in product design Posselt, D.; Hillebrand, G. 2001. In: Proceedings of the 6th International Conference on Computer Supported Cooperative Work in Design, London, ON, Canada 2001. S. 377-383
Compiler-controlled dual-path branch execution Unger, A.; Ungerer, T.; Zehendner, E. 2001. In: Proceedings of the 4th International Workshop on Advanced Parallel Processing Technologies, APPT’01, Ilmenau 2001. Ed.: S. Jähnichen. S. 267-279
Compensation of motion artifacts in MR mammography by elastic deformation Boesnach, I.; Haimerl, M.; Friedburg, H.; Beth, T. 2001. In: Medical imaging 2001: image processing. ICIP-2001 International Conference on Image Processing, San Diego, CA 2001. Ed.: M. Sonka. Bellingham, Wash. 2001. S. 1056-1065. (Proceedings of SPIE. 4322.)
Collaborative media streaming in an in-home network Kahmann, V.; Wolf, L. 2001. In: Proceedings of the 21st International Conference on Distributed Computing Systems Workshops, ICDCS 2001 Workshops, Phoenix, AZ 2001. Los Alamitos, Calif. 2001. S. 181-185
Clusterfile: a flexible physical layout parallel file system Isaila, F.; Tichy, W. 2001. In: Proceedings of the 3rd IEEE International Conference on Cluster Computing 2001, CLUSTER 2001, Newport Beach, CA 2001. Ed.: D. Katz. Los Alamitos, Calif. 2001. S. 37-44
Case study: extreme programming in a university environment Mueller, M. M.; Tichy, W. 2001. In: Proceedings of the 23rd International Conference on Software Engineering, ICSE 2001, Toronto, ON, Canada 2001. Los Alamitos, Calif. 2001. S. 537-544
Can American checkers be solved by means of symbolic model checking? Baldamus, M.; Schneider, K.; Wenz, M.; Ziller, R. 2001. In: Formal methods elsewhere. A Satellite Workshop of FORTE-PSTV-2000, Pisa, Italy 2000 [online]. Ed.: H. Bowman. Amsterdam 2001. (Electronic notes in theoretical computer science. 43.)
Building updateable XML views on top of relational databases Valikov, A.; Kazakos, W.; Schmidt, A. 2001. In: Proceedings of the International Symposium on Systems Integration, Baden-Baden 2001. Ed.: G. Lasker. Idea Group Publishing 2001. S. VII/1-8
Bi-criterion optimization with multi colony ant algorithms Iredi, S.; Merkle, D.; Middendorf, M. 2001. In: Evolutionary multi-criterion optimization. EMO’01. Ed.: E. Zitzler. Berlin 2001. S. 359-372. (Lecture notes in computer science. 1993.)
Behaviour control of LAURON III for walking in unstructured terrain Berns, K.; Gassmann, B.; Scholl, K.-U. 2001. In: Proceedings of the 4th International Conference on Climbing and Walking Robots, CLAWAR 2001, Karlsruhe 2001. Ed.: K. Berns. Bury St. Edmunds 2001. S. 651-658
Autonomous sewer inspection: sensorbased navigation Dillmann, R.; Scholl, K.-U.; Kepplin, V.; Berns, K. 2001. In: International Conference on Field and Service Robotics, FSR 2001, Helsinki, Finland 2001. Ed.: A. Halme. Helsinki : Ylesijäljennös - Painopörssi 2001. S. 35-41
Attacking the affine parts of SFLASH Geiselmann, W.; Steinwandt, R.; Beth, T. 2001. In: Cryptography and coding. 8th IMA International Conference, Cirencester, England 2001. Ed.: B. Honary. Berlin 2001. S. 355-359. (Lecture notes in computer science. 2260.)
Anwendung von SOAP in CoastBase Kazakos, W.; Paoli, H.; Schmidt, A. 2001. In: Neue Methoden für das Wissensmanagement im Umweltschutz. Hrsg.: K. Tochtermann. Marburg 2001. S. 115-123. (Umwelt-Informatik aktuell. 29.)
Naturumlaufströmungen in durchströmten Rohr- und Spaltbündeln. PhD dissertation Nickolay, M. 2001. Aachen 2001. (Berichte aus der Verfahrenstechnik.) Fak. f. Chemieingenieurwesen und Verfahrenstechnik, Diss. v. 15.6.2001., Universität Karlsruhe (TH)
An ant colony optimization approach to dynamic TSP Guntsch, M.; Middendorf, M.; Schmeck, H. 2001. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO-2001, San Francisco, Calif. 2001. Ed.: L. Specto. San Francisco, Calif. 2001. S. 860-867
An agent-based distributed service model for nomadic users Wang, Z.; Seitz, J. 2001. In: Proceedings of the 8th International Conference on Parallel and Distributed Systems, ICPADS 2001, Kyongju City, Korea 2001. Los Alamitos, Calif. 2001. S. 681-688
Airbug - insect-like machine actuated by fluidic muscle Berns, K.; Albiez, J.; Kepplin, V.; Hillenbrand, C. 2001. In: Proceedings of the 4th International Conference on Climbing and Walking Robots, CLAWAR 2001, Karlsruhe 2001. Ed.: K. Berns. Bury St. Edmunds 2001. S. 237-244
Agent-based distributed computing with JMessengers Gmehlin, M.; Kreuzinger, J.; Pfeffer, M.; Ungerer, T. 2001. In: Innovative internet computing systems. IICS 2001. Berlin 2001. S. 131-145. (Lecture notes in computer science. 2060.)
Advances in meeting recognition Waibel, A.; Yu, H.; Soltau, H.; Schultz, T.; Schaaf, T.; Pan, Y.; Metze, F.; Bett, M. 2001. Proceedings of the Human Technology Conference, HLT 2001, San Diego, CA 30. März 2001
Advances in automatic meeting record creation and access Waibel, A.; Bett, M.; Metze, F.; Ries, K.; Schaaf, T.; Schultz, T.; Soltau, H.; Yu, H.; Zechner, K. 2001. Proceedings of IEEE Signal Processing Society International Conference on Acoustics, Speech, and Signal Processing 2001, ICASSP 2001, Salt Lake City, UT 2001