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

Hansen, K. A. & Sølvsten, S. C. (2020). ∃R-completeness of stationary nash equilibria in perfect information stochastic games. I J. Esparza & D. Král (red.), 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 (s. 45:1-45:15). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs Bind 170 https://doi.org/10.4230/LIPIcs.MFCS.2020.45

Borchorst, N. G. & Bødker, S. (2011). “You probably shouldn’t give them too much information” – Supporting Citizen-Government Collaboration. I S. Bødker, N. O. Bouvin, W. Lutters, V. Wulf & L. Ciolfi (red.), ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work (s. 173-192). Springer. https://doi.org/10.1007/978-0-85729-913-0_10

Jetter, H-C., Rädle, R., Feuchtner, T., Anthes, C., Friedl, J. & Klokmose, C. N. (2020). “In VR, everything is possible!”: Sketching and Simulating Spatially-Aware Interactive Spaces in Virtual Reality. I CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems [523] Association for Computing Machinery. https://doi.org/10.1145/3313831.3376652

Sand, A., Kristiansen, M., Pedersen, C. N. S. & Mailund, T. (2013). zipHMMlib: a highly optimised HMM library exploiting repetitions in the input to speed up the forward algorithm. BMC Bioinformatics , 14(339), 339-348. https://doi.org/10.1186/1471-2105-14-339

Sand, A., Holt, M. K., Johansen, J., Brodal, G. S., Mailund, T. & Pedersen, C. N. S. (2014). tqDist: A Library for Computing the Quartet and Triplet Distances Between Binary and General Trees. Bioinformatics, 30(4), 2079-2080. https://doi.org/10.1093/bioinformatics/btu157

Rasmussen, T. A., Stensgaard, A., Winding, T. & Merritt, T. R. (2021). scrAPP: Enabling Reuse of Scrap Materials with a Smartphone. I MobileHCI 2021: Adjunct Publication of the 23rd International Conference on Mobile Human-Computer Interaction (s. 1-6). [10] Association for Computing Machinery. https://doi.org/10.1145/3447527.3474856

Juul, M., Madsen, T., Guo, Q., Bertl, J., Hobolth, A., Kellis, M. & Pedersen, J. S. (2019). ncdDetect2: Improved models of the site-specific mutation rate in cancer and driver detection with robust significance evaluation. Bioinformatics, 35(2), 189-199. https://doi.org/10.1093/bioinformatics/bty511

Yang, B., Fantini, E. N. & Jensen, C. S. (2013). iPark: Identifying Parking Spaces from Trajectories. I G. Guerrini & N. W. Paton (red.), Proceedings of The 16th International Conference on Extending Database Technology: EDBT 2013 (s. 705-708 ). Association for Computing Machinery. https://doi.org/10.1145/2452376.2452459

Tataru, P., Nirody, J. A. & Song, Y. S. (2014). diCal-IBD: demography-aware inference of identity-by-descent tracts in unrelated individuals. Bioinformatics, 30(23), 3430-3431. https://doi.org/10.1093/bioinformatics/btu563

Rasmussen, T. (Accepteret/In press). authAR - Automatic Authoring of Picking and Layout Optimization. Paper præsenteret ved OzCHI 2022, Canberra, Australien.

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

Jawurek, M., Kerschbaum, F. & Orlandi, C. (2013). Zero-knowledge using garbled circuits: Or how to prove non-algebraic statements efficiently. I A-R. Sadeghi , V. Gligor & M. Yung (red.), Proceedings of the ACM Conference on Computer and Communications Security, CCS '13 (s. 955-966). Association for Computing Machinery. Proceedings of the ACM Conference on Computer and Communications Security https://doi.org/10.1145/2508859.2516662

Campanelli, M., Engelmann, F. & Orlandi, C. (2022). Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers. I C. Galdi & S. Jarecki (red.), Security and Cryptography for Networks (s. 761-784). Springer. Lecture Notes in Computer Science Bind 13409 https://doi.org/10.1007/978-3-031-14791-3_33

Pastro, V. (2013). Zero-Knowledge Protocols and Multiparty Computation. Department of Computer Science, Aarhus University.

Damgård, I. B. & López-Alt, A. (2012). Zero-Knowledge Proofs with Low Amortized Communication from Lattice Assumptions. Lecture Notes in Computer Science, 7485, 38-56 . https://doi.org/10.1007/978-3-642-32928-9_3

Benarroch, D., Campanelli, M., Fiore, D., Gurkan, K. & Kolonelos, D. (2021). Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular. I N. Borisov & C. Diaz (red.), Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part I (s. 393-414). Springer. Lecture Notes in Computer Science Bind 12674 https://doi.org/10.1007/978-3-662-64322-8_19

