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

Aardal, M. A. & Aranha, D. F. (2024). 2DT-GLS: Faster and Exception-Free Scalar Multiplication in the GLS254 Binary Curve. In B. Smith & H. Wu (Eds.), Selected Areas in Cryptography - 29th International Conference, SAC 2022, Revised Selected Papers (Vol. 13742, pp. 53-74). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-58411-4_3

Conrado, G. K. & Pavlogiannis, A. (2024). A Better Approximation for Interleaved Dyck Reachability. In SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (pp. 18-25). Association for Computing Machinery. https://doi.org/10.1145/3652588.3663318

Bui-Ngoc, T., Ly, D. K., Truong, T. T., Thongchom, C. & Nguyen-Thoi, T. (2024). A deep neural network based surrogate model for damage identification in full-scale structures with incomplete noisy measurements. Frontiers of Structural and Civil Engineering, 18(3), 393-410. https://doi.org/10.1007/s11709-024-1060-8

Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2024). Almost-Sure Termination by Guarded Refinement. Proceedings of the ACM on Programming Languages , 8(ICFP), 203-233. Article 243. https://doi.org/10.1145/3674632

Hammond, A., Liu, Z., Pérami, T., Sewell, P., Birkedal, L. & Pichon-Pharabod, J. (2024). An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic. Proceedings of the ACM on Programming Languages , 8, 604-637. Article 21. https://doi.org/10.1145/3632863

Lutze, M. & Madsen, M. (2024). Associated Effects: Flexible Abstractions for Effectful Programming. Proceedings of the ACM on Programming Languages , 8, Article 163. https://doi.org/10.1145/3656393

Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2024). Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. Proceedings of the ACM on Programming Languages , 8(POPL), Article 26. https://doi.org/10.1145/3632868

Ágústsson, S. Ý., Jones, A. J. H., Curcio, D., Ulstrup, S., Miwa, J., Mottin, D., Karras, P. & Hofmann, P. (2024). Autonomous micro-focus angle-resolved photoemission spectroscopy. Review of Scientific Instruments, 95(5), Article 055106. https://doi.org/10.1063/5.0204663

Brodal, G. S. (2024). Bottom-Up Rebalancing Binary Search Trees by Flipping a Coin. In A. Z. Broder & T. Tamir (Eds.), 12th International Conference on Fun with Algorithms, FUN 2024 Article 6 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FUN.2024.6

Chen, N., Chen, X., Zhong, Z. & Pang, J. (2024). Bridging Performance of X (formerly known as Twitter) Users: A Predictor of Subjective Well-Being During the Pandemic. ACM Transactions on the Web, 18(1), Article 15. https://doi.org/10.1145/3635033

Barrett, M., Müller-Eberstein, M., Bassignana, E., Pauli, A. B., Zhang, M. & van der Goot, R. (2024). Can Humans Identify Domains? In N. Calzolari, M.-Y. Kan, V. Hoste, A. Lenci, S. Sakti & N. Xue (Eds.), 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings (pp. 2745-2765). European Language Resources Association (ELRA).

Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Devriese, D. & Birkedal, L. (2024). Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. Journal of the ACM, 71(1), Article 3. https://doi.org/10.1145/3623510

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J., Sode, L., Madsen, J. & Corredig, M. (2024). Characterization of high protein anisotropic structures using Rheological fingerprint by large-deformation Lissajous curves. Science Talks, 9, Article 100283. https://doi.org/10.1016/j.sctalk.2023.100283

Tunç, H. C., Deshmukh, A. P., Çirisci, B., Enea, C. & Pavlogiannis, A. (2024). CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. In ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Vol. 3, pp. 223-238). Association for Computing Machinery. https://doi.org/10.1145/3620666.3651358

Truong, T. T., Airao, J., Hojati, F., Ilvig, C. F., Azarhoushang, B., Karras, P. & Aghababaei, R. (2024). Data-driven prediction of tool wear using Bayesian regularized artificial neural networks. Measurement: Journal of the International Measurement Confederation, 238, Article 115303. https://doi.org/10.1016/j.measurement.2024.115303

