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

Oortwijn, W., Huisman, M., Joosten, S. J. C. & van de Pol, J. (2020). Automated verification of parallel nested DFS. In A. Biere & D. Parker (Eds.), Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (pp. 247-265). Springer. https://doi.org/10.1007/978-3-030-45190-5_14

Nouwens, M., Borowski, M., Fog, B. V. & Klokmose, C. N. (2020). Between Scripts and Applications: Computational Media for the Frontier of Nanoscience. In CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Article 3376287 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376287

Han, W. & Schulz, H.-J. (2020). Beyond Trust Building - Calibrating Trust in Visual Analytics. In Proceedings - 2020 IEEE Workshop on TRust and EXpertise in Visual Analytics, TREX 2020: Proceedings (pp. 9-15). Article 9307969 IEEE. https://doi.org/10.1109/TREX51495.2020.00006

Damgård, I., Orlandi, C. & Simkin, M. (2020). Black-box transformations from passive to covert security with public verifiability. In D. Micciancio & T. Ristenpart (Eds.), Advances in Cryptology - CRYPTO 2020 (Vol. Cham, pp. 647-676). Springer. https://doi.org/10.1007/978-3-030-56880-1_23

Dalskov, A. P. K. (2020). Cats or Croissants? Techniques for Secure Inference. Århus Universitet.

Wimmer, S., Herbreteau, F. & van de Pol, J. (2020). Certifying Emptiness of Timed Büchi Automata. In N. Bertrand & N. Jansen (Eds.), Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020 (pp. 58-75). Springer. https://doi.org/10.1007/978-3-030-57628-8_4

Dalskov, A. P. K., Lee, E. & Soria Vazquez, E. (2020). Circuit Amortization Friendly Encodings and their Application to Statistically Secure Multiparty Computation. In S. Moriai & H. Wang (Eds.), Advances in Cryptology – ASIACRYPT 2020: 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7–11, 2020, Proceedings (Vol. III). Springer.

Dalskov, A., Lee, E. & Soria-Vazquez, E. (2020). Circuit Amortization Friendly Encodingsand Their Application to Statistically Secure Multiparty Computation. In S. Moriai & H. Wang (Eds.), Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings (pp. 213-243). Springer. https://doi.org/10.1007/978-3-030-64840-4_8

Qian, Z., Kavvos, G. A. & Birkedal, L. (2020). Client-Server Sessions in Linear Logic. arxiv.org. https://arxiv.org/abs/2010.13926

Green Larsen, K., Mitzenmacher, M. & Tsourakakis, C. (2020). Clustering with a faulty oracle. In Y. Huang, I. King, T.-Y. Liu & M. van Steen (Eds.), WWW '20: Proceedings of The Web Conference 2020 (pp. 2831-2834). Association for Computing Machinery. https://doi.org/10.1145/3366423.3380045

Tu, S., Aslay, C. & Gionis, A. (2020). Co-exposure maximization in online social networks. In H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan & H. Lin (Eds.), Advances in Neural Information Processing Systems: NeurIPS 2020 (Vol. 33). Neural Information Processing Systems Foundation. https://proceedings.neurips.cc/paper/2020/hash/212ab20dbdf4191cbcdcf015511783f4-Abstract.html

Dellana, S. G., Johansson, S., Poulsen, S. B., Van Oosterhout, A., Skov, M. & Merritt, T. (2020). Collaboration around an Interactive Tabletop Map: Comparing Voice Interactions and a Tangible Shape-changing Controller. In J. Cauchard & M. Lochtefeld (Eds.), MUM 2020 - 19th International Conference on Mobile and Ubiquitous Multimedia, Proceedings (pp. 132-142). Association for Computing Machinery. https://doi.org/10.1145/3428361.3428395

Larsen-Ledet, I., Korsgaard, H. & Bødker, S. (2020). Collaborative Writing Across Multiple Artifact Ecologies. In CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Article 3376422 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376422

Lyle, P. J. & Korsgaard, H. (2020). Community Values and Technological Mechanisms: Learning from The Amish?. 5. Paper presented at Studying Technical Mechanisms for Supporting Sharing Communities, Siegen, Germany.

Musaeus, L. H., Nielsen, K., Damsgaard-Madsen, M. & Hansen, J. Ø. (2020). Computational thinking i gymnasiefag: en modelbaseret didaktik. Århus Universitet. https://cs.au.dk/fileadmin/www.cct.au.dk/cctd.au.dk/PDFs/CT-didaktik2020.pdf

Caprani, O. & Musaeus, L. H. (2020). Computationel tankegang i teknologiforståelsesfaget. Unge Pædagoger, (1), 36-47. https://u-p.dk/vare/2020-nr-1/

