Publikationer

Søg publikationer fra Institut for Datalogi

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

Remy, C., Bates, O., Thomas, V. J. & Broadbent, M. (2018). "Sustainability... it's just not important": The Challenges of Academic Engagement with Diverse Stakeholders. I B. Penzenstadler, S. Easterbrook, C. Venters & S. I. Ahmed (red.), ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability (Bind 52, s. 316-331). easychair. https://doi.org/10.29007/kln5

Bødker, S., Larsen-Ledet, I., Roque, L. & Thomas, V. J. (2018). Taming a Run-Away Object: How to Maintain and Extend Human Control in Human-Computer Interaction?. 1-6. Afhandling præsenteret på 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, Canada. https://ex-situ.lri.fr/content/7-workshops/2-rethinkinginteraction-18/1-papers/bodker-taming-a-runaway-object.pdf

Wang, X., Deng, K., Li, J., Yu, J. X., Jensen, C. S. & Yang, X. (2018). Targeted influence minimization in social networks. I G. I. Webb, D. Phung, M. Ganji, L. Rashidi, V. S. Tseng & B. Ho (red.), Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Proceedings (s. 689-700). Springer. https://doi.org/10.1007/978-3-319-93040-4_54

Møller, A. (2018). Technical Perspective: WebAssembly: A Quiet Revolution of the Web. Communications of the A C M, 61(12), 106-106. https://doi.org/10.1145/3282508

Hansen, K. A., Ibsen-Jensen, R. & Neyman, A. (2018). The Big Match with a Clock and a Bit of Memory. I É. Tardos, E. Elkind & R. Vohra (red.), ACM EC 2018 - Proceedings of the 2018 ACM Conference on Economics and Computation (s. 149-150). Association for Computing Machinery. https://doi.org/10.1145/3219166.3219198

Jensen, C. (red.), Lind Olsen, E. (red.), Mikkelsen, G. L., Syberg , L., Nielsen, L. L., Hansen, M. A. E., Hjortlund, M., Madsen, O. L., Høngaard Andersen, P. & Duvold, T. (2018). The future market for cybersecurity in Denmark.

Bates, O., Thomas, V., Remy, C., Nathan, L. P., Mann, S. & Friday, A. (2018). The future of HCI and sustainability: Championing environmental and social justice. I R. Mandryk & M. Hancock (red.), CHI EA '18 Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (Bind 2018-April). Artikel SIG01 Association for Computing Machinery. https://doi.org/10.1145/3170427.3185365

Madsen, O. L. & Møller-Pedersen, B. (2018). This is not a Model: On development of a common terminology for modeling and programming. I T. Margaria & B. Steffen (red.), Leveraging applications of formal methods, verification and validation (Bind I, s. 206-224). Springer. https://doi.org/10.1007/978-3-030-03418-4_13

Grønlund, A. & Pettie, S. (2018). Threesomes, degenerates, and love triangles. Journal of the ACM, 65(4), Artikel 22. https://doi.org/10.1145/3185378

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). TinyKeys: A New Approach to Efficient Multi-Party Computation. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings (Bind 10993, s. 3-33). Springer VS. https://doi.org/10.1007/978-3-319-96878-0_1

LaVigne, R., Liu-Zhang, C.-D., Maurer, U. M., Moran, T., Mularczyk, M. & Tschudi, D. (2018). Topology-Hiding Computation Beyond Semi-Honest Adversaries. I A. Beimel & S. Dziembowski (red.), Theory of Cryptography - 16th International Conference, TCC 2018, Proceedings: Theory of Cryptography (Bind 11240, s. 3-35). Springer VS. https://doi.org/10.1007/978-3-030-03810-6_1

Baum, C., Lin, H. & Oechsner, S. (2018). Towards Practical Lattice-Based One-Time Linkable Ring Signatures. I D. Naccache, S. Xu, S. Qing, P. Samarati, G. Blanc, R. Lu, Z. Zhang & A. Meddahi (red.), Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings: ICICS 2018 (Bind 11149, s. 303-322). Springer VS. https://doi.org/10.1007/978-3-030-01950-1_18

