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

Sort by: Date | Author | Title

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

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

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

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

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 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2023.31

Patra, A. & Ravi, D. (2023). Beyond Honest Majority: The Round Complexity of Fair and Robust Multi-party Computation. Journal of Cryptology, 36(3), Article 30. https://doi.org/10.1007/s00145-023-09468-0

Starup, J. L., Madsen, M. & Lhoták, O. (2023). Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. In K. Ali & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Article 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.31

Jansson, J., Mampentzidis, K. & Sandhya, T. P. (2023). Building a small and informative phylogenetic supertree. Information and Computation, 294, Article 105082. https://doi.org/10.1016/j.ic.2023.105082

Caragiannis, I. & Jiang, Z. (2023). Computing Better Approximate Pure Nash Equilibria in Cut Games via Semidefinite Programming. In B. Saha & R. A. Servedio (Eds.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 710-722). Association for Computing Machinery, Inc. https://doi.org/10.1145/3564246.3585236

Qian, Z. (2023). Concurrency And Races In Classical Linear Logic. Aarhus Universitet.

Hogräfer, M. (2023). Contributions towards Improving the Usefulness of Partial Visualizations in Progressive Visual Analytics. Aarhus Universitet.

Georges, A. L. (2023). Designing and Proving Robust Safety of Efficient Capability Machine Programs. Aarhus Universitet.

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

Veileborg, O. H., Saioc, G-V. & Møller, A. (2023). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. In iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings (pp. 1-12). Article 32 Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

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

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

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

Hvass, B. S. (2023). Foundational Verification of Cryptographic Primitives. Aarhus Universitet.

