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

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

Schivo, S., Khurana, S., Govindaraj, K., Scholma, J., Kerkhofs, J., Zhong, L. ... Post, J. N. (2020). ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease. Cellular Signalling, 68, [109471]. https://doi.org/10.1016/j.cellsig.2019.109471

Britz, D., Strutwolf, J. & Østerby, O. (2020). Revisiting rectangular electrodes; a simulation study. Electrochimica Acta, 338, [135728]. https://doi.org/10.1016/j.electacta.2020.135728

Baum, C., Cozzo, D. & P. Smart, N. (2020). Using TopGear in Overdrive: A more efficient ZKPoK for SPDZ. In K. G. Paterson & D. Stebila (Eds.), Selected Areas in Cryptography - SAC 2019: 26th International Conference, Waterloo, ON, Canada, August 12–16, 2019, Revised Selected Papers (pp. 274-302). Cham: Springer. Lecture Notes in Computer Science, Vol.. 11959 https://doi.org/10.1007/978-3-030-38471-5_12

Jiang, S. & Larsen, K. G. (2019). A Faster External Memory Priority Queue with DecreaseKeys. In T. M. Chan (Ed.), Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (Vol. PRDA19, pp. 1331-1343). Society for Industrial and Applied Mathematics.

Abdolmaleki, B., Khoshakhlagh, H. & Slamanig, D. (2019). A Framework for UC-Secure Commitments from Publicly Computable Smooth Projective Hashing. In M. Albrecht (Ed.), Cryptography and Coding - 17th IMA International Conference, IMACC 2019, Proceedings (pp. 1-21). Springer. Lecture Notes in Computer Science, Vol.. 11929 https://doi.org/10.1007/978-3-030-35199-1_1

Hansen, K. A. & Raskin, M. (2019). A Stay-in-a-Set Game without a Stationary Equilibrium. 83-90. https://doi.org/10.4204/EPTCS.305.6

Afshani, P. (2019). A new lower bound for semigroup orthogonal range searching. In G. Barequet & Y. Wang (Eds.), 35th International Symposium on Computational Geometry, SoCG 2019 [3] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 129 https://doi.org/10.4230/LIPIcs.SoCG.2019.3

Ciosici, M. R. & Assent, I. (2019). Abbreviation Explorer - an interactive system for pre-evaluation of Unsupervised Abbreviation Disambiguation. In W. Ammar, A. Louis & N. Mostafazadeh (Eds.), Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics (Demonstrations) Minneapolis: Association for Computational Linguistics.

Logins, A. & Karras, P. (2019). An Experimental Study on Network Immunization. In M. Herschel, H. Galhardas, B. Reinwald, I. Fundulaki, C. Binnig & Z. Kaoudi (Eds.), Proceedings of the 22nd International Conference on Extending Database Technology (EDBT) (pp. 726-729). [391] openproceedings.org.

Ghosh, S. & Nilges, T. (2019). An algebraic approach to maliciously secure private set intersection. In Y. Ishai & V. Rijmen (Eds.), Advances in Cryptology – EUROCRYPT 2019: 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (pp. 154-185). Springer VS. Lecture Notes in Computer Science, Vol.. 11478 https://doi.org/10.1007/978-3-030-17659-4_6

Ledo, D., Vermeulen, J., Carpendale, S., Greenberg, S., Oehlberg, L. & Boring, S. (2019). Astral: prototyping mobile and smart object interactive behaviours using familiar applications. In DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (pp. 711-724). New York: Association for Computing Machinery. DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference https://doi.org/10.1145/3322276.3322329

Kristensen, E. K. (2019). Automated Techniques for Creation and Maintenance of TypeScript Declaration Files. Aarhus University.

Jansson, J., Mampentzidis, K. & Sandhya, T. P. (2019). Building a small and informative phylogenetic supertree. In K. T. Huber & D. Gusfield (Eds.), 19th International Workshop on Algorithms in Bioinformatics, WABI 2019 [1] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 143 https://doi.org/10.4230/LIPIcs.WABI.2019.1

Jensen, K. & Nielsen, M. (2019). Carl Adam Petri: a tribute from Aarhus. In W. Reisig & G. Rozenberg (Eds.), Carl Adam Petri: ideas, personality, impact (pp. 81-84). Cham: Springer. https://doi.org/10.1007/978-3-319-96154-5_10

Veje Pedersen, N., Clausen, H. S. & Dissing, C. (2019). Centralizing Pure after 15 years: Experiences forming af library specialist team. Abstract from Pure International Conference 2019, Prag, Czech Republic.

