Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Aden-Ali, I., Høgsgaard, M. M., Larsen, K. G. & Zhivotovskiy, N. (2024). Majority-of-Three: The Simplest Optimal Learner? In Proceedings of Thirty Seventh Conference on Learning Theory (Vol. 247, pp. 22-45). PMLR. https://proceedings.mlr.press/v247/aden-ali24a.html

Braun, L., Gascón, A., Raykova, M., Schoppmann, P. & Seth, K. (2024). Malicious Security for Sparse Private Histogram. https://eprint.iacr.org/2024/469

Bødker, S., Hoggan, E. & Larsen-Ledet, I. (2024). Material Mediation in Collaborative Activity. Proceedings of the ACM on Human-Computer Interaction, 8(CSCW1), Article 207. https://doi.org/10.1145/3653698

Nelson, B., Pagnin, E. & Askarov, A. (2024). Metadata Privacy Beyond Tunneling for Instant Messaging. In Proceedings - 9th IEEE European Symposium on Security and Privacy, EuroS&P 2024 (pp. 697-723). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EuroSP60621.2024.00044

Bilstrup, K. E. K., Kaspersen, M. H., Bouvin, N. O. & Petersen, M. G. (2024). ml-machine.org: Infrastructuring a Research Product to Disseminate AI Literacy in Education. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 272 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642539

Protzenko, J. & Spitters, B. (2024). Modernizing FIPS for safe languages and verified libraries. Paper presented at NIST Workshop on Formal Methods within Certification Programs (FMCP 2024), Rockville, Maryland, United States. https://www.nist.gov/system/files/documents/2024/06/11/08-ProtzenkoSpitters.pdf

Frumin, D., Timany, A. & Birkedal, L. (2024). Modular Denotational Semantics for Effects with Guarded Interaction Trees. Proceedings of the ACM on Programming Languages , 8(POPL), Article 12. https://doi.org/10.1145/3632854

Guimaraes, A., Borin, E. & Aranha, D. F. (2024). MOSFHET: Optimized Software for FHE over the Torus. Journal of Cryptographic Engineering, 14(3), 577-593. https://doi.org/10.1007/s13389-024-00359-z

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). MouthIO: Fabricating Customizable Oral User Interfaces with Integrated Sensing and Actuation. In UIST '24 - The 37th Annual ACM Symposium on User Interface Software and Technology Article 1 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676443

Yakoubov, S., Pagnin, E. & Kolby, S. (2024). Multi Designated Verifier Ring Signatures. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/a33zivrzn

Francati, D., Friolo, D., Malavolta, G. & Venturi, D. (2024). Multi-key and Multi-input Predicate Encryption (for Conjunctions) from Learning with Errors. Journal of Cryptology, 37(3), Article 24. https://doi.org/10.1007/s00145-024-09504-7

Hoggan, E. (2024). Multimodal Interaction. In Interaction Techniques and Technologies in Human-Computer Interaction (pp. 45-63). CRC Press. https://doi.org/10.1201/9781003490678-2

Sølvsten, S. & van de Pol, J. (2024). Multi-variable Quantification of BDDs in External Memory using Nested Sweeping. ArXiv. https://doi.org/10.48550/arXiv.2408.14216

Hinrichsen, J. K., Jacobs, J. & Krebbers, R. (2024). Multris: Functional Verification of Multiparty Message Passing in Separation Logic. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), Article 322. https://doi.org/10.1145/3689762

Klokmose, C. N., Eagan, J. R. & Van Hardenberg, P. (2024). MyWebstrates: Webstrates as Local-first Software. In UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology (pp. 1-12). Article 42 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676445, https://doi.org/10.1145/3654777.3676445

Francati, D. & Venturi, D. (2024). Non-malleable Fuzzy Extractors. In C. Pöpper & L. Batina (Eds.), Applied Cryptography and Network Security: 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5–8, 2024, Proceedings, Part I (pp. 135-155). Springer. https://doi.org/10.1007/978-3-031-54770-6_6

Brodal, G. S., Fagerberg, R. & Rysgaard, C. M. (2024). On Finding Longest Palindromic Subsequences Using Longest Common Subsequences. In T. Chan, J. Fischer, J. Iacono & G. Herman (Eds.), 32nd Annual European Symposium on Algorithms, ESA 2024 Article 35 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2024.35

Afshani, P. & Cheng, P. (2024). On Semialgebraic Range Reporting. Discrete and Computational Geometry, 71(1), 4-39. https://doi.org/10.1007/s00454-023-00574-1

