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

Kannabiran, G., Hoggan, E. & Hansen, L. K. (2020). Somehow They Are Never Horny! In DIS' 20 Companion: Companion Publication of the 2020 ACM Designing Interactive Systems Conference (pp. 131-137). Association for Computing Machinery. https://doi.org/10.1145/3393914.3395877

Vollrath, F. & Krink, T. (2020). Spider webs inspiring soft robotics. Journal of the Royal Society, Interface, 17(172). https://doi.org/10.1098/rsif.2020.0569

Bilstrup, K-E. K., Kaspersen, M. H. & Petersen, M. G. (2020). Staging reflections on ethical dilemmas in machine learning: A card-based design workshop for high school students. In DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference (pp. 1211-1222). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395558

Rossitto, C., Berns, K. & Larsen-Ledet, I. (2020). Strategies of Visibility: Growth, Media and Social Movements. Paper presented at The 23rd ACM Conference on Computer-Supported Cooperative Work and Social Computing .

Ateniese, G., Magri, B. & Venturi, D. (2020). Subversion-resilient signatures: Definitions, constructions and applications. Theoretical Computer Science, 820, 91-122. https://doi.org/10.1016/j.tcs.2020.03.021

Teli, M., Foth, M., Sciannamblo, M., Anastasiu, I. & Lyle, P. J. (2020). Tales of Institutioning and Commoning: Participatory Design Processes with a Strategic and Tactical Perspective. In C. Del Gaudio, L. Parra-Agudelo, R. Clarke, J. Saad-Sulonen, A. Botero, A. Botero, F. C. Londono, F. C. Londono & P. A. Escandon Suarez (Eds.), Proceedings of the 16th Participatory Design Conference 2020 (PDC2020 ed., Vol. 1, pp. 159-171). Association for Computing Machinery. https://doi.org/10.1145/3385010.3385020

Mathur, U., Pavlogiannis, A. & Viswanathan, M. (2020). The Complexity of Dynamic Data Race Prediction. In LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science (pp. 713–727). Association for Computing Machinery. https://doi.org/10.1145/3373718.3394783

Pavlogiannis, A. (2020). The Fine-Grained Complexity of Andersen's Pointer Analysis. ArXiv. https://arxiv.org/abs/2006.01491

Tsitsulin, A., Munkhoeva, M., Mottin, D., Karras, P., Bronstein, A., Oseledets, I. & Müller, E. (2020). The Shape of Data: Intrinsic Distance for Data Distributions. Paper presented at The International Conference on Learning Representations (ICLR), Ababa, Ethiopia.

Hogräfer, M., Heitzler, M. & Schulz, H-J. (2020). The State of the Art in Map‐Like Visualization. Computer Graphics Forum, 39(3), 647-674. https://doi.org/10.1111/cgf.14031

Hjorth, H. A. & Wilensky, U. (2020). Thinking in Levels Across Multiple Levels. Paper presented at Constructionism 2020, Dublin, Ireland.

Eerikson, H., Keller, M., Orlandi, C., Pullonen, P., Puura, J. & Simkin, M. (2020). Use your brain! Arithmetic 3PC for any modulus with active security. In Y. T. Kalai, A. D. Smith & D. Wichs (Eds.), 1st Conference on Information-Theoretic Cryptography (ITC 2020) [5] Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 163 https://doi.org/10.4230/LIPIcs.ITC.2020.5

Seinfeld, S., Feuchtner, T., Maselli, A. & Müller, J. (2020). User Representations in Human-Computer Interaction. Human-Computer Interaction. https://doi.org/10.1080/07370024.2020.1724790

Baum, C., Cozzo, D. & P. Smart, N. (2020). Using TopGear in Overdrive: A more efficient ZKPoK for SPDZ. In K. G. Paterson & D. Stebila (Eds.), Selected Areas in Cryptography - SAC 2019: 26th International Conference, Waterloo, ON, Canada, August 12–16, 2019, Revised Selected Papers (pp. 274-302). Springer. Lecture Notes in Computer Science, Vol.. 11959 https://doi.org/10.1007/978-3-030-38471-5_12

Kaspersen, M. H. & Bilstrup, K-E. K. (2020). VotestratesML: Social Studies as a Vehicle for Teaching Machine Learning. In B. Tangney, J. R. Byrne & C. Girvan (Eds.), Proceedings of the 2020 Constructionism Conference (pp. 44-45)

Mathiasen, A., Hvilshøj, F., Jørgensen, J. R., Nasery, A. & Mottin, D. (2020). What if Neural Networks had SVDs? In H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan & H. Lin (Eds.), Advances in Neural Information Processing Systems 33 pre-proceedings (NeurIPS 2020)

