Research Projects
This list of research topics of the various groups of our Fakultät für Informatik is a compilation of activities in
2003
.
ILKD Deussen em.: Symbolic LTL Model Checking
ILKD Menzel em.: Modeling melodic structure with learning based methods
ILKD Schmitt, P.: KeY
ILKD Schmitt, P.: Verification techniques for Javacard programs
ILKD Schmitt, P.: Specification and Verification of Temporal Properties in KeY
ILKD Schmitt, P.: Modular Verification of Object-oriented Programs
ILKD Schmitt, P.: Optimisation of proofs using program analysis techniques inspired by case studies
ILKD Schmitt, P.: Proof re-use in Java software verification
ILKD Schmitt, P.: Design of an Embedded Electronic Architecture in the Automotive Domain Domain
ILKD Schmitt, P.: Verisoft
ILKD Wagner: EU-Project AMORE: Algorithmic Methods for Optimizing the Railways in Europe
ILKD Wagner: EU-Project COSIN: COevolution and Self-organisation In dynamical Networks
ILKD Wagner: DFG-Project: Exact algorithms for the exploration of large, weakly structured data for a time table information system
ILKD Wagner: Network Design in Public Transport
ILKD Wagner: Algorithms for Shortest Paths in large Networks
ILKD Wagner: DFG-Project: visone - Analysis and Visualization of Social Networks
ILKD Wagner: GEONET (GEOmetric NETworks and their visualization)
ILKD Waibel: EU-project FAME
ILKD Waibel: Microphone Arrays
ILKD Waibel: Multilingual Speechrecognition
ILKD Waibel: Multimodal Human-Machine Dialogue
ILKD Waibel: Statistical Methods for Machine Translation
ILKD Waibel: Visual Modeling of the User for Human-Robot Interaction
IPD Goos: Component-Based Software-Development
IPD Goos: Tool Support in Software Development
IPD Goos: Software Quality Analysis
IPD Goos: Tool Support in the Evolution of Software Systems
IPD Goos: Aspect-oriented System Development
IPD Lockemann em.: Research Group "Information Systems"
IPD Lockemann em.: CONsense: Cooperative Knowledge Management in Virtual Organisations
IPD Lockemann em.: OVID - Databases for the Provision of Information in Databases
IPD Lockemann em.: Project VICODI: Visual Contextualisation of Digital Content
IPD Lockemann em.: CMS-E: Evaluation and Migration of a Content Management System
IPD Lockemann em.: SESAM - Self Organization and Spontaneity in Liberalised and Harmonized Markets
IPD Lockemann em.: SCORE
IPD Lockemann em.: Design Processes in Product Development and Architecture
IPD Lockemann em.: Diane - Services in Ad-Hoc Networks
IPD Lockemann em.: NuKaTH project of a Lab Course on "Mobile Databases and Information Systems"
IPD Lockemann em.: Robust Multiagent-Systems in Manufacturing Logistics
IPD Lockemann em.: Modern Mart
IPD Lockemann em.: Performance Improvement of Application Servers
IPD Lockemann em.: Knowledge Discovery in Databases
IPD Lockemann em.: Learning in Process (LIP)
IPD Tichy: Communication Software
IPD Tichy: Parallel Programming Environments
IPD Tichy: Parallel Filesystems
IPD Tichy: Scheduling Policies on Clusters
IPD Tichy: Scalable Servers on COTS Clusters
IPD Tichy: Semantic Software Engineering
IPD Tichy: Computers in the Human Interaction Loop
IPD Tichy: Software Technology (SWT) at the Research Center for Informatics
IPR Wörn: Image Processing for Medical Applications
IPR Wörn: Time-optimal (optimised) path planning for industrial robots
IPR Wörn: Fast Collision Detection for Multiple Kinematics
IPR Wörn: Calibration of Parallel Kinematics
IPR Wörn: IRoProg: Intuitive Robot Programming
IPR Wörn: Modular software system for intelligent drives
IPR Wörn: Robot system for wear testing
IPR Wörn: Development of a flexible system for automatic visual inspection in manufacturing and assembling
IPR Wörn: Automatically guided vehicle with robot based loading and unloading stations (project-based study in the Notebook University)
IPR Wörn: PROSERV - PRojektinformationen Online für den SERVice
IPR Wörn: Distributed data acquisition and diagnosis in complex systems
IPR Wörn: Operation planning and control in surgery (SFB 414)
IPR Wörn: MiCRoN
IPR Wörn: Human-Robot-Co-operation
IPR Wörn: Sensitive Artificial Skin And Haptic Sensors for Safe Man-Robot-Cooperation (SFB 588)
IPR Wörn: Innovative, flexible light-weight-gripper-systems
IPR Wörn: VIDOP
IPR Wörn: KRASH
IPR Wörn: Registration for computer-aided diagnosis and operation planning without artificial markers
IPR Wörn: Robot Assisted Surgery (SFB 414)
IPR Wörn: Projector Based Augmented Reality in Surgery (SFB 414)
IPR Wörn: Computer Aided Acquisition of Wound Surfaces with Camera and Laser Scanner
IPR Wörn: New End Effector for Surgical Robot System
IPR Wörn: Intraoperative Registration using the AWIGS system
IPR Wörn: ARNO - Augmented Reality for Navigated Operating Microscopes
IRF Görke em.: Analysis of the Statistical Properties of Traffic Streams in Packet-Switched Networks During Failure of Network Components Using Discrete Event Simulation
IRF Görke em.: CORBA
IRF Schmid em.: Verification of embedded systems
IRF Schmid em.: Formal synthesis of digital circuits
IRF Schmid em.: Formal System Design
IRF Schmid em.: Recognition of sounds by modelling the biological example
IRF Schmid em.: A PDA as remote control for small devices
IRF Schmid em.: Modeling, Performance Evaluation, and Optimization of Computer Systems
ITM Hartenstein: Mobility and radio propagation models for ad hoc network research
ITM Hartenstein: Robustness and security in a service-oriented peer-to-peer architecture for liberaliszed markets
ITM Hartenstein: Vehicular ad hoc networks
ZAR Dreier: Information law
ZAR Dreier: Legal informatics online (Rechtsinformatik Online, RION)
ZAR Dreier: Exclusive copyright, competition law and freedom of information (T. Dreier, S.Freiwald, S. Massen, G.Nolte, M.Senftleben)
ZAR Dreier: International Intellectual Property Law (T. Dreier, U. Enners, J. Schulz, M. Senftleben, C. Würfel)
ZAR Dreier: Graduate School (T.Dreier, P.Sester)
ZAR Dreier: Database with official legal texts of information law (O. Raabe, J. Gantner, J. Heuer)
ZAR Dreier: Lecture series "Karlsruher Kolloquien" (A. Buhrow, LL.M., C. Würfel)
generated by
i3v
info@ira.uka.de
, 26.08.2004