Giacomelli, I., Madsen, J. & Orlandi, C. (2016). ZKBoo: Faster Zero-Knowledge for Boolean Circuits. I 25th USENIX Security Symposium : (USENIX Security 16) (s. 1069-1083). USENIX - The Advanced Computing Systems Association. https://www.usenix.org/system/files/conference/usenixsecurity16/sec16_paper_giacomelli.pdf

Cino, D., Brandsen, S., Bressa, N. A., Mascheroni, G., Eriksson, E. & Zaman, B. (2022). Young People’s Digital Skills Practices in Non-formal Learning Contexts: observations, interviews, co-design. (Deliverable 6.2). University of Leuven.

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 (Bind 10992, s. 799-829). Springer VS. Lecture Notes in Computer Science (LNCS) Nr. 10992 https://doi.org/10.1007/978-3-319-96881-0_27

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. Lecture Notes in Computer Science (LNCS) Nr. 10992 https://doi.org/10.1007/978-3-319-96881-0_18

Gentry, C., Halevi, S., Krawczyk, H., Magri, B., Nielsen, J. B., Rabin, T. & Yakoubov, S. (2021). YOSO: You Only Speak Once: Secure MPC with Stateless Ephemeral Roles. I T. Malkin & C. Peikert (red.), Advances in Cryptology – CRYPTO 2021: Annual International Cryptology Conference (s. 64-93). Springer. Lecture Notes in Computer Science Bind 12826 https://doi.org/10.1007/978-3-030-84245-1_3

Evangelista Belo, J. M., Feit, A. M., Feuchtner, T. & Grønbæk, K. (2021). XRgonomics: Facilitating the Creation of Ergonomic 3D Interfaces. I Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (s. 1-11). [290] Association for Computing Machinery. https://doi.org/10.1145/3411764.3445349

Hansen, T. D. (2012). Worst-case Analysis of Strategy Iteration and the Simplex Method. Aarhus Universitet, Datalogisk Institut.

Aslay, C., Ciaperoni, M., Gionis, A. & Mathioudakis, M. (2021). Workload-aware materialization for efficient variable elimination on Bayesian networks. I 2021 IEEE 37th International Conference on Data Engineering (ICDE) (s. 1152-1163). IEEE. https://doi.org/10.1109/ICDE51399.2021.00104

Ciaperoni, M., Aslay, C., Gionis, A. & Mathioudakis, M. (2022). Workload-Aware Materialization of Junction Trees. I Proceedings of the 25th International Conference on Extending Database Technology (s. 65-77). Universität Konstanz. https://doi.org/10.5441/002/edbt.2022.06

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 [39] Association for Computing Machinery. https://doi.org/10.1145/3209281.3209315

Bøgh, K. S., Chester, S. & Assent, I. (2015). Work-Efficient Parallel Skyline Computation for the GPU. Proceedings of the VLDB Endowment, 8(9), 962-973. https://doi.org/10.14778/2777598.2777605

Duckert, M., Hoggan, E., Barkhuus, L., Bjørn, P., Boulus-Rodje, N., Bødker, S., Møller, N. H. & Shklovski, I. (2022). Work of the Future. I Participative Computing for Sustainable Futures: Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) [3] Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3547522.3547707

Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Porat, E. (2014). Word-packing Algorithms for Dynamic Connectivity and Dynamic Sets. (1407.6755v1 udg.) arXiv.org. http://arxiv.org/abs/1407.6755v1

Eriksson, E., Iversen, O. S., Baykal, G. E., Van Mechelen, M., Smith, R. C., Wagner, M-L., Fog, B. V., Klokmose, C. N., Cumbo, B., Hjorth, H. A., Musaeus, L. H., Petersen, M. G. & Bouvin, N. O. (2019). Widening the Scope of FabLearn Research: Integrating Computational Thinking, Design and Making. Paper præsenteret ved Fablearn Europe 2019, Oulu, Finland. https://doi.org/10.1145/3335055.3335070

Klokmose, C. N., Korn, M. & Blunck, H. (2014). WiFi proximity detection in mobile web applications. I EICS 2014 - Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (s. 123-128). Association for Computing Machinery. https://doi.org/10.1145/2607023.2610281

Salgado, M. & Saad-Sulonen, J. (2016). Who needs us? Inquiring into the participatory practices of others and what it means for participatory designers. Paper præsenteret ved International European Academy of Design Conference, Paris, Frankrig.

Mathiasen, N. R. (2012). While Working Around Security. Department of Computer Science, Aarhus University.

Zagermann, J., Pfeil, U., Rädle, R., Jetter, H-C., Klokmose, C. N. & Reiterer, H. (2016). When Tablets meet Tabletops: The Effect of Tabletop Size on Around-the-Table Collaboration with Personal Tablets. I CHI '16: Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (s. 5470-5481). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858224

