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

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.

Pedersen, M. & Chong, S. (2019). Programming with Flow-Limited Authorization: Coarser is Better. In Proceedings of the IEEE European Symposium on Security and Privacy (EuroS&P) IEEE. https://doi.org/10.1109/EuroSP.2019.00015

Ganesh, C., Orlandi, C. & Tschudi, D. (2019). Proof-of-Stake Protocols for Privacy-Aware Blockchains. In Y. Ishai & V. Rijmen (Eds.), Advances in Cryptology – EUROCRYPT 2019 (pp. 690-719). Cham: Springer. Lecture Notes in Computer Science, Vol.. 11476 https://doi.org/10.1007/978-3-030-17653-2_23

Damgård, I. B., Ganesh, C. & Orlandi, C. (2019). Proofs of Replicated Storage Without Timing Assumptions. In Advances in Cryptology – CRYPTO 2019 (pp. 355-380). Springer. Lecture Notes in Computer Science, Vol.. 11692 https://doi.org/10.1007/978-3-030-26948-7_13

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

Lyle, P. J. & Kannabiran, G. (2019). Public Outcomes of Publicly Funded Socio-Technical Projects: Reflections on Empowerment, Participation, and Researcher Responsibility. In J. E. Fischer, S. Martindale, M. Porcheron, S. Reeves & J. Spence (Eds.), HTTF 2019: : Proceedings of the Halfway to the Future Symposium 2019 (2019 ed., pp. 1-3). New York: Association for Computing Machinery. https://doi.org/10.1145/3363384.3363480

Ateniese, G., Francati, D., Magri, B. & Venturi, D. (2019). Public immunization against complete subversion without random oracles. In R. H. Deng, V. Gauthier-Umanã, M. Ochoa & M. Yung (Eds.), Applied Cryptography and Network Security (pp. 465-485). Cham: Springer International Publishing AG. Lecture Notes in Computer Science, Vol.. 11464 https://doi.org/10.1007/978-3-030-21568-2_23

Ciosici, M. R., Derczynski, L. & Assent, I. (2019). Quantifying the morphosyntactic content of Brown Clusters. In J. Burstein, C. Doran & T. Solorio (Eds.), Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Vol. 1, pp. 1541-1550). Stroudsburg, PA: Association for Computational Linguistics.

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

Fauzi, P. M., Meiklejohn, S., Mercer, R. H. & Orlandi, C. (2019). Quisquis: A New Design for Anonymous Cryptocurrencies. In Advances in Cryptology – ASIACRYPT 2019 (pp. 649-678). Lecture Notes in Computer Science, Vol.. 11921 https://doi.org/10.1007/978-3-030-34578-5

Hogräfer, M. & Schulz, H-J. (2019). ReVize: A Library for Visualization Toolchaining with Vega-Lite. In Smart Tools and Apps for Graphics - Eurographics Italian Chapter Conference (pp. 129-139). Eurographics Association. https://doi.org/10.2312/stag.20191375

Kristensen, E. K. & Møller, A. (2019). Reasonably-Most-General Clients for JavaScript Library Analysis. Proceedings of the International Conference on Software Engineering. https://doi.org/10.1109/ICSE.2019.00026

Deuber, D., Magri, B. & Thyagarajan, S. A. K. (2019). Redactable blockchain in the permissionless setting. In Proceedings - 2019 IEEE Symposium on Security and Privacy, SP 2019 (pp. 124-138). [8835372] IEEE. https://doi.org/10.1109/SP.2019.00039

Larsen-Ledet, I., Bressa, N. A. & Vermeulen, J. (2019). Reflections on Teaching a Mandatory HCI Course to Computer Science Undergraduates. Paper presented at The 2019 EduCHI Symposium on HCI Teaching and Learning, Glasgow, United Kingdom.

Bannon, L., Bardzell, J. & Bødker, S. (2019). Reimaging Participatory Design. interactions, 26(1), 26-32. https://doi.org/10.1145/3292015

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

Rasmussen, T. A. & Huang, W. (2019). SceneCam: Using AR to improve multi-camera remote collaboration. In SIGGRAPH Asia 2019 XR, SA 2019 (pp. 36-37). Association for Computing Machinery. https://doi.org/10.1145/3355355.3361892

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

Branzei, S., Orlandi, C. & Yang, G. (2019). Sharing Information with Competitors. In D. Fotakis & E. Markakis (Eds.), Algorithmic Game Theory: SAGT 2019 (pp. 34-48). Cham: Springer. Lecture Notes in Computer Science, Vol.. 11801 https://doi.org/10.1007/978-3-030-30473-7

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

Bressa, N. A. & Vermeulen, J. (2019). Sketching for Immersive Analytics with Situated Visualizations. Paper presented at The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, United Kingdom.

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

Fender, A. & Müller, J. (2019). SpaceState: Ad-Hoc Definition and Recognition of Hierarchical Room States for Smart Environments. In Proceedings of the 2019 ACM International Conference on Interactive Surfaces and Spaces, ISS 2019 (pp. 303-314). Association for Computing Machinery. https://doi.org/10.1145/3343055.3359715

Stein, B., Nielsen, B. B., Chang, B-Y. E. & Møller, A. (2019). Static Analysis with Demand-driven Value Refinement. Proceedings of the ACM on Programming Languages, 3(OOPSLA), [140]. https://doi.org/10.1145/3360566

Pedersen, M. & Askarov, A. (2019). Static Enforcement of Security in Runtime Systems. In Proceedings - 2019 IEEE 32nd Computer Security Foundations Symposium, CSF 2019 (pp. 335-350). [8823712] IEEE. https://doi.org/10.1109/CSF.2019.00030

