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

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 '24: Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology (pp. 1-13). Article 18 Association for Computing Machinery, Inc.. 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, Inc.. 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, Inc.. https://doi.org/10.1145/3613904.3642502

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

Sølvsten, S., Rysgaard, C. M. & van de Pol, J. (2024). Random Access on Narrow Decision Diagrams in External Memory. In T. Neele & A. Wijs (Eds.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (pp. 137–145). Springer. https://doi.org/10.1007/978-3-031-66149-5_7

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 MLResearch Press.

Hanneke, S., Larsen, K. G. & Zhivotovskiy, N. (2024). Revisiting Agnostic PAC Learning. In 2024 IEEE 65th Annual Symposium on Foundations of Computer Science (FOCS) (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

Tommasel, A. & Assent, I. (2024). Semantic grounding of LLMs using knowledge graphs for query reformulation in medical information retrieval. In 2024 IEEE International Conference on Big Data (BigData) (pp. 4048-4057). IEEE. https://doi.org/10.1109/BigData62323.2024.10826117, https://doi.org/10.1109/BigData62323.2024.10826117

Chan, T. M., Cheng, P. & Zheng, D. W. (2024). Semialgebraic Range Stabbing, Ray Shooting, and Intersection Counting in the Plane. In W. Mulzer & J. M. Phillips (Eds.), 40th International Symposium on Computational Geometry, SoCG 2024 Article 33 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2024.33

Vindum, S. F. (2024). Separation Logic for Concurrency and Persistency. Aarhus University.

Boudgoust, K. & Takahashi, A. (2024). Sequential Half-Aggregation of Lattice-Based Signatures. In G. Tsudik, M. Conti, K. Liang & G. Smaragdakis (Eds.), Computer Security – ESORICS 2023: 28th European Symposium on Research in Computer Security, The Hague, The Netherlands, September 25–29, 2023, Proceedings, Part I (Vol. 1, pp. 270-289). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-50594-2_14

Draganov, A. A., Saulpic, D. & Schwiegelshohn, C. (2024). Settling Time vs. Accuracy Tradeoffs for Clustering Big Data. Proceedings of the ACM on Management of Data, 2(3), Article 173. https://doi.org/10.1145/3654976

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J. & Corredig, M. (2024). Small and large deformation rheology on pizza cheese as an example of application to study anisotropic properties of food soft materials. Food Hydrocolloids, 148(Part A), Article 109456. https://doi.org/10.1016/j.foodhyd.2023.109456

Lee, H. S., Weidner, F., Sidenmark, L. & Gellersen, H. (2024). Snap, Pursuit and Gain: Virtual Reality Viewport Control by Gaze. In F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. T. Dugas & I. Shklovski (Eds.), CHI '24: Proceedings of the CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3613904.3642838

Høgsgaard, M. M., Kamma, L., Larsen, K. G., Nelson, J. & Schwiegelshohn, C. (2024). Sparse Dimensionality Reduction Revisited. Proceedings of Machine Learning Research, 235, 18454-18469.

Lystbæk, M. N., Pfeuffer, K., Langlotz, T., Grønbæk, J. E. & Gellersen, H. (2024). Spatial Gaze Markers: Supporting Effective Task Switching in Augmented Reality. In F. Mueller, P. Kyburz, J. Williamson, C. Sas, M. Wilson, P. Dugas & I. Shklovski (Eds.), CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the CHI Conference on Human Factors in Computing Systems Article 633 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642811

Alon, N., Grønlund, A., Jørgensen, S. F. & Larsen, K. G. (2024). Sublinear Time Shortest Path in Expander Graphs. In R. Kralovic & A. Kucera (Eds.), 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024 (pp. 8:1-8:13). Article 8 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2024.8

Abram, D., Roy, L. & Scholl, P. (2024). Succinct Homomorphic Secret Sharing. In M. Joye & G. Leander (Eds.), Advances in Cryptology -- EUROCRYPT 2024 (pp. 301-330). Springer Nature. https://eprint.iacr.org/2024/814

Rasmussen, T. A., Grønbæk, K. & Huang, W. (2024). Supporting tailorability in augmented reality based remote assistance in the manufacturing industry: A user study. Computers & Graphics, 125(Special Section on Advances on SUI), Article 104095. https://doi.org/10.1016/j.cag.2024.104095

Dybboe, M., Ellemose, J., Vastrup, A. L., Boudouraki, A., Rintel, S., Petersen, M. G., Sloth Grønbæk, J. E. & Klokmose, C. N. (2024). TableBot: Getting a Handle on Hybrid Collaboration by Negotiating Control of a Tabletop Telepresence Robot. In NordiCHI '24: Proceedings of the 13th Nordic Conference on Human-Computer Interaction Article 17 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3679318.3685350

Haselwarter, P. G., Li, K. H. E. I., Medeiros, M. D. E., Gregersen, S. O., Aguirre, A., Tassarotti, J. & Birkedal, L. (2024). Tachis: Higher-Order Separation Logic with Credits for Expected Costs. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), 1189 - 1218. Article 313. https://doi.org/10.1145/3689753

Chundury, P., Reyazuddin, Y., Jordan, J. B., Lazar, J. & Elmqvist, N. (2024). TactualPlot: Spatializing Data as Sound Using Sensory Substitution for Touchscreen Accessibility. IEEE Transactions on Visualization and Computer Graphics, 30(1), 836-846. https://doi.org/10.1109/TVCG.2023.3326937

Hogräfer, M. & Schulz, H.-J. (2024). Tailorable Sampling for Progressive Visual Analytics. IEEE Transactions on Visualization and Computer Graphics, 30(8), 4809-4824. https://doi.org/10.1109/TVCG.2023.3278084

Aminimehr, A., Khani, P., Molaei, A., Kazemeini, A. & Cambria, E. (2024). TbExplain: A Text-Based Explanation Method for Scene Classification Models with the Statistical Prediction Correction. In GUIDE-AI '24: Proceedings of the Conference on Governance, Understanding and Integration of Data for Effective and Responsible AI (pp. 54-60). Association for Computing Machinery. https://doi.org/10.1145/3665601.3669841

Sitchinava, N. & Svenning, R. (2024). The All Nearest Smaller Values Problem Revisited in Practice, Parallel and External Memory. In SPAA '24: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 259-268). Association for Computing Machinery. https://doi.org/10.1145/3626183.3659979

Sieczkowski, F., Stepanenko, S., Sterling, J. & Birkedal, L. (2024). The Essence of Generalized Algebraic Data Types. Proceedings of the ACM on Programming Languages , 8(POPL), 695-723. https://doi.org/10.1145/3632866

Hoque, M. N., Mashiat, T., Ghai, B., Shelton, C., Chevalier, F., Kraus, K. & Elmqvist, N. (2024). The HaLLMark Effect: Supporting Provenance and Transparent Use of Large Language Models in Writing with Interactive Visualization. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 1045 Association for Computing Machinery. https://doi.org/10.1145/3613904.3641895

Karbasi, A. & Larsen, K. G. (2024). The Impossibility of Parallelizing Boosting. In Proceedings of Machine Learning Research (Vol. 237, pp. 635-653)

Wong, E., Grønbæk, J. E. & Velloso, E. (2024). The Jamais Vu Efect: Understanding the Fragile Illusion of Co-presence in Mixed Reality. In A. Vallgarda, L. Jonsson, J. Fritsch, S. F. Alaoui & C. A. Le Dantec (Eds.), DIS '24: Proceedings of the 2024 ACM Designing Interactive Systems Conference (pp. 2227-2246). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3643834.3661574

Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C. & Spitters, B. (2024). The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. In A. Timany, D. Traytel, B. Pientka & S. Blazy (Eds.), CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 30-44). Association for Computing Machinery. https://doi.org/10.1145/3636501.3636961