Bødker, S., Lewkowicz, M. & Boden, A. (2020). What's in a word? Platforms Supporting the Platform Economy. In NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society [87] Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3419249.3420167

Lyle, P., Korsgaard, H. & Bødker, S. (2020). What's in an Ecology? A Review of Artifact, Communicative, Device and Information Ecologies. In NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society (pp. 1-14). [88] Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3419249.3420185

Jetter, H-C., Rädle, R., Feuchtner, T., Anthes, C., Friedl, J. & Klokmose, C. N. (2020). “In VR, everything is possible!”: Sketching and Simulating Spatially-Aware Interactive Spaces in Virtual Reality. In CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems [523] Association for Computing Machinery. https://doi.org/10.1145/3313831.3376652

Hansen, K. A. & Sølvsten, S. C. (2020). ∃R-completeness of stationary nash equilibria in perfect information stochastic games. In J. Esparza & D. Král (Eds.), 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 (pp. 45:1-45:15). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 170 https://doi.org/10.4230/LIPIcs.MFCS.2020.45

Gregersen, S. O., Thomsen, S. E. & Askarov, A. (2019). A Dependently Typed Library for Static Information-Flow Control in IDRIS. In F. Nielson & D. Sands (Eds.), Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 51-75). Springer. Lecture Notes in Computer Science, Vol.. 11426 https://doi.org/10.1007/978-3-030-17138-4_3

Jiang, S. & Larsen, K. G. (2019). A Faster External Memory Priority Queue with DecreaseKeys. In T. M. Chan (Ed.), Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. PRDA19, pp. 1331-1343). Society for Industrial and Applied Mathematics. https://epubs.siam.org/doi/pdf/10.1137/1.9781611975482.81

Abdolmaleki, B., Khoshakhlagh, H. & Slamanig, D. (2019). A Framework for UC-Secure Commitments from Publicly Computable Smooth Projective Hashing. In M. Albrecht (Ed.), Cryptography and Coding - 17th IMA International Conference, IMACC 2019, Proceedings (pp. 1-21). Springer. Lecture Notes in Computer Science, Vol.. 11929 https://doi.org/10.1007/978-3-030-35199-1_1

Hansen, K. A. & Raskin, M. (2019). A Stay-in-a-Set Game without a Stationary Equilibrium. In J. Leroux & J-F. Raskin (Eds.), Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification (pp. 83-90). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/EPTCS.305.6

Afshani, P. (2019). A new lower bound for semigroup orthogonal range searching. In G. Barequet & Y. Wang (Eds.), 35th International Symposium on Computational Geometry, SoCG 2019 [3] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 129 https://doi.org/10.4230/LIPIcs.SoCG.2019.3

Ciosici, M. R. & Assent, I. (2019). Abbreviation Explorer - an interactive system for pre-evaluation of Unsupervised Abbreviation Disambiguation. In W. Ammar, A. Louis & N. Mostafazadeh (Eds.), Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics (Demonstrations) Association for Computational Linguistics. https://aclweb.org/anthology/papers/N/N19/N19-4001/

Penninckx, W., Timany, A. & Jacobs, B. (2019). Abstract I/O Specification. ArXiv. http://arxiv.org/abs/1901.10541v1

Logins, A. & Karras, P. (2019). An Experimental Study on Network Immunization. In M. Herschel, H. Galhardas, B. Reinwald, I. Fundulaki, C. Binnig & Z. Kaoudi (Eds.), Proceedings of the 22nd International Conference on Extending Database Technology (EDBT) (pp. 726-729). [391] openproceedings.org. https://openproceedings.org/2019/conf/edbt/EDBT19_paper_391.pdf

Ghosh, S. & Nilges, T. (2019). An algebraic approach to maliciously secure private set intersection. In Y. Ishai & V. Rijmen (Eds.), Advances in Cryptology – EUROCRYPT 2019: 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (pp. 154-185). Springer VS. Lecture Notes in Computer Science, Vol.. 11478 https://doi.org/10.1007/978-3-030-17659-4_6

Ledo, D., Vermeulen, J., Carpendale, S., Greenberg, S., Oehlberg, L. & Boring, S. (2019). Astral: prototyping mobile and smart object interactive behaviours using familiar applications. In DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (pp. 711-724). Association for Computing Machinery. DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference https://doi.org/10.1145/3322276.3322329

Kristensen, E. K. (2019). Automated Techniques for Creation and Maintenance of TypeScript Declaration Files. Aarhus University.

Jansson, J., Mampentzidis, K. & Thekkumpadan Puthiyaveedu, S. (2019). Building a Small and Informative Phylogenetic Supertree. Abstract from Workshop on Algorithms in Bioinformatics (WABI) 2019, Buffalo, New York, United States.

