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

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

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. Advance online publication. 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

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

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

Sterling, J., Gratzer, D. & Birkedal, L. (2024). Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. In A. Murano & A. Silva (Eds.), 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024 Article 47 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CSL.2024.47

Timany, A., Gregersen, S. O., Stefanesco, L., Hinrichsen, J. K., Gondelman, L., Nieto, A. & Birkedal, L. (2024). Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proceedings of the ACM on Programming Languages , 8, Article 9. https://doi.org/10.1145/3632851

Caragiannis, I., Christodoulou, G. & Protopapas, N. (2024). Truthful aggregation of budget proposals with proportionality guarantees. Artificial Intelligence, 335, Article 104178. https://doi.org/10.1016/j.artint.2024.104178

Saioc, G.-V., Shirchenko, D. & Chabbi, M. (2024). Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: a Dynamic Analysis Approach. In T. Grosser, C. Dubach, M. Steuwer, J. Xue, G. Ottoni & F. M. Q. Pereira (Eds.), 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (pp. 411-422). IEEE. https://doi.org/10.1109/CGO57630.2024.10444835

Hou, B. J., Abdrabou, Y., Weidner, F. & Gellersen, H. (2024). Unveiling Variations: A Comparative Study of VR Headsets Regarding Eye Tracking Volume, Gaze Accuracy, and Precision. In 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) (pp. 650-655). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/VRW62533.2024.00127

Patnaik, B., Peng, H. & Elmqvist, N. (2024). VisTorch: Interacting with Situated Visualizations using Handheld Projectors. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 208 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642857

Newburger, E. & Elmqvist, N. (2024). Visualization According to Statisticians: An Interview Study on the Role of Visualization for Inferential Statistics. IEEE Transactions on Visualization and Computer Graphics, 30(1), 230-239. https://doi.org/10.1109/TVCG.2023.3326521

Ondov, B., Patel, H. B., Kuo, A. T., Kastner, J., Han, Y., Wei, H., Elmqvist, N. & Samet, H. (2024). Visualizing multilayer spatiotemporal epidemiological data with animated geocircles. Journal of the American Medical Informatics Association, 31(11), 2507-2518. https://doi.org/10.1093/jamia/ocae234

Pientka, B., Blazy, S., Traytel, D. & Timany, A. (2024). Welcome from the Chairs. In CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 (pp. iii-iv)

Batch, A., Butcher, P. W. S., Ritsos, P. D. & Elmqvist, N. (2024). Wizualization: A 'Hard Magic' Visualization System for Immersive and Ubiquitous Analytics. IEEE Transactions on Visualization and Computer Graphics, 30(1), 507-517. https://doi.org/10.1109/TVCG.2023.3326580

Arge, L., Lowe, A., Svendsen, S. C. & Agarwal, P. K. (2023). 1D and 2D Flow Routing on a Terrain. ACM Transactions on Spatial Algorithms and Systems, 9(1), Article 3. https://doi.org/10.1145/3539660

Draganov, A., Jørgensen, J., Scheel, K., Mottin, D., Assent, I., Berry, T. & Aslay, C. (2023). ActUp: Analyzing and Consolidating tSNE & UMAP. In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (pp. 3651-3658). International Joint Conferences on Artificial Intelligence. https://www.ijcai.org/proceedings/2023/0406.pdf

Høgsgaard, M. M., Larsen, K. G. & Ritzert, M. (2023). AdaBoost is not an Optimal Weak to Strong Learner. In A. Krause, E. Brunskill, K. Cho, B. Engelhardt, S. Sabato & J. Scarlett (Eds.), Proceedings of ICML 2023 (pp. 13118-13140). MLResearch Press.

Lampropoulos, K., Zardbani, F., Mamoulis, N. & Karras, P. (2023). Adaptive Indexing in High-Dimensional Metric Spaces. Proceedings of the VLDB Endowment, 16(10), 2525-2537. https://doi.org/10.14778/3603581.3603592

Zardbani, F., Mamoulis, N., Idreos, S. & Karras, P. (2023). Adaptive Indexing of Objects with Spatial Extent. Proceedings of the VLDB Endowment, 16(9), 2248-2260. https://doi.org/10.14778/3598581.3598596

Aagaard, F. L., Sterling, J. & Birkedal, L. (2023). A denotationally-based program logic for higher-order store. Electronic Notes in Theorical Informatics and Computer Science, 3. https://doi.org/10.46298/entics.12232

Sølvsten, S. & van de Pol, J. (2023). Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. In K. Y. Rozier & S. Chaudhuri (Eds.), NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (pp. 464-471). Springer. https://doi.org/10.1007/978-3-031-33170-1_28