Skorstengaard, L., Devriese, D. & Birkedal, L. (2019). StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities. Proceedings of the ACM on Programming Languages, 3(POPL), [19]. https://doi.org/10.1145/3290332

Aggarwal, D., Damgård, I., Nielsen, J. B., Obremski, M., Purwanto, E., Ribeiro, J. & Simkin, M. (2019). Stronger leakage-resilient and non-malleable secret sharing schemes for general access structures. In A. Boldyreva & D. Micciancio (Eds.), Advances in Cryptology – CRYPTO 2019 : 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings (Vol. II, pp. 510-539). Cham: Springer-Verlag. Lecture Notes in Computer Science, Vol.. 11693 https://doi.org/10.1007/978-3-030-26951-7_18

Avdic, M. & Vermeulen, J. (2019). Studying Breakdowns in Interactions with Smart Speakers. Paper presented at The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, United Kingdom.

Hjorth, A. & Wilensky, U. (2019). Studying Conceptual Change in Classrooms Using Association Rule Mining to Detect Changes in Students' Explanations of the Effects of Urban Planning and Social Policy. Constructivist Foundations, 14(3), 272-283.

Shao, J., Tan, Y., Gao, L., Yang, Q., Plant, C. & Assent, I. (2019). Synchronization-based clustering on evolving data stream. Information Sciences, 501, 573-587. https://doi.org/10.1016/j.ins.2018.09.035

Bidlingmaier, M. E., Faissole, F. & Spitters, B. (2019). Synthetic topology in Homotopy Type Theory for probabilistic programming. ArXiv.

Pagnin, E., Gunnarsson, G., Talebi, P., Orlandi, C. & Sabelfeld, A. (2019). TOPPool: Time-aware Optimized Privacy-Preserving Ridesharing. Proceedings on Privacy Enhancing Technologies, 2019(4), 93-111. https://doi.org/10.2478/popets-2019-0060

Rasmussen, T. A. & Grønbæk, K. (2019). Tailorable remote assistance with RemoteAssistKit: A study of and design response to remote assistance in the manufacturing industry. In H. Nakanishi, H. Egi, I-A. Chounta, H. Takada, S. Ichimura & U. Hoppe (Eds.), Collaboration Technologies and Social Computing: 25th International Conference, CRIWG+CollabTech 2019 Kyoto, Japan, September 4–6, 2019 Proceedings (pp. 80-95). Cham: Springer. Lecture Notes in Computer Science, Vol.. 11677 https://doi.org/10.1007/978-3-030-28011-6_6

McFadden, I. R., Sandel, B., Tsirogiannis, C., Morueta-Holme, N., Svenning, J. C., Enquist, B. J. & Kraft, N. J. B. (2019). Temperature shapes opposing latitudinal gradients of plant taxonomic and phylogenetic β diversity. Ecology Letters, 22(7), 1126-1135. https://doi.org/10.1111/ele.13269

Larsen-Ledet, I. & Korsgaard, H. (2019). Territorial Functioning in Collaborative Writing: Fragmented Exchanges and Common Outcomes. Computer Supported Cooperative Work, 28(3-4), 391-433. https://doi.org/10.1007/s10606-019-09359-8

Ghosh, S. & Simkin, M. (2019). The Communication Complexity of Threshold Private Set Intersection. In A. Boldyreva & D. Micciancio (Eds.), Advances in Cryptology – CRYPTO 2019: 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18–22, 2019, Proceedings (Vol. II, pp. 3-29). Cham: Springer-Verlag. Lecture Notes in Computer Science, Vol.. 11693 https://doi.org/10.1007/978-3-030-26951-7_1

Vermeulen, J., Lim, B. Y., Avdic, M., Wang, D. & Abdul, A. (2019). The Curious Case of Providing Intelligibility for Smart Speakers. Abstract from The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, United Kingdom.

Micallef, L., Schulz, H-J., Angelini, M., Aupetit, M., Chang, R., Kohlhammer, J. ... Santucci, G. (2019). The Human User in Progressive Visual Analytics. In EuroVis 2019 - Short Papers (pp. 19-23). Eurographics Association. https://doi.org/10.2312/evs.20191164

Hansen, K. A. (2019). The Real Computational Complexity of Minmax Value and Equilibrium Refinements in Multi-player Games. Theory of Computing Systems, 63(7), 1554-1571. https://doi.org/10.1007/s00224-018-9887-9

Afshani, P., Agrawal, M., Doerr, B., Doerr, C., Larsen, K. G. & Mehlhorn, K. (2019). The query complexity of a permutation-based variant of Mastermind. Discrete Applied Mathematics, 260, 28-50. https://doi.org/10.1016/j.dam.2019.01.007

Aranha, D. F. & Pagnin, E. (2019). The simplest multi-key linearly homomorphic signature scheme. In P. Schwabe & N. Thériault (Eds.), Progress in Cryptology – LATINCRYPT 2019 (pp. 280-300). Cham: Springer. Lecture Notes in Computer Science, Vol.. 11774 https://doi.org/10.1007/978-3-030-30530-7_14

Christensen, P. K., Skovgaard, C. Ø. & Petersen, M. G. (2019). Together together: Combining shared and separate activities in designing technology for family life. In Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019 (pp. 374-385). Association for Computing Machinery. Proceedings of the 18th ACM International Conference on Interaction Design and Children, IDC 2019 https://doi.org/10.1145/3311927.3323141

Krogh-Jespersen, M. (2019). Towards Modular Reasoning for Stateful and Concurrent Programs. Aarhus: Aarhus Universitet.

Displaying results 101 to 150 out of 4525

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