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

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

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. Proceedings of the Annual ACM Symposium on Theory of Computing https://doi.org/10.1145/3406325.3451022

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

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

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

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. Springer Proceedings in Advanced Robotics 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), [245]. https://doi.org/10.3390/electronics10030245

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. Lecture Notes in Computer Science Vol. LNCS 12710 https://doi.org/10.1007/978-3-030-75245-3_11

Qian, Z., Kavvos, G. A. & Birkedal, L. (2021). Client-server sessions in linear logic. Proceedings of the ACM on Programming Languages, 5(ICFP), [62]. https://doi.org/10.1145/3473567

Blanc, M. & Hansen, K. A. (2021). Computational Complexity of Multi-player Evolutionarily Stable Strategies. In R. Santhanam & D. Musatov (Eds.), Computer Science – Theory and Applications: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings (pp. 1-17). Springer. Lecture Notes in Computer Science Vol. 12730 https://doi.org/10.1007/978-3-030-79416-31

Jansson, J., Mampentzidis, K., Rajaby, R. & Sung, W. K. (2021). Computing the Rooted Triplet Distance Between Phylogenetic Networks. Algorithmica, 83(6), 1786-1828. https://doi.org/10.1007/s00453-021-00802-1

Vindum, S. F. & Birkedal, L. (2021). Contextual refinement of the Michael-Scott queue (proof pearl). In C. Hriţcu & A. Popescu (Eds.), CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 76-90). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439930

Ganesh, C., Magri, B. & Venturi, D. (2021). Cryptographic reverse firewalls for interactive proof systems. Theoretical Computer Science, 855, 104-132. https://doi.org/10.1016/j.tcs.2020.11.043

Nonnemann, L., Hogräfer, M., Schumann, H., Urban, B. & Schulz, H-J. (2021). Customizable Coordination of Independent Visual Analytics Tools. In J. Bernard & K. Vrotsou (Eds.), Proceedings of the 12th International EuroVis Workshop on Visual Analytics (EuroVA) (pp. 25-29). Eurographics Association. https://doi.org/10.2312/eurova.20211094

Gondelman, L., Gregersen, S. O., Nieto, A., Timany, A. & Birkedal, L. (2021). Distributed causal memory: Modular specification and verification in higher-order distributed separation logic. Proceedings of the ACM on Programming Languages, 5(POPL), [42]. https://doi.org/10.1145/3434323

Kulkarni, R., Mathur, U. & Pavlogiannis, A. (2021). Dynamic Data-Race Detection Through the Fine-Grained Lens. In S. Haddad & D. Varacca (Eds.), 32nd International Conference on Concurrency Theory (CONCUR 2021) (pp. 16:1-16:23). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics (LIPIcs) Vol. 203 https://doi.org/10.4230/LIPIcs.CONCUR.2021.16

Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Huyghebaert, S., Devriese, D. & Birkedal, L. (2021). Efficient and provable local capability revocation using uninitialized capabilities. Proceedings of the ACM on Programming Languages, 5(POPL), [6]. https://doi.org/10.1145/3434287

Borowski, M. (2021). Exploring Possible Futures With Computational Media. In ECSCW 2021: Proceedings of the 19th European Conference on Computer Supported Cooperative Work (pp. 1–8). European Society for Socially Embedded Technologies (EUSSET). https://doi.org/10.18420/ecscw2021_dc05

Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. (2021). Extracting smart contracts tested and verified in Coq. In C. Hritcu & A. Popescu (Eds.), CPP 2021 - Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2021 (pp. 105-121). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439934

Tsitsulin, A., Munkhoeva, M., Mottin, D., Karras, P., Oseledets, I. & Mueller, E. (2021). FREDE: Anytime Graph Embeddings. Proceedings of the VLDB Endowment, 14(6), 1102-1110. https://doi.org/10.14778/3447689.3447713

Kulik, T., Boudjadar, J. & Aranha, D. F. (2021). Formally Verified Credentials Management for Industrial Control Systems. In FormaliSE@ICSE: 9th IEEE/ACM International Conference on Formal Methods in Software Engineering (pp. 75-85). IEEE. http://10.1109/FormaliSE52586.2021.00014

Jacobs, K., Timany, A. & Devriese, D. (2021). Fully abstract from static to gradual. Proceedings of the ACM on Programming Languages, 5(POPL), [7]. https://doi.org/10.1145/3434288

