Table of Contents

• Entkopplung von Kernelementen der AnfrageverarbeitungSebastian Bächle. 11-20
• Benutzbare Sicherheit für wirksame Berechtigungen in OrganisationenSteffen Bartsch. 21-30
• Berechnungskomplexität von Problemen in der Computational Social ChoiceDorothea Baumeister. 31-40
• Mengenwertige Lösungskonzepte in Spieltheorie und Social-Choice-TheorieMarkus Brill. 41-50
• Branchenspezifische IT-Innovationssysteme: Von der Analyse zur Intervention - Am Beispiel des IT-Innovationssystems für Krankenhäuser in DeutschlandPaul Drews. 51-60
• Computationale Aspekte der Abstrakten ArgumentationWolfgang Dvorák. 61-70
• Platz- und Schaltkreiskomplexität von MSO-beschreibbaren Problemen auf baumartig zerlegbaren StrukturenMichael Elberfeld. 71-80
• Kulturelle Vielfalt für virtuelle CharaktereBirgit Endrass. 81-90
• Randomisiertes Rumor Spreading auf Sozialen Netwerken und Vollständigen GraphenMahmoud Fouz. 91-100
• Constraint Generierung für domänenspezifische ModellierungssprachenDagi Geister. 101-110
• Von überwachten zu unüberwachten Support-Vektor-Maschinen und Anwendungen in der AstronomieFabian Gieseke. 111-120
• Maschinelle Verifikation von parametrisierten EchtzeitsystemenThomas Göthel. 121-130
• Analyse von Zeitreihen unter Verwendung orthogonaler Polynome am Beispiel der Online-Motivsuche und ihrer AnwendungenThiemo Gruber. 131-140
• LiveShift: Ein Ansatz für zeitversetzte P2P Multimedia-ÜbertragungenFabio Victora Hecht. 141-150
• Ein Einheitliches Rahmenwerk für Multi-Level ModellierungBastian Kennel. 151-160
• Approximationsalgorithmen für Spektrumsallokation und Power Control in FunknetzwerkenThomas Keßelheim. 161-170
• Formale Verifikation von exogenen KoodinationsmodellenSascha Klüppelholz. 171-180
• Lernen Motorischer Fähigkeiten: Von Algorithmen zu Roboter-ExperimentenJens Kober. 181-190
• Modellierung korrelierter Eingabedaten für SimulationenJan Kriege. 191-200
• Messungen und Datenanalyse in Anbetracht von Rauschen und komplexem Bias - Fortschritte aus verbesserten bioinformatischen AlgorithmenPawel P. Labaj. 201-210
• Ein maschinengeprüftes, typsicheres Modell der Nebenläufigkeit in Java: Sprachdefinition, virtuelle Maschine, Speichermodell und verifizierter CompilerAndreas Lochbihler. 211-220
• Fehlertolerante Industrielle Wireless-Mesh-Network-InfrastrukturGeorg Lukas. 221-230
• Exakte Algorithmen für ErfüllbarkeitsproblemeRobin A. Moser. 231-240
• Verteiltes Dokumenten-orientiertes Prozessmanagement im GesundheitswesenChristoph P. Neumann. 241-250
• Effziente Systemevaluation mit stochastischen ModellenPhilipp Reinecke. 251-260
• Der Asynchrone Graz Brain SwitchTeodoro Solis-Escalante. 261-270
• Schadsoftwareerkennung auf Netzwerkebene ohne EinzelpaketanalyseFlorian Tegeler. 271-280
• Irisbiometrie in der Überwachung: Innovationen zu Segmentierung und KomparatorenPeter Wild. 281-290
• Analyse molekularbiologischer Daten mittels Self-organizing MapsHenry Wirth. 291-300