direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2001

P. Hofstedt and D. Seifert and E. Godehardt (2001). A Framework for Cooperating Constraint Solvers - A Prototypic Implementation. Workshop on Cooperative Solvers in Constraint Programming - CoSolv. At the Seventh International Conference on Principles and Practice of Constraint Programming - CP 2001


P. Hofstedt (2001). Cooperation and Coordination of Constraint Solvers. Dresden University of Technology


Markus Lepper and Baltasar Trancon y Widemann and Jacob Wieland (2001). Minimize Mark-Up! Natural Writing Should Guide the Design of Textual Modeling Frontends. Proc. of the ER2001 conference. Springer.


Wolfgang Grieskamp and Markus Lepper and Wolfram Schulte and Nicolai Tillmann (2001). Testable Use Cases in the Abstract State Machine Language. Proc. of the APAQS 2001 conference. IEEE Computer Society Press –TO APPEAR–.


Christian Mäder (2001). Zur Kontenxtanalyse einer algebraischen Programmiersprache. Fachgruppe Übersetzerbau, Falkultät IV – Elektrotechnik und Informatik, Technische Universität Berlin


Baltasar Trancon y Widemann and Markus Lepper and Jacob Wieland and Peter Pepper (2001). Automized Generation of Typed Syntax Trees Via XML. Proc. of the XSE Workshop, 20-23.


Alvaro E. Campos and Sergei Gorlatch and Thomas Nitsche and Peter Pepper (2001). Distributed Programming Environments for High Level Languages.


2000

Wolfgang Grieskamp (2000). A Computation Model for Z based on Concurrent Constraint Resolution. ZB2000 – International Conference of Z and B Users (to appear)


Thomas Nitsche (2000). Thread Communication over MPI. Recent Advances in PVM and MPI. 7th European PVM/MPI User's Group Meeting (EuroPVM/MPI'00), Hungary. Springer, 145-151.


Wolfgang Grieskamp and Markus Lepper and Jacob Wieland (2000). Constraint Programming in Z.


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