Caragiannis, I., Hansen, K. A. & Rathi, N. (2024). On the Complexity of Pareto-Optimal and Envy-Free Lotteries. In AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems (pp. 244-252). Association for Computing Machinery. https://dl.acm.org/doi/10.5555/3

Moradan, A. (2024). On the Expressiveness of Community Detection in Complex Networks. [PhD thesis, Aarhus University]. Aarhus University.

Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L. & de Pol, J. V. (2024). On-The-Fly Algorithm for Reachability in Parametric Timed Games. In B. Finkbeiner & L. Kovács (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings (pp. 194-212). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-57256-2_10

Krishna, S., Lal, A., Pavlogiannis, A. & Tuppe, O. (2024). On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proceedings of the ACM on Programming Languages , 8(POPL), 1239-1268. https://doi.org/10.1145/3632884

Neele, T. & Pol, J. V. D. (2024). Operations on Fixpoint Equation Systems. Logical Methods in Computer Science, 20(3), 5:1-5:32. https://doi.org/10.46298/LMCS-20(3:5)2024

Afshani, P. & Schwiegelshohn, C. (2024). Optimal Coresets for Low-Dimensional Geometric Median. In International Conference on Machine Learning (pp. 262-270). PMLR.

Shaik, I. & Pol, J. V. D. (2024). Optimal Layout-Aware CNOT Circuit Synthesis with Qubit Permutation. In U. Endriss, F. S. Melo, K. Bach, A. Bugarin-Diz, J. M. Alonso-Moral, S. Barro & F. Heintz (Eds.), ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024) (pp. 4207-4215). IOS Press. https://doi.org/10.3233/FAIA240993

Shaik, I. & Van de Pol, J. (2024). Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. In S. Chakraborty & J.-H. R. Jiang (Eds.), 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024 Article 26 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2024.26

Larsen, K. G., Pagh, R., Persiano, G., Pitassi, T., Yeo, K. & Zamir, O. (2024). Optimal Non-Adaptive Cell Probe Dictionaries and Hashing. In K. Bringmann, M. Grohe, G. Puppis & O. Svensson (Eds.), 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 Article 104 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2024.104

da Cunha, A., Høgsgaard, M. M. & Larsen, K. G. (2024). Optimal Parallelization of Boosting. Abstract from NeurIPS'24: 38th Conference on Neural Information Processing Systems, Vancouver, Canada.

Shi, Z., Mathur, U. & Pavlogiannis, A. (2024). Optimistic Prediction of Synchronization-Reversal Data Races. In Proceedings - 2024 ACM/IEEE 44th International Conference on Software Engineering, ICSE 2024: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering (pp. 1-13). Article 134 Association for Computing Machinery. https://doi.org/10.1145/3597503.3639099

Caragiannis, I. & Rathi, N. (2024). Optimizing Over Serial Dictatorships. Theory of Computing Systems, 68(5), 1180-1206. https://doi.org/10.1007/s00224-024-10196-6

Boudgoust, K. & Roux-Langlois, A. (2024). Overfull: Too Large Aggregate Signatures Based on Lattices. The Computer Journal, 67(2), 719-727. https://doi.org/10.1093/comjnl/bxad013

Griggio, C. F., Gorman, B. M. & Tigwell, G. W. (2024). Party Face Congratulations! Exploring Design Ideas to Help Sighted Users with Emoji Accessibility when Messaging with Screen Reader Users. Proceedings of the ACM on Human-Computer Interaction, 8(CSCW1), Article 175. https://doi.org/10.1145/3641014

Schou, J. K. R. & Wang, B. (2024). PersiSort: A New Perspective on Adaptive Sorting Based on Persistence. In R. I. Nishat (Ed.), Canadian Conference on Computational Geometry: Proceedings of the 36th Canadian Conference on Computational Geometry (CCCG 2024) Brock University, St. Catharines, Canada, July 17 - 19, 2024 (pp. 287-312)

Aumüller, M., Janos Lebeda, C., Nelson, B. & Pagh, R. (2024). PLAN: Variance-Aware Private Mean Estimation. In Proceedings on Privacy Enhancing Technologies (pp. 606-625) https://doi.org/10.56553/popets-2024-0095

Zhu, Y., Honnet, C., Kang, Y., Zhu, J., Zheng, A. J., Heinz, K., Tang, G., Musk, L., Wessely, M. & Mueller, S. (2024). PortaChrome: A Portable Contact Light Source for Integrated Re-Programmable Multi-Color Textures. In UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology: Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology (pp. 1-13). Article 18 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676458

