direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dissertationen

Autor(in)
Titel
Datum
Florian Lorenzen
Type-sound Syntactic Language Extension
25.9.2015
Judith Rohloff
Analysis and Implementation of Hierarchical Mutually Recursive First-Class Modules
2.7.2015
Alexandra Mehlhase
Konzepte für die Modellierung und Simulation strukturvariabler Modelle 
3.6.2015
Sandro Rodriguez Garzon
Kontextsensitive Personalisierung
automotiver Benutzerschnittstellen
29.11.2013
Stephan Frank
Efficient Constraint Solving in Dynamic Languages
5.4.2011
Dirk Kleeblatt
On a Strongly Normalizing STG Machine - With an Application to Dependent Type Checking
16.3.2011
Jacob Wieland
Parsing Mixfix Expressions - Dealing with User-Defined Mixfix Operators Efficiently
12.10.2009
Martin Grabmüller
Dynamic Compilation for Functional Programs
21.4.2009
Michael Cebulla
Residing in Adverse Environment - Understanding and Enabling Robustness in Complex Systems by Knowledge Diffusion
17.7.2007
José Baltasar Trancón y Widemann
Strikte Verfahren zyklischer Berechnung
28.2.2007
Ingo Stürmer
Systematic Testing of Code Generation Tools - A Test Suite-oriented Approach for Safeguarding Model-based Code Generation
16.2.2006
Markus Lepper
An Algorithm for the Real-Time Evaluation of Temporal Trace Specifications
29.6.2004
Thomas Nitsche
Data Distribution and Communication Management for Parallel Systems
1.4.2004
Eckard Lehmann
Time Partition Testing - Systematischer Test des kontinuierlichen Verhaltens eingebetteter Systeme
9.9.2003
Klaus Didrich
Integration of Verification and Testing into Compilation Systems - Concept and Case Study
6.11.2001
Petra Hofstedt
Cooperation and Coordination of Constraint Solvers
3.2001
Christian Maeder
Zur Kontextanalyse einer algebraischen Programmiersprache
2001
Wolfgang Grieskamp
A Set-Based Calculus and its Implementation
26.11.1999
Jan-Juan Hiemer
Statecharts in CSP - ein Prozeßmodell in CSP zur Analyse von Statemate-Statecharts
25.11.1998
Karsten Bohlmann
Modeling Interaction and Causality: A Two-Level Declarative Approach
12.2.1998
Oliver Laumann
The Scheme Language as the Foundation for a Reusable Extension Language Kit
30.1.1998
Thomas Frauenstein
Funktionale Prozesssprachen höherer Ordnung
11.1997
Mario Südholt
The Transformational Derivation of Parallel Programs using Data Distribution Algebras and Skeletons
6.8.1997
Mohamed Jmaiel
Development of Communication Protocols with Algebraic-Temporal Specifications
12.1995
Wolfram Schulte
Effiziente und korrekte Übersetzung strikter applikativer Programmiersprachen
11.9.1992
Gottfried Egger
Integration applikativer und prozessorientierter Programmierung
19.4.1991

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Leiter

Prof. Dr. Peter Pepper
Sprechstd.: n.V.

Sekretariat

Christine Beyer
Raum TEL1215
Tel: +49 30 314-73 470
Fax: +49 30 314-73 623

Öffnungszeiten

mail/tel. vereinbaren

Postadresse

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik
Sekr. TEL12-2
Ernst-Reuter-Platz 7
D-10587 Berlin