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

Niu, S., Lu, Z., Zhang, A. X., Cai, J., Griggio, C. F. & Heuer, H. (2023). Building Credibility, Trust, and Safety on Video-Sharing Platforms. In A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson & A. Peters (Eds.), Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, CHI EA 2023, Hamburg, Germany, April 23-28, 2023 (pp. 337:1-337:7). Article 337 ACM. https://doi.org/10.1145/3544549.3573809

Evangelista Belo, J. M., Wissing, J., Feuchtner, T. & Grønbæk, K. (2023). CADTrack: Instructions and Support for Orientation Disambiguation of Near-Symmetrical Objects. In V. Mäkelä, A. Lucero, F. Alt & M. Hancock (Eds.), Proceedings of the ACM on Human-Computer Interaction Article 426 Association for Computing Machinery. https://doi.org/10.1145/3626462

Hansen, R. T., Borghegn, N. W., Gundtoft, P. H., Nielsen, K. A., Balslev-Clausen, A. & Viberg, B. (2023). Change in treatment preferences in pediatric diaphyseal forearm fractures: a Danish nationwide register study of 36,244 fractures between 1997 and 2016. Acta Orthopaedica. Supplementum (Print Edition), 94, 32-37. https://doi.org/10.2340/17453674.2023.7132

Cino, D., Brandsen, S., Bressa, N. A., Eriksson, E., Mascheroni, G. & Zaman, B. (2023). Children’s digital skills acquisition in non-formal educational contexts: Pedagogical practices, learning, and inclusion opportunities in coding and robotics workshops. Italian Journal of Educational Research, 54-72. https://doi.org/10.7346/sird-012023-p54

Frisk, M., Vejrup, M. K. S., Soerensen, F. K. & Wessely, M. (2023). ChromaNails: Re-Programmable Multi-Colored High-Resolution On-Body Interfaces using Photochromic Nail Polish. In UIST 2023 Adjunct - Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Article 72 Association for Computing Machinery. https://doi.org/10.1145/3586182.3615824

Bødker, S., Borowski, M., Griggio, C. F., Korsgaard, H. & Tchernavskij, P. (2023). CIO Work Package 1 Summary: Theoretical Concepts.

Bødker, S., Borowski, M., Tchernavskij, P., Hoggan, E. & Korsgaard, H. (2023). CIO Work Package 3 Summary: Technical Requirements.

Hou, B. J., Newn, J., Sidenmark, L., Khan, A. A., Bækgaard, P. & Gellersen, H. (2023). Classifying Head Movements to Separate Head-Gaze and Head Gestures as Distinct Modes of Input. In CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Article 253 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581201

Chen, Y., Gelder, M. L. V., Nazari, P., Brogan, C. L., Dishoeck, E. F. V., Linnartz, H., Jørgensen, J. K., Hunter, T. R., Wilkins, O. H., Blake, G. A., Caselli, P., Chuang, K. .-J., Codella, C., Cooke, I., Drozdovskaya, M. N., Garrod, R. T., Ioppolo, S., Jin, M., Kulterer, B. M. ... McGuire, B. A. (2023). CoCCoA: Complex Chemistry in hot Cores with ALMA. Selected oxygen-bearing species.

Hogräfer, M., Moritz, D., Perer, A. & Schulz, H.-J. (2023). Combining Degree of Interest Functions and Progressive Visualization. In 2023 IEEE Visualization Conference – Short Papers: VIS 2023 (pp. 251-255). IEEE. https://doi.org/10.1109/VIS54172.2023.00059

Bressa, N. A., Bødker, S., Klokmose, C. N. & Eriksson, E. (2023). Common Objects for Programming Workshops in Non-Formal Learning. In J. A. Nocera, M. K. Lárusdóttir, H. Petrie, A. Piccinno & M. Winckler (Eds.), Human-Computer Interaction – INTERACT 2023 (pp. 275-296). Springer. https://doi.org/10.1007/978-3-031-42280-5_16

Sidenmark, L., Prummer, F., Newn, J. & Gellersen, H. (2023). Comparing Gaze, Head and Controller Selection of Dynamically Revealed Targets in Head-Mounted Displays. IEEE Transactions on Visualization and Computer Graphics, 29(11), 4740-4750. https://doi.org/10.1109/TVCG.2023.3320235

Høgh, K. (2023). Complexity of Total Search Problems: Equilibria and Fair Division. Århus Universitet.

Skitsas, K., Orłowski, K., Hermanns, J., Mottin, D. & Karras, P. (2023). Comprehensive Evaluation of Algorithms for Unrestricted Graph Alignment. In Proceedings 26th International Conference on Extending Database Technology (EDBT 2023) (pp. 260-272). openproceedings.org. https://doi.org/10.48786/edbt.2023.21