Larsen, K. G., Starup, J. L. & Steensgaard, J. (2021). Further Unifying the Landscape of Cell Probe Lower Bounds. Paper presented at Happening virtually , -. https://cs.au.dk/~larsen/papers/FurtherUnifying.pdf

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Head Up Visualization of Spatial Sound Sources in Virtual Reality for Deaf and Hard-of-Hearing People. In 2021 IEEE Virtual Reality and 3D User Interfaces (VR) (pp. 582-587). IEEE. https://doi.org/10.1109/VR50410.2021.00083

Burra, S. S., Larraia, E., Nielsen, J. B., Nordholt, P. S., Orlandi, C., Orsini, E., Scholl, P. & Smart, N. P. (2021). High-Performance Multi-party Computation for Binary Circuits Based on Oblivious Transfer. Journal of Cryptology, 34(3), [34]. https://doi.org/10.1007/s00145-021-09403-1

Aguirre, A., Barthe, G., Gaboardi, M., Garg, D., Katsumata, S. Y. & Sato, T. (2021). Higher-order probabilistic adversarial computations: categorical semantics and program logics. Proceedings of the ACM on Programming Languages, 5(ICFP), [93]. https://doi.org/10.1145/3473598

Kejlberg-Rasmussen, C., Tao, Y., Tsakalidis, K., Tsichlas, K. & Yoon, J. (2021). I/O-efficient 2-d orthogonal range skyline and attrition priority queues. Computational Geometry: Theory and Applications, 93, [101689]. https://doi.org/10.1016/j.comgeo.2020.101689

Ateniese, G., Francati, D., Magri, B. & Venturi, D. (2021). Immunization against complete subversion without random oracles. Theoretical Computer Science, 859, 1-36. https://doi.org/10.1016/j.tcs.2021.01.002

Menheere, D., Van Hartingsveldt, E., Birkebæk, M., Vos, S. & Lallemand, C. (2021). Laina: Dynamic Data Physicalization for Slow Exercising Feedback. In DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere (pp. 1015-1030). Association for Computing Machinery. DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere https://doi.org/10.1145/3461778.3462041

Aranha, D. F., Baum, C., Gjøsteen, K., Silde, T. & Tunge, T. (2021). Lattice-Based Proof of Shuffle and Applications to Electronic Voting. In K. G. Paterson (Ed.), Topics in Cryptology - CT-RSA 2021 (pp. 227-251). Springer. Lecture Notes in Computer Science Vol. 12704 https://doi.org/10.1007/978-3-030-75539-3_10

Borowski, M. & Larsen-Ledet, I. (2021). Lessons Learned from Using Reprogrammable Prototypes with End-User Developers. In D. Fogli, D. Tetteroo, B. R. Barricelli, S. Borsci, P. Markopoulos & G. A. Papadopoulos (Eds.), End-User Development - 8th International Symposium, IS-EUD 2021, Proceedings: 8th International Symposium, IS-EUD 2021, Virtual Event, July 6–8, 2021, Proceedings (pp. 136–152). Springer. Lecture Notes in Computer Science Vol. 12724 https://doi.org/10.1007/978-3-030-79840-6_9

Avdic, M., Marquardt, N., Rogers, Y. & Vermeulen, J. (2021). Machine Body Language: Expressing a Smart Speaker's Activity with Intelligible Physical Motion. In W. Ju, L. Oehlberg, S. Follmer, S. Fox & S. Kuznetsov (Eds.), DIS 2021 - Proceedings of the 2021 ACM Designing Interactive Systems Conference: Nowhere and Everywhere (pp. 1403-1418). Association for Computing Machinery. https://doi.org/10.1145/3461778.3462031

Gregersen, S. O., Bay, J., Timany, A. & Birkedal, L. (2021). Mechanized logical relations for termination-insensitive noninterference. Proceedings of the ACM on Programming Languages, 5(POPL), [10]. https://doi.org/10.1145/3434291

Grnbaek, J. E., Saatci, B., Griggio, C. F. & Klokmose, C. N. (2021). Mirrorblender: Supporting hybrid meetings with a malleable video-conferencing system. In CHI 2021 - Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths [451] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings https://doi.org/10.1145/3411764.3445698

