direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2013

Lorenzen, Florian and Erdweg, Sebastian (2013). Modular and Automated Type-Soundness Verification for Language Extensions. Proceedings of 18th International Conference on Functional Programming (ICFP '13)


Rohloff, Judith and Lorenzen, Florian (2013). Call-by-Value Semantics for Mutually Recursive First-Class Modules. Trends in Functional Programming. Springer Berlin Heidelberg, 101-116.


Höger, Christoph and Zuber, Martin (2013). Towards a Tight Integration of a Functional Web Client Language into Scala. Proceedings of the 4th Workshop on Scala. ACM, 6:1–6:5.


2012

Rodriguez Garzon, Sandro (2012). Situation-Aware Personalization of Automotive User Interfaces. Adjunct Proceedings of 4th Int. Conf. on Automotive User Interfaces and Interactive Vehicular Applications


Rodriguez Garzon, Sandro (2012). Intelligent In-Car-Infotainment System: A Prototypical Implementation. Proceedings of 8th Int. Conf. on Intelligent Environments. IEEE Computer Society, 371–374.


Rodriguez Garzon, Sandro (2012). Intelligent In-Car-Infotainment System: A Contextual Personalized Approach. Proceedings of 8th Int. Conf. on Intelligent Environments. IEEE Computer Society, 315–318.


Rodriguez Garzon, Sandro and Poguntke, Mark (2012). The Personal Adaptive In-Car HMI: Integration of External Applications for Personalized Use. Advances in User Modeling. Revised Selected Papers.. Springer, 35–46.


Rodriguez Garzon, Sandro and Hritsevskyy, Dmytro (2012). Model-based Generation of Scenario-specific Event Sequences for the Simulation of Recurrent User Behavior within Context-Aware Applications. Proceedings of Symposium on Theory of Modelling and Simulation (SpringSim'12)


Lorenzen, Florian (2012). A Foundation for Programmable Binders in Statically Typed Functional Languages. Draft proceedings of 2012 Symposium on Trends in Functional Programming


Rohloff, Judith and Lorenzen, Florian (2012). Call-by-Value Semantics for Mutually Recursive First-Class Modules. Draft proceedings of 2012 Symposium on Trends in Functional Programming


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