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

Sort by: Date | Author | Title

Teli, M., Rossitto, C., Lewkowicz, M. & Bødker, S. (2021). Understanding, Promoting, and Designing for Sustainable Appropriation of Technologies by Grassroots Communities. Towards a new wave of technological activism: Sustainable Appropriation of Technologies by Grassroots Communities. In C&T '21: Proceedings of the 10th International Conference on Communities & Technologies - Wicked Problems in the Age of Tech (pp. 332-335). Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3461564.3468163

Madsen, O. L. (2021). Using Coroutines for Multi-core Preemptive Scheduling. In Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS '21) (pp. 46-52). Association for Computing Machinery. https://doi.org/10.1145/3477113.3487271

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. Lecture Notes in Computer Science Vol. 12863 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 the FabLearn Europe / MakeEd 2021 Conference 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. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-030-88238-9_15

Babai, L., Hansen, K. A., Podolskii, V. V. & Sun, X. (2021). Weights of exact threshold functions. Izvestiya: Mathematics, 85(6), 1039-1059. https://doi.org/10.1070/IM9113

Bødker, S., Korsgaard, H. & Lyle, P. (2021). What's in a Pattern: A Vocabulary to Articulate Group Routines and Practices. In F. Cech & S. Farnham (Eds.), C&T '21: Proceedings of the 10th International Conference on Communities & Technologies - Wicked Problems in the Age of Tech (pp. 179-190). Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3461564.3461570

Aslay, C., Ciaperoni, M., Gionis, A. & Mathioudakis, M. (2021). Workload-aware materialization for efficient variable elimination on Bayesian networks. In 2021 IEEE 37th International Conference on Data Engineering (ICDE) (pp. 1152-1163). IEEE. https://doi.org/10.1109/ICDE51399.2021.00104

Evangelista Belo, J. M., Feit, A. M., Feuchtner, T. & Grønbæk, K. (2021). XRgonomics: Facilitating the Creation of Ergonomic 3D Interfaces. In Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (pp. 1-11). [290] Association for Computing Machinery. https://doi.org/10.1145/3411764.3445349

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. Lecture Notes in Computer Science Vol. 12826 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. Lecture Notes in Computer Science Vol. 12674 https://doi.org/10.1007/978-3-662-64322-8_19

Rasmussen, T. A., Stensgaard, A., Winding, T. & Merritt, T. R. (2021). scrAPP: Enabling Reuse of Scrap Materials with a Smartphone. In MobileHCI 2021: Adjunct Publication of the 23rd International Conference on Mobile Human-Computer Interaction (pp. 1-6). [10] Association for Computing Machinery. https://doi.org/10.1145/3447527.3474856

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

Afshani, P. & Cheng, P. (2020). 2D generalization of fractional cascading on axis-aligned planar subdivisions. In Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020 (pp. 716-727). [9317953] IEEE. Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS Vol. 2020-November https://doi.org/10.1109/FOCS46700.2020.00072

Nonnemann, L., Schumann, H., Urban, B., Aehnelt, M. & Schulz, H-J. (2020). A Characterization of Data Exchange between Visual Analytics Tools. In Proceedings of the 24th International Conference Information Visualisation (IV) (pp. 340-349). IEEE. https://doi.org/10.1109/IV51561.2020.00066

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

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2020). A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Transactions on Programming Languages and Systems, 42(2), [10]. https://doi.org/10.1145/3381915

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

Reinhard, T., Timany, A. & Jacobs, B. (2020). A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report.

Berglin, E. & Brodal, G. S. (2020). A Simple Greedy Algorithm for Dynamic Graph Orientation. Algorithmica, 82(2), 245-259. https://doi.org/10.1007/s00453-018-0528-0

Freksen, C. B. (2020). A Song of Johnson and Lindenstrauss. Aarhus Universitet.

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 https://doi.org/10.1007/978-3-030-65277-7_33

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

Simkin, M. (2020). Alice, Bits, and Bob.

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

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
, Reykjavík, Iceland.

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

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

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 (Vol. III, pp. 151-180). Springer. Lecture Notes in Computer Science Vol. 12493 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. 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

Dalskov, A. P. K. (2020). Cats or Croissants? Techniques for Secure Inference. Aarhus 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. 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

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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12493 LNCS 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

Displaying results 301 to 350 out of 5016

Revised 26.09.2022

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University