direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2007

Kleeblatt, Dirk (2007). Checking dependent types efficiently. Programmiersprachen und Grundlagen der Programmierung, volume A-07-07 of Schriftenreihe A der Institute für Informatik und Mathematik. Universität zu Lübeck.


2006


André Metzner and Peter Pepper (2006). Evolving Specifications for Embedded Systems in the Automotive Domain. Embedded Systems - Modeling, Technology, and Applications, Proceedings of the 7th International Workshop held at Technische Universität Berlin. Springer, 83–92.


Frank, S. and Hofstedt, P. and Pepper, P. and Reckmann, D. (2006). Solution Strategies for Multi-domain Constraint Logic Programs. Sixth International Andrei Ershov Memorial Conference, Perspectives of System Informatics


Peter Pepper and Petra Hofstedt (2006). Funktionale Programmierung - Weiterführende Konzepte und Techniken. Springer-Lehrbuch.


Michael Cebulla (2006). A Hybrid Approach for Reasoning about Self-Optimization. International Transactions on Systems Science and Applications


Michael Cebulla (2006). Towards Distributed Reasoning for Behavioral Optimization. Biologically Inspired Cooperative Computing. Springer.


Michael Cebulla (2006). Towards Distributed Reasoning for Behavioral Robustness. Proc. of the IFIP World Congress 2006


Michael Cebulla (2006). Reasoning about Knowledge and Context-Awareness. Proc. of the 19th International FLAIRS Conference. AAAI Press.


Martin Grabmüller (2006). A Generic Model of Functional Programming With Dynamic Optimization. Draft Proceedings of the Seventh Symposium on Trends in Functional Programming (TFP 2006). University of Nottingham.


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