Bilò, V., Hansen, K. A. & Mavronicolas, M. (2023). Computational Complexity of Decision Problems About Nash Equilibria in Win-Lose Multi-player Games. In A. Deligkas & A. Filos-Ratsikas (Eds.), Algorithmic Game Theory: SAGT 2023 (pp. 40-57). Springer. https://doi.org/10.1007/978-3-031-43254-5_3

Musaeus, L. H., Hansen, J. Ø. & Nielsen, K. (2023). Computational thinking i matematik, naturfag og samfundsfag: hvorfor, hvad og hvordan? . MONA - Matematik- og Naturfagsdidaktik, 2023(1), 45-71.

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

Shaik, I. (2023). Concise Encodings for Planning and 2-Player Games. Århus Universitet.

Shaik, I. & van de Pol, J. (2023). Concise QBF Encodings for Games on a Grid (extended version). https://doi.org/10.48550/arXiv.2303.16949

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

Nieto Rodriguez, A. (2023). Conflict-free Replicated Data Types have Abstract Data Types. Aarhus University.

Beer, A., Draganov, A., Hohma, E., Jahn, P., Frey, C. M. M. & Assent, I. (2023). Connecting the Dots: Density-Connectivity Distance unifies DBSCAN, k-Center and Spectral Clustering. In KDD 2023 : Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (pp. 80-92). Association for Computing Machinery. https://doi.org/10.1145/3580305.3599283

Evangelista Belo, J. M. (2023). Context-Aware Adaptive User Interfaces for Mixed Reality. Århus Universitet.

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

Chiang, J. H. Y., David, B., Gama, M. & Lebeda, C. J. (2023). Correlated-Output Differential Privacy and Applications to Dark Pools. In J. Bonneau & S. M. Weinberg (Eds.), 5th Conference on Advances in Financial Technologies, AFT 2023 Article 11 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.AFT.2023.11

Baum, C., David, B., Dowsley, R., Kishore, R., Nielsen, J. B. & Oechsner, S. (2023). CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time. 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 (Vol. 1, pp. 439-470). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-31368-4_16

Mic, V., Sedmidubsky, J. & Zezula, P. (2023). CRANBERRY: Memory-Effective Search in 100M High-Dimensional CLIP Vectors. In O. Pedreira & V. Estivill-Castro (Eds.), Similarity Search and Applications (pp. 300-308). Springer. https://doi.org/10.1007/978-3-031-46994-7_26

Abram, D., Beimel, A., Ishai, Y., Kushilevitz, E. & Narayanan, V. (2023). Cryptography from Planted Graphs: Security with Logarithmic-Size Messages. Paper presented at Theory of Cryptography. TCC 2023, Taipei, Taiwan.

Campanelli, M., Hall-Andersen, M. N. & Kamp, S. H. (2023). Curve Trees: Practical and Transparent Zero-Knowledge Accumulators. In J. Calandrino & C. Troncoso (Eds.), SEC '23: Proceedings of the 32nd USENIX Conference on Security Symposium (pp. 4391–4408). Article 246 Association for Computing Machinery. https://doi.org/10.5555/3620237.3620483

Elmqvist, N. (2023). Data Analytics Anywhere and Everywhere. Communications of the ACM, 66(12), 52-63. https://doi.org/10.1145/3584858

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. In UIST 2023 Adjunct - Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Article 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. In CHI EA '23: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems Article 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. Article 214. https://doi.org/10.1145/3607856

Georges, A. L. (2023). Designing and Proving Robust Safety of Efficient Capability Machine Programs. Århus 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

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

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

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. 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 Adjunct, ISMAR-Adjunct 2023 (pp. 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. In Proceedings 26th International Conference on Extending Database Technology ( EDBT 2023 ) (pp. 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. Århus Universitet.

Boudgoust, K., Jeudy, C., Roux-Langlois, A. & Wen, W. (2023). Entropic Hardness of Module-LWE from Module-NTRU. In T. Isobe & S. Sarkar (Eds.), Progress in Cryptology – INDOCRYPT 2022: 23rd International Conference on Cryptology in India, Kolkata, India, December 11–14, 2022, Proceedings (pp. 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. 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

Chiang, J. H. Y., David, B., Eyal, I. & Gong, T. (2023). FairPoS: Input Fairness in Permissionless Consensus. In J. Bonneau & S. M. Weinberg (Eds.), 5th Conference on Advances in Financial Technologies, AFT 2023 Article 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. Article 240. https://doi.org/10.1145/3622816

Larsen, K. G. (2023). Fast Discrepancy Minimization with Hereditary Guarantees. In N. Bansal & V. Nagarajan (Eds.), Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA) (pp. 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. In CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (pp. 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), Article 36. https://doi.org/10.1007/s10817-023-09678-y

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

Displaying results 201 to 250 out of 5533

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University