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

Logins, A. & Karras, P. (2019). Content-based Network Influence Probabilities: Extraction and Application. In Proceedings - 19th IEEE International Conference on Data Mining Workshops, ICDMW 2019 (pp. 69-72). Article 8955604 IEEE. https://doi.org/10.1109/ICDMW.2019.00020

Faonio, A., Buus Nielsen, J., Simkin, M. & Venturi, D. (2019). Continuously non-malleable codes with split-state refresh. Theoretical Computer Science, 759, 98-132. https://doi.org/10.1016/j.tcs.2018.12.028

Nielsen, M. (2019). Correlated randomness in cryptographic protocols. Aarhus Universitet.

Staer, K., Iranzo, A., Stokholm, M., Stergaard, Eroles, M., Otto, M., Svendsen, K., Pla, A., Vilas, D., Santamaria, J., Moller, A., Gaig, C., Borghammer, P., Brooks, D., Tolosa, E. & Pavese, N. (2019). Cortical cholinergic dysfunction correlates with microglial activation in the Substantia Innominata in patients with REM sleep behavior disorder. S830-S830. Abstract from International Congress of Parkinson's Disease and Movement Disorders, Nice, France.

Brudy, F., Holz, C., Rädle, R., Wu, C. J., Houben, S., Klokmose, C. N. & Marquardt, N. (2019). Cross-device taxonomy: Survey, opportunities and challenges of interactions spanning across multiple devices. In CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3290605.3300792

Sterling, J., Angiuli, C. & Gratzer, D. (2019). Cubical syntax for reflection-free extensional equality. In H. Geuvers (Ed.), 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 Article 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2019.31

Takahashi, A. & Tibouchi, M. (2019). Degenerate Fault Attacks on Elliptic Curve Parameters in OpenSSL. In 2019 IEEE European Symposium on Security and Privacy (EuroS&P), Proceedings (pp. 371-386). Article 8806763 IEEE. https://doi.org/10.1109/EuroSP.2019.00035

Hsieh, Y. T., Jylhä, A., Orso, V., Andolina, S., Hoggan, E., Gamberini, L. & Jacucci, G. (2019). Developing hand-worn input and haptic support for real-world target finding. Personal and Ubiquitous Computing, 23(1), 117-132. https://doi.org/10.1007/s00779-018-1180-z

Evangelista Belo, J. M., Fender, A., Feuchtner, T. & Grønbæk, K. (2019). Digital Assistance for Quality Assurance: Augmented Workspaces Using Deep Learning for Tracking Near-Symmetrical Objects. In ISS 2019 - Proceedings of the 2019 ACM International Conference on Interactive Surfaces and Spaces (pp. 275-287). Association for Computing Machinery. https://doi.org/10.1145/3343055.3359699

Grønbæk, K., Alstrup, S., Larsen, K. G., Caspersen, M. E., Madsen, O. L., Herping Ellegaard, L. & Rasmussen, B. (2019). Digitalisering og it-uddannelser – ryd op i begreberne! Teknologiens Mediehus. https://www.version2.dk/blog/digitalisering-it-uddannelser-ryd-begreberne-1089608

Bødker, S., Hoggan, E., Jensen, M. M., Klokmose, C. N., Rädle, R. & Thiel, S.-K. (2019). Digitizing sticky notes. In B. Christensen, K. Halskov & C. Klokmose (Eds.), Sticky Creativity: Post-it Note Cognition, Computers, and Design (pp. 103-122). Elsevier.

Andersen, K. J. A. & Sergey, I. (2019). Distributed Protocol Combinators. In J. J. Alferes & M. Johansson (Eds.), Practical Aspects of Declarative Languages - 21st International Symposium, PADL 2019, Proceedings: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings (1 ed., Vol. 11372, pp. 169). Springer VS. https://doi.org/10.1007/978-3-030-05998-9_11

Van Oosterhout, A., Hoggan, E., Rasmussen, M. K. & Bruns, M. (2019). DynaKnob: Combining haptic force feedback and shape change. In DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (pp. 963-974). Association for Computing Machinery. https://doi.org/10.1145/3322276.3322321

Lindahl, C., Wagner, S., Uldbjerg, N., Schlütter, J. M., Bertelsen, O. & Sandager, P. (2019). Effects of context-aware patient guidance on blood pressure self-measurement adherence levels. Health Informatics Journal, 25(2), 417-428. https://doi.org/10.1177/1460458217717073

Cock, M. D., Dowsley, R., Horst, C., Katti, R., Nascimento, A., Poon, W. S. & Truex, S. (2019). Efficient and Private Scoring of Decision Trees, Support Vector Machines and Logistic Regression Models based on Pre-Computation. IEEE Transactions on Dependable and Secure Computing, 16(2), 217-230. Article 7873244. https://doi.org/10.1109/TDSC.2017.2679189

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

Displaying results 1251 to 1300 out of 5761

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University