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

Madsen, O. L. & Møller-Pedersen, B. (2022). Using supplementary properties to reduce the need for documentation. In T. Margaria & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering - 11th International Symposium, ISoLA 2022, Proceedings: Software Engineering (pp. 35-59). Springer. https://doi.org/10.1007/978-3-031-19756-7_4

Bhandari, S., Harsha, P., Saptharishi, R. & Srinivasan, S. (2022). Vanishing Spaces of Random Sets and Applications to Reed-Muller Codes. In S. Lovett (Ed.), 37th Computational Complexity Conference, CCC 2022 Article 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CCC.2022.31

Borowski, M., Murray, L., Bagge, R., Kristensen, J. B., Satyanarayan, A. & Klokmose, C. N. (2022). Varv: Reprogrammable Interactive Software as a Declarative Data Structure. In CHI '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Article 492 Association for Computing Machinery. https://doi.org/10.1145/3491102.3502064

Attema, T., Cascudo, I., Cramer, R., Damgård, I. & Escudero, D. (2022). Vector Commitments over Rings and Compressed Σ -Protocols. In E. Kiltz & V. Vaikuntanathan (Eds.), Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (Vol. Part 1, pp. 173-202). Springer. https://doi.org/10.1007/978-3-031-22318-1_7

Campanelli, M. & Hall-Andersen, M. (2022). Veksel: Simple, Efficient, Anonymous Payments with Large Anonymity Sets fromWell-Studied Assumptions. In ASIA CCS 2022 - Proceedings of the 2022 ACM Asia Conference on Computer and Communications Security (pp. 652-666). Association for Computing Machinery. https://doi.org/10.1145/3488932.3517424

Hansen, S. T., Thule, C., Gomes, C., van de Pol, J., Palmieri, M., Inci, E. O., Madsen, F., Alfonso, J., Castellanos, J. Á. & Rodriguez, J. M. (2022). Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. International Journal on Software Tools for Technology Transfer, 24(6), 999-1024. https://doi.org/10.1007/s10009-022-00686-8

Ganesh, C., Orlandi, C., Tschudi, D. & Zohar, A. (2022). Virtual ASICs: Generalized Proof-of-Stake Mining in Cryptocurrencies. In J. Garcia-Alfaro, J. L. Muñoz-Tapia, G. Navarro-Arribas & M. Soriano (Eds.), Data Privacy Management, Cryptocurrencies and Blockchain Technology : ESORICS 2021 International Workshops, DPM 2021 and CBT 2021 (pp. 173-191). Springer. https://doi.org/10.1007/978-3-030-93944-1_12

Madsen, J., Sode, L., Dahl, J. F., Corredig, M. & Schulz, H.-J. (2022). Visual Exploration of Rheological Test Results from Soft Materials. In Proceedings - 2022 1st International Workshop on Visualization in Testing of Hardware, Software, and Manufacturing, TestVis 2022 (pp. 1-7). IEEE. https://doi.org/10.1109/TestVis57757.2022.00006

Vernica, T., Lipman, R., Kramer, T., Kwon, S. & Bernstein, W. Z. (2022). Visualizing Standardized Model-Based Design and Inspection Data in Augmented Reality. Journal of Computing and Information Science in Engineering, 22(4), Article 041001. https://doi.org/10.1115/1.4053154

Hansen, K. A., Liu, T. X. & Malekian, A. (Eds.) (2022). Web and Internet Economics: 18th International Conference, WINE 2022, Troy, NY, USA, December 12-15, 2022, Proceedings. Springer. Lecture Notes in Computer Science Vol. 13778 https://doi.org/10.1007/978-3-031-22832-2

Borowski, M. & Klokmose, C. N. (2022). Webstrates, Codestrates v2, and Varv: A Software Stack for Computational Media. In Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Article 30 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547714

Ganesh, C., Khoshakhlagh, H., Kohlweiss, M., Nitulescu, A. & Zając, M. (2022). What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable? In C. Galdi & S. Jarecki (Eds.), Security and Cryptography for Networks (pp. 735-760). Springer. https://doi.org/10.1007/978-3-031-14791-3_32

