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

Abspoel, M., Cramer, R., Damgård, I. B., Escudero Ospina, D. E. & Yuan, C. (2019). Efficient Information-Theoretic Secure Multiparty Computation over Z/p^k Z via Galois Rings. In D. Hofheinz & A. Rosen (Eds.), Theory of Cryptography - 17th International Conference, TCC 2019, Proceedings: Proceedings (Vol. Part 1, pp. 471-501). Springer. https://doi.org/10.1007/978-3-030-36030-6_19

Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P. (2019). Efficient Pseudorandom Correlation Generators: Silent OT Extension and More. In D. Micciancio & A. Boldyreva (Eds.), Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings: CRYPTO 2019 (pp. 489-518). Springer. https://doi.org/10.1007/978-3-030-26954-8_16

Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L., Rindal, P. & Scholl, P. (2019). Efficient Two-Round OT Extension and Silent Non-Interactive Secure Computation. In L. Cavallaro, J. Kinder, X. Wang & J. Katz (Eds.), CCS 2019 - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security (pp. 291-308). Association for Computing Machinery. https://doi.org/10.1145/3319535.3354255

Cascudo, I., Damgård, I., David, B., Döttling, N., Dowsley, R. & Giacomelli, I. (2019). Efficient UC Commitment Extension with Homomorphism for Free (and Applications). In S. D. Galbraith & S. Moriai (Eds.), Advances in Cryptology – ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (pp. 606-635). Springer. https://doi.org/10.1007/978-3-030-34621-8_22

Pedersen, M. (2019). Enforcement of Timing-Sensitive Security Policies in Runtime Systems. Aarhus University.

Nielsen, K. (2019). Engineering og teknologiforståelse. In Engineering (pp. 84-99). VIA University College.

Nielsen, K. & Sillasen, M. K. (2019). En tiltrængt røst: Kommentar til Jette Reuss Schmidt "Hvem definerer STEM i skolefag og i skoleforskningen?", MONA, 2019(2). MONA - Matematik- og Naturfagsdidaktik, (3), 102-108. https://tidsskrift.dk/mona/article/view/115588

Tziavelis, N., Giannakopoulos, I., Doka, K., Koziris, N. & Karras, P. (2019). Equitable Stable Matchings in Quadratic Time. In H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox & R. Garnett (Eds.), Advances in Neural Information Processing Systems 32 (NIPS 2019): Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019 (Vol. 32, pp. 455-465). Curran Associates, Inc.. https://papers.nips.cc/paper/8337-equitable-stable-matchings-in-quadratic-time

Rav, M. (2019). Event-Based Flood Risk Assessment on Massive Terrains. Aarhus Universitet.

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y. (2019). Example-based Search: A new frontier for exploratory search. In SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 1411-1412). Association for Computing Machinery. https://doi.org/10.1145/3331184.3331387

Blascheck, T., Vermeulen, L. M., Vermeulen, J., Perin, C., Willett, W., Ertl, T. & Carpendale, S. (2019). Exploration Strategies for Discovery of Interactivity in Visualizations. IEEE Transactions on Visualization and Computer Graphics, 25(2), 1407-1420. Article 8281629. https://doi.org/10.1109/TVCG.2018.2802520

Avdic, M. (2019). Exploring Physical Intelligibility and Control with Smart Speakers. In DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (pp. 77-80). Association for Computing Machinery. https://doi.org/10.1145/3301019.3324880

Mottin, D., Lissandrini, M., Velegrakis, Y. & Palpanas, T. (2019). Exploring the Data Wilderness through Examples. In SIGMOD 2019 - Proceedings of the 2019 International Conference on Management of Data (pp. 2031-2035). Association for Computing Machinery. https://doi.org/10.1145/3299869.3314031

Chatterjee, K., Goharshady, A. K., Goyal, P., Ibsen-Jensen, R. & Pavlogiannis, A. (2019). Faster algorithms for dynamic algebraicqueries in basic RSMs with constant treewidth. ACM Transactions on Programming Languages and Systems, 41(4), Article 23. https://doi.org/10.1145/3363525

Klyuchnikov, N., Mottin, D., Koutrika, G., Müller, E. & Karras, P. (2019). Figuring out the User in a Few Steps: Bayesian Multifidelity Active Search with Cokriging. In KDD 2019 - Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (pp. 686-695). Association for Computing Machinery. https://doi.org/10.1145/3292500.3330893

Haagh, H. (2019). Fine-grained Access and Secure Computation on Encrypted Data. Aarhus Universitet.

Skorstengaard, L. (2019). Formal Reasoning about Capability Machines. Aarhus University.

