Nielsen, L. H., Andersen, M. H., Petersen, M. G., Bouvin, N. O. & Hjorth, H. A. (2020). A Collaborative Cross-Device Microworld for Physics Simulation Experiments in High-School. In B. Tangney, J. R. Byrne & C. Girvan (Eds.), Proceedings of the 2020 Constructionism Conference (pp. 119-128). http://www.constructionismconf.org/wp-content/uploads/2020/05/C2020-Proceedings.pdf

Schulz, H-J., Röhlig, M., Nonnemann, L., Hogräfer, M., Aehnelt, M., Urban, B. & Schumann, H. (2020). A Layered Approach to Lightweight Toolchaining in Visual Analytics. In A. P. Cláudio, K. Bouatouch, M. Chessa, A. Paljic, A. Kerren, C. Hurter, A. Tremeau & G. M. Farinella (Eds.), Computer Vision, Imaging and Computer Graphics Theory and Applications : 14th International Joint Conference, VISIGRAPP 2019, Revised Selected Papers (pp. 313-337). Springer. Communications in Computer and Information Science, Vol.. 1182 https://doi.org/10.1007/978-3-030-41590-7_13

Afshani, P., van Duijn, I., Killmann, R. & Nielsen, J. S. (2020). A lower bound for jumbled indexing. In S. Chawla (Ed.), Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms (pp. 592-606). Association for Computing Machinery. https://doi.org/10.1137/1.9781611975994.36

Neerbek, J., Eskildsen, M. A., Dolog, P. & Assent, I. (2020). A real-world data resource of complex sensitive topics based on expert document labels of the Monsanto trial. In Proceedings of the 12th Conference on Language Resources and Evaluation (LREC 2020) (pp. 1258–1267). European Language Resources Association. https://www.aclweb.org/anthology/2020.lrec-1.158.pdf

Ciosici, M. R., Assent, I. & Derczynski, L. (2020). Accelerated High-Quality Mutual-Information Based Word Clustering. In Proceedings of The 12th Language Resources and Evaluation Conference (pp. 2491-2496). European Language Resources Association. https://www.aclweb.org/anthology/2020.lrec-1.303

Petersen, M. G., Rasmussen, M. K. & Trettvik, J. (2020). Affordances of Shape-Changing Interfaces: An Information Perspective on transformability and Movement. In DIS '20: Proceedings of the 2020 ACM Designing Interactive Systems Conference (pp. 1959-1971). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395521

Dinsdale-Young, T., Magri, B., Matt, C., Nielsen, J. B. & Tschudi, D. (2020). Afgjort: A partially synchronous finality layer for blockchains. In C. Galdi & V. Kolesnikov (Eds.), Security and Cryptography for Networks (pp. 24-44). Springer. Lecture Notes in Computer Science, Vol.. 12238 https://doi.org/10.1007/978-3-030-57990-6_2

Cheng, J. Y. & Mailund, T. (2020). Ancestral population genomics with Jocx, a coalescent hidden markov model. In J. Y. Dutheil (Ed.), Statistical population genomics (pp. 167-189). Humana Press. Methods in Molecular Biology, Vol.. 2090 https://doi.org/10.1007/978-1-0716-0199-0_8

Krogh-Jespersen, M., Timany, A., Ohlenbusch, M. E., Gregersen, S. O. & Birkedal, L. (2020). Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. In P. Müller (Ed.), Programming Languages and Systems- 29th European Symposium on Programming ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (pp. 336-365). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.. 12075 https://doi.org/10.1007/978-3-030-44914-8_13

Farr-Wharton, G., Osadchiy, T. & Lyle, P. J. (2020). Are You Buying Food Waste? The roles technologies can play in (re)designing the food retail experience. In C. Reynolds, T. Soma, C. Spring & J. Lazell (Eds.), Routledge Handbook of Food Waste (pp. 471-482). Routledge. Routledge Handbook of Food Waste https://doi.org/10.4324/9780429462795

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol.. 12078 LNCS 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 '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3313831.3376287

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. Lecture Notes in Computer Science, Vol.. 12171 https://doi.org/10.1007/978-3-030-56880-1_23

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. Lecture Notes in Computer Science, Vol.. 12288 LNCS https://doi.org/10.1007/978-3-030-57628-8_4

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

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

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. CPP 2020 - Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2020 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 (Vol. 1, pp. 495-526). Springer. Lecture Notes in Computer Science, Vol.. 12110 https://doi.org/10.1007/978-3-030-45374-9_17

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). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 168 https://doi.org/10.4230/LIPIcs.ICALP.2020.55

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance. In CHI EA '20: Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems (pp. CS16 1-8). 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). [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). [27] Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3419249.3420181

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. Lecture Notes in Computer Science, Vol.. 12171 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. Lecture Notes in Computer Science, Vol.. 12238 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. Lecture Notes in Computer Science, Vol.. 12171 https://doi.org/10.1007/978-3-030-56880-1_14

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

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). [3380390] Association for Computing Machinery. Proceedings - International Conference on Software Engineering https://doi.org/10.1145/3377811.3380390

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

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. Lecture Notes in Computer Science, Vol.. 12238 https://doi.org/10.1007/978-3-030-57990-6_19

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 (pp. 253-270). Springer. Lecture Notes in Computer Science, Vol.. 12302 https://doi.org/10.1007/978-3-030-59152-6_14

Zhang, K., Zhou, J., Tao, D., Karras, P., Li, Q. & Xiong, H. (2020). Geodemographic Influence Maximization. In KDD '20: Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining (pp. 2764-2774). Association for Computing Machinery. https://doi.org/10.1145/3394486.3403327

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y. (2020). Graph-Query Suggestions for Knowledge Graph Exploration. In Y. Huang, I. King, T-Y. Liu & M. van Steen (Eds.), WWW '20: Proceedings of The Web Conference 2020 (pp. 2549-2555). Association for Computing Machinery. https://doi.org/10.1145/3366423.3380005