Madsen, O. L. & Møller-Pedersen, B. (2022). What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming . In Onward! 2022 - Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, co-located with SPLASH 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (pp. 220–239). Association for Computing Machinery. https://doi.org/10.1145/3563835.3568735

Bressa, N. A., Korsgaard, H., Tabard, A., Houben, S. & Vermeulen, J. (2022). What's the Situation with Situated Visualization? A Survey and Perspectives on Situatedness. 107-117. https://doi.org/10.1109/TVCG.2021.3114835

Ciaperoni, M., Aslay, C., Gionis, A. & Mathioudakis, M. (2022). Workload-Aware Materialization of Junction Trees. In Proceedings of the 25th International Conference on Extending Database Technology (pp. 65-77). Universität Konstanz. https://doi.org/10.5441/002/edbt.2022.06

Duckert, M., Hoggan, E., Barkhuus, L., Bjørn, P., Boulus-Rodje, N., Bødker, S., Møller, N. H. & Shklovski, I. (2022). Work of the Future. In Participative Computing for Sustainable Futures: Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Article 3 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547707

Cino, D., Brandsen, S., Bressa, N. A., Mascheroni, G., Eriksson, E. & Zaman, B. (2022). Young People’s Digital Skills Practices in Non-formal Learning Contexts: observations, interviews, co-design. (Deliverable 6.2). University of Leuven.

Cino, D., Brandsen, S., Bressa, N., Eriksson, E., Mascheroni, G. & Zaman, B. (2022, Jul 1). Young People's Digital Skills Practices in Non- formal Learning Contexts: observations, interviews, co-design. Zenodo. https://doi.org/10.5281/zenodo.6832846

Abdrabou, Y., Schütte, J., Shams, A., Pfeuffer, K., Buschek, D., Khamis, M. & Alt, F. (2022). "Your Eyes Tell You Have Used This Password Before": Identifying Password Reuse from Gaze and Keystroke Dynamics. In CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Article 400 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517531

Campanelli, M., Engelmann, F. & Orlandi, C. (2022). Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers. In C. Galdi & S. Jarecki (Eds.), Security and Cryptography for Networks (pp. 761-784). Springer. https://doi.org/10.1007/978-3-031-14791-3_33

Pakusch, C., Boden, A., Korsgaard, H., Lewkowicz, M., Avram, G. & Bødker, S. (2021). 2nd Workshop on Studying Technical Mechanisms for Supporting Sharing Communities. Paper presented at The 19th European Conference on Computer-Supported Cooperative Work, Zurich, Switzerland. https://doi.org/10.18420/ecscw2021-wsmc01

Møller, A. & Sridharan, M. (Eds.) (2021). 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). In A. Møller & M. Sridharan (Eds.), 35th European Conference on Object-Oriented Programming (ECOOP 2021) (pp. vii-ix). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2021.0

André, É., Marinho, D. & Pol, J. V. D. (2021). A Benchmarks Library for Extended Parametric Timed Automata. In F. Loulergue & F. Wotawa (Eds.), Tests and Proofs - 15th International Conference, TAP 2021, Held as Part of STAF 2021, Proceedings: 15th International Conference, TAP 2021, Held as Part of STAF 2021, Virtual Event, June 21–22, 2021, Proceedings (pp. 39-50). Springer. https://doi.org/10.1007/978-3-030-79379-1_3

Hansen, K. A., Ibsen-Jensen, R. & Neyman, A. (2021). Absorbing games with a clock and two bits of memory. Games and Economic Behavior, 128, 213-230. https://doi.org/10.1016/j.geb.2021.04.008

Truica, C.-O., Apostol, E. S., Stefu, T. & Karras, P. (2021). A Deep Learning Architecture for Audience Interest Prediction of News Topic on Social Media. In Y. Velegrakis, D. Zeinalipour-Yazti, P. K. Chrysanthis & F. Guerra (Eds.), Advances in Database Technology - EDBT 2021: 24th International Conference on Extending Database Technology, Proceedings (pp. 588-599). openproceedings.org. https://doi.org/10.5441/002/edbt.2021.69

