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

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

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

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

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

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

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

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

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

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

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

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

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 (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.

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

Dongmei, Z. & Møller, A. (Eds.) (2019). ISSTA 2019: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York: Association for Computing Machinery. ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis

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 [4] 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.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

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 '19 Proceedings of the 2019 on Designing Interactive Systems Conference (pp. 935-947). Association for Computing Machinery. https://doi.org/10.1145/3322276.3323688

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. A C M Symposium on the Theory of Computing. Annual Proceedings https://doi.org/10.1145/3313276.3316337

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). [8731520] IEEE. Proceedings of the International Conference on Data Engineering, Vol.. 2019 April https://doi.org/10.1109/ICDE.2019.00047

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

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. ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering https://doi.org/10.1145/3338906.3338940

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). [8731341] IEEE. Proceedings of the International Conference on Data Engineering, Vol.. 2019 April https://doi.org/10.1109/ICDE.2019.00076

Damgård, I. B., Escudero Ospina, D. E., Frederiksen, T. K., Keller, M., Scholl, P. & Volgushev, N. (2019). New Primitives for Actively-Secure MPC over Rings with Applications to Private Machine Learning. In 2019 IEEE Symposium on Security and Privacy (SP) IEEE. https://doi.org/10.1109/SP.2019.00078

Nielsen, B. B., Hassanshahi, B. & Gauthier, F. (2019). Nodest: Feedback-driven static analysis of Node.js applications. 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. 455-465). Association for Computing Machinery. https://doi.org/10.1145/3338906.3338933

Abe, M., Camenisch, J., Dowsley, R. & Dubovitskaya, M. (2019). On the Impossibility of Structure-Preserving Deterministic Primitives. Journal of Cryptology, 32(1), 239-264. https://doi.org/10.1007/s00145-018-9292-1

Piras, E. M., Cabitza, F., Lewkowicz, M. & Bannon, L. (2019). Personal Health Records and Patient-Oriented Infrastructures: Building Technology, Shaping (New) Patients, and Healthcare Practitioners. Computer Supported Cooperative Work: CSCW: An International Journal, 28(6), 1001-1009. https://doi.org/10.1007/s10606-019-09364-x

Agarwal, A., Dowsley, R., McKinney, N. D., Wu, D., Lin, C. T., Cock, M. D. & Nascimento, A. (2019). Privacy-Preserving Linear Regression for Brain-Computer Interface Applications. In Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu ... X. Hu (Eds.), Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (pp. 5277-5278). [8621861] IEEE. https://doi.org/10.1109/BigData.2018.8621861

Fritchman, K., Saminathan, K., Dowsley, R., Hughes, T., De Cock, M., Nascimento, A. & Teredesai, A. (2019). Privacy-Preserving Scoring of Tree Ensembles: A Novel Framework for AI in Healthcare. In Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu ... X. Hu (Eds.), Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (pp. 2413-2422). [8622627] IEEE. https://doi.org/10.1109/BigData.2018.8622627

Bhagat, S., Saminathan, K., Agarwal, A., Dowsley, R., De Cock, M. & Nascimento, A. (2019). Privacy-Preserving User Profiling with Facebook Likes. In Y. Song, B. Liu, K. Lee, N. Abe, C. Pu, M. Qiao, N. Ahmed, D. Kossmann, J. Saltz, J. Tang, J. He, H. Liu ... X. Hu (Eds.), Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018 (pp. 5298-5299). [8622081] IEEE. https://doi.org/10.1109/BigData.2018.8622081

Bouros, P., Assent, I., Jeppesen, J. H. & Toftegaard, T. S. (2019). Processing satellite imagery for decision-making in precision agriculture. In P. Papotti (Ed.), Proceedings of the Workshops of the EDBT/ICDT 2019 Joint Conference (EDBT/ICDT 2019) Sun Site Central Europe.