Soden, R., Ribes, D., Jack, M., Sutherland, W., Khovanskaya, V., Avle, S., Sengers, P. & Bødker, S. (2019). Fostering Historical Research in CSCW & HCI. In CSCW 2019 Companion - Conference Companion Publication of the 2019 Computer Supported Cooperative Work and Social Computing (pp. 517-521). Association for Computing Machinery. https://doi.org/10.1145/3311957.3359436

Afshani, P., Fagerberg, R., Hammer, D., Jacob, R., Kostitsyna, I., Meyer, U., Penschuck, M. & Sitchinava, N. (2019). Fragile complexity of comparison-based algorithms. In M. A. Bender, O. Svensson & G. Herman (Eds.), 27th Annual European Symposium on Algorithms, ESA 2019 Article 2 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2019.2

Bouvin, N. O. (2019). From NoteCards to Notebooks: There and Back Again. In HT 2019 - Proceedings of the 30th ACM Conference on Hypertext and Social Media (pp. 19-28). Association for Computing Machinery. https://doi.org/10.1145/3342220.3343666

Jakobsen, K. (2019). Graphene-based Interaction Design for Constructive Play: Tangible Music-making Technologies for Children. Aarhus University.

Thiel, S.-K., Falk Olesen, J., Halskov, K. & Larsen-Ledet, I. (2019). Group Dynamics in Gameful Collaborative Innovation Processes. In H. Nakanishi, H. Egi, I.-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (Eds.), Collaboration Technologies and Social Computing (pp. 222-231). Springer. https://doi.org/10.1007/978-3-030-28011-6_16

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2019). Guarded Cubical Type Theory. Journal of Automated Reasoning, 63(2), 211-253. https://doi.org/10.1007/s10817-018-9471-7, https://doi.org/10.1007/s10817-018-9471-7

Larsen, K. G., Nelson, J., Huy L Nguyen & Thorup, M. (2019). Heavy Hitters via Cluster-Preserving Clustering. Communications of the ACM, 62(8), 95-100. https://doi.org/10.1145/3339185

Boyle, E., Kohl, L. & Scholl, P. (2019). Homomorphic Secret Sharing from Lattices Without FHE. In Y. Ishai & V. Rijmen (Eds.), Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings: EUROCRYPT 2019 (pp. 3-33). Springer VS. https://doi.org/10.1007/978-3-030-17656-3_1

Fischlin, M. & Haagh, H. (2019). How to Sign with White-boxed AES. In P. Schwabe & N. Thériault (Eds.), Progress in Cryptology – LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Proceedings: 6th International Conference on Cryptology and Information Security in Latin America, Santiago de Chile, Chile, October 2–4, 2019, Proceedings (pp. 259-279). Springer. https://link.springer.com/chapter/10.1007/978-3-030-30530-7_13

Sørensen, L. B. & Nielsen, K. (2019). Hvorfor undervise i engineering i grundskolen? In Engineering (pp. 20-29). VIA University College.

Saatci, B., Rädle, R., Rintel, S., O'Hara, K. & Klokmose, C. N. (2019). Hybrid Meetings in the Modern Workplace: Stories of Success and Failure. 45-61. Paper presented at International Conference on Collaboration and Technology, Kyoto, Japan.

Gratzer, D., Sterling, J. & Birkedal, L. (2019). Implementing a modal dependent type theory. Proceedings of the ACM on Programming Languages , 3(ICFP), 1-29. Article 107. https://doi.org/10.1145/3341711

Afshani, P. & Phillips, J. M. (2019). Independent range sampling, revisited again. In G. Barequet & Y. Wang (Eds.), 35th International Symposium on Computational Geometry, SoCG 2019 Article 4 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2019.4

Mathisen, A., Horak, T., Klokmose, C. N., Grønbæk, K. & Elmqvist, N. (2019). InsideInsights: Integrating Data-Driven Reporting in Collaborative Visual Analytics. Computer Graphics Forum, 38(3), 649-661. https://doi.org/10.1111/cgf.13717

Bizjak, A., Gratzer, D., Krebbers, R. & Birkedal, L. (2019). Iron: managing obligations in higher-order concurrent separation logic. Proceedings of the ACM on Programming Languages , 3(POPL), 1-30. Article 65. https://doi.org/10.1145/3290378

Dongmei, Z. & Møller, A. (Eds.) (2019). ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery. https://dl.acm.org/citation.cfm?id=3293882&picked=prox

Nitulescu, A. (2019). Lattice-Based Zero-Knowledge SNARGs for Arithmetic Circuits. In P. Schwabe & N. Thériault (Eds.), Progress in Cryptology – LATINCRYPT 2019 - 6th International Conference on Cryptology and Information Security in Latin America, Proceedings (pp. 217-236). Springer. https://doi.org/10.1007/978-3-030-30530-7_11