Jansson, J., Mampentzidis, K. & Sandhya, T. P. (2019). Building a small and informative phylogenetic supertree. In K. T. Huber & D. Gusfield (Eds.), 19th International Workshop on Algorithms in Bioinformatics, WABI 2019 [1] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 143 https://doi.org/10.4230/LIPIcs.WABI.2019.1

Jensen, K. & Nielsen, M. (2019). Carl Adam Petri: a tribute from Aarhus. In W. Reisig & G. Rozenberg (Eds.), Carl Adam Petri: ideas, personality, impact (pp. 81-84). Springer. https://doi.org/10.1007/978-3-319-96154-5_10

Ciosici, M. R. (2019). Characterizing Word Representations For Natural Language Processing. Aarhus University.

Bassetti, C., Sciannamblo, M., Lyle, P., Teli, M., De Paoli, S. & De Angeli, A. (2019). Co-designing for common values: creating hybrid spaces to nurture autonomous cooperation. CoDesign, 15(3), 256-271. https://doi.org/10.1080/15710882.2019.1637897

Mathisen, A. (2019). Collaborative Visual Analytics: Leveraging Mixed Expertise in Data Analysis. Aarhus Universiet.

Damgård, I. B., Haagh, H., Nielsen, M. & Orlandi, C. (2019). Commodity-Based 2PC for Arithmetic Circuits. Cryptology ePrint Archive.

Damgård, I., Haagh, H., Nielsen, M. & Orlandi, C. (2019). Commodity-Based 2PC for Arithmetic Circuits. In M. Albrecht (Ed.), Cryptography and Coding - 17th IMA International Conference, IMACC 2019, Proceedings (pp. 154-177). Springer. Lecture Notes in Computer Science, Vol.. 11929 https://doi.org/10.1007/978-3-030-35199-1_8

Damgård, I., Larsen, K. G. & Nielsen, J. B. (2019). Communication Lower Bounds for Statistically Secure MPC, With or Without Preprocessing. In A. Boldyreva & D. Micciancio (Eds.), Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings (Vol. II, pp. 61-84). Springer. Lecture Notes in Computer Science, Vol.. 11693 https://doi.org/10.1007/978-3-030-26951-7_3

Mampentzidis, K. (2019). Comparison and Construction of Phylogenetic Trees and Networks. Aarhus University.

Jansson, J., Mampentzidis, K., Rajaby, R. & Sung, W-K. (2019). Computing the Rooted Triplet Distance between Phylogenetic Networks. In C. J. Colbourn, R. Grossi & N. Pisanti (Eds.), Computing the Rooted Triplet Distance between Phylogenetic Networks (pp. 290-303). Springer. Theoretical Computer Science and General Issues

Annenkov, D., Nielsen, J. B. & Spitters, B. (2019). ConCert: A Smart Contract Certification Framework in Coq. arXiv.org. https://doi.org/10.1145/3372885.3373829

van de Pol, J. (2019). Concurrent algorithms and data structures for model checking. In W. Fokkink & R. van Glabbeek (Eds.), 30th International Conference on Concurrency Theory, CONCUR 2019 [4] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 140 https://doi.org/10.4230/LIPIcs.CONCUR.2019.4

Van Der Berg, F. I. & Van De Pol, J. (2019). Concurrent chaining hash maps for software model checking. In C. Barrett & J. Yang (Eds.), Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019 (pp. 46-54). [8894279] IEEE. https://doi.org/10.23919/FMCAD.2019.8894279

Oechsner, S. (2019). Constructions and Proof Techniques for Secure Computation. Aarhus Universitet.

Larsen, K. G. (2019). Constructive Discrepancy Minimization with Hereditary L2 Guarantees. In R. Niedermeier & C. Paul (Eds.), 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019) [48] Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics, Vol.. 126 https://doi.org/10.4230/LIPIcs.STACS.2019.48

Logins, A. & Karras, P. (2019). Content-based Network Influence Probabilities: Extraction and Application. In 2019 IEEE International Conference on Data Mining Workshops (ICDMW) IEEE. https://doi.org/10.1109/ICDMW.2019.00020

Faonio, A., Buus Nielsen, J., Simkin, M. & Venturi, D. (2019). Continuously non-malleable codes with split-state refresh. Theoretical Computer Science, 759, 98-132. https://doi.org/10.1016/j.tcs.2018.12.028

Nielsen, M. (2019). Correlated randomness in cryptographic protocols. Aarhus Universitet.

Displaying results 101 to 150 out of 4651

Revised 24.11.2020 -

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University