


default search action
GI Ausgezeichnete Informatikdissertationen 2013
- Abraham Bernstein, Wolfgang Effelsberg, Steffen Hölldobler, Hans-Peter Lenhof, Klaus-Peter Löhr, Paul Molitor, Gustaf Neumann, Rüdiger Reischuk, Nicole Schweikardt, Myra Spiliopoulou, Harald Störrle, Sabine Süsstrunk:

Ausgezeichnete Informatikdissertationen 2013. LNI D-14, GI 2014, ISBN 978-3-88579-418-9 - Rüdiger Ehlers:

Symmetrische und effiziente Synthese. Ausgezeichnete Informatikdissertationen 2013: 11-20 - Ulrike Fischer:

Zeitreihenprognose in relationalen Datenbanksystemen. Ausgezeichnete Informatikdissertationen 2013: 21-30 - Nils Daniel Forkert:

Modellbasierte Analyse zerebrovaskulärer Erkrankungen durch Kombination von 3D und 4D MRA Datensätzen. Ausgezeichnete Informatikdissertationen 2013: 31-40 - Mike Gemünde:

Takthierarchien für imperative synchrone Sprachen. Ausgezeichnete Informatikdissertationen 2013: 41-50 - Heinz Hofbauer:

Visuelle Evaluierung, Skalierung und Transport von sicheren Videos. Ausgezeichnete Informatikdissertationen 2013: 51-60 - Robert Isele:

Maschinelles Lernen expressiver Verknüpfungsregeln zur Duplikaterkennung mittels genetischer Programmierung. Ausgezeichnete Informatikdissertationen 2013: 61-70 - Paul Kaufmann:

Multikriterielle Evolution adaptiver eingebetteter Systeme. Ausgezeichnete Informatikdissertationen 2013: 71-80 - Sascha Klement:

Die Support Feature Machine: Eine Odyssee in hochdimensionalen Räumen. Ausgezeichnete Informatikdissertationen 2013: 81-90 - Stefan Kuntsche:

Modulare Modellspezifikation auf der Dokumentationsebene - Konzepte und Anwendung in einer webbasierten Modellierungsumgebung. Ausgezeichnete Informatikdissertationen 2013: 91-100 - Alexander Langer:

Schnelle Algorithmen für zerlegbare Graphen. Ausgezeichnete Informatikdissertationen 2013: 101-110 - Ludwig Lausser:

Robuste Klassifikationsverfahren für hochdimensionale Datensätze. Ausgezeichnete Informatikdissertationen 2013: 111-120 - Marcel Martin:

Algorithmen und Werkzeuge zur Analyse von Hochdurchsatz-DNA-Sequenzierungsdaten. Ausgezeichnete Informatikdissertationen 2013: 121-130 - Janick Martinez Esturo:

Geometrische Formen in Vektorfeldern - Kontinuierliche Deformationen und Oberflächen-basierte Strömungsvisualisierungen. Ausgezeichnete Informatikdissertationen 2013: 131-140 - Folke Mitzlaff:

Beziehungsstrukturen in Evidenznetzwerken. Ausgezeichnete Informatikdissertationen 2013: 141-150 - Matthias Nießner:

Rendern von Unterteilungsflächen mittels Hardware Tessellierung. Ausgezeichnete Informatikdissertationen 2013: 151-160 - Jens Otten:

Konnektionskalküle für automatisches Beweisen in klassischen und nicht-klassischen Logiken. Ausgezeichnete Informatikdissertationen 2013: 161-170 - Vinh Pham:

Analyse einer praktischen fundamentalen Schranke der anonymen Kommunikation. Ausgezeichnete Informatikdissertationen 2013: 171-180 - Thomas Reinbacher:

Analyse von eingebetteten Echtzeitsystemen zur Laufzeit. Ausgezeichnete Informatikdissertationen 2013: 181-190 - Bernd-Christian Renner:

Energieautarker Betrieb drahtloser Sensorknoten mit regenerativen Energiequellen und Superkondensatoren. Ausgezeichnete Informatikdissertationen 2013: 191-200 - Amr Rizk:

Nicht-asymptotische Leistungsbewertung und abtastbasierte Parameterschätzung für Kommunikationsnetzwerke mit langzeitkorreliertem Datenverkehr. Ausgezeichnete Informatikdissertationen 2013: 201-210 - Stephan Salinger:

Ein Rahmenwerk für die qualitative Analyse der Paarprogrammierung. Ausgezeichnete Informatikdissertationen 2013: 211-220 - Roland Schatz:

Trace-basiertes Testen von nebenläufigen reaktiven Systemen. Ausgezeichnete Informatikdissertationen 2013: 221-230 - Reza Shokri:

Quantifizierung und Schutz von Location Privacy. Ausgezeichnete Informatikdissertationen 2013: 231-240 - Mathias Soeken:

Formale Spezifikationsebene. Ausgezeichnete Informatikdissertationen 2013: 241-250 - Jens Spehr:

Hierarchische Modelle für das visuelle Erkennen und Lernen von Objekten, Szenen und Aktivitäten. Ausgezeichnete Informatikdissertationen 2013: 251-260 - Markus Steinberger:

Dynamisches Resourcen Scheduling auf Grafik-Prozessoren. Ausgezeichnete Informatikdissertationen 2013: 261-270 - Andrada Tatu:

Visual Analytics von Mustern in hochdimensionalen Daten. Ausgezeichnete Informatikdissertationen 2013: 271-280 - Max Tuengerthal:

Modulare Analyse praxisrelevanter Sicherheitsprotokolle in UC-Modellen. Ausgezeichnete Informatikdissertationen 2013: 281-290 - Christian Wachsmann:

Vertrauenswürdige und privatheitsbewahrende eingebettete Systeme basierend auf Physically Unclonable Functions. Ausgezeichnete Informatikdissertationen 2013: 291-300

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














