Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021).
Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. In A. L. Lafuente & A. Mavridou (Eds.),
Formal Methods for Industrial Critical Systems (pp. 3-20). Springer.
https://doi.org/10.1007/978-3-030-85248-1_1
Kaspersen, M. H., Bilstrup, K-E. K., Van Mechelen, M., Hjorth, H. A., Bouvin, N. O. & Petersen, M. G. (2021).
VotestratesML: A High School Learning Tool for Exploring Machine Learning and its Societal Implications. In
Proceedings of 5th FabLearn Europe / MakeEd Conference 2021 Article 3466728 Association for Computing Machinery.
https://doi.org/10.1145/3466725.3466728
Kamp, S. H., Magri, B., Matt, C.
, Nielsen, J. B., Thomsen, S. E. & Tschudi, D. (2021).
Weight-Based Nakamoto-Style Blockchains. In P. Longa & C. Ràfols (Eds.),
Progress in Cryptology – LATINCRYPT 2021: 7th International Conference on Cryptology and Information Security in Latin America Bogotá, Colombia, October 6–8, 2021, Proceedings (pp. 299-319). Springer International Publishing.
https://doi.org/10.1007/978-3-030-88238-9_15
Gentry, C., Halevi, S., Krawczyk, H.
, Magri, B., Nielsen, J. B., Rabin, T.
& Yakoubov, S. (2021).
YOSO: You Only Speak Once: Secure MPC with Stateless Ephemeral Roles. In T. Malkin & C. Peikert (Eds.),
Advances in Cryptology – CRYPTO 2021: Annual International Cryptology Conference (pp. 64-93). Springer.
https://doi.org/10.1007/978-3-030-84245-1_3
Benarroch, D.
, Campanelli, M., Fiore, D., Gurkan, K. & Kolonelos, D. (2021).
Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular. In N. Borisov & C. Diaz (Eds.),
Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part I (pp. 393-414). Springer.
https://doi.org/10.1007/978-3-662-64322-8_19
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.
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
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). Article 9260103 IEEE.
https://doi.org/10.1109/DSAA49011.2020.00023
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.
https://doi.org/10.1007/978-3-030-41590-7_13
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.
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.
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.
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, Article 109788.
https://doi.org/10.1016/j.envres.2020.109788
Abspoel, M., Cramer, R.
, Damgård, I., Escudero, D., Rambaud, M., Xing, C. & Yuan, C. (2020).
Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ. 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 (Vol. III, pp. 151-180). Springer.
https://doi.org/10.1007/978-3-030-64840-4_6
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
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.
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