Nielsen, B. B., Torp, M. T. & Møller, A. (2021). Modular call graph construction for security scanning of Node.js applications. In C. Cadar & X. Zhang (Eds.), ISSTA 2021 - Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 29-41). Association for Computing Machinery. Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering https://doi.org/10.1145/3460319.3464836

Ciampi, M., Siniscalchi, L. & Waldner, H. (2021). Multi-Client Functional Encryption for Separable Functions. 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. 724-753). Springer. Lecture Notes in Computer Science Vol. LNCS 12710 https://doi.org/10.1007/978-3-030-75245-3_26

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Multi-modal Spatial Object Localization in Virtual Reality for Deaf and Hard-of-Hearing People. In 2021 IEEE Virtual Reality and 3D User Interfaces (VR) (pp. 588-596). IEEE. Proceedings - 2021 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2021 https://doi.org/10.1109/VR50410.2021.00084

Fleischhacker, N. & Simkin, M. (2021). On Publicly-Accountable Zero-Knowledge and Small Shuffle Arguments. 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 II (pp. 618-648). Springer. Lecture Notes in Computer Science Vol. LNCS 12711 https://doi.org/10.1007/978-3-030-75248-4_22

Caragiannis, I. & Fanelli, A. (2021). On approximate pure Nash equilibria in weighted congestion games with polynomial latencies. Journal of Computer and System Sciences, 117, 40-48. https://doi.org/10.1016/j.jcss.2020.10.007

Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2021). Optimal Prediction of Synchronization-Preserving Races. Proceedings of the ACM on Programming Languages, 5(POPL), [36]. https://doi.org/10.1145/3434317

Avdic, M. (2021). Physical Actuation as an Alternative Approach to the Intelligibility of Smart Speakers. Aarhus Universitet.

Scafuro, A., Siniscalchi, L. & Visconti, I. (2021). Publicly Verifiable Zero Knowledge from (Collapsing) Blockchains. 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 II (pp. 469-498). Springer Science and Business Media Deutschland GmbH. Lecture Notes in Computer Science Vol. LNCS 12711 https://doi.org/10.1007/978-3-030-75248-4_17

Timany, A. & Birkedal, L. (2021). Reasoning about monotonicity in separation logic. In Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’21) (pp. 91-104). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439931

Henriksen, A., Enni, S. & Bechmann, A. (2021). Situated Accountability: Ethical Principles, Certification Standards, and Explanation Methods in Applied AI. In AIES '21: Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society (pp. 574-585). Association for Computing Machinery. https://doi.org/10.1145/3461702.3462564

Caragiannis, I., Filos-Ratsikas, A., Kanellopoulos, P. & Vaish, R. (2021). Stable Fractional Matchings. Artificial Intelligence, 295, [103416]. https://doi.org/10.1016/j.artint.2020.103416

Agarwal, P., Chatterjee, K., Pathak, S., Pavlogiannis, A. & Toman, V. (2021). Stateless Model Checking Under a Reads-Value-From Equivalence. In A. Silva, K. Rustan & M. Leino (Eds.), Computer aided verification, CAV 2021: Proceedings (Vol. 1, pp. 341-366). Springer. Lecture Notes in Computer Science Vol. 12759 https://doi.org/10.1007/978-3-030-81685-8_16

Nielsen, B. B. (2021). Static Analysis for Node.js. Aarhus Universitet.

Batziou, E., Hansen, K. A. & Høgh, K. (2021). Strong Approximate Consensus Halving and the Borsuk-Ulam Theorem. In N. Bansal, E. Merelli & J. Worrell (Eds.), 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) (Vol. 198, pp. 24:1-24:20). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs Vol. 198 https://doi.org/10.4230/LIPIcs.ICALP.2021.24

Riedel, C., Michael, G. G., Orgel, C., Baum, C., van der Bogert, C. H. & Hiesinger, H. (2021). Studying the Global Spatial Randomness of Impact Craters on Mercury, Venus, and the Moon With Geodesic Neighborhood Relationships. Journal of Geophysical Research: Planets, 126(3), [e2020JE006693]. https://doi.org/10.1029/2020JE006693

Truică, C. O., Apostol, E. S., Darmont, J. & Assent, I. (2021). TextBenDS: a Generic Textual Data Benchmark for Distributed Systems. Information Systems Frontiers, 23(1), 81-100. https://doi.org/10.1007/s10796-020-09999-y

Displaying results 1 to 50 out of 4765

Page 1