van Oosterhout, A. (2021). A Design Perspective on Force Feedback. Århus Universitet.

Sølvsten, S., van de Pol, J., Jakobsen, A. B., Rysgaard, C. M., Carstensen, E. F. & Thomasen, M. W. B. (2021). Adiar: An I/O-efficient implementation of Decision Diagrams. Software, GitHub. https://doi.org/10.5281/zenodo.4718218

Rocha, R. V. M., Libório, P. P., Kupwade Patil, H. & Aranha, D. F. (2021). A Differentially Private Hybrid Approach to Traffic Monitoring. In K. Sako & N. O. Tippenhauer (Eds.), Applied Cryptography and Network Security - ACNS 2021 (pp. 233-256). Springer. https://doi.org/10.1007/978-3-030-78375-4_10

Bellatreche, L., Dumas, M., Karras, P. & Matulevicius, R. (Eds.) (2021). Advances in Databases and Information Systems: 25th European Conference, ADBIS 2021, Tartu, Estonia, August 24–26, 2021, Proceedings. Springer. Lecture Notes in Computer Science (LNCS) Vol. 12843 https://doi.org/10.1007/978-3-030-82472-3

Mathiesen, S. S. & Schulz, H.-J. (2021). Aesthetics and Ordering in Stacked Area Charts. In A. Basu, G. Stapleton, S. Linker, C. Legg, E. Manalo & P. Viana (Eds.), Diagrammatic Representation and Inference - 12th International Conference, Diagrams 2021, Proceedings: 12th International Conference on the Theory and Application of Diagrams (DIAGRAMS'21) (pp. 3-19). Springer. https://doi.org/10.1007/978-3-030-86062-2_1

Braun, L., Cammarota, R. & Schneider, T. (2021). A Generic Hybrid 2PC Framework with Application to Private Inference of Unmodified Neural Networks: Extended Abstract. Poster session presented at Privacy in Machine Learning.

Christensen, H. B., Jepsen, S. C. & Worm, T. (2021). Agile Architecting of Distributed Systems for Flexible Industry 4.0. In M. Ganzha, L. Maciaszek, M. Paprzycki & D. Ślęzak (Eds.), Proceedings of the 16th Conference on Computer Science and Intelligence Systems, FedCSIS 2021 (pp. 533-536). IEEE. https://doi.org/10.15439/2021F17

Caragiannis, I. & Hansen, K. A. (Eds.) (2021). Algorithmic Game Theory: 14th International Symposium, SAGT 2021, Aarhus, Denmark, September 21-24, 2021, Proceedings. Springer. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-030-85947-3

Böhm, M., Fazzone, A., Leonardi, S., Menghini, C. & Schwiegelshohn, C. (2021). Algorithms for fair k-clustering with multiple protected attributes. Operations Research Letters, 49(5), 787-789. https://doi.org/10.1016/j.orl.2021.08.011

Svendsen, S. C. (2021). Algorithms for Massive Terrains and Graphs. Århus Universitet.

Engemann, K., Svenning, J.-C., Arge, L., Brandt, J., Bruun, M. T., Didriksen, M., Erikstrup, C., Geels, C., Hertel, O., Horsdal, H. T., Kaspersen, K. A., Mikkelsen, S., Mortensen, P. B., Nielsen, K. R., Ostrowski, S. R., Pedersen, O. B., Tsirogiannis, C., Sabel, C. E., Sigsgaard, T. ... Pedersen, C. B. (2021). A life course approach to understanding associations between natural environments and mental well-being for the Danish blood donor cohort. Health & Place, 72, Article 102678. https://doi.org/10.1016/j.healthplace.2021.102678

Afshani, P. (2021). A Lower Bound for Dynamic Fractional Cascading. In ACM-SIAM Symposium on Discrete Algorithms, SODA 2021 (pp. 2229-2248). Association for Computing Machinery. https://doi.org/10.5555/3458064.3458197

Christensen, H. B. (2021). AlSoMe: A Demonstration of a High Available Chat App. Computer programme https://bitbucket.org/henrikbaerbak/alsome/src/master/

Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L., van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N. (2021). An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation. Frontiers in Bioengineering and Biotechnology, 9, Article 732917. https://doi.org/10.3389/fbioe.2021.732917

Abspoel, M., Dalskov, A., Escudero Ospina, D. E. & Nof, A. (2021). An Efficient Passive-to-Active Compiler for Honest-Majority MPC over Rings. In K. Sako & N. O. Tippenhauer (Eds.), Applied Cryptography and Network Security - 19th International Conference, ACNS 2021, Proceedings: 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings (Vol. II, pp. 122-154). Springer. https://doi.org/10.1007/978-3-030-78375-4_6

Cohen-Addad, V., Saulpic, D. & Schwiegelshohn, C. (2021). A new coreset framework for clustering. In S. Khuller & V. V. Williams (Eds.), STOC 2021 - Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing (pp. 169-182). Association for Computing Machinery. https://doi.org/10.1145/3406325.3451022

Brodal, G. S., Fagerberg, R., Hammer, D., Meyer, U., Penschuck, M. & Tran, H. (2021). An experimental study of external memory algorithms for connected components. In D. Coudert & E. Natale (Eds.), 19th International Symposium on Experimental Algorithms, SEA 2021 (pp. 23). Article 23 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SEA.2021.23

Schwartzbach, N. I. (2021). An Incentive-Compatible Smart Contract for Decentralized Commerce. In IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2021 (pp. 1-3). IEEE. https://doi.org/10.1109/ICBC51069.2021.9461077

Bidlingmaier, M. E. (2021). An interpretation of dependent type theory in a model category of locally cartesian closed categories. Mathematical Structures in Computer Science, 31(5), 469-494. https://doi.org/10.1017/S0960129521000098

Baum, C., Braun, L., Munch-Hansen, A., Razet, B. & Scholl, P. (2021). Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k. In CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security (pp. 192-211). Association for Computing Machinery. https://doi.org/10.1145/3460120.3484812

Afshani, P., de Berg, M., Buchin, K., Gao, J., Loffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Wang, H.-T. (2021). Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency. In S. M. LaValle, M. Lin, T. Ojala, D. Shell & J. Yu (Eds.), Algorithmic Foundations of Robotics XIV-Part A: Proceedings of the Fourteenth Workshop on the Algorithmic Foundations of Robotics Springer. https://arxiv.org/abs/2005.02530

Kán, P., Kurtic, A., Radwan, M. & M. Loáiciga Rodríguez, J. (2021). Automatic Interior Design in Augmented Reality Based on Hierarchical Tree of Procedural Rules. Electronics, 10(3), 1-17. Article 245. https://doi.org/10.3390/electronics10030245

Damgård, I., Ganesh, C., Khoshakhlagh, H., Orlandi, C. & Siniscalchi, L. (2021). Balancing Privacy and Accountability in Blockchain Identity Management. In K. G. Paterson (Ed.), Topics in Cryptology-CT-RSA 2021 - Cryptographers’ Track at the RSA Conference, Proceedings (pp. 552-576). Springer. https://doi.org/10.1007/978-3-030-75539-3_23

Baum, C., de Saint Guilhem, C. D., Kales, D., Orsini, E., Scholl, P. & Zaverucha, G. (2021). Banquet: Short and Fast Signatures from AES. In J. A. Garay (Ed.), Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part I (pp. 266-297). Springer. https://doi.org/10.1007/978-3-030-75245-3_11

Pfeuffer, K., DInc, A., Obernolte, J., Rivu, R., Abdrabou, Y., Shelter, F., Abdelrahman, Y. & Alt, F. (2021). Bi-3D: Bi-Manual Pen-and-Touch Interaction for 3D Manipulation on Tablets. In UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology (pp. 149-161). Association for Computing Machinery. https://doi.org/10.1145/3472749.3474741

Displaying results 551 to 600 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