Timany, A., Guéneau, A. & Birkedal, L. (2024). The Logical Essence of Well-Bracketed Control Flow. Proceedings of the ACM on Programming Languages , 8(POPL), 575-603. https://doi.org/10.1145/3632862

Høgsgaard, M. M., Larsen, K. G. & Mathiasen, M. E. (2024). The Many Faces of Optimal Weak-to-Strong Learning. https://arxiv.org/pdf/2408.17148

Bringmann, K., Grønlund, A., Künnemann, M. & Larsen, K. G. (2024). The NFA Acceptance Hypothesis: Non-Combinatorial and Dynamic Lower Bounds. In V. Guruswami (Ed.), 15th Innovations in Theoretical Computer Science Conference (ITCS 2024) (pp. 22:1-22:25). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITCS.2024.22

Fink, D. I., Skowronski, M., Zagermann, J., Reinschluessel, A. V., Reiterer, H. & Feuchtner, T. (2024). There Is More to Avatars Than Visuals: Investigating Combinations of Visual and Auditory User Representations for Remote Collaboration in Augmented Reality. Proceedings of the ACM on Human-Computer Interaction, 8(ISS), 540-568. https://doi.org/10.1145/3698148

Ammitzbøll Flügge, A., Korsgaard, H. & Bødker, S. (2024). The Working Jobless: Unemployment as Work. Proceedings of the ACM on Human-Computer Interaction, 8(CSCW2), Article 355. https://doi.org/10.1145/3686894

Melissaris Papanikolaou, N., Ravi, D. & Yakoubov, S. (2024). Threshold-Optimal MPC With Friends and Foes. In A. Chattopadhyay, S. Bhasin, S. Picek & C. Rebeiro (Eds.), Progress in Cryptology – INDOCRYPT 2023: 24th International Conference on Cryptology in India, Goa, India, December 10–13, 2023, Proceedings, Part II (Vol. 2, pp. 3-24). Springer. https://doi.org/10.1007/978-3-031-56235-8_1

Mahrík, M., Šikyňa, M., Mic, V. & Zezula, P. (2024). Towards Personalized Similarity Search for Vector Databases. In E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (Eds.), Similarity Search and Applications. SISAP 2024 (pp. 126-139). Springer. https://doi.org/10.1007/978-3-031-75823-2_11

Displaying results 151 to 200 out of 5584

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University