Jacobs, J., Hinrichsen, J. K. & Krebbers, R. (2024). Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. Proceedings of the ACM on Programming Languages , 8(POPL), Article 47. https://doi.org/10.1145/3632889

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). Demonstrating MouthIO: Customizable Oral User Interfaces with Integrated Sensing and Actuation. In M. Wessely, V. Savage, P. Didyk & J. Martinez (Eds.), SCF Adjunct '24: Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication Article 6 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3665662.3673254

Ozbek, D., Alalawi, M., Eckroth, T. M. & Wessely, M. (2024). Demonstration of AcceloPrint: Fabricating Accelerometers with Multi-Material 3D Printing. In M. Wessely, V. Savage, P. Didyk & J. Martinez (Eds.), SCF Adjunct '24: Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication Article 8 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3665662.3673256

Pfeuffer, K., Gellersen, H. & Gonzalez-Franco, M. (2024). Design Principles and Challenges for Gaze + Pinch Interaction in XR. IEEE Computer Graphics and Applications, 44(3), 74-81. https://doi.org/10.1109/MCG.2024.3382961

Brodal, G. S. & Wild, S. (2024). Deterministic Cache-Oblivious Funnelselect. In H. L. Bodlaender (Ed.), 19th Scandinavian Symposium on Algorithm Theory, SWAT 2024 Article 17 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SWAT.2024.17

Damgård, I., Keller, H., Nelson, B., Orlandi, C. & Pagh, R. (2024). Differentially Private Selection from Secure Distributed Computing. In WWW 2024 - Proceedings of the ACM Web Conference (pp. 1103-1114). Association for Computing Machinery. https://doi.org/10.1145/3589334.3645435

Brewer, B., Brodal, G. S. & Wang, H. (2024). Dynamic Convex Hulls for Simple Paths. In W. Mulzer & J. M. Phillips (Eds.), 40th International Symposium on Computational Geometry, SoCG 2024 Article 24 Schloss Dagstuhl--Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2024.24

Elmqvist, N., Liu, S. & Pascucci, V. (2024). Editorial Guest Editors' Introduction. IEEE Transactions on Visualization and Computer Graphics, 30(6), 2860-2861. https://doi.org/10.1109/TVCG.2024.3373233

Aguirre, A., Haselwarter, P. G., De Medeiros, M., Li, K. H., Gregersen, S. O., Tassarotti, J. & Birkedal, L. (2024). Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs. Proceedings of the ACM on Programming Languages , 8, Article 246. https://doi.org/10.1145/3674635

Khani, P., Moeinaddini, E., Abnavi, N. D. & Shahraki, A. (2024). Explainable artificial intelligence for feature selection in network traffic classification: A comparative study. Transactions on Emerging Telecommunications Technologies, 35(4), Article e4970. https://doi.org/10.1002/ett.4970

Turkmen, R., Gelmez, Z. E., Batmaz, A. U., Stuerzlinger, W., Asente, P., Sarac, M., Pfeuffer, K. & Machuca, M. D. B. (2024). EyeGuide & EyeConGuide: Gaze-based Visual Guides to Improve 3D Sketching Systems. In CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Article 178 Association for Computing Machinery. https://doi.org/10.1145/3613904.3641947

Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A. (2024). Fast Symbolic Computation of Bottom SCCs. In B. Finkbeiner & L. Kovács (Eds.), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024 (pp. 110-128). Springer. https://doi.org/10.1007/978-3-031-57256-2_6

Mic, V. & Zezula, P. (2024). Filtering with relational similarity. Information Systems, 122, Article 102345. https://doi.org/10.1016/j.is.2024.102345

Petsinis, P., Tsourakakis, C. E. & Karras, P. (2024). Finding Dense and Persistently Expansive Subgraphs. In WWW 2024 Companion - Companion Proceedings of the ACM Web Conference (pp. 553-556). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3589335.3651507

Christensen, H. B. (2024). Flexible, Reliable Software, 2nd Edition, Part V: Compositional Design: Compositional Design.

Christensen, H. B. (2024). Flexible, Reliable Software, 2nd Edition, Part VI: A Design Pattern Catalogue.

