Organizational unit: FB 08 Physik, Mathematik und Informatik / Data source: DBLP - Universitätsbibliographie Search Results

Start Over Organizational unit FB 08 Physik, Mathematik und Informatik Data source DBLP Publication year 2020 to 2024

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

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

2. 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

3. 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

4. A Systematic Approach to Abstract Interpretation of Program Transformations.

Autoren:: Keidel, Sven; Erdweg, Sebastian
Editoren:: Beyer, Dirk; Zufferey, Damien
Veröffentlichungsdatum:: 2020
Type:: Conference

5. On Tamaki's Algorithm to Compute Treewidths.

Autoren:: Althaus, Ernst; Schnurbusch, Daniela; Wüschner, Julian; Ziegler, Sarah
Editoren:: Coudert, David; Natale, Emanuele
Veröffentlichungsdatum:: 2021
Type:: Conference

6. A systematic approach to deriving incremental type checkers

Autoren:: Pacak, André; Erdweg, Sebastian; Szabó, Tamás
Veröffentlichungsdatum:: 2020
Type:: Journal article

7. RabbitMash: accelerating hash-based genome analysis on modern multi-core architectures

Autoren:: Yin, Zekun; Xu, Xiaoming; Zhang, Jinxiao; Wei, Yanjie; Schmidt, Bertil; Liu, Weiguo
Editoren:: Elofsson, Arne
Veröffentlichungsdatum:: 2021
Type:: Journal article

8. Interactive Debugging of Datalog Programs

Autoren:: Pacak, André; Erdweg, Sebastian
Veröffentlichungsdatum:: 2023
Type:: Journal article

9. Compositional Algorithms on Compositional Data: Deciding Sheaves on Presheaves.

Autoren:: Althaus, Ernst; Bumpus, Benjamin Merlin; Fairbanks, James; Rosiak, Daniel
Veröffentlichungsdatum:: 2023
Type:: Journal article

10. RabbitQCPlus: More Efficient Quality Control for Sequencing Data

Autoren:: Yan, Lifeng; Yin, Zekun; Zhang, Hao; Zhao, Zhan; Wang, Mingkai; Muller, Andre; Kobus, Robin; Wei, Yanjie; Niu, Beifang; Schmidt, Bertil; Liu, Weiguo
Editoren:: Adjeroh, Donald A; Long, Qi; Shi, Xinghua Mindy; Guo, Fei; Hu, Xiaohua; Aluru, Srinivas; Narasimhan, Giri; Wang, Jianxin; Kang, Mingon; Mondal, Ananda; Liu, Jin
Veröffentlichungsdatum:: 2022
Type:: Conference

« Previous
Next »
1
2
3
4
5
…
7
8