Publikationer

Søg publikationer fra Institut for Datalogi

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

Yakoubov, S. (2020). Universally Composable Accumulators.

Eerikson, H., Keller, M., Orlandi, C., Pullonen, P., Puura, J. & Simkin, M. (2020). Use your brain! Arithmetic 3PC for any modulus with active security. I Y. T. Kalai, A. D. Smith & D. Wichs (red.), 1st Conference on Information-Theoretic Cryptography (ITC 2020) Artikel 5 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2020.5

Baum, C., Cozzo, D. & P. Smart, N. (2020). Using TopGear in Overdrive: A more efficient ZKPoK for SPDZ. I K. G. Paterson & D. Stebila (red.), Selected Areas in Cryptography – SAC 2019 - 26th International Conference, Revised Selected Papers: 26th International Conference, Waterloo, ON, Canada, August 12–16, 2019, Revised Selected Papers (s. 274-302). Springer. https://doi.org/10.1007/978-3-030-38471-5_12

Nielsen, B. B. & Møller, A. (2020). Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript. I 34th European Conference on Object-Oriented Programming, ECOOP 2020 Artikel 16 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2020.16

Kaspersen, M. H. & Bilstrup, K.-E. K. (2020). VotestratesML: Social Studies as a Vehicle for Teaching Machine Learning. I B. Tangney, J. R. Byrne & C. Girvan (red.), Proceedings of the 2020 Constructionism Conference (s. 44-45)

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) (Bind 2020-December)

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). Artikel 88 Association for Computing Machinery. 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 Artikel 87 Association for Computing Machinery. https://doi.org/10.1145/3419249.3420167

Ciosici, M. R. & Assent, I. (2019). Abbreviation Explorer - an interactive system for pre-evaluation of Unsupervised Abbreviation Disambiguation. I W. Ammar, A. Louis & N. Mostafazadeh (red.), NAACL HLT 2019 - 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Demonstrations Session (s. 1-5). Association for Computational Linguistics. https://aclweb.org/anthology/papers/N/N19/N19-4001/

Penninckx, W., Timany, A. & Jacobs, B. (2019). Abstract I/O Specification. ArXiv. http://arxiv.org/abs/1901.10541v1

Gregersen, S. O., Thomsen, S. E. & Askarov, A. (2019). A Dependently Typed Library for Static Information-Flow Control in IDRIS. I F. Nielson & D. Sands (red.), Principles of Security and Trust: 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (s. 51-75). Springer. https://doi.org/10.1007/978-3-030-17138-4_3

Jiang, S. & Larsen, K. G. (2019). A Faster External Memory Priority Queue with DecreaseKeys. I T. M. Chan (red.), Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms (Bind PRDA19, s. 1331-1343). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611975482.81

Abdolmaleki, B., Khoshakhlagh, H. & Slamanig, D. (2019). A Framework for UC-Secure Commitments from Publicly Computable Smooth Projective Hashing. I M. Albrecht (red.), Cryptography and Coding - 17th IMA International Conference, IMACC 2019, Proceedings (s. 1-21). Springer. https://doi.org/10.1007/978-3-030-35199-1_1

Ghosh, S. & Nilges, T. (2019). An algebraic approach to maliciously secure private set intersection. I Y. Ishai & V. Rijmen (red.), Advances in Cryptology – EUROCRYPT 2019: 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (s. 154-185). Springer VS. https://doi.org/10.1007/978-3-030-17659-4_6

Afshani, P. (2019). A new lower bound for semigroup orthogonal range searching. I G. Barequet & Y. Wang (red.), 35th International Symposium on Computational Geometry, SoCG 2019 Artikel 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2019.3

Logins, A. & Karras, P. (2019). An Experimental Study on Network Immunization. I M. Herschel, H. Galhardas, B. Reinwald, I. Fundulaki, C. Binnig & Z. Kaoudi (red.), Advances in Database Technology - EDBT 2019: 22nd International Conference on Extending Database Technology, Proceedings (s. 726-729). Artikel 391 openproceedings.org. https://doi.org/10.5441/002/edbt.2019.97

Hansen, K. A. & Raskin, M. (2019). A Stay-in-a-Set Game without a Stationary Equilibrium. I J. Leroux & J.-F. Raskin (red.), Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification (Bind 305, s. 83-90). Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/EPTCS.305.6

Ledo, D., Vermeulen, J., Carpendale, S., Greenberg, S., Oehlberg, L. & Boring, S. (2019). Astral: prototyping mobile and smart object interactive behaviours using familiar applications. I DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (s. 711-724). Association for Computing Machinery. https://doi.org/10.1145/3322276.3322329