Braun, L., Huppert, M., Khayata, N., Schneider, T. & Tkachenko, O. (2023). FUSE - Flexible File Format and Intermediate Representation for Secure Multi-Party Computation. In J. Liu, Y. Xiang, S. Nepal & G. Tsudik (Eds.), ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security (pp. 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. In S. N. Spencer (Ed.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (pp. 1-8). Article 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. In S. N. Spencer (Ed.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (pp. 1-6). Article 8 Association for Computing Machinery. https://doi.org/10.1145/3588015.3588417

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, Article 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. Article 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

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. In 2023 IEEE 36th Computer Security Foundations Symposium (CSF) (pp. 111-126). IEEE. https://doi.org/10.1109/CSF57540.2023.00008

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

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, Article 151. https://doi.org/10.1145/3591265

Afshani, P. & Cheng, P. (2023). Lower Bounds for Intersection Reporting Among Flat Objects. In E. W. Chambers & J. Gudmundsson (Eds.), 39th International Symposium on Computational Geometry, SoCG 2023 Article 3 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2023.3

Afshani, P. & Cheng, P. (2023). Lower Bounds for Semialgebraic Range Searching and Stabbing Problems. Journal of the ACM, 70(2), 1-26. Article 16. https://doi.org/10.1145/3578574

Petsinis, P., Pavlogiannis, A. & Karras, P. (2023). Maximizing the Probability of Fixation in the Positional Voter Model. In B. Williams, Y. Chen & J. Neville (Eds.), AAAI-23 Technical Tracks 10 (pp. 12269-12277). Article 190493 AAAI Press.

Thomsen, S. E. (2023). Message Dissemination in the Nakamoto Era. Aarhus Universitet.

Keller, H., Orlandi, C., Paskin-Cherniavsky, A. & Ravi, D. (2023). MPC with Low Bottleneck-Complexity: Information-Theoretic Security and More. In K-M. Chung (Ed.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (pp. 11:1-11:22). Article 11 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITC.2023.11

Srinivasan, S. & Tripathi, U. (2023). Optimal Explicit Small-Depth Formulas for the Coin Problem. In B. Saha & R. A. Servedio (Eds.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 881-894). Association for Computing Machinery. https://doi.org/10.1145/3564246.3585238

Tunç, H. C., Abdulla, P. A., Chakraborty, S., Krishna, S., Mathur, U. & Pavlogiannis, A. (2023). Optimal Reads-From Consistency Checking for C11-Style Memory Models. Proceedings of the ACM on Programming Languages , 7(PLDI), 761–785. Article 137. https://doi.org/10.1145/3591251

Johns, C. A., Evangelista Belo, J. M., Pfeuffer, K. & Klokmose, C. N. (2023). Pareto Optimal Layouts for Adaptive Mixed Reality. In CHI 2023 - Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems Article 223 Association for Computing Machinery. https://doi.org/10.1145/3544549.3585732

Alves, P., Nayara Ortiz, J. & Aranha, D. F. (2023). Performance of hierarchical transforms in homomorphic encryption: a case study on logistic regression inference. Journal of Cryptographic Engineering, 13(3), 295-310. https://doi.org/10.1007/s13389-023-00325-1

Damgård, I., Escudero, D. & Polychroniadou, A. (2023). Phoenix: Secure Computation in an Unstable Network with Dropouts and Comebacks. In K-M. Chung (Ed.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (pp. 7:1--7:21). Article 7 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITC.2023.7

Airiau, S., Aziz, H., Caragiannis, I., Kruger, J., Lang, J. & Peters, D. (2023). Portioning using ordinal preferences: Fairness and efficiency. Artificial Intelligence, 314, Article 103809. https://doi.org/10.1016/j.artint.2022.103809

Han, W. & Schulz, H-J. (2023). Providing visual analytics guidance through decision support. Information Visualization, 22(2), 140-165. https://doi.org/10.1177/14738716221147289

Afshani, P. & Killmann, R. (2023). Rectangle stabbing and orthogonal range reporting lower bounds in moderate dimensions. Computational Geometry: Theory and Applications, 111, Article 101959. https://doi.org/10.1016/j.comgeo.2022.101959

Madsen, M., Starup, J. L. & Lutze, M. (2023). Restrictable Variants: A Simple and Practical Alternative to Extensible Variants. In K. Ali & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 (pp. 17:1-17:27). Article 17 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ECOOP.2023.17

Chaugule, P., Kumar, M., Limaye, N., Mohapatra, C. K., She, A. & Srinivasan, S. (2023). Schur Polynomials Do Not Have Small Formulas If the Determinant does not. Computational Complexity, 32(1), Article 3. https://doi.org/10.1007/s00037-023-00236-x

Damgård, I., Ravi, D., Tschudi, D. & Yakoubov, S. (2023). Secure Communication in Dynamic Incomplete Networks. In K-M. Chung (Ed.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 (pp. 13:1--13:21). Article 13 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ITC.2023.13

Britz, D., Strutwolf, J. & Østerby, O. (2023). Simulation of steady state limiting currents at arrays of square electrodes. Electrochimica Acta, 462, 1-5. Article 142728. https://doi.org/10.1016/j.electacta.2023.142728

Tunç, H. C., Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2023). Sound Dynamic Deadlock Prediction in Linear Time. Proceedings of the ACM on Programming Languages , 7, 1733-1758. https://doi.org/10.1145/3591291

Bouras, C., Caragiannis, I., Gkamas, A., Protopapas, N., Sardelis, T. & Sgarbas, K. (2023). State of the Art Analysis of Resource Allocation Techniques in 5G MIMO Networks. In 37th International Conference on Information Networking, ICOIN 2023 (pp. 632-637). IEEE. https://doi.org/10.1109/ICOIN56518.2023.10049018

Christensen, H. B. (2023). Teaching Distributed Programming - Revisiting the Broker Pattern. In Proceedings of the 5th European Conference on Software Engineering Education, ECSEE 2023 (pp. 162-168). Association for Computing Machinery. https://doi.org/10.1145/3593663.3593674

Mueller, F., Petersen, M. G. & Li, Z. (2023). Technology futures: Towards understanding how to design awe-inspiring futures. International Journal of Human Computer Studies, 170, Article 102961. https://doi.org/10.1016/j.ijhcs.2022.102961

Loeschcke, S., Belongie, S. & Benaim, S. (2023). Text-Driven Stylization of Video Objects. In L. Karlinsky, T. Michaeli & K. Nishino (Eds.), Computer Vision – ECCV 2022 Workshops (pp. 594-609). Springer. https://doi.org/10.1007/978-3-031-25069-9_38

Displaying results 1 to 50 out of 5161

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University