Aarhus Universitets segl

Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Mortensen, M. L., Chester, S., Assent, I. & Magnani, M. (2015). Efficient caching for constrained skyline queries. I International Conference on Extending Database Technology (EDBT 2015) (s. 337-348). openproceedings.org. https://doi.org/10.5441/002/edbt.2015.30
Andrychowicz, M., Damgård, I. B., Dziembowski, S., Faust, S. & Polychroniadou, A. (2015). Efficient leakage resilient circuit compilers. I K. Nyberg (red.), Topics in Cryptology - CT-RSA 2015: The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings (s. 311-329). Springer VS. https://doi.org/10.1007/978-3-319-16715-2_17
Genkin, D., Ishai , Y. & Polychroniadou, A. (2015). Efficient Multi-party Computation: From Passive to Active Security via Secure SIMD Circuits. I R. Gennaro & M. Robshaw (red.), Advances in Cryptology -- CRYPTO 2015: 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part II (s. 721-741). Springer VS. https://doi.org/10.1007/978-3-662-48000-7_35
Döttling, N. M. & Schröder, D. (2015). Efficient Pseudorandom Functions via On-the-Fly Adaptation. I R. Gennaro & M. Robshaw (red.), Advances in Cryptology – CRYPTO 2015: 35th Annual Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2015, Proceedings, Part I (s. 329-350). Springer VS. https://doi.org/10.1007/978-3-662-47989-6_16
David, B., Dowsley, R., Katti, R. & Nascimento, A. C. A. (2015). Efficient unconditionally secure comparison and privacy preserving machine learning classification protocols. I M.-H. Au & A. Miyaji (red.), Provable Security: 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings (Bind 9451, s. 354-367). Springer VS. https://doi.org/10.1007/978-3-319-26059-4_20
Ateniese, G., Dagdelen, Ö., Damgård, I. B. & Venturi, D. (2015). Entangled Encodings and Data Entanglement. I SCC '15: Proceedings of the 3rd International Workshop on Security in Cloud Computing (s. 3-12). Association for Computing Machinery. https://doi.org/10.1145/2732516.2732524
Dupont-Dupuis, F., Fawzi, O. & Wehner, S. (2015). Entanglement sampling and applications. I E E E Transactions on Information Theory, 61(2), 1093-1112. Artikel 6967820. https://doi.org/10.1109/TIT.2014.2371464
Dicke, C. & Müller, J. (2015). Evaluating Mid-air List Interaction for Spatial Audio Interfaces. I Proceedings of the 3rd ACM Symposium on Spatial User Interaction, SUI '15 (s. 24-33). Association for Computing Machinery. https://doi.org/10.1145/2788940.2788945
Chester, S. & Assent, I. (2015). Explanations for Skyline Query Results. I International Conference on Extending Database Technology (EDBT 2015) (s. 349-360). openproceedings.org. https://doi.org/10.5441/002/edbt.2015.31
Verdezoto, N. (2015). Exploring Challenges and Opportunities for Eco-Feedback Technology. Afhandling præsenteret på Workshop on Expanding the Boundaries: A SIGCHI HCI & Sustainability , Seoul, Sydkorea. http://wp.lancs.ac.uk/chi15sust/files/2015/04/pp_verdezoto.pdf
Li, S., Crouser, R. J., Griffin, G., Gramazio, C., Schulz, H.-J., Childs, H. & Chang, R. (2015). Exploring hierarchical visualization designs using phylogenetic trees. I D. L. Kao, M. C. Hao, M. A. Livingston & T. Wischgoll (red.), Proceedings of the Conference on Visualization and Data Analysis VDA 2015 SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.2078857
Wilkinson, B. T. (2015). Exploring the Problem Space of Orthogonal Range Searching. Department of Computer Science, Aarhus University.
Zhang, Y., Chong, M. K., Müller, J., Bulling, A. & Gellersen, H. (2015). Eye tracking for public displays in the wild. Personal and Ubiquitous Computing, 19(5-6), 967-981. https://doi.org/10.1007/s00779-015-0866-8
Filos-Ratsikas, A., Li, M., Zhang, J. & Zhang, Q. (2015). Facility Location with Double-peaked Preferences. I Proceedings of the 29th International AAAI Conference on Artificial Intelligence, and the 27th Innovative Applications of Artificial Intelligence Conference, vol. 2 (s. 893-899). AAAI Press. http://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/view/9379/9385
de Berg, M., Tsirogiannis, C. & Wilkinson, B. T. (2015). Fast computation of categorical richness on raster data sets and related problems. I GIS '15: Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems Artikel 18 https://doi.org/10.1145/2820783.2820825
de Berg, M., Tsirogiannis, C. & Wilkinson, B. (2015). Fast Computation of Categorical Richness on Raster Data Sets and Related Problems. I Proceedings. Workshop on Massive Data Algorithmics (MASSIVE) (s. 86-107)
Donnez, J., Dolmans, M.-M., Pellicer, A., Diaz-Garcia, C., Ernst, E., Macklon, K. T. & Andersen, C. Y. (2015). Fertility preservation for age-related fertility decline. Lancet, 385(9967), 506-7. https://doi.org/10.1016/S0140-6736(15)60198-2
Bertelsen, O. W., Halskov, K., Bardzell, S. (red.), Bødker, S. (red.), Iversen, O. S. (red.), Klokmose, C. N. (red.) & Korsgaard, H. (red.) (2015). Foreword. I Critical Alternatives: Proceedings of The Fifth Decennial Aarhus Conference 17- 21 August 2015, Aarhus, Denmark (s. ii). Department of Computer Science, Aarhus University. http://cs.au.dk/~hko/Aarhus2015ProceedingsVolumeI.pdf
Petersen, M. G., Rasmussen, M. K. & Jakobsen, K. (2015). Framing open-ended and constructive play with emerging interactive materials. I Proceedings of the 14th International Conference on Interaction Design and Children , IDC '15 (s. 150-159 ). Association for Computing Machinery. https://doi.org/10.1145/2771839.2771855
Jakobsen, K., Petersen, M. G. & Rasmussen, M. K. (2015). Framing Open-Ended and Constructive Play with Emerging Interactive Materials. 150-159. Afhandling præsenteret på Interaction Design and Children 2015, Boston, Massachusetts, USA.
Durkota, K., Lisy, V., Kiekintveld, C. & Bosansky, B. (2015). Game-Theoretic Algorithms for Optimal Nework Security Hardening Using Attack Graphs. Abstract fra International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Tyrkiet. http://www.aamas2015.com/en/AAMAS_2015_USB/aamas/p1773.pdf
Miruchna , V., Walter , R., Lindlbauer , D., Lehmann , M., Klitzing, R. V. & Müller, J. (2015). GelTouch: Localized Tactile Feedback Through Thin, Programmable Gel. I UIST '15 Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology (s. 3-10 ). Association for Computing Machinery. https://doi.org/10.1145/2807442.2807487
David, B. M., Nishimaki, R., Ranellucci, S. & Tapp, A. (2015). Generalizing Efficient Multiparty Computation. I A. Lehmann & S. Wolf (red.), Information Theoretic Security: 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings (s. 15-32 ). Springer VS. https://doi.org/10.1007/978-3-319-17470-9_2
Döttling, N., Kraschewski, D., Müller-Quade, J. & Nilges, T. (2015). General statistically secure computation with bounded-resettable hardware tokens. I Y. Dodis & J. Buus Nielsen (red.), Theory of Cryptography: 12th Theory of Cryptography Conference, TCC 2015, Warsaw, Poland, March 23-25, 2015, Proceedings, Part I (s. 319-344). Springer VS. https://doi.org/10.1007/978-3-662-46494-6_14
Son, W., Bae, S. W. & Ahn, H. K. (2015). Group nearest neighbor queries in the L1 plane. Theoretical Computer Science, 592, 39–48. https://doi.org/10.1016/j.tcs.2015.05.011
Bizjak, A., Grathwohl, H. B., Clouston, R., Birkedal, L. & Møgelberg, R. E. (2015). Guarded dependent type theory with coinductive types. I Foundations of Software Science and Computation Structures Springer. https://doi.org/10.1007/978-3-662-49630-5_2
Hansen, T. D., Kaplan, H., Tarjan, R. E. & Zwick, U. (2015). Hollow Heaps. I M. M. Halldórsson, K. Iwama, N. Kobayashi & B. Speckmann (red.), Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I (Bind Part 1, s. 689-700). Springer VS. https://doi.org/10.1007/978-3-662-47672-7_56
Bardzell, J. & Bardzell, S. (2015). Humanistic HCI. Synthesis Lectures on Human-Centered Informatics https://doi.org/10.2200/S00664ED1V01Y201508HCI031
Askarov, A., Chong, S. & Mantel, H. A. (2015). Hybrid Monitors for Concurrent Noninterference. I L. Viganò (red.), 28th IEEE Computer Security Foundations Symposium CSF 2015 : Proceedings (s. 137 - 151). IEEE Computer Society Press. https://doi.org/10.1109/CSF.2015.17
Thomas, V., Brueggemann, M. J., Feldman, D. & C02K31YADRVG (2015). I am more than the sum of my parts: an e-waste design fiction. Afhandling præsenteret på Joint Conference on 29th International Conference on Informatics for Environmental Protection / 3rd International Conference on ICT for Sustainability (EnviroInfo and ICT4S), Copenhagen, Danmark.
Merritt, T. R., Nørgaard, M., Laursen, C., Rasmussen, M. K. & Petersen, M. G. (2015). Imagined Physics: Exploring Examples of Shape-changing Interfaces. I H. Samani (red.), Cognitive Robotics (s. 89-111). CRC Press.
Nielsen, J. A. S. (2015). Implicit Data Structures, Sorting, and Text Indexing. Department of Computer Science, Aarhus University.
Hansen, T. D. & Zwick, U. (2015). Improved Version of the Random-Facet Pivoting Rule for the Simplex Algorithm. I Proceedings of the Forty-Seventh Annual ACM on Symposium on Theory of Computing, STOC '15 (s. 209-218 ). Association for Computing Machinery. https://doi.org/10.1145/2746539.2746557
Livshits, B., Sridharan, M., Smaragdakis, Y., Lhoták, O., Amaral, J. N., Chang, B.-Y. E., Guyer, S. Z., Khedker, U. P., Møller, A. & Vardoulakis, D. (2015). In Defense of Soundiness: A Manifesto. Communications of the A C M, 58(2). https://doi.org/10.1145/2644805
Tataru, P. (2015). Inference of population history and patterns from molecular data. Department of Computer Science, Aarhus University.
Eichner, C., Nocke, T., Schulz, H.-J. & Schumann, H. (2015). Interactive Presentation of Geo-Spatial Climate Data in Multi-Display Environments. ISPRS International Journal of Geo-information, 4(2), 493-514. https://doi.org/10.3390/ijgi4020493
Jung, R., Swasey, D., Sieczkowski, F., Svendsen, K., Turon, A., Birkedal, L. & Dreyer, D. (2015). Iris: Monoids and invariants as an orthogonal basis for concurrent reasoning. I S. Rajamani (red.), Conference Record of the Annual ACM Symposium on Principles of Programming Languages (s. 637-650). Association for Computing Machinery. https://doi.org/10.1145/2676726.2676980
Jensen, M. M., Rasmussen, M. K., Mueller, F. F. & Grønbæk, K. (2015). Keepin' it Real: Challenges when Designing Sports-Training Games. I B. Begole & J. Kim (red.), Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems: CHI '15 (s. 2003-2012). Association for Computing Machinery. https://doi.org/10.1145/2702123.2702243
Cramer, R., Damgård, I. B., Döttling, N. M., Fehr, S. & Spini, G. (2015). Linear secret sharing schemes from error correcting codes and universal hash functions. I E. Oswald & M. F. Fischlin (red.), Advances in Cryptology - EUROCRYPT 2015: 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II (s. 313-336). Springer VS. https://doi.org/10.1007/978-3-662-46803-6_11