Kristensen, E. K. (2019). Automated Techniques for Creation and Maintenance of TypeScript Declaration Files. Aarhus University.

Andersen, K. J. A. (2019). Automatic Program Verification. Aarhus University.

Jansson, J., Mampentzidis, K. & Sandhya, T. P. (2019). Building a small and informative phylogenetic supertree. I K. T. Huber & D. Gusfield (red.), 19th International Workshop on Algorithms in Bioinformatics, WABI 2019 Artikel 1 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.WABI.2019.1

Jansson, J., Mampentzidis, K. & Thekkumpadan Puthiyaveedu, S. (2019). Building a Small and Informative Phylogenetic Supertree. Abstract fra Workshop on Algorithms in Bioinformatics (WABI) 2019, Buffalo, New York, USA.

Jensen, K. & Nielsen, M. (2019). Carl Adam Petri: a tribute from Aarhus. I W. Reisig & G. Rozenberg (red.), Carl Adam Petri: ideas, personality, impact (s. 81-84). Springer. https://doi.org/10.1007/978-3-319-96154-5_10

Veje Pedersen, N., Clausen, H. S. & Dissing, C. (2019). Centralizing Pure after 15 years: Experiences forming a library specialist team. Abstract fra PURE International Conference 2019, Prag, Tjekkiet. https://app.oxfordabstracts.com/events/1125/program-app/submission/143655

Ciosici, M. R. (2019). Characterizing Word Representations For Natural Language Processing. Aarhus University.

Bassetti, C., Sciannamblo, M., Lyle, P., Teli, M., De Paoli, S. & De Angeli, A. (2019). Co-designing for common values: creating hybrid spaces to nurture autonomous cooperation. CoDesign: International Journal of CoCreation in Design and the Arts, 15(3), 256-271. https://doi.org/10.1080/15710882.2019.1637897

Mathisen, A. (2019). Collaborative Visual Analytics: Leveraging Mixed Expertise in Data Analysis. Aarhus University.

Damgård, I. B., Haagh, H., Nielsen, M. & Orlandi, C. (2019). Commodity-Based 2PC for Arithmetic Circuits. Cryptology ePrint Archive.

Damgård, I., Haagh, H., Nielsen, M. & Orlandi, C. (2019). Commodity-Based 2PC for Arithmetic Circuits. I M. Albrecht (red.), Cryptography and Coding - 17th IMA International Conference, IMACC 2019, Proceedings (s. 154-177). Springer. https://doi.org/10.1007/978-3-030-35199-1_8

Damgård, I., Larsen, K. G. & Nielsen, J. B. (2019). Communication Lower Bounds for Statistically Secure MPC, With or Without Preprocessing. I A. Boldyreva & D. Micciancio (red.), Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings (Bind II, s. 61-84). Springer. https://doi.org/10.1007/978-3-030-26951-7_3

Mampentzidis, K. (2019). Comparison and Construction of Phylogenetic Trees and Networks. Aarhus University.

Buch, J., Etches, A., Nielsen, K., Musaeus, L. H. & Hjorth, H. A. (2019). Computational Thinking i Matematik og Naturvidenskab: Evaluering af kursusforløbet efter det første gennemløb 2018-2019. Rapport udarbejdet for Danske Science Gymnasier (DASG) af Center for Computational Thinking & Design, Aarhus Universitet. https://science-gym.dk/evaluer/CTiMNAT-evaluering-20182019.pdf

Jansson, J., Mampentzidis, K., Rajaby, R. & Sung, W.-K. (2019). Computing the Rooted Triplet Distance between Phylogenetic Networks. I C. J. Colbourn, R. Grossi & N. Pisanti (red.), Combinatorial Algorithms - 30th International Workshop, IWOCA 2019, Proceedings (s. 290-303). Springer. https://doi.org/10.1007/978-3-030-25005-8_24

van de Pol, J. (2019). Concurrent algorithms and data structures for model checking. I W. Fokkink & R. van Glabbeek (red.), 30th International Conference on Concurrency Theory, CONCUR 2019 Artikel 4 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CONCUR.2019.4

Van Der Berg, F. I. & Van De Pol, J. (2019). Concurrent chaining hash maps for software model checking. I C. Barrett & J. Yang (red.), Proceedings of the 19th Conference on Formal Methods in Computer-Aided Design, FMCAD 2019 (s. 46-54). Artikel 8894279 IEEE. https://doi.org/10.23919/FMCAD.2019.8894279

Oechsner, S. (2019). Constructions and Proof Techniques for Secure Computation. Aarhus Universitet.

