Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Zhu, Y., Honnet, C., Kang, Y., Zhu, J., Zheng, A. J., Heinz, K., Tang, G., Musk, L., Wessely, M. & Mueller, S. (2023). Demonstration of ChromoCloth: Re-Programmable Multi-Color Textures through Flexible and Portable Light Source. I UIST 2023 Adjunct - Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Artikel 73 Association for Computing Machinery. https://doi.org/10.1145/3586182.3615811

Ko, D., Kim, Y., Zhu, J., Wessely, M. & Mueller, S. (2023). Demonstration of FlexBoard: A Flexible Breadboard Platform for Interaction Prototyping on Curved and Deformable Objects. I CHI EA '23: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 444 Association for Computing Machinery. https://doi.org/10.1145/3544549.3583915

Jacobs, J., Hinrichsen, J. K. & Krebbers, R. (2023). Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). Proceedings of the ACM on Programming Languages , 7(ICFP), 768-795. Artikel 214. https://doi.org/10.1145/3607856

Georges, A. L. (2023). Designing and Proving Robust Safety of Efficient Capability Machine Programs. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Van Oosterhout, A., Bruns, M. & Hoggan, E. (2023). Designing for Haptic and Embodied Interaction with Feelix. I TEI '23: Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction Artikel 66 Association for Computing Machinery. https://doi.org/10.1145/3569009.3571842

Cohen-Addad, V., Saulpic, D. & Schwiegelshohn, C. (2023). Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation. I 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) (s. 1105-1130). IEEE. https://doi.org/10.1109/FOCS57990.2023.00066

Damgård, I., Keller, H., Nelson, B., Orlandi, C. & Pagh, R. (2023). Differentially Private Selection from Secure Distributed Computing.

Larsen, K. G., Obremski, M. & Simkin, M. (2023). Distributed Shuffling in Adversarial Environments. I K.-M. Chung (red.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 Artikel 10 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2023.10

Butcher, P. W. S., Batch, A., Ritsos, P. D. & Elmqvist, N. (2023). Don't Pull the Balrog - Lessons Learned from Designing Wizualization: a Magic-inspired Data Analytics System in XR. I G. Bruder, A.-H. Olivier, A. Cunningham, E. Y. Peng, J. Grubert & I. Williams (red.), Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality Adjunct, ISMAR-Adjunct 2023 (s. 234-237). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISMAR-Adjunct60411.2023.00054

Green, M., Hall-Andersen, M. N., Hennenfent, E., Kaptchuk, G., Perez, B. & Van Laer, G. (2023). Efficient Proofs of Software Exploitability for Real-world Processors. Proceedings on Privacy Enhancing Technologies, 2023(1), 627-640. https://doi.org/10.56553/popets-2023-0036

Jørgensen, J. R. & Assent, I. (2023). EGG-SynC: Exact GPU-parallelized Grid-based Clustering by Synchronization. I Proceedings 26th International Conference on Extending Database Technology ( EDBT 2023 ) (s. 195-207). openproceedings.org. https://doi.org/10.48786/edbt.2023.16

Bilstrup, K.-E. K. (2023). Embodied Computational Empowerment: Designing Educational Tools for Critical Reflection on Computational Technologies. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Boudgoust, K., Jeudy, C., Roux-Langlois, A. & Wen, W. (2023). Entropic Hardness of Module-LWE from Module-NTRU. I T. Isobe & S. Sarkar (red.), Progress in Cryptology – INDOCRYPT 2022: 23rd International Conference on Cryptology in India, Kolkata, India, December 11–14, 2022, Proceedings (s. 78-99). Springer. https://doi.org/10.1007/978-3-031-22912-1_4

Brodal, G. S., Rysgaard, C. M. & Svenning, R. (2023). External Memory Fully Persistent Search Trees. I B. Saha & R. A. Servedio (red.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (s. 1410-1423). Association for Computing Machinery. https://doi.org/10.1145/3564246.3585140

Koutra, D., Mottin, D. & Zhu, J. (2023). Fact summarization for personalized knowledge graphs. I Personal Knowledge Graphs (PKGs): Methodology, tools and applications (s. 239-254). Institution of Engineering and Technology. https://doi.org/10.1049/PBPC063E_ch10

Chiang, J. H. Y., David, B., Eyal, I. & Gong, T. (2023). FairPoS: Input Fairness in Permissionless Consensus. I J. Bonneau & S. M. Weinberg (red.), 5th Conference on Advances in Financial Technologies, AFT 2023 Artikel 10 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.AFT.2023.10

Madsen, M., Van De Pol, J. & Henriksen, T. (2023). Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 516–543. Artikel 240. https://doi.org/10.1145/3622816

Larsen, K. G. (2023). Fast Discrepancy Minimization with Hereditary Guarantees. I N. Bansal & V. Nagarajan (red.), Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) (s. 276-289). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch11

Aranha, D. F., Hvass, B. S., Spitters, B. & Tibouchi, M. (2023). Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing. I CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (s. 3228-3238). Association for Computing Machinery. https://doi.org/10.1145/3576915.3616597

Haselwarter, P. G. & Bauer, A. (2023). Finitary Type Theories With and Without Contexts. Journal of Automated Reasoning, 67(4), Artikel 36. https://doi.org/10.1007/s10817-023-09678-y

Schwiegelshohn, C. (2023). Fitting Data on a Grain of Rice. I I. Chatzigiannakis & I. Karydis (red.), Algorithmic Aspects of Cloud Computing: 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers (s. 1-8). Springer. https://doi.org/10.1007/978-3-031-49361-4_13

Ko, D., Kim, Y., Zhu, J., Wessely, M. & Mueller, S. (2023). FlexBoard: A Flexible Breadboard for Interaction Prototyping on Curved and Deformable Surfaces. I CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 733 Association for Computing Machinery. https://doi.org/10.1145/3544548.3580748

Nielsen, E. H., Annenkov, D. & Spitters, B. (2023). Formalising Decentralised Exchanges in Coq. I R. Krebbers, D. Traytel, B. Pientka & S. Zdancewic (red.), CPP '23: 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 290-302). Association for Computing Machinery. https://doi.org/10.1145/3573105.3575685

Horst, M., Iversen, O. S. & Petersen, M. G. (2023). Forskere: Mens vi diskuterer skærme i skolen, sætter resten af Europa digital teknologi på skemaet. Altinget.

Hvass, B. S. (2023). Foundational Verification of Cryptographic Primitives. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Müller, M., Schuster, P., Starup, J. L., Ostermann, K. & Brachthäuser, J. I. (2023). From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), Artikel 255. https://doi.org/10.1145/3622831