Annenkov, D., Botsch Nielsen, J. & Spitters, B. (2020). ConCert: A smart contract certification framework in Coq. In Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’20), January 20-21, 2020, New Orleans, LA, USA (pp. 215-228). Association for Computing Machinery. https://doi.org/10.1145/3372885.3373829

Baum, C. & Nof, A. (2020). Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography. In A. Kiayias, M. Kohlweiss, P. Wallden & V. Zikas (Eds.), Public-Key Cryptography – PKC 2020 - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings (Vol. 1, pp. 495-526). Springer. https://doi.org/10.1007/978-3-030-45374-9_17

Faust, S., Mukherjee, P., Nielsen, J. B. & Venturi, D. (2020). Continuously Non-malleable Codes in the Split-State Model. Journal of Cryptology, 33(4), 2034-2077. https://doi.org/10.1007/s00145-020-09362-z

Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P. (2020). Correlated Pseudorandom Functions from Variable-Density LPN. In S. Irani (Ed.), Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020 (pp. 1069-1080). Article 9317926 IEEE. https://doi.org/10.1109/FOCS46700.2020.00103

Ganesh, C., Magri, B. & Venturi, D. (2020). Cryptographic reverse firewalls for interactive proof systems. In A. Czumaj, A. Dawar & E. Merelli (Eds.), 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020 (pp. 55:1-55:16). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2020.55

Bizjak, A. & Møgelberg, R. E. (2020). Denotational semantics for guarded dependent type theory. Mathematical Structures in Computer Science, 30(4), 342-378. https://doi.org/10.1017/S0960129520000080

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance. In CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems (pp. CS16 1-8). Article 3375213 Association for Computing Machinery. https://doi.org/10.1145/3334480.3375213

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance Based on a Use Case at Grundfos. In Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2020 (pp. 738-746). Article 9089646 IEEE. https://doi.org/10.1109/VR46266.2020.1580939036664

Victor Kobbelgaard, F., Bødker, S. & Kanstrup, A. M. (2020). Designing a game to explore human artefact ecologies for assistive robotics: Basing design games on an activity theoretical framework. In NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: : Shaping Experiences, Shaping Society (pp. 1-10). Article 27 Elsevier. https://doi.org/10.1145/3419249.3420181

Olin, P. A., Issa, A. M., Feuchtner, T. & Grønbæk, K. (2020). Designing for Heterogeneous Cross-Device Collaboration and Social Interaction in Virtual Reality. In N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (Eds.), Proceedings of the 32nd Australian Computer-Human Interaction Conference, OzCHI 2020 (pp. 112-127). Association for Computing Machinery. https://doi.org/10.1145/3441000.3441070

Nielsen, B. B., Torp, M. T. & Møller, A. (2020). Detecting Locations in JavaScript Programs Affected by Breaking Library Changes. Proceedings of the ACM on Programming Languages , 4(OOPSLA), Article 187. https://doi.org/10.1145/3428255

Schaefer, Z., Haab, L., Schwerdtfeger, K., Takahashi, K. & Strauss, D. J. (2020). Detection of information flow between cortical laminae activities and auditory evoked potentials in rats by means of Granger causality. In 42nd Annual International Conferences of the IEEE Engineering in Medicine and Biology Society (EMBC) (pp. 876-879). IEEE. https://doi.org/10.1109/EMBC44109.2020.9176719

Kavvos, G. A. (2020). Dual-context calculi for modal logic. Logical Methods in Computer Science, 16(3), 10:1-10:66. https://doi.org/10.23638/LMCS-16(3:10)2020

Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L., Huang, X., van de Pol, J., Langerak, R., van Wijnen, A. J., Geris, L., Karperien, M. & Post, J. N. (2020). ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease. Cellular Signalling, 68, Article 109471. https://doi.org/10.1016/j.cellsig.2019.109471

Korsgaard, H., Lewkowicz, M., Boden, A., Bødker, S. & Avram, G. (2020). ECSCW Workshop: Studying Technical Mechanisms for Supporting Sharing Communities. Abstract from The 18th European Virtual Conference on
Computer-Supported Cooperative Work, Siegen, Germany. https://cio.cs.au.dk/ecscw-workshop/pdfs/eCSCW_workshop__Technical_Mechanisms_for_supporting_sharing_communities.pdf

Birkedal, L. (2020). Editorial message. Proceedings of the ACM on Programming Languages , 4(POPL).

Baum, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2020). Efficient constant-round mpc with identifiable abort and public verifiability. In D. Micciancio & T. Ristenpart (Eds.), Advances in Cryptology - CRYPTO 2020 (pp. 562-592). Springer. https://doi.org/10.1007/978-3-030-56880-1_20

