3

• 3PC - Peer to Peer Pervasive Computing (VS)
  

A

• AdaBasis - A Repository of Reusable Ada Software (PS)
  
• Algorithms for Software Model Checking (SZS)
  
• An Automata-Theoretic Approach to Software Model Checking (SZS)
  
• AnT 4.669 (BV)
  
• ArabTeX - a package for multilingual typesetting (BS)
  
• Automatic Synthesis of Distributed Systems (SZS)
  

B

• Begleitende Mobilitätsmaßnahmen zum SimLab in Belgrad - SimLab Stipendiatenprogramm und Kurzlehrgänge (SGS)
  

C

• Chaostheory-online (BV)
  
• Cocktail - Compilerbautools für Ada (PS)
  
• Collective Microrobotics (BV)
  
• Component Architecture Framework or Engineering Systems (AS)
  
• Cooperative Soccer Playing Robots Stuttgart (BV)
  
• Cost-based
  
• CupID (VS)
  

D

• DACHIA - Deutsch-brasilianische Kooperation (SZS)
  

E

• Entwicklung eines Variantenmoduls für Elektro-CAD Systeme der nächsten Generation (GR)
  

F

• Feature-basierte Referenzdatenmodellierung und CAD-Anbindung (GR)
  
• Fobs: Formale Beschreibung von Signalabläufen in vernetzten elektrischen / elektronischen Systemen (GR)
  

G

• Ganzheitliche Modelle zur Repräsentation aktiven Wissens (GR)
  
• Generic Integration Middleware for Mediating Information Calls (AS)
  
• Genetische Algorithmen
• GENIO - Analysis of Human Genomic DNA

H

• HIMM - Highly Immersive Molecular Modeling (GR)
  

I

• IKON - Intelligentes Konfigurierungssystem (GR)
  
• Informatik AG für Schülerinnen (AS, VS)
  
• Innovation in der Internetökonomie (AS)
  
• Intelligent Small World Autonomous Robots for Micro-manipulation (BV)
  
• IPM - Incomplete Product Model (GR)
  

L

• Ladenburger Kolleg -- Living in a Smart Environement (VS)
  

M

• Massiv parallele molekulare Simulation und Visualisierung der Keimbildung in Mischungen für skalenübergreifende Modelle (SGS)
  
• MeDoc/InterDoc: Multimediale elektronische Dokumente - Entwicklung und Erprobung offener volltext-basierter Informationsdienste für die Informatik
  
• Metamodell zur Beschreibung des Ist-Bauzustands technischer Systeme (GR)
  
• Multimodale Simulation des Verkehrsablaufes in großen Netzen (SGS)
  

N

• Network Emulation Testbed (VS)
  
• neXus SFB 627 (AS)
  
• Numerische Simulation von Fluid-Struktur-Wechselwirkungen auf kartesischen Gittern (SGS)
  
• NumStoch (SGS)
  

O

• Optimization and IntegRation of Business Intelligence Technology (AS)
  

P

• ParaCAD - Parametric Computer Aided Design (GR)
  
• POWER - Product modelling in object-oriented Databases with efficient Mechanisms (GR)
  
• Projekte im Software-Labor

R

• RADES - Reference Architecture for the Development and Support of EAI-Solutions (AS)
  

S

• SANDS - Static Analysis of Dynamically Evolving Systems (SZS)
  
• SESAM - Software Engineering Simulation by Animated Models (SE)
  
• Session oriented networking (VS)
  
• Simulation Technology Goes Mobile (SGS)
  
• Sommerschule Simulation Technology in Rumänien (SGS)
  
• Study
  

T

• TinyCubus (VS)
  

U

• Umgebungsmodelle für mobile kontextbezogene Systeme (VS)
  
• UNIversal Trust-architecture for Electronic Commerce (VS)
  

V

• Volumenorientierte Modellierung als Grundlage einer vernetzt-kooperativen Planung im konstruktiven Ingenieurbau (SGS)
  

W

• Wandlungsfähige Unternehmensstrukturen für die variantenreiche Serienproduktion (BV)
  
• Wandlungsfähige Unternehmensstrukturen für die variantenreiche Serienproduktion - Modellierung von und Exploration in komplexen Unternehmensinformationen (AS)
  
• Wissensbasiertes Management für die wandlungsfähige Montage (AS)