Arge, L., Grønlund, A., Svendsen, S. C. & Tranberg, J. (2019). Learning to find hydrological corrections. In F. Banaei-Kashani, G. Trajcevski, R. H. Güting, L. Kulik & S. Newsam (Eds.), 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (SIGSPATIAL '19) (pp. 464-467). Association for Computing Machinery. https://doi.org/10.1145/3347146.3359095

Kaspersen, M. H., Hines, S., Moore, M., Rasmussen, M. K. & Dias, M. A. (2019). Lifting Kirigami Actuators Up Where They Belong: Possibilities for SCI. In DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (pp. 935-947). Association for Computing Machinery. https://doi.org/10.1145/3322276.3323688

Schulz, H.-J., Röhlig, M., Nonnemann, L., Aehnelt, M., Diener, H., Urban, B. & Schumann, H. (2019). Lightweight Coordination of Multiple Independent Visual Analytics Tools. In A. Kerren, C. Hurter & J. Braz (Eds.), VISIGRAPP 2019 - Proceedings of the 14th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (Vol. 2, pp. 106-117). SCITEPRESS Digital Library. https://doi.org/10.5220/0007571101060117

Farhadi, A., Hajiaghayi, M. T., Larsen, K. G. & Shi, E. (2019). Lower bounds for external memory integer sorting via network coding. In M. Charikar & E. Cohen (Eds.), STOC 2019 - Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing (pp. 997-1008). Association for Computing Machinery. https://doi.org/10.1145/3313276.3316337

Afshani, P., Freksen, C. B., Kamma, L. & Larsen, K. G. (2019). Lower bounds for multiplication via network coding. Leibniz International Proceedings in Informatics, LIPIcs, 132, Article 10. https://doi.org/10.4230/LIPIcs.ICALP.2019.10

Jacob, R., Larsen, K. G. & Nielsen, J. B. (2019). Lower Bounds for Oblivious Data Structures. In T. M. Chan (Ed.), Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 2439-2447). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611975482.149

Thiel, S.-K. & Lyle, P. J. (2019). Malleable Games - A Literature Review on Communities of Game Modders. In C and T 2019 - 9th International Conference on Communities and Technologies, Conference Proceedings (pp. 198-209). Association for Computing Machinery. https://doi.org/10.1145/3328320.3328393

Grønlund, A., Kamma, L., Larsen, K. G., Mathiasen, A. & Nelson, J. (2019). Margin-Based Generalization Lower Bounds for Boosted Classifiers. In H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox & R. Garnett (Eds.), Advances in Neural Information Processing Systems 32 (NIPS 2019) (Vol. 32). Neural Information Processing Systems Foundation. https://arxiv.org/abs/1909.12518

Li, Y., Fan, J., Ovchinnikov, G. & Karras, P. (2019). Maximizing multifaceted network influence. In Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019 (pp. 446-457). Article 8731520 IEEE. https://doi.org/10.1109/ICDE.2019.00047

Timany, A. & Birkedal, L. (2019). Mechanized relational verification of concurrent programs with continuations. Proceedings of the ACM on Programming Languages , 3(ICFP), 1-28. Article 105. https://doi.org/10.1145/3341709

André, É., Bloemen, V., Petrucci, L. & Pol, J. V. D. (2019). Minimal-Time Synthesis for Parametric Timed Automata. In L. Zhang & T. Vojnar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings (Vol. II, pp. 211-228). Springer. https://doi.org/10.1007/978-3-030-17465-1_12

Møller, A. & Torp, M. T. (2019). Model-based testing of breaking changes in Node.js libraries. In S. Apel, M. Dumas, A. Russo & D. Pfahl (Eds.), ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp. 409-419). Association for Computing Machinery. https://doi.org/10.1145/3338906.3338940

Bloemen, V., Duret-Lutz, A. & van de Pol, J. (2019). Model checking with generalized Rabin and Fin-less automata. International Journal on Software Tools for Technology Transfer, 21(3), 307-324. https://doi.org/10.1007/s10009-019-00508-4

Logins, A., Karras, P. & Jensen, C. S. (2019). Multicapacity facility selection in networks. In Proceedings - 2019 IEEE 35th International Conference on Data Engineering, ICDE 2019 (pp. 794-805). Article 8731341 IEEE. https://doi.org/10.1109/ICDE.2019.00076

Dijk, T. V., Meijer, J. & van de Pol, J. (2019). Multi-core On-The-Fly Saturation. In Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 58-75). Springer. https://doi.org/10.1007/978-3-030-17465-1_4

Juul, M., Madsen, T., Guo, Q., Bertl, J., Hobolth, A., Kellis, M. & Pedersen, J. S. (2019). ncdDetect2: Improved models of the site-specific mutation rate in cancer and driver detection with robust significance evaluation. Bioinformatics, 35(2), 189-199. https://doi.org/10.1093/bioinformatics/bty511

Displaying results 1301 to 1350 out of 5797

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University