Ciosici, M. R. (2019). Characterizing Word Representations For Natural Language Processing. Aarhus University.

Bassetti, C., Sciannamblo, M., Lyle, P., Teli, M., De Paoli, S. & De Angeli, A. (2019). Co-designing for common values: creating hybrid spaces to nurture autonomous cooperation. CoDesign, 15(3), 256-271. https://doi.org/10.1080/15710882.2019.1637897

Damgård, I., Haagh, H., Nielsen, M. & Orlandi, C. (2019). Commodity-Based 2PC for Arithmetic Circuits. In M. Albrecht (Ed.), Cryptography and Coding - 17th IMA International Conference, IMACC 2019, Proceedings (pp. 154-177). Springer. Lecture Notes in Computer Science, Vol.. 11929 https://doi.org/10.1007/978-3-030-35199-1_8

Damgård, I., Larsen, K. G. & Nielsen, J. B. (2019). Communication Lower Bounds for Statistically Secure MPC, With or Without Preprocessing. In A. Boldyreva & D. Micciancio (Eds.), Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings (Vol. II, pp. 61-84). Springer. Lecture Notes in Computer Science, Vol.. 11693 https://doi.org/10.1007/978-3-030-26951-7_3

Mampentzidis, K. (2019). Comparison and Construction of Phylogenetic Trees and Networks. Aarhus University.

Jansson, J., Mampentzidis, K., Rajaby, R. & Sung, W-K. (2019). Computing the Rooted Triplet Distance between Phylogenetic Networks. In C. J. Colbourn, R. Grossi & N. Pisanti (Eds.), Computing the Rooted Triplet Distance between Phylogenetic Networks (pp. 290-303). Springer. Theoretical Computer Science and General Issues

van de Pol, J. (2019). Concurrent algorithms and data structures for model checking. In W. Fokkink & R. van Glabbeek (Eds.), 30th International Conference on Concurrency Theory, CONCUR 2019 [4] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 140 https://doi.org/10.4230/LIPIcs.CONCUR.2019.4

Van Der Berg, F. I. & Van De Pol, J. (2019). Concurrent chaining hash maps for software model checking. In C. Barrett & J. Yang (Eds.), Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019 (pp. 46-54). [8894279] IEEE. https://doi.org/10.23919/FMCAD.2019.8894279

Oechsner, S. (2019). Constructions and Proof Techniques for Secure Computation. Aarhus Universitet.

Larsen, K. G. (2019). Constructive Discrepancy Minimization with Hereditary L2 Guarantees. In R. Niedermeier & C. Paul (Eds.), 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019) [48] Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics, Vol.. 126 https://doi.org/10.4230/LIPIcs.STACS.2019.48

Logins, A. & Karras, P. (2019). Content-based Network Influence Probabilities: Extraction and Application. In 2019 IEEE International Conference on Data Mining Workshops (ICDMW) 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.

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. Conference on Human Factors in Computing Systems - Proceedings 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 [31] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs, Vol.. 131 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). 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 Proceedings of the 2019 ACM International Conference on Interactive Surfaces and Spaces, ISS 2019 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 - Version2.

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. Explorations in Creativity Research

Andersen, K. J. A. & Sergey, I. (2019). Distributed Protocol Combinators. In J. J. Alferes & M. Johansson (Eds.), Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings (1 ed., Vol. 11372, pp. 169). Lisbon, Portugal: Springer VS. Programming and Software Engineering 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). San Diego, CA: 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

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: Proceedings (Vol. Part 1, pp. 471-501). Cham: Springer. Lecture Notes in Computer Science, Vol.. 11891 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 A. Boldyreva & D. Micciancio (Eds.), Advances in Cryptology: CRYPTO 2019 (Vol. 11694, pp. 489-518). SPRINGER. Lecture Notes in Computer Science 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.), Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019 (pp. 291-308). ACM. 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. Lecture Notes in Computer Science, Vol.. 11922 https://doi.org/10.1007/978-3-030-34621-8_22

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. [7873244]. https://doi.org/10.1109/TDSC.2017.2679189

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). Aarhus: VIA University College. Liv i skolen : tidsskriftet om lærernes hverdag og det gode arbejde i skolen, No. 2, Vol.. 2019

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 (pp. 455-465). Curran Associates, Inc..

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

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

Displaying results 1 to 50 out of 4518

Comments on content:

Marianne Dammand Iversen

Revised 13.09.2019

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University