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

Nielsen, M. (2016). Interactive Visual Analytics of Big Data - a Web-Based Approach. Department of Computer Science, Aarhus University.

Feuchtner, T., Walter , R. & Müller, J. (2016). Interruption and Pausing of Public Display Games. In Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services: MobileHCI '16 (pp. 306-317). Association for Computing Machinery. https://doi.org/10.1145/2935334.2935335

Nunnari, F., Bachynskyi, M. & Heloir, A. (2016). Introducing postural variability improves the distribution of muscular loads during mid-air gestural interaction. In Motion in Games 2016: 9th International Conference on Motion in Games, MIG 2016 (pp. 155-160). [2994278] Association for Computing Machinery. https://doi.org/10.1145/2994258.2994278

Aureliano, V. C. O., Tedesco, P. C. D. A. R. & Caspersen, M. E. (2016). Learning programming through stepwise self-explanations. In Proceedings of the 11th Iberian Conference on Information Systems and Technologies, CISTI 2016 (pp. 535-541). IEEE Computer Society Press. Iberian Conference on Information Systems and Technologies (CISTI), Vol.. 2016 https://doi.org/10.1109/CISTI.2016.7521457

Cramer, R., Damgård, I. B., Döttling, N., Giacomelli, I. & Xing, C. (2016). Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model. (pp. 1-31). Cryptology ePrint Archive. http://ia.cr/2016/397

Bertelsen, O. W. (2016). Local decision making as a design opportunity. In A. De Angeli, L. Bannon, P. Marti & S. Bordin (Eds.), COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems (pp. 243-258). Springer VS. https://doi.org/10.1007/978-3-319-33464-6_15

Döttling, N. (2016). Low Noise LPN: Key dependent message secure public key encryption an sample amplification. IET Information Security, 10(6), 372-385. https://doi.org/10.1049/iet-ifs.2015.0495

Kalvisa, A., Tsirogiannis, C., Silamikelis, I., Skenders, G., Broka, L., Zirnitis, A., Jansone, I. & Ranka, R. (2016). MIRU-VNTR genotype diversity and indications of homoplasy in M. avium strains isolated from humans and slaughter pigs in Latvia. Infection, Genetics and Evolution, 43(September), 15-21. https://doi.org/10.1016/j.meegid.2016.05.013

Doughty, C. E., Wolf, A., Holme, N. M., Jørgensen, P. M., Sandel, B. S., Violle, C., Boyle, B., Kraft, N. J. B., Peet, R. K., Enquist, B. J., Svenning, J-C., Blake, S. & Galetti, M. (2016). Megafauna extinction, tree species range reduction, and carbon storage in Amazonian forests. Ecography, 39(2), 194-203. https://doi.org/10.1111/ecog.01587

Loffler, M., Nollenburg, M. & Staals, F. (2016). Mixed map labeling. Journal of Spatial Information Science, 13, 3-32. https://doi.org/10.5311/JOSIS.2016.13.264

Stisen, A. (2016). Mobile Sensing and Recognition of Human Activities to Support Work Coordination. Institut for Datalogi, Aarhus Universitet.

Da Rocha Pinto, P., Dinsdale-Young, T., Gardner, P. & Sutherland, J. (2016). Modular termination verification for non-blocking concurrency. In P. Thiemann (Ed.), Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings (Vol. 9632, pp. 176-201). Springer. Lecture Notes in Computer Science (LNCS), Vol.. 9632 https://doi.org/10.1007/978-3-662-49498-1_8

Nielsen, M. M., Tataru, P., Madsen, T., Hobolth, A. & Pedersen, J. S. (2016). Motif discovery in ranked lists of sequences. (pp. 1-4). http://biorxiv.org/content/biorxiv/suppl/2016/01/11/035956.DC2/035956-1.pdf

Höök, K. H., Jonsson, M., Ståhl, A., Tholander, J., Robertson, T., Marti, P., Svanæs, D., Petersen, M. G., Forlizzi, J., Schiphorst, T., Isbister, K., Hummels, C., Klooster, S., Loke, L. & Khut, G. P. (2016). Move to Be Moved. In Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (pp. 3301-3308). Association for Computing Machinery. CHI EA '16 https://doi.org/10.1145/2851581.2856470

