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
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
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.
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
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
Kolyaie, S., Treier, U., Bøcher, P. K., Tsirogiannis, C., Kania, A.
, Nabe-Nielsen, J. & Normand, S. (2020).
Arctic vegetation mapping using ultra-high resolution images. Poster session presented at Nordic Oikos conference 2020
, Reykjavík, Iceland.
Engemann, K., Pedersen, C. B., Agerbo, E., Arge, L., Børglum, A. D., Erikstrup, C., Hertel, O., Hougaard, D. M.
, McGrath, J. J., Mors, O., Mortensen, P. B., Nordentoft, M.
, Sabel, C. E., Sigsgaard, T., Tsirogiannis, C., Vilhjálmsson, B. J., Werge, T.
, Svenning, J-C. & Horsdal, H. T. (2020).
Association Between Childhood Green Space, Genetic Liability, and the Incidence of Schizophrenia.
Schizophrenia Bulletin,
46(6), 1629-1637.
https://doi.org/10.1093/schbul/sbaa058
Engemann, K., Svenning, J. C., Arge, L., Brandt, J., Erikstrup, C., Geels, C., Hertel, O., Mortensen, P. B., Plana-Ripoll, O., Tsirogiannis, C., Sabel, C. E., Sigsgaard, T. & Pedersen, C. B. (2020).
Associations between growing up in natural environments and subsequent psychiatric disorders in Denmark.
Environmental Research,
188, [109788].
https://doi.org/10.1016/j.envres.2020.109788
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
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
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
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
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