Baum, C., Escudero, D., Pedrouzo-Ulloa, A., Scholl, P. & Troncoso-Pastoriza, J. R. (2020). Efficient protocols for oblivious linear function evaluation from ring-LWE. In C. Galdi & V. Kolesnikov (Eds.), Security and Cryptography for Networks (pp. 130-149). Springer. https://doi.org/10.1007/978-3-030-57990-6_7

Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P. (2020). Efficient pseudorandom correlation generators from ring-lpn. In D. Micciancio & T. Ristenpart (Eds.), Advances in Cryptology - CRYPTO 2020 (pp. 387-416). Springer. https://doi.org/10.1007/978-3-030-56880-1_14

Møller, A. & Veileborg, O. H. (2020). Eliminating abstraction overhead of Java stream pipelines using ahead-of-time program optimization. Proceedings of the ACM on Programming Languages , 4(OOPSLA), Article 168. https://doi.org/10.1145/3428236

Borowski, M., Zagermann, J., Klokmose, C. N., Reiterer, H. & Rädle, R. (2020). Exploring the Benefits and Barriers of Using Computational Notebooks for Collaborative Programming Assignments. In SIGCSE '20: Proceedings of the 51st ACM Technical Symposium on Computer Science Education (pp. 468–474). Association for Computing Machinery. https://doi.org/10.1145/3328778.3366887

Han, W. & Schulz, H.-J. (2020). Exploring Vibrotactile Cues for Interactive Guidance in Data Visualization. In Proceedings of the 13th International Symposium on Visual Information Communication and Interaction, VINCI 2020 Article 3430042 Association for Computing Machinery. https://doi.org/10.1145/3430036.3430042

Staicu, C. A., Torp, M. T., Schafer, M., Møller, A. & Pradel, M. (2020). Extracting Taint Specifications for JavaScript Libraries. In ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (pp. 198-209). Article 3380390 Association for Computing Machinery. https://doi.org/10.1145/3377811.3380390

van Oosterhout, A., Bruns, M. & Hoggan, E. (2020). Facilitating Flexible Force Feedback Design with Feelix. In ICMI 2020 - Proceedings of the 2020 International Conference on Multimodal Interaction (pp. 184–193). Association for Computing Machinery. https://doi.org/10.1145/3382507.3418819

Tzavelis, N., Giannakopoulos, I., Johansen, R. Q., Doka, K., Koziris, N. & Karras, P. (2020). Fair Procedures for Fair Stable Marriage Outcomes. In AAAI 2020 - 34th AAAI Conference on Artificial Intelligence (Vol. 34, no. 5, pp. 7269-7276). AAAI Press. https://doi.org/10.1609/aaai.v34i05.6218

Asadi, A., Chatterjee, K., Goharshady, A. K., Mohammadi, K. & Pavlogiannis, A. (2020). Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth. In D. Van Hung & O. Sokolsky (Eds.), Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings (pp. 253-270). Springer. https://doi.org/10.1007/978-3-030-59152-6_14

Pavlogiannis, A. (2020). Fast, Sound, and Effectively Complete Dynamic Race Prediction. Proceedings of the ACM on Programming Languages , 4(POPL), 1-29. Article 17. https://doi.org/10.1145/3371085

Damgård, I., Jakobsen, T. P., Nielsen, J. B., Pagter, J. I. & Østergaard, M. B. (2020). Fast threshold ECDSA with honest majority. In C. Galdi & V. Kolesnikov (Eds.), Security and Cryptography for Networks (pp. 382-400). Springer. https://doi.org/10.1007/978-3-030-57990-6_19

Madsen, M. & Lhoták, O. (2020). Fixpoints for the masses: programming with first-class Datalog constraints. In Proceedings of the ACM on Programming Languages (OOPSLA ed., Vol. 4). Association for Computing Machinery. https://doi.org/10.1145/3428193

Christensen, H. B. (2020). Flexible, Reliable, Distributed Software 2nd Edition: Still using Patterns and Agile Development. LeanPub.com. https://leanpub.com/frds/

Barthe, G., Blazy, S., Grégoire, B., Hutin, R., Laporte, V., Pichardie, D. & Trieu, A. (2020). Formal Verification of a Constant-Time Preserving C Compiler. Proceedings of the ACM on Programming Languages , 4(POPL), Article 7. https://doi.org/10.1145/3371075

Christensen, H. B. (2020). FRDS.Broker Library: Release 2.0. Computer programme, mvnrepository.com. https://bintray.com/henrikbaerbak/maven/broker

Brodal, G. S., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2020). Fully persistent B-trees. Theoretical Computer Science, 841, 10-26. https://doi.org/10.1016/j.tcs.2020.06.027

Stiévenart, Q. & Madsen, M. (2020). Fuzzing channel-based concurrency runtimes using types and effects. In Proceedings of the ACM on Programming Languages (OOPSLA ed., Vol. 4). Association for Computing Machinery. https://doi.org/10.1145/3428254

Displaying results 801 to 850 out of 5491

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University