Mortensen, M. L. (2016). Multi-Criteria Decision Support Queries in Exploratory & Open World Settings.

Löffler, M., Staals, F. & Urhausen, J. (2016). New Results on Trajectory Grouping under Geodesic Distance. Paper presented at EuroCG 2016, Lugano, Switzerland. http://www.eurocg2016.usi.ch/sites/default/files/paper_70.pdf

Bødker, S., Hornbæk, K., Oulasvirta, A. & Reeves, S. (2016). Nine questions for HCI researchers in the making. interactions, 23(4), 58-61. https://doi.org/10.1145/2949686

Bai, G., Damgård, I., Orlandi, C. & Xia, Y. (2016). Non-Interactive Verifiable Secret Sharing for Monotone Circuits. In D. Pointcheval, A. Nitaj & T. Rachidi (Eds.), Progress in Cryptology - AFRICACRYPT 2016 - 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings (Vol. 9646, pp. 225-244). Springer VS. Lecture Notes in Computer Science (LNCS), Vol.. 9646 https://doi.org/10.1007/978-3-319-31517-1_12

Cascudo, I., Damgård, I., Lacerda, F. & Ranellucci, S. (2016). Oblivious transfer from any non-trivial elastic noisy channel via secret key agreement. In Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings (Vol. 9985, pp. 204-234). Springer VS. Lecture Notes in Computer Science, Vol.. 9985 https://doi.org/10.1007/978-3-662-53641-4_9

Baum, C. (2016). On Garbling Schemes with and Without Privacy. In V. Zikas & R. De Prisco (Eds.), Security and Cryptography for Networks: International Conference on Security and Cryptography for Networks (Vol. 9841, pp. 468-485). Springer VS. Lecture Notes in Computer Science, Vol.. 9841 https://doi.org/10.1007/978-3-319-44618-9

Ben-Sasson, E., Ben-Tov, I., Damgård, I., Ishai, Y. & Ron-Zewi, N. (2016). On public key encryption from noisy codewords. In Public-Key Cryptography – PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings (Vol. 9615, pp. 417-446). Springer VS. Lecture Notes in Computer Science, Vol.. 9615 https://doi.org/10.1007/978-3-662-49387-8_16

Bizjak, A. (2016). On semantics and applications of guarded recursion.

Jakobsen, J. & Orlandi, C. (2016). On the CCA (in)security of MTProto. In Proceedings of the 6th Workshop on Security and Privacy in Smartphones and Mobile Devices: SPSM '16 (pp. 113-116). Association for Computing Machinery. https://doi.org/10.1145/2994459.2994468

Damgård, I. B., Nielsen, J. B., Polychroniadou, A. & Raskin, M. (2016). On the Communication Required for Unconditionally Secure Multiplication. In Advances in Cryptology – CRYPTO 2016 (Vol. 9815, pp. 459-488). Springer VS. Lecture Notes in Computer Science, Vol.. 9815 https://doi.org/10.1007/978-3-662-53008-5_16

Polychroniadou, A., Damgård, I. B., Garg, S., Mukherjee, P., Nielsen, J. B. & Pandey, O. (2016). On the Communication and Round Complexity of Secure Computation. Institut for Datalogi, Aarhus Universitet. http://cs.au.dk/fileadmin/user_upload/IvanFest_AP.pdf

Trifiletti, R., Nielsen, J. B., Frederiksen, T. K. & Jakobsen, T. P. (2016). On the Complexity of Additively Homomorphic UC Commitments. In E. Kushilevitz & T. Malkin (Eds.), Theory of Cryptography - 13th International Conference, TCC 2016-A (Vol. 9562, pp. 542-565). Springer VS. Lecture Notes in Computer Science, Vol.. 9562 https://doi.org/10.1007/978-3-662-49096-9

