- Published
Better database cost/performance via batched I/O on programmable SSD.
Do, J., Picoli, I. L., Lomet, D. B. & Bonnet, Philippe, 2021, In: V L D B Journal. 30, 3, p. 403-424 22 p., 3.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Blockchain deconstructed
Henglein, Fritz, 2018. 2 p.Research output: Contribution to conference › Conference abstract for conference › Research
- Published
Boolean monadic recursive schemes as a logical characterization of the subsequential functions
Bhaskar, S., Chandlee, J., Jardine, A. & Oakden, C., 2020, Language and Automata Theory and Applications - 14th International Conference, LATA 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (eds.). Springer VS, p. 157-169 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12038 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bootstrapping compiler generators from partial evaluators
Glück, Robert, 2012, Perspectives of System Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Clarke, E., Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 125-141 17 p. (Lecture notes in computer science, Vol. 7162).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Bounds Checking on GPU
Henriksen, Troels, 2021, In: International Journal of Parallel Programming. 49, 6, p. 761-775Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Branching execution symmetry in Jeopardy by available implicit arguments analysis
Tilsted Kristensen, J., Kaarsgaard, R. & Thomsen, Michael Kirkedal, 2023, In: NIKT: Norsk IKT-konferanse for forskning og utdanning. 2022, 1, p. 1-14Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Breaking Through the n^3 Barrier: Faster Object Type Inference
Henglein, Fritz, 1999, In: Theory and Practice of Object Systems (TAPOS). 5, 1, p. 57--72 13 p.Research output: Contribution to journal › Journal article › Research › peer-review
- Published
Breaking through the n^3 barrier: Faster object type inference
Henglein, Fritz, 1997, Proceedings of the 4th International Workshop on Foundations of Object-Oriented Languages (FOOL). InternetpublikationResearch output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
- Published
Building blocks of sharding blockchain systems: Concepts, approaches, and open problems
Liu, Y., Liu, J., Vaz Salles, M. A., Zhang, Z., Li, T., Hu, B., Henglein, Fritz & Lu, R., Nov 2022, In: Computer Science Review. 46, 44 p., 100513.Research output: Contribution to journal › Review › Research › peer-review
- Published
Can AI Moderate Online Communities?
Axelsen, Henrik Bjørn, Jensen, J. R., Axelsen, S., Licht, V. & Ross, Omry, 2023, arXiv preprint, 12 p.Research output: Working paper › Preprint › Research
Most downloads
-
4505
downloads
Troll, a Language for specifying Dice-rolls
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
4103
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2506
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published
Latest publications
Explicit Effects and Effect Constraints in ReML
Research output: Contribution to journal › Journal article › Research › peer-review
Multi-Head Adapter Routing for Cross-Task Generalization
Research output: Contribution to conference › Paper › Research › peer-review
Partial Evaluation of Reversible Flowchart Programs
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review