Horelli, L., Saad-Sulonen, J., Wallin, S. & Botero, A. (2015). When Self-Organization intersects with Urban Planning: Two Cases from Helsinki. Planning Practice and Research, 30(3), 286. https://doi.org/10.1080/02697459.2015.1052941

Scholl, P., Smart, N. P. & Wood, T. (2017). When It’s All Just Too Much: Outsourcing MPC-Preprocessing. I M. O'Neill (red.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (Bind 10655, s. 77-99). Springer VS. Lecture Notes in Computer Science Bind 10655 https://doi.org/10.1007/978-3-319-71045-7_4

Bressa, N. A., Korsgaard, H., Tabard, A., Houben, S. & Vermeulen, J. (2022). What's the Situation with Situated Visualization? A Survey and Perspectives on Situatedness. 107-117. https://doi.org/10.1109/TVCG.2021.3114835

Lyle, P., Korsgaard, H. & Bødker, S. (2020). What's in an Ecology? A Review of Artifact, Communicative, Device and Information Ecologies. I NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society (s. 1-14). [88] Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3419249.3420185

Bødker, S., Lewkowicz, M. & Boden, A. (2020). What's in a word? Platforms Supporting the Platform Economy. I NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society [87] Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3419249.3420167

Bødker, S., Korsgaard, H. & Lyle, P. (2021). What's in a Pattern: A Vocabulary to Articulate Group Routines and Practices. I F. Cech & S. Farnham (red.), C&T '21: Proceedings of the 10th International Conference on Communities & Technologies - Wicked Problems in the Age of Tech (s. 179-190). Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3461564.3461570

Gao, X. A. G., Zhang, J. & Chen, Y. (2013). What you jointly know determines how you act: Strategic interactions in prediction markets. I Proceedings of of the fourteenth ACM Conference on Electronic Commerce, EC '13 (s. 489-506). Association for Computing Machinery. https://doi.org/10.1145/2482540.2482592

Hornbæk, K., Oulasvirta, A., Reeves, S. & Bødker, S. (2015). What to Study in HCI? I B. Begole & J. Kim (red.), Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (s. 2385-2388). Association for Computing Machinery. https://doi.org/10.1145/2702613.2702648

Mathiasen, A., Hvilshøj, F., Jørgensen, J. R., Nasery, A. & Mottin, D. (2020). What if Neural Networks had SVDs? I H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan & H. Lin (red.), Advances in Neural Information Processing Systems 33 pre-proceedings (NeurIPS 2020)

Eagan, J. R., Lecolinet, E. & Klokmose, C. N. (2013). What are Applications in Multi-Surface Environments. Paper præsenteret ved POWERWALL, Paris, Frankrig. http://www.powerwall.mdx.ac.uk/papers/POWERWALL-Eagan.pdf

Madsen, O. L. & Møller-Pedersen, B. (2022). What Object-Oriented Programming Was Supposed to Be: Two Grumpy Old Guys’ Take on Object-Oriented Programming . I Onward! 2022: Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (s. 220–239). Association for Computing Machinery. https://doi.org/10.1145/3563835.3568735

Ganesh, C., Khoshakhlagh, H., Kohlweiss, M., Nitulescu, A. & Zając, M. (2022). What Makes Fiat–Shamir zkSNARKs (Updatable SRS) Simulation Extractable? I C. Galdi & S. Jarecki (red.), Security and Cryptography for Networks (s. 735-760). Springer. Lecture Notes in Computer Science Bind 13409 https://doi.org/10.1007/978-3-031-14791-3_32

Brewster, S. & Bødker, S. (2013). Welcome to CHI 2013! Conference on Human Factors in Computing Systems - Proceedings, 2013-April, vii.

Babai, L., Hansen, K. A., Podolskii, V. V. & Sun, X. (2021). Weights of exact threshold functions. Izvestiya: Mathematics, 85(6), 1039-1059. https://doi.org/10.1070/IM9113

Ackerman, M., Ben-David, S., Branzei, S. & Loker, D. (2012). Weighted Clustering. I Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (s. 858-863). AAAI Press.

Kamp, S. H., Magri, B., Matt, C., Nielsen, J. B., Thomsen, S. E. & Tschudi, D. (2021). Weight-Based Nakamoto-Style Blockchains. I P. Longa & C. Ràfols (red.), Progress in Cryptology – LATINCRYPT 2021: 7th International Conference on Cryptology and Information Security in Latin America Bogotá, Colombia, October 6–8, 2021, Proceedings (s. 299-319). Springer International Publishing. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-030-88238-9_15

Viser resultater 1 til 50 ud af 2456

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series