Organizational unit: Institut für Informatik / Data source: arXiv - Universitätsbibliographie Search Results

Start Over Organizational unit Institut für Informatik Data source arXiv

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

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

2. Type-safe, Polyvariadic Event Correlation

Autoren:: Bračevac, Oliver; Salvaneschi, Guido; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Type:: Preprint

3. A Co-contextual Type Checker for Featherweight Java (incl. Proofs)

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bračevac, Oliver; Bejleri, Andi; Mezini, Mira
Veröffentlichungsdatum:: 2017
Type:: Preprint

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

Autoren:: Bračevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Veröffentlichungsdatum:: 2016
Type:: Preprint

5. 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:: Preprint

6. HINT: A Hierarchical Index for Intervals in Main Memory

Autoren:: Christodoulou, George; Bouros, Panagiotis; Mamoulis, Nikos
Veröffentlichungsdatum:: 2021
Type:: Preprint

7. Routing Directions: Keeping it Fast and Simple

Autoren:: Sacharidis, Dimitris; Bouros, Panagiotis
Veröffentlichungsdatum:: 2013
Type:: Preprint

8. Two-layer Space-oriented Partitioning for Non-point Data

Autoren:: Tsitsigkos, Dimitrios; Bouros, Panagiotis; Lampropoulos, Konstantinos; Mamoulis, Nikos; Terrovitis, Manolis
Veröffentlichungsdatum:: 2023
Type:: Preprint

9. Neural RELAGGS

Autoren:: Pensel, Lukas; Kramer, Stefan
Veröffentlichungsdatum:: 2022
Type:: Preprint

10. Pairwise Learning to Rank by Neural Networks Revisited: Reconstruction, Theoretical Analysis and Practical Performance

Autoren:: Köppel, Marius; Segner, Alexander; Wagener, Martin; Pensel, Lukas; Karwath, Andreas; Kramer, Stefan
Veröffentlichungsdatum:: 2019
Type:: Preprint