Organizational unit: FB 08 Physik, Mathematik und Informatik and Institut für Informatik - Universitätsbibliographie Search Results

Start Over Organizational unit FB 08 Physik, Mathematik und Informatik Organizational unit Institut für Informatik

1. Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters

Autoren:: Keidel, Sven; Erdweg, Sebastian; Hombuecher, Tobias
Veröffentlichungsdatum:: 2023
Type:: Journal article

2. Efficient Point-Based Trajectory Search

Autoren:: Qi, Shuyao; Bouros, Panagiotis; Sacharidis, Dimitris; Mamoulis, Nikos
Editoren:: Claramunt, Christophe; Schneider, Markus; Wong, Raymond Chi-Wing; Xiong, Li; Loh, Woong-Kee; Shahabi, Cyrus; Li, Ki-Joune
Veröffentlichungsdatum:: 2015
Type:: Conference

3. SAUCE: A web application for interactive teaching and learning of parallel programming

Autoren:: Hundt, Christian; Schlarb, Moritz; Schmidt, Bertil
Veröffentlichungsdatum:: 2017
Type:: Journal article

4. Privately Querying Privacy: Privacy Estimation with Guaranteed Privacy of User and Database Party.

Autoren:: Hildebrandt, Anna Katharina; Althaus, Ernst; Hildebrandt, Andreas
Editoren:: D'Angelo, Gianlorenzo; Michail, Othon
Veröffentlichungsdatum:: 2021
Type:: Conference

5. Most Diverse Near-Shortest Paths.

Autoren:: Häcker, Christian; Bouros, Panagiotis; Chondrogiannis, Theodoros; Althaus, Ernst
Editoren:: Meng, Xiaofeng; Wang, Fusheng; Lu, Chang-Tien; Huang, Yan; Shekhar, Shashi; Xie, Xing
Veröffentlichungsdatum:: 2021
Type:: Conference

6. CPL: A Core Language for Cloud Computing - Technical Report.

Autoren:: Bracevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Veröffentlichungsdatum:: 2016
Type:: Journal article

7. Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015).

Autoren:: Storm, Tijs van der; Erdweg, Sebastian
Veröffentlichungsdatum:: 2015
Type:: Journal article

8. Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Dai, Yi
Veröffentlichungsdatum:: 2014
Type:: Journal article

9. Capture-Avoiding and Hygienic Program Transformations.

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Dai, Yi
Editoren:: Jones, Richard E
Veröffentlichungsdatum:: 2014
Type:: Conference

10. Bootstrapping domain-specific meta-languages in language workbenches.

Autoren:: Konat, Gabriël; Erdweg, Sebastian; Visser, Eelco
Editoren:: Fischer, Bernd; Schaefer, Ina
Veröffentlichungsdatum:: 2016
Type:: Conference

« Previous
Next »
1
2
3
4
5
…
92
93