Brodal, G. S. & Wild, S. (2023). Funnelselect: Cache-Oblivious Multiple Selection. I I. Li Gortz, M. Farach-Colton, S. J. Puglisi & G. Herman (red.), 31st Annual European Symposium on Algorithms, ESA 2023 (s. 25:1-25:17). Artikel 25 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2023.25

Braun, L., Huppert, M., Khayata, N., Schneider, T. & Tkachenko, O. (2023). FUSE - Flexible File Format and Intermediate Representation for Secure Multi-Party Computation. I J. Liu, Y. Xiang, S. Nepal & G. Tsudik (red.), ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security (s. 649-663). Association for Computing Machinery. https://doi.org/10.1145/3579856.3590340

Hu Fleischhauer, Y., Surale, H. B., Alt, F. & Pfeuffer, K. (2023). Gaze-based Mode-Switching to Enhance Interaction with Menus on Tablets. I S. N. Spencer (red.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (s. 1-8). Artikel 7 Association for Computing Machinery. https://doi.org/10.1145/3588015.3588409

Sidenmark, L., Lystbæk, M. N. & Gellersen, H. (2023). GE-Simulator: An Open-Source Tool for Simulating Real-Time Errors for HMD-based Eye Trackers. I S. N. Spencer (red.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (s. 1-6). Artikel 8 Association for Computing Machinery. https://doi.org/10.1145/3588015.3588417

Hurst, A., Lucani Rötter, D. E., Assent, I. & Zhang, Q. (2023). GLEAN: Generalized Deduplication Enabled Approximate Edge Analytics. IEEE Internet of Things Journal, 10(5), 4006-4020. https://doi.org/10.1109/JIOT.2022.3166455

Schäfer, Z., Mathisen, A., Thomsen, T. R., Rossing, P. & Kirketerp-Møller, K. (2023). Glucagon-like peptide-1 treatment reduces the risk of diabetes-type 2 related amputations: A cohort study in Denmark. Diabetes Research and Clinical Practice, 202, Artikel 110799. https://doi.org/10.1016/j.diabres.2023.110799

Hermanns, J., Skitsas, K., Tsitsulin, A., Munkhoeva, M., Kyster, A., Nielsen, S., Bronstein, A. M., Mottin, D. & Karras, P. (2023). GRASP: Scalable Graph Alignment by Spectral Corresponding Functions. ACM Transactions on Knowledge Discovery from Data, 17(4), 1-26. Artikel 50. https://doi.org/10.1145/3561058

Barman, S., Khan, A., Shyam, S. & Sreenivas, K. V. N. (2023). Guaranteeing Envy-Freeness under Generalized Assignment Constraints. EC 2023 - Proceedings of the 24th ACM Conference on Economics and Computation, 242-269. https://doi.org/10.1145/3580507.3597698

Grønbæk, K. (2023). Har kunstig intelligens gjort os bange for vores egen skygge? I sciencereport.dk

Blundo, C., Cimato, S. & Siniscalchi, L. (2023). Heuristics for constrained role mining in the post-processing framework. Journal of Ambient Intelligence and Humanized Computing, 14(8), 9925-9937. https://doi.org/10.1007/s12652-021-03648-1

Hvass, B. S., Aranha, D. F. & Spitters, B. (2023). High-assurance field inversion for curve-based cryptography. I 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (s. 552-567). IEEE. https://doi.org/10.1109/CSF57540.2023.00008

Gregersen, S. O. (2023). Higher-Order Separation Logic for Distributed Systems and Security. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Yamasaki, S., Sasaki, Y., Karras, P. & Onizuka, M. (2023). Holistic Prediction on a Time-Evolving Attributed Graph. Proceedings of the Annual Meeting of the Association for Computational Linguistics, 61(1), 13676-13694. https://doi.org/10.18653/v1/2023.acl-long.765

Kohlweiss, M., Pancholi, M. R. & Takahashi, A. (2023). How to Compile Polynomial IOP into Simulation-Extractable SNARKs: A Modular Approach. I G. Rothblum & H. Wee (red.), Theory of Cryptography: Book Subtitle 21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part III (s. 486–512). Springer. https://doi.org/10.1007/978-3-031-48621-0_17

Fleischhacker, N., Larsen, K. G. & Simkin, M. (2023). How to Compress Encrypted Data. I C. Hazay & M. Stam (red.), Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23-27, 2023, Proceedings, Part I (s. 551-577). Springer. https://doi.org/10.1007/978-3-031-30545-0_19

Abdrabou, Y., Mecke, L., Rivu, R., Prange, S., Nguyen, Q. D., Voigt, V., Alt, F. & Pfeuffer, K. (2023). How Unique do we Move? Understanding the Human Body and Context Factors for User Identification. I M. Stolze, F. Loch, M. Baldauf, F. Alt, C. Schneegass, T. Kosch, T. Hirzle, S. Sadeghian, F. Draxler, K. Bektas, K. Lohan & P. Knierim (red.), Proceedings of Mensch Und Computer 2023 (s. 127-137). Association for Computing Machinery. https://doi.org/10.1145/3603555.3603574

Aranha, D. F. & Medwed, M. (2023). IACR Transactions on Cryptographic Hardware and Embedded Systems. Ruhr Universität Bochum. IACR Transactions of Cryptographic Hardware and Embedded Systems Bind 2023 Nr. 1-4 https://tches.iacr.org/index.php/TCHES/issue/view/312

Caragiannis, I., Christodoulou, G. & Protopapas, N. (2023). Impartial Selection with Prior Information. I Y. Ding, J. Tang, J. Sequeda, L. Aroyo, C. Castillo & G.-J. Houben (red.), WWW '23: Proceedings of the ACM Web Conference 2023 (s. 3614-3624). Association for Computing Machinery. https://doi.org/10.1145/3543507.3583553

Shaik, I., Mayer-Eichberger, V., van de Pol, J. & Saffidine, A. (2023). Implicit State and Goals in QBF Encodings for Positional Games (extended version). https://doi.org/10.48550/arXiv.2301.07345

Burkhardt, J., Damgård, I., Frederiksen, T. K., Orlandi, C. & Ghosh, S. (2023). Improved Distributed RSA Key Generation Using the Miller-Rabin Test. I W. Meng, C. D. Jensen, C. Cremers & E. Kirda (red.), CCS '23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (s. 2501-2515). Association for Computing Machinery. https://doi.org/10.1145/3576915.3623163

Johns, C. A., Barz, M. & Sonntag, D. (2023). Interactive Link Prediction as a Downstream Task for Foundational GUI Understanding Models. Lecture Notes in Computer Science, 14236, 75-89. https://doi.org/10.1007/978-3-031-42608-7_7

Rao, X., Georges, A. L., Legoupil, M., Watt, C., Pichon-Pharabod, J., Gardner, P. & Birkedal, L. (2023). Iris-Wasm: Robust and Modular Verification of WebAssembly Programs. Proceedings of the ACM on Programming Languages , 7, Artikel 151. https://doi.org/10.1145/3591265

Wu, S., Hou U, L. & Karras, P. (2023). k-Best Egalitarian Stable Marriages for Task Assignment. Proceedings of the VLDB Endowment, 16(11), 3240-3252. https://doi.org/10.14778/3611479.3611522

Zhong, Z. & Mottin, D. (2023). Knowledge-augmented Graph Machine Learning for Drug Discovery: From Precision to Interpretability. I KDD 2023 - Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (s. 5841-5842). Association for Computing Machinery. https://doi.org/10.1145/3580305.3599563

Viser resultater 451 til 500 ud af 3070

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series