Agarwal, A., Dowsley, R., McKinney, N. D., Wu, D., Lin, C-T., De Cock, M. & Nascimento, A. C. A. (2019). Protecting Privacy of Users in Brain-Computer Interface Applications. IEEE Transactions on Neural Systems and Rehabilitation Engineering, 27(8), 1546-1555. https://doi.org/10.1109/TNSRE.2019.2926965

Grønbæk, J. E., Linding, C., Kromann, A., Jensen, T. F. H. & Petersen, M. G. (2019). Proxemics play: Exploring the interplay between mobile devices and interiors. In DIS 2019 Companion - Companion Publication of the 2019 ACM Designing Interactive Systems Conference (pp. 177-181). San Diego, USA: Association for Computing Machinery. https://doi.org/10.1145/3301019.3323886

Spiel, K., Walker, A. M., DeVito, M. A., Birnholtz, J., Barlas, P., Ahmed, A. ... Kannabiran, G. (2019). Queer(ing) HCI: Moving forward in theory and practice. In CHI EA 2019 - Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems [3311750] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings https://doi.org/10.1145/3290607.3311750

Kristensen, E. K. & Møller, A. (2019). Reasonably-Most-General Clients for JavaScript Library Analysis. Proceedings of the International Conference on Software Engineering.

Avram, G., Choi, J. H. J., De Paoli, S., Light, A., Lyle, P. & Teli, M. (2019). Repositioning CoDesign in the age of platform capitalism: from sharing to caring. CoDesign, 15(3), 185-191. https://doi.org/10.1080/15710882.2019.1638063

Engemann, K., Pedersen, C. B., Arge, L., Tsirogiannis, C., Mortensen, P. B. & Svenning, J-C. (2019). Residential green space in childhood is associated with lower risk of psychiatric disorders from adolescence into adulthood. Proceedings of the National Academy of Sciences of the United States of America, 116(11), 5188-5193. https://doi.org/10.1073/pnas.1807504116

Blazy, O., Bossuat, A., Bultel, X., Fouque, P. A., Onete, C. & Pagnin, E. (2019). SAID: Reshaping signal into an identity-based asynchronous messaging protocol with authenticated ratcheting. In Proceedings - 4th IEEE European Symposium on Security and Privacy, EURO S and P 2019 (pp. 294-309). [8806729] IEEE. https://doi.org/10.1109/EuroSP.2019.00030

Son, M. T., Amer-Yahia, S., Assent, I., Birk, M., Storgaard Dieu, M., Jacobsen, J. & Kristensen, J. (2019). Scalable Interactive Dynamic Graph Clustering on Multicore CPUs. IEEE Transactions on Knowledge and Data Engineering, 31(7), 1239-1252. [8340880]. https://doi.org/10.1109/TKDE.2018.2828086

Ghosh, S. (2019). Secure Computation Based On Oblivious Linear Function Evaluation. Aarhus Universitet.

Neerbek, J., Dolog, P. & Assent, I. (2019). Selective Training: A Strategy for Fast Backpropagation on Sentence Embeddings. In Q. Yang, M-L. Zhang, Z. Gong, S-J. Huang & Z-H. Zhou (Eds.), Advances in Knowledge Discovery and Data Mining - 23rd Pacific-Asia Conference, PAKDD 2019, Proceedings: PAKDD '19 (pp. 40-53). Springer. https://doi.org/10.1007/978-3-030-16142-2_4

Bressa, N. A., Wannamaker, K., Korsgaard, H., Willett, W. & Vermeulen, J. (2019). Sketching and Ideation Activities for Situated Visualization Design. In DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (pp. 173-185). New York City: Association for Computing Machinery. ACM International Conference Series https://doi.org/10.1145/3322276.3322326

Meijer, J. & van de Pol, J. (2019). Sound black-box checking in the LearnLib. Innovations in Systems and Software Engineering, 15(3-4), 267-287. https://doi.org/10.1007/s11334-019-00342-6

Displaying results 1 to 50 out of 4433

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