direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2012

Zuber, Martin and Linges, Fabian (2012). Deriving Type Checkers.


2011

Rodriguez Garzon, Sandro and Schütt, Kristof (2011). Road-Based Adaptation of In-Car-Infotainment Systems. Proceedings of Fourth Int. Conf. on Advances in Computer-Human Interactions, 147–152.


Rodriguez Garzon, Sandro and Schütt, Kristof (2011). Discover Significant Situations for User Interface Adaptations. Proceedings of the 3rd Workshop on Multimodal Interfaces for Automotive Applications, 29–32.



Lorenzen, Florian and Rohloff, Judith (2011). Gruppen: Ein Ansatz zur Vereinheitlichung von Namensbindung und Modularisierung in strikten funktionalen Programmiersprachen. Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11), 133–150.


Zuber,Martin (2011). A Type Checker Library for Haskell. Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11), 181–193.


Peter Pepper and Alexandra Mehlhase and Christoph Höger and Lena Scholz (2011). A Compositional Semantics for Modelica-style Variable-structure Modeling. Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Zurich, Switzerland, September 5, 2011. Linköping University Electronic Press, Linköpings universitet, 45–54.


Christoph Höger (2011). Separate Compilation of Causalized Equations - Work in Progress. Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Zurich, Switzerland, September 5, 2011. Linköping University Electronic Press, Linköpings universitet, 113–120.



Rodriguez Garzon, Sandro and Poguntke, Mark (2011). The Personal Adaptive In-Car HMI: Integration of External Applications for Personalized Use. Proceedings of the Int. Workshop on Augmenting User Models with Real World Experiences to Enhance Personalization and Adaptation, IV.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Leiter

Prof. Dr. Peter Pepper
Sprechstd.: keine mehr

Sekretariat

Christine Beyer
Raum EN 538
Tel: +49 30 314-22280

Öffnungszeiten

mail/tel. vereinbaren

Postadresse

Technische Universität Berlin
Fakultät IV - Elektrotechnik und Informatik - ÜBB
Sekr. EN 13
Raum EN 538
Einsteinufer 17
D-10587 Berlin