Table of Contents

• Symmetrische und effiziente SyntheseRüdiger Ehlers. 11-20
• Modellbasierte Prognoseverfahren in relationalen DatenbanksystemenUlrike Fischer. 21-30
• Modellbasierte Analyse zerebrovaskulärer Erkrankungen durch Kombination von 3D und 4D MRA DatensätzenNils Daniel Forkert. 31-40
• Takthierarchien für imperative synchrone SprachenMike Gemünde. 41-50
• Visuelle Evaluierung, Skalierung und Transport von sicheren VideosHeinz Hofbauer. 51-60
• Maschinelles Lernen expressiver Verknüpfungsregeln zur Duplikaterkennung mittels genetischer ProgrammierungRobert Isele. 61-70
• Multikriterielle Evolution adaptiver eingebetteter SystemePaul Kaufmann. 71-80
• Die Support Feature Machine: Eine Odyssee in hochdimensionalen RäumenSascha Klement. 81-90
• Modulare Modellspezifikation auf der Dokumentationsebene - Konzepte und Anwendung in einer webbasierten ModellierungsumgebungStefan Kuntsche. 91-100
• Schnelle Algorithmen für zerlegbare GraphenAlexander Langer. 101-110
• Robuste Klassifikationsverfahren für hochdimensionale DatensätzeLudwig Lausser. 111-120
• Algorithmen und Werkzeuge zur Analyse von Hochdurchsatz-DNA-SequenzierungsdatenMarcel Martin. 121-130
• Geometrische Formen in VektorfeldernJanick Martinez Esturo. 131-140
• Beziehungsstrukturen in EvidenznetzwerkenFolke Mitzlaff. 141-150
• Rendern von Unterteilungsflächen mittels Hardware TessellierungMatthias Nießner. 151-160
• Konnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen LogikenJens Otten. 161-170
• Analyse einer praktischen fundamentalen Schranke der anonymen KommunikationVinh Pham. 171-180
• Analyse von eingebetteten Echtzeitsystemen zur LaufzeitThomas Reinbacher. 181-190
• Energieautarker Betrieb drahtloser Sensorknoten mit regenerativen Energiequellen und SuperkondensatorenBernd-Christian Renner. 191-200
• Nicht-asymptotische Leistungsbewertung und abtastbasierte Parameterschätzung für Kommunikationsnetzwerke mit langzeitkorreliertem DatenverkehrAmr Rizk. 201-210
• Ein Rahmenwerk für die qualitative Analyse der PaarprogrammierungStephan Salinger. 211-220
• Trace-basiertes Testen von nebenläufigen reaktiven SystemenRoland Schatz. 221-230
• Quantifizierung und Schutz von Location PrivacyReza Shokri. 231-240
• Formale SpezifikationsebeneMathias Soeken. 241-250
• Hierarchische Modelle für das visuelle Erkennen und Lernen von Objekten, Szenen und AktivitätenJens Spehr. 251-260
• Dynamisches Resourcen Scheduling auf Grafik-ProzessorenMarkus Steinberger. 261-270
• Visual Analytics von Mustern in hochdimensionalen DatenAndrada Tatu. 271-280
• Modulare Analyse praxisrelevanter Sicherheitsprotokolle in UC-ModellenMax Tuengerthal. 281-290
• Vertrauenswürdige und privatheitsbewahrende eingebettete Systeme basierend auf Physically Unclonable FunctionsChristian Wachsmann. 291-300