Larsen, K. G. (2019). Constructive Discrepancy Minimization with Hereditary L2 Guarantees. I R. Niedermeier & C. Paul (red.), 36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019) Artikel 48 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2019.48

Logins, A. & Karras, P. (2019). Content-based Network Influence Probabilities: Extraction and Application. I Proceedings - 19th IEEE International Conference on Data Mining Workshops, ICDMW 2019 (s. 69-72). Artikel 8955604 IEEE. https://doi.org/10.1109/ICDMW.2019.00020

Faonio, A., Buus Nielsen, J., Simkin, M. & Venturi, D. (2019). Continuously non-malleable codes with split-state refresh. Theoretical Computer Science, 759, 98-132. https://doi.org/10.1016/j.tcs.2018.12.028

Nielsen, M. (2019). Correlated randomness in cryptographic protocols. Aarhus Universitet.

Staer, K., Iranzo, A., Stokholm, M., Stergaard, Eroles, M., Otto, M., Svendsen, K., Pla, A., Vilas, D., Santamaria, J., Moller, A., Gaig, C., Borghammer, P., Brooks, D., Tolosa, E. & Pavese, N. (2019). Cortical cholinergic dysfunction correlates with microglial activation in the Substantia Innominata in patients with REM sleep behavior disorder. S830-S830. Abstract fra International Congress of Parkinson's Disease and Movement Disorders, Nice, Frankrig.

Brudy, F., Holz, C., Rädle, R., Wu, C. J., Houben, S., Klokmose, C. N. & Marquardt, N. (2019). Cross-device taxonomy: Survey, opportunities and challenges of interactions spanning across multiple devices. I CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3290605.3300792

Sterling, J., Angiuli, C. & Gratzer, D. (2019). Cubical syntax for reflection-free extensional equality. I H. Geuvers (red.), 4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019 Artikel 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSCD.2019.31

Takahashi, A. & Tibouchi, M. (2019). Degenerate Fault Attacks on Elliptic Curve Parameters in OpenSSL. I 2019 IEEE European Symposium on Security and Privacy (EuroS&P), Proceedings (s. 371-386). Artikel 8806763 IEEE. https://doi.org/10.1109/EuroSP.2019.00035

Hsieh, Y. T., Jylhä, A., Orso, V., Andolina, S., Hoggan, E., Gamberini, L. & Jacucci, G. (2019). Developing hand-worn input and haptic support for real-world target finding. Personal and Ubiquitous Computing, 23(1), 117-132. https://doi.org/10.1007/s00779-018-1180-z

Evangelista Belo, J. M., Fender, A., Feuchtner, T. & Grønbæk, K. (2019). Digital Assistance for Quality Assurance: Augmented Workspaces Using Deep Learning for Tracking Near-Symmetrical Objects. I ISS 2019 - Proceedings of the 2019 ACM International Conference on Interactive Surfaces and Spaces (s. 275-287). Association for Computing Machinery. https://doi.org/10.1145/3343055.3359699

Grønbæk, K., Alstrup, S., Larsen, K. G., Caspersen, M. E., Madsen, O. L., Herping Ellegaard, L. & Rasmussen, B. (2019). Digitalisering og it-uddannelser – ryd op i begreberne! Teknologiens Mediehus. https://www.version2.dk/blog/digitalisering-it-uddannelser-ryd-begreberne-1089608

Bødker, S., Hoggan, E., Jensen, M. M., Klokmose, C. N., Rädle, R. & Thiel, S.-K. (2019). Digitizing sticky notes. I B. Christensen, K. Halskov & C. Klokmose (red.), Sticky Creativity: Post-it Note Cognition, Computers, and Design (s. 103-123). Elsevier. https://doi.org/10.1016/B978-0-12-816566-9.00005-7

Andersen, K. J. A. & Sergey, I. (2019). Distributed Protocol Combinators. I J. J. Alferes & M. Johansson (red.), Practical Aspects of Declarative Languages - 21st International Symposium, PADL 2019, Proceedings: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings (1 udg., Bind 11372, s. 169-186). Springer VS. https://doi.org/10.1007/978-3-030-05998-9_11

Van Oosterhout, A., Hoggan, E., Rasmussen, M. K. & Bruns, M. (2019). DynaKnob: Combining haptic force feedback and shape change. I DIS 2019 - Proceedings of the 2019 ACM Designing Interactive Systems Conference (s. 963-974). Association for Computing Machinery. https://doi.org/10.1145/3322276.3322321

Viser resultater 1401 til 1450 ud af 6073

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series