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

Larsen-Ledet, I. & Borowski, M. (2020). "It Looks Like You Don't Agree": Idiosyncratic Needs and Practices in Collaborative Writing. In N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (Eds.), OzCHI '20: 32nd Australian Conference on Human-Computer Interaction (pp. 339-354). Association for Computing Machinery. https://doi.org/10.1145/3441000.3441032

Lowe, A., Svendsen, S. C., Agarwal, P. K. & Arge, L. (2020). 1D and 2D Flow Routing on a Terrain. In C-T. Lu, F. Wang, G. Trajcevski, Y. Huang, S. Newsam & L. Xiong (Eds.), Proceedings of the 28th International Conference on Advances in Geographic Information Systems, SIGSPATIAL GIS 2020 (pp. 5-14). Association for Computing Machinery. GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems https://doi.org/10.1145/3397536.3422269

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

Madsen, M., Lhoták, O. & Tip, F. (2020). A Semantics for the Essence of React. In R. Hirschfeld & T. Pape (Eds.), 34th European Conference on Object-Oriented Programming (ECOOP 2020) (Vol. 166, pp. 12:1-12:26). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs Vol. 166 https://doi.org/10.4230/LIPIcs.ECOOP.2020.12

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., Dolog, P. & Assent, I. (2020). A real-world data resource of complex sensitive sentences based on documents from the Monsanto trial. In N. Calzolari, F. Bechet, P. Blache, K. Choukri, C. Cieri, T. Declerck, S. Goggi, H. Isahara, B. Maegaard, J. Mariani, H. Mazo, A. Moreno, J. Odijk & S. Piperidis (Eds.), LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings (pp. 1258-1267). European Language Resources Association.

Reinhard, T., Timany, A. & Jacobs, B. (2020). A separation logic to verify termination of busy-waiting for abrupt program exit. In FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (pp. 26-32). Association for Computing Machinery. https://doi.org/10.1145/3427761.3428345

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

Trittenbach, H., Böhm, K. & Assent, I. (2020). Active Learning of SVDD Hyperparameter Values. In G. Webb, Z. Zhang, V. S. Tseng, G. Williams, M. Vlachos & L. Cao (Eds.), Proceedings - 2020 IEEE 7th International Conference on Data Science and Advanced Analytics, DSAA 2020 (pp. 109-117). [9260103] IEEE. https://doi.org/10.1109/DSAA49011.2020.00023

Jafargholi, Z. & Oechsner, S. (2020). Adaptive Security of Practical Garbling Schemes. In K. Bhargavan, E. Oswald & M. Prabhakaran (Eds.), Progress in Cryptology: INDOCRYPT 2020 (pp. 741-762). Springer VS. Lecture Notes in Computer Science Vol. 12578

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

Huang, D., Morrisett, G. & Spitters, B. (2020). Application of Computable Distributions to the Semantics of Probabilistic Programs. In G. Barthe, J-P. Katoen & A. Silva (Eds.), Foundations of Probabilistic Programming (pp. 75-120). Cambridge University Press. https://doi.org/10.1017/9781108770750

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

Han, W. & Schulz, H-J. (2020). Beyond Trust Building - Calibrating Trust in Visual Analytics. In 2020 IEEE Workshop on TRust and EXpertise in Visual Analytics (TREX): Proceedings (pp. 9-15). 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. 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

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. Lecture Notes in Computer Science Vol. 12493

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. ACM International Conference Proceeding Series https://doi.org/10.1145/3428361.3428395

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

Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P. (2020). Correlated Pseudorandom Functions from Variable-Density LPN. In S. Irani (Ed.), 2020 IEEE 61st Annual Symposium on Foundations of Computer Science (FOCS) (pp. 1069-1080). 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). 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