Kaspersen, M. H., Musaeus, L. H., Bilstrup, K. E. K., Petersen, M. G., Iversen, O. S., Dindler, C. & Dalsgaard, P. (2024). From Primary Education to Premium Workforce: Drawing on K-12 Approaches for Developing AI Literacy. In F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. Toups Dugas & I. Shklovski (Eds.), CHI' 2024: Proceedings of the CHI Conference on Human Factors in Computing Systems (pp. 1-16). Article 268 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3613904.3642607

Hou, B. J., Newn, J., Sidenmark, L., Khan, A. A. & Gellersen, H. (2024). GazeSwitch: Automatic Eye-Head Mode Switching for Optimised Hands-Free Pointing. Proceedings of the ACM on Human-Computer Interaction, 8(ETRA), Article 227. https://doi.org/10.1145/3655601

Cheng, Y. W., Zhong, Z., Pang, J. & Li, C. T. (2024). Hierarchical Bipartite Graph Convolutional Network for Recommendation. IEEE Computational Intelligence Magazine, 19(2), 49-60. https://doi.org/10.1109/MCI.2024.3363973

Chakraborty, S., Krishna, S. N., Mathur, U. & Pavlogiannis, A. (2024). How Hard Is Weak-Memory Testing? Proceedings of the ACM on Programming Languages , 8, Article 66. https://doi.org/10.1145/3632908

Huang, C., Mathiasen, A., Dean, J., Mottin, D. & Assent, I. (2024). HUNIPU: Efficient Hungarian Algorithm on IPUs. In Proceedings - 2024 IEEE 40th International Conference on Data Engineering Workshops, ICDEW 2024 (pp. 388-394). IEEE. https://doi.org/10.1109/ICDEW61823.2024.00062

Srinivasan, A. & Chan, J. (2024). Improving Selection of Analogical Inspirations through Chunking and Recombination. In C&C '24: Proceedings of the 16th Conference on Creativity & Cognition (pp. 374-397). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3635636.3656207

Blaabjerg, J. F. (2024). Information Flow Techniques for Mitigating Traffic Analysis. Aarhus University.

Butcher, P. W. S., Batch, A., Saffo, D., Macintyre, B., Elmqvist, N. & Ritsos, P. D. (2024). Is Native Naïve? Comparing Native Game Engines and WebXR as Immersive Analytics Development Platforms. IEEE Computer Graphics and Applications, 44(3), 91-98. https://doi.org/10.1109/MCG.2024.3367422

Rathish, H., Picón, G. C. & Schulz, H.-J. (2024). LaNe Plot: A Visual Fingerprinting Technique for Sequential Data. In K. Kucher, A. Diehl & C. Gillmann (Eds.), Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241087

Marandi, A., Alves, P. G. M. R., Aranha, D. F. & Jacobsen, R. H. (2024). Lattice-based Homomorphic Encryption for Privacy-Preserving Smart Meter Data Analytics. The Computer Journal, 67(5), 1687-1698. https://doi.org/10.1093/comjnl/bxad093

Amireddy, P., Behera, A. R., Paraashar, M., Srinivasan, S. & Sudan, M. (2024). Local Correction of Linear Functions over the Boolean Cube. In STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of Computing (pp. 764-775). Association for Computing Machinery. https://doi.org/10.1145/3618260.3649746

Burkhardt, J., Caragiannis, I., Fehrs, K., Russo, M., Schwiegelshohn, C. & Shyam, S. (2024). Low-Distortion Clustering with Ordinal and Limited Cardinal Information. In M. Wooldridge, J. Dy & S. Natarajan (Eds.), Technical Tracks 14 (9 ed., pp. 9555-9563). Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v38i9.28811

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

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

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

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

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

Adolf, J., Kán, P., Feuchtner, T., Adolfová, B., Doležal, J. & Lhotská, L. (2024). Offistretch: camera-based real-time feedback for daily stretching exercises. Visual Computer. https://doi.org/10.1007/s00371-024-03450-y

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

Displaying results 1 to 50 out of 5404

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University