Wagner, U., Lystbæk, M. N., Manakhov, P., Grønbæk, J. E., Pfeuffer, K. & Gellersen, H. (2023). A Fitts’ Law Study of Gaze-Hand Alignment for Selection in 3D User Interfaces. In A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (Eds.), CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Article 252 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581423

Kaspersen, M. H. (2023). AI Education that Matters: Designing Computationally Empowering Learning Tools for Machine Learning. Århus Universitet.

Gleirscher, M., van de Pol, J. & Woodcock, J. (2023). A manifesto for applicable formal methods. Software and Systems Modeling, 22(6), 1737-1749. https://doi.org/10.1007/s10270-023-01124-2

Pauli, A. B., Derczynski, L. & Assent, I. (2023). Anchoring Fine-tuning of Sentence Transformer with Semantic Label Information for Efficient Truly Few-shot Classification. In H. Bouamor, J. Pino & K. Bali (Eds.), Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing (pp. 11254–11264). Association for Computational Linguistics. https://doi.org/10.18653/v1/2023.emnlp-main.692

Cheng, P. & Afshani, P. (2023). An Optimal Lower Bound for Simplex Range Reporting. In T. Kavitha & K. Mehlhorn (Eds.), 6th Symposium on Simplicity in Algorithms (SOSA 2023) (pp. 272-277). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977585.ch25

Pablos-Sarabia, R., Griol, D. & Callejas, Z. (2023). A Proposal for Data Collection and Process Automatization for Ubiquitous Engagement with Mental Health Organizations. In J. Bravo, S. Ochoa & J. Favela (Eds.), Proceedings of the International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2022 (pp. 336-341). Springer. https://doi.org/10.1007/978-3-031-21333-5_34

Hubenschmid, S., Zagermann, J., Leicht, D., Reiterer, H. & Feuchtner, T. (2023). ARound the Smartphone: Investigating the Effects of Virtually-Extended Display Size on Spatial Memory. In CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems (pp. 1-15). Article 527 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581438

Lunding, R. S., Lystbæk, M. N., Feuchtner, T. & Grønbæk, K. (2023). AR-supported Human-Robot Collaboration: Facilitating Workspace Awareness and Parallelised Assembly Tasks. In G. Bruder, A.-H. Olivier, A. Cunningham, E. Y. Peng, J. Grubert & I. Williams (Eds.), Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2023 (pp. 1064-1073). IEEE. https://doi.org/10.1109/ISMAR59233.2023.00123

Aranha, D. F., El Housni, Y. & Guillevic, A. (2023). A survey of elliptic curves for proof systems. Designs, Codes and Cryptography, 91, 3333–3378. https://doi.org/10.1007/s10623-022-01135-y

Chatzopoulos, S., Vergoulis, T., Skoutas, D., Dalamagas, T., Tryfonopoulos, C. & Karras, P. (2023). Atrapos: Real-time Evaluation of Metapath Query Workloads. In ACM Web Conference 2023 - Proceedings of the World Wide Web Conference, WWW 2023 (pp. 2487-2498). Association for Computing Machinery. https://doi.org/10.1145/3543507.3583322

Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023). A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. In S. Sankaranarayanan & N. Sharygina (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (pp. 353-371). Springer. https://doi.org/10.1007/978-3-031-30820-8_22

Chulpongsatorn, N., Lunding, M. S., Soni, N. & Suzuki, R. (2023). Augmented Math: Authoring AR-Based Explorable Explanations by Augmenting Static Math Textbooks. In UIST 2023 - Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology (pp. 1-16). Article 92 Association for Computing Machinery. https://doi.org/10.1145/3586183.3606827

Roy, L. & Xu, J. (2023). A Universally Composable PAKE with Zero Communication Cost: (And Why It Shouldn’t Be Considered UC-Secure). In A. Boldyreva & V. Kolesnikov (Eds.), Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part I (pp. 714-743). Springer. https://doi.org/10.1007/978-3-031-31368-4_25

Soureshjani, F. H., Hall-Andersen, M., Jahanara, M., Kam, J., Gorzny, J. & Ahmadvand, M. (2023). Automated Analysis of Halo2 Circuits. In S. Graham-Lengrand & M. Preiner (Eds.), Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023 (Vol. 3429, pp. 3-17). CEUR-WS.org. https://ceur-ws.org/Vol-3429/paper3.pdf

Larsen, K. G. (2023). Bagging is an Optimal PAC Learner. In G. Neu & L. Rosasco (Eds.), Proceedings of COLT 2023 (pp. 450-468). MLResearch Press.

Fandina, O. N., Høgsgaard, M. M. & Larsen, K. G. (2023). Barriers for Faster Dimensionality Reduction. In P. Berenbrink, P. Bouyer, A. Dawar & M. M. Kante (Eds.), 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023 Article 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2023.31

Displaying results 101 to 150 out of 5490

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University