Nielsen, J. B. & Ranellucci, S. (2016). On the Computational Overhead of MPC with Dishonest Majority. http://eprint.iacr.org/2016/643

Campos, G. O., Zimek, A., Sander, J., Campello, R. J. G. B., Micenkova, B., Schubert, E., Assent, I. & Houle, M. E. (2016). On the Evaluation of Outlier Detection: Measures, Datasets, and an Empirical Study Continued. In R. Krestel, D. Mottin & E. Müller (Eds.), Proceedings of the Conference "Lernen, Wissen, Daten, Analysen" (Vol. 1670, pp. 1). ceur workshop proceedings. CEUR Workshop Proceedings, Vol.. 1670 http://ceur-ws.org/Vol-1670/paper-55.pdf

Østerby, O. (2016). On the Stability of ADI Methods. DAIMI PB, 598, 1-7. https://doi.org/10.7146/dpb.v42i598.25146

Kostitsyna, I., Löffler, M., Polishchuk, V. & Staals, F. (2016). On the complexity of minimum-link path problems. In S. Fekete & A. Lubiw (Eds.), 32nd International Symposium on Computational Geometry, SoCG 2016 (Vol. 51, pp. 49.1-49.16). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, Vol.. 51 https://doi.org/10.4230/LIPIcs.SoCG.2016.49

Campos, G. O., Zimek, A., Sander, J., Campello, R. J. G. B., Micenková, B., Schubert, E., Assent, I. & Houle, M. E. (2016). On the evaluation of unsupervised outlier detection: measures, datasets, and an empirical study. Data Mining and Knowledge Discovery, 30(4), 891-927. https://doi.org/10.1007/s10618-015-0444-8

Papakonstantinou, P. A., Xu, J. & Yang, G. (2016). On the power and limits of distance-based learning. In M-F. Balcan & K. Q. Weinberger (Eds.), Proceedings of the 33nd International Conference on Machine Learning, {ICML} 2016, New York City, NY, USA, June 19-24, 2016 (Vol. 48, pp. 2263-2271). JMLR.org.

Brix, L., Ringgaard, S., Sandager, P., Petersen, O. B., Sørensen, T. S., Lundorf, E. & Stausbøl-Grøn, B. (2016). Overcoming foetal motion using interactive real-time magnetic resonance imaging. Clinical Physiology and Functional Imaging. https://doi.org/10.1111/cpf.12364

Kunkel, A., Rheinländer, A., Schiefer, C., Helmer, S., Bouros, P. & Leser, U. (2016). PIEJoin: Towards Parallel Set Containment Joins. In P. Baumann, I. Manolescu-Goujot, L. Trani, Y. Ioannidis, G. G. Barnaföldi, L. Dobos & E. Bányai (Eds.), Proceedings of the 28th International Conference on Scientific and Statistical Database Management: SSDBM '16 [11] Association for Computing Machinery. https://doi.org/10.1145/2949689.2949694

Lanng, H., Lykkegaard, A., Thornholm, S., Tzannis, P. & Verdezoto, N. (2016). PeaceKeeper: Augmenting the Awareness and Communication of Noise Pollution in Student Dormitories. In Proceedings of the 7th Augmented Human International Conference 2016: AH '16 [39] Association for Computing Machinery. https://doi.org/10.1145/2875194.2875218

Christensen, S. M., Madsen, S. H., Nielsen, N. & Sørensen, J. A. (2016). PetRoomba: Interacting with household pets via SCI. Abstract from Student Interaction Design Research conference (SIDeR 2016), Malmö . http://jensasoerensen.dk/wp-content/uploads/2017/03/28_PetRoomba-Interacting-with-household-pets-via-SCI.pdf

Tsirogiannis, C. & Sandel, B. S. (2016). PhyloMeasures: A package for computing phylogenetic biodiversity measures and their statistical moments. Ecography, 39(7), 709-714. https://doi.org/10.1111/ecog.01814

Zakarias, R. W. (2016). Practical Secure Computation with Pre-Processing. Department of Computer Science, Aarhus University.