Abdul, A., Vermeulen, J., Wang, D., Lim, B. Y. & Kankanhalli, M. (2018). Trends and Trajectories for Explainable, Accountable and Intelligible Systems: An HCI Research Agenda. I R. Mandryk & M. Hancock (red.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (s. 582:1-582:18). Association for Computing Machinery. https://doi.org/10.1145/3173574.3174156

Mezzetti, G., Møller, A. & Torp, M. T. (2018). Type Regression Testing to Detect Breaking Changes in Node.js Libraries. I T. D. Millstein (red.), 32nd European Conference on Object-Oriented Programming, ECOOP 2018 (Bind 109, s. 7:1-7:24). Artikel 7 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2018.7

Thiel, S. K. (2018). Uncovering the influence of game components on creativity. I CHI PLAY 2018 - Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts (s. 637-645). Association for Computing Machinery. https://doi.org/10.1145/3270316.3271515

Clifford, R., Grønlund, A., Larsen, K. G. & Starikovskaya, T. (2018). Upper and lower bounds for dynamic data structures on strings. I R. Niedermeier & B. Vallée (red.), 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018 (Bind 96, s. 22:1-22:14). Artikel 22 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2018.22

Enni, S. & Assent, I. (2018). Using Balancing Terms to Avoid Discrimination in Classification. I 2018 IEEE International Conference on Data Mining, ICDM 2018 (s. 947-952). Artikel 8594925 IEEE Press. https://doi.org/10.1109/ICDM.2018.00116

Fender, A. & Müller, J. (2018). Velt: A Framework for Multi RGB-D Camera Systems. I Proceedings of the 2018 ACM International Conference on Interactive Surfaces and Spaces (s. 73-83). Association for Computing Machinery. https://doi.org/10.1145/3279778.3279794

Tsitsulin, A., Mottin, D., Karras, P. & Müller, E. (2018). VERSE: Versatile Graph Embeddings from Similarity Measures. I P.-A. Champin, F. Gandon & L. Médini (red.), The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018: WWW '18 (s. 539-548). Association for Computing Machinery. https://doi.org/10.1145/3178876.3186120

Bardam, S. K., Mathisen, A., Rädle, R., Klokmose, C. N. & Elmqvist, N. (2018). Vistrates: A Component Model for Ubiquitous Analytics. IEEE Transactions on Visualization and Computer Graphics, 25(1), 586-596. Artikel 8440803. https://doi.org/10.1109/TVCG.2018.2865144

Korsgaard, H., Thiel, S. K., Thomas, V. & Ertiö, T. (2018). Working across boundaries in smart city research. I C. C. Hinnant & A. Zuiderwijk (red.), Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age Artikel 39 Association for Computing Machinery. https://doi.org/10.1145/3209281.3209315

Larsen, K. G. & Nielsen, J. B. (2018). Yes, There is an Oblivious RAM Lower Bound! I H. Shacham & A. Boldyreva (red.), Advances in Cryptology -- CRYPTO 2018 (s. 523-542). Springer VS. https://doi.org/10.1007/978-3-319-96881-0_18

Damgård, I., Orlandi, C. & Simkin, M. (2018). Yet Another Compiler for Active Security or: Efficient MPC Over Arbitrary Rings. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings (Bind 10992, s. 799-829). Springer VS. https://doi.org/10.1007/978-3-319-96881-0_27

Fuchsbauer, G., Gay, R., Kowalczyk, L. & Orlandi, C. (2017). Access Control Encryption for Equality, Comparison, and More. I S. Fehr (red.), Public-Key Cryptography – PKC 2017 - 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings: 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part II (Bind 10175, s. 88-118). Springer VS. https://doi.org/10.1007/978-3-662-54388-7_4

Jafargholi, Z., Scafuro, A. & Wichs, D. (2017). Adaptively Indistinguishable Garbled Circuits. I Y. Kalai & L. Reyzin (red.), Theory of Cryptography - 15th International Conference, TCC 2017, Proceedings (Bind 10678, s. 40-71). Springer VS. https://doi.org/10.1007/978-3-319-70503-3

Bringmann, K., Grønlund, A. & Larsen, K. G. (2017). A Dichotomy for Regular Expression Membership Testing. I Proceedings - 58th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2017 (s. 307-318). Artikel 8104068 IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2017.36

Leppälä, K., Nielsen, S. & Mailund, T. (2017). admixturegraph: an R package for admixture graph manipulation and fitting. Bioinformatics (Online), 33(11), 1738-1740. https://doi.org/10.1093/bioinformatics/btx048

Coron, J.-S. & Nielsen, J. B. (red.) (2017). Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I. I J.-S. Coron & J. Buus Nielsen (red.), Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part I (Bind 10210). Springer VS. https://doi.org/10.1007/978-3-319-56620-7

Coron, J.-S. & Nielsen, J. B. (red.) (2017). Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II. I J.-S. Coron & J. Buus Nielsen (red.), Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part II (Bind 10211). Springer VS. https://doi.org/10.1007/978-3-319-56614-6

Coron, J.-S. & Nielsen, J. B. (red.) (2017). Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III. I J.-S. Coron & J. Buus Nielsen (red.), Advances in Cryptology – EUROCRYPT 2017: 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 – May 4, 2017, Proceedings, Part III (Bind 10212). Springer VS. https://doi.org/10.1007/978-3-319-56617-7

Bouros, P. & Mamoulis, N. (2017). A Forward Scan based Plane Sweep Algorithm for Parallel Interval Joins. Proceedings of the VLDB Endowment, 10(11), 1346-1357. https://doi.org/10.14778/3137628.3137644

David, B. M. (2017). A Framework For Efficient Homomorphic Universally Composable Commitments. Department of Computer Science, University of Aarhus.

Raskin, M. (2017). A linear lower bound for incrementing a space-optimal integer representation in the bit-probe model. I I. Chatzigiannakis, P. Indyk, F. Kuhn & A. Muscholl (red.), 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017 (Bind 80, s. 88:1--88:12). Artikel 88 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2017.88

The Baboon Genome Analysis Consortium (2017). Alu insertion polymorphisms as evidence for population structure in baboons. Genome Biology and Evolution, 9(9), 2418-2427. https://doi.org/10.1093/gbe/evx184

Cramer, R., Damgård, I., Xing, C. & Yuan, C. (2017). Amortized complexity of zero-knowledge proofs revisited: Achieving linear soundness slack. I J.-S. Coron & J. Buus Nielsen (red.), Advances in Cryptology – EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (Bind 10210, s. 479-500). Springer VS. https://doi.org/10.1007/978-3-319-56620-7_17

Trifiletti, R. (2017). Amortizing Maliciously Secure Two-party Computation. Department of Computer Science, Aarhus University.

Afshani, P., De Berg, M., Casanova, H., Karsin, B., Lambrechts, C., Sitchinava, N. & Tsirogiannis, C. (2017). An efficient algorithm for the 1D total visibility-index problem. I S. Fekete & V. Ramachandran (red.), 2017 Proceedings of the Ninteenth Workshop on Algorithm Engineering and Experiments (ALENEX) (Bind PRAL17, s. 218-231). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611974768.18

Fauzi, P., Lipmaa, H., Siim, J. & Zajac, M. (2017). An Efficient Pairing-Based Shuffle Argument. I T. Takagi & T. Peyrin (red.), Advances in Cryptology – ASIACRYPT 2017 - 23rd International Conference on the Theory and Applications of Cryptology and Information Security, Proceedings (s. 97-127). Springer VS. https://doi.org/10.1007/978-3-319-70697-9_4

Hoggan, E., Hsieh, Y.-T., Myllymaa, K., Lantz, V., Kildal, J., Eiler, J. & Jacucci, G. (2017). An Exploration of Mobile Shape-Changing Textures. I TEI 2017 - Proceedings of the 11th International Conference on Tangible, Embedded, and Embodied Interaction: TEI '17 (s. 275-282). Association for Computing Machinery. https://doi.org/10.1145/3024969.3024983

Krogh-Jespersen, M., Svendsen, K. & Birkedal, L. (2017). A relational model of types-and-effects in higher-order concurrent separation logic. I POPL 2017 - Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages: POPL 2017 (s. 218-231). Association for Computing Machinery. https://doi.org/10.1145/3009837.3009877

Spencer, B., Benedikt, M., Møller, A. & Breugel, F. V. (2017). ArtForm: A Tool for Exploring the Codebase of Form-based Websites. I K. Sen & T. Bultan (red.), ISSTA 2017 - Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (s. 380-383). Association for Computing Machinery. https://doi.org/10.1145/3092703.3098226

Berglin, E. & Brodal, G. S. (2017). A simple greedy algorithm for dynamic graph orientation. I Y. Okamoto & T. Tokuyama (red.), 28th International Symposium on Algorithms and Computation (ISAAC 2017) (s. 12:1-12:12). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ISAAC.2017.12

Sonne, T. (2017). Assistive Technologies to Empower Children with ADHD: Conceptual Framework and Technological Solutions. Århus Universitet.

Mathisen, A., Krogh Sørensen, S., Stisen, A., Blunck, H. & Grønbæk, K. (2017). A Study on the Impact of Indoor Positioning Performance on Activity Recognition Applications. I 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2017 (s. 58-67). Association for Computing Machinery. https://doi.org/10.1145/3144457.3144501

Andreasen, E., Gong, L., Møller, A., Pradel, M., Selakovic, M., Sen, K. & Staicu, C.-A. (2017). A Survey of Dynamic Analysis and Test Generation for JavaScript. A C M Computing Surveys, 50(5), 66:1-66:36. Artikel 66. https://doi.org/10.1145/3106739

Dowsley, R., Michalas, A., Nagel, M. & Paladi, N. (2017). A survey on design and implementation of protected searchable data in the cloud. Computer Science Review, 26(Supplement C), 17 - 30. https://doi.org/10.1016/j.cosrev.2017.08.001

Tomlein, M. & Grønbæk, K. (2017). A Visual Programming Approach Based on Domain Ontologies for Configuring Industrial IoT Installations. I Proceedings of the 7th International Conference on the Internet of Things, IoT 2017 Artikel 9 Association for Computing Machinery. https://doi.org/10.1145/3131542.3131552

Jafargholi, Z., Kamath, C., Klein, K., Komargodski, I., Pietrzak, K. & Wichs, D. (2017). Be Adaptive, Avoid Overcommitting. I J. Katz & H. Shacham (red.), Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Bind 10401, s. 133-163). Springer VS. https://doi.org/10.1007/978-3-319-63688-7_5

Krarup Hansen, T., Winther Jensen, J., Grønbæk, K. & Obel, C. M. (2017). Big data i sundhed rammer de svageste. Politiken, kroniken, 7-8. http://politiken.dk/debat/kroniken/art5954529/Big-Data-i-sundhed-rammer-de-svageste

Damgård, I., Faust, S., Mukherjee, P. & Venturi, D. (2017). Bounded Tamper Resilience: How to Go Beyond the Algebraic Barrier. Journal of Cryptology, 30(1), 152-190. https://doi.org/10.1007/s00145-015-9218-0

Viser resultater 1351 til 1400 ud af 2901

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series