Filos-Ratsikas, A., Hansen, K. A., Høgh, K. & Hollender, A. (2024). PPAD-Membership for Problems with Exact Rational Solutions: A General Approach via Convex Optimization. In B. Mohar, I. Shinkar & R. O'Donnell (Eds.), STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing (pp. 1204-1215). Association for Computing Machinery. https://doi.org/10.1145/3618260.3649645

Wong, E., Esquivel, J. S., Leiva, G., Grønbæk, J. E. & Velloso, E. (2024). Practice-informed Paterns for Organising Large Groups in Distributed Mixed Reality Collaboration. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 1030 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642502

Stassen, P. J. A. (2024). Programming language semantics in modal type theories. [PhD thesis, Aarhus University]. Department of Computer Science, University of Aarhus.

Caragiannis, I. & Kalantzis, G. (2024). Randomized learning-augmented auctions with revenue guarantees. In K. Larson (Ed.), Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI) (pp. 2687-2694). International Joint Conferences on Artificial Intelligence.

Ma, W., Egger, M. K., Pavlogiannis, A., Li, Y. & Karras, P. (2024). Reachability-Aware Fair Influence Maximization. In W. Zhang, Z. Yang, X. Wang, A. Tung, Z. Zheng & H. Guo (Eds.), Web and Big Data - 8th International Joint Conference, APWeb-WAIM 2024, Proceedings: 8th International Joint Conference, APWeb-WAIM 2024, Jinhua, China, August 30 – September 1, 2024, Proceedings, Part III (pp. 342-359). BMJ, Springer Nature. https://doi.org/10.1007/978-981-97-7238-4_22

Laursen, M. R., Xu, W. & Møller, A. (2024). Reducing Static Analysis Unsoundness with Approximate Interpretation. Proceedings of the ACM on Programming Languages , 8, 1165-1188. https://doi.org/10.1145/3656424

Egger, M. K., Ma, W., Mottin, D., Karras, P., Bordino, I., Gullo, F. & Anagnostopoulos, A. (2024). ReliK: A Reliability Measure for Knowledge Graph Embeddings. In WWW '24 : Proceedings of the ACM Web Conference (pp. 2009-2019). Association for Computing Machinery. https://doi.org/10.1145/3589334.3645430

Caragiannis, I. & Narang, S. (2024). Repeatedly matching items to agents fairly and efficiently. Theoretical Computer Science, 981, Article 114246. https://doi.org/10.1016/j.tcs.2023.114246

Kalavasis, A., Karbasi, A., Larsen, K. G., Velegkas, G. & Zhou, F. (2024). Replicable Learning of Large-Margin Halfspaces. In Proceedings of the 41 st International Conference on Machine Learning (Vol. 235, pp. 22861-22878). MLResearch Press.

Hanneke, S., Larsen, K. G. & Zhivotovskiy, N. (2024). Revisiting Agnostic PAC Learning. In Proceedings - 2024 IEEE 65th Annual Symposium on Foundations of Computer Science, FOCS 2024 (pp. 1968-1982). IEEE. https://doi.org/10.1109/FOCS61266.2024.00118

Lunding, R. S., Lunding, M. S., Feuchtner, T., Petersen, M. G., Grønbæk, K. & Suzuki, R. (2024). RoboVisAR: Immersive Authoring of Condition-based AR Robot Visualisations. In HRI '2024: Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction (pp. 462-471). Association for Computing Machinery. https://doi.org/10.1145/3610977.3634972

Petsinis, P., Zhang, K., Pavlogiannis, A., Zhou, J. & Karras, P. (2024). Robust Reward Placement under Uncertainty. In K. Larson (Ed.), Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 (pp. 6770-6778). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/ijcai.2024/748

Berger, C. P., Lutze, M. C. D., Elmqvist, N., Madsen, M. & Klokmose, C. N. (2024). Scientists and Code: Programming as a Tool. Paper presented at PLATEAU, Berkeley, California, United States. https://kilthub.cmu.edu/articles/conference_contribution/Scientists_and_Code_Programming_as_a_Tool/25587726?backTo=/collections/PLATEAU_2024/7093870

Keller, H., Möllering, H., Schneider, T., Tkachenko, O. & Zhao, L. (2024). Secure Noise Sampling for DP in MPC with Finite Precision. In ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security Article 25 Association for Computing Machinery. https://doi.org/10.1145/3664476.3664490

Petsinis, P., Pavlogiannis, A., Tkadlec, J. & Karras, P. (2024). Seed Selection in the Heterogeneous Moran Process. In K. Larson (Ed.), Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024 (pp. 2297-2305). International Joint Conferences on Artificial Intelligence Organization. https://doi.org/10.24963/ijcai.2024/254

Displaying results 301 to 350 out of 5797

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University