Birkedal, L. (2016). Preface. Electronic Notes in Theoretical Computer Science, 325, 1-2. https://doi.org/10.1016/j.entcs.2016.09.028

Hansen, T. D. & Zwick, U. (2016). Random-Edge Is Slower Than Random-Facet on Abstract Cubes. Leibniz International Proceedings in Informatics, 55, 51:1-51:14. https://doi.org/10.4230/LIPIcs.ICALP.2016.51

Cascudo, I., Damgård, I., David, B. M., Döttling, N. & Nielsen, J. B. (2016). Rate-1, linear time and additively homomorphic UC commitments. In M. Robshaw & J. Katz (Eds.), Advances in Cryptology - 36th Annual International Cryptology Conference, CRYPTO 2016, Proceedings (Vol. 9816, pp. 179-207). Springer VS. Lecture Notes in Computer Science, Vol.. 9816 https://doi.org/10.1007/978-3-662-53015-3_7

Nielsen, J. B. & Ranellucci, S. (2016). Reactive garbling: Foundation, instantiation, application. In J. H. Cheon & T. Takagi (Eds.), Advances in Cryptology - ASIACRYPT 2016 - 22nd International Conference on the Theory and Application of Cryptology and Information Security, Proceedings (Vol. 10032, pp. 1022-1052). Springer VS. Lecture Notes in Computer Science, Vol.. 10032 https://doi.org/10.1007/978-3-662-53890-6_34

Devriese, D., Birkedal, L. & Piessens, F. (2016). Reasoning about object capabilities with logical relations and effect parametricity. In 2016 IEEE European Symposium on Security and Privacy, EURO S and P 2016 (pp. 147-162). [7467352] IEEE Press. https://doi.org/10.1109/EuroSP.2016.22

Bødker, S. (2016). Rethinking technology on the boundaries of life and work. Personal and Ubiquitous Computing, 20(4), 533 - 544. https://doi.org/10.1007/s00779-016-0933-9

Haagh, H., Ji, Y., Li, C., Orlandi, C. & Song, Y. (2016). Revealing Encryption for Partial Ordering. http://eprint.iacr.org/2016/972.pdf

Østergaard Laursen, C., Pedersen, S., Merritt, T. R. & Caprani, O. (2016). Robot-Supported Food Experiences: Exploring Aesthetic Plating with Design Prototypes. In J. T.K.V.Koh, B. J. Dunstan, D. Silvera-Tawil & M. Velonaki (Eds.), Cultural Robotics: First International Workshop, CR 2015, Held as Part of IEEE RO-MAN 2015, Kobe, Japan, August 31, 2015. Revised Selected Papers (Vol. 9549, pp. 107-130). Springer. Lecture Notes in Computer Science, Vol.. 9549 https://doi.org/10.1007/978-3-319-42945-8_10

Klysner, H. (Producer), Thestrup, K. (Other) & Caprani, O. (Developer). (2016). Robotstafetten. Sound/Visual production (digital) https://youtu.be/yTaRTln4T7U?list=FL9DtJvDt0x4cyBb4MIKsccg

Nielsen, M., Elmqvist, N. & Grønbæk, K. (2016). Scribble query: fluid touch brushing for multivariate data visualization. In Proceedings of the 28th Australian Conference on Computer-Human Interaction (OzCHI '16 ) (pp. 381-390). Association for Computing Machinery. OzCHI: Australian Conference on Human-Computer Interaction, Vol.. 2016 https://doi.org/10.1145/3010915.3010951

Tomlein, M. & Grønbæk, K. (2016). Semantic Model of Variability and Capabilities of IoT Applications for Embedded Software Ecosystems. In 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA) (pp. 247-252). IEEE Press. https://doi.org/10.1109/WICSA.2016.17

Bouros, P., Mamoulis, N., Ge, S. & Terrovitis, M. (2016). Set Containment Join Revisited. Knowledge and Information Systems, 49(1), 375-402. https://doi.org/10.1007/s10115-015-0895-7

Displaying results 601 to 650 out of 4561

Comments on content:

Marianne Dammand Iversen

Revised 10.07.2020

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University