Publikationer

Søg publikationer fra Institut for Datalogi

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

Jafargholi, Z. & Oechsner, S. (2020). Adaptive Security of Practical Garbling Schemes. I K. Bhargavan, E. Oswald & M. Prabhakaran (red.), Progress in Cryptology – INDOCRYPT 2020 - 21st International Conference on Cryptology in India 2020, Proceedings: INDOCRYPT 2020 (s. 741-762). Springer VS. https://doi.org/10.1007/978-3-030-65277-7_33

Petersen, M. G., Rasmussen, M. K. & Trettvik, J. (2020). Affordances of Shape-Changing Interfaces: An Information Perspective on transformability and Movement. I DIS 2020 - Proceedings of the 2020 ACM Designing Interactive Systems Conference (s. 1959-1971). Association for Computing Machinery. https://doi.org/10.1145/3357236.3395521

Dinsdale-Young, T., Magri, B., Matt, C., Nielsen, J. B. & Tschudi, D. (2020). Afgjort: A partially synchronous finality layer for blockchains. I C. Galdi & V. Kolesnikov (red.), Security and Cryptography for Networks (s. 24-44). Springer. https://doi.org/10.1007/978-3-030-57990-6_2

Schulz, H.-J., Röhlig, M., Nonnemann, L., Hogräfer, M., Aehnelt, M., Urban, B. & Schumann, H. (2020). A Layered Approach to Lightweight Toolchaining in Visual Analytics. I A. P. Cláudio, K. Bouatouch, M. Chessa, A. Paljic, A. Kerren, C. Hurter, A. Tremeau & G. M. Farinella (red.), Computer Vision, Imaging and Computer Graphics Theory and Applications : 14th International Joint Conference, VISIGRAPP 2019, Revised Selected Papers (s. 313-337). Springer. https://doi.org/10.1007/978-3-030-41590-7_13

Simkin, M. (2020). Alice, Bits, and Bob.

Afshani, P., van Duijn, I., Killmann, R. & Nielsen, J. S. (2020). A lower bound for jumbled indexing. I S. Chawla (red.), Proceedings of the 2020 ACM-SIAM Symposium on Discrete Algorithms (s. 592-606). Association for Computing Machinery. https://doi.org/10.1137/1.9781611975994.36

Cheng, J. Y. & Mailund, T. (2020). Ancestral population genomics with Jocx, a coalescent hidden markov model. I J. Y. Dutheil (red.), Statistical population genomics (s. 167-189). Humana Press. https://doi.org/10.1007/978-1-0716-0199-0_8

Krogh-Jespersen, M., Timany, A., Ohlenbusch, M. E., Gregersen, S. O. & Birkedal, L. (2020). Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. I P. Müller (red.), Programming Languages and Systems- 29th European Symposium on Programming ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings (s. 336-365). Springer. https://doi.org/10.1007/978-3-030-44914-8_13

Huang, D., Morrisett, G. & Spitters, B. (2020). Application of Computable Distributions to the Semantics of Probabilistic Programs. I G. Barthe, J.-P. Katoen & A. Silva (red.), Foundations of Probabilistic Programming (s. 75-120). Cambridge University Press. https://doi.org/10.1017/9781108770750

Huang, D., Morrisett, G. & Spitters, B. (2020). Application ofComputable Distributions to the Semantics of Probabilistic Programs. I Foundations of Probabilistic Programming (s. 75-120). Cambridge University Press. https://doi.org/10.1017/9781108770750.004

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2020). A Principled Approach to Selective Context Sensitivity for Pointer Analysis. ACM Transactions on Programming Languages and Systems, 42(2), Artikel 10. https://doi.org/10.1145/3381915

Neerbek, J., Eskildsen, M., Dolog, P. & Assent, I. (2020). A real-world data resource of complex sensitive sentences based on documents from the Monsanto trial. I N. Calzolari, F. Bechet, P. Blache, K. Choukri, C. Cieri, T. Declerck, S. Goggi, H. Isahara, B. Maegaard, J. Mariani, H. Mazo, A. Moreno, J. Odijk & S. Piperidis (red.), LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings (s. 1258-1267). European Language Resources Association.

Farr-Wharton, G., Osadchiy, T. & Lyle, P. J. (2020). Are You Buying Food Waste? The roles technologies can play in (re)designing the food retail experience. I C. Reynolds, T. Soma, C. Spring & J. Lazell (red.), Routledge Handbook of Food Waste (s. 471-482). Routledge. https://doi.org/10.4324/9780429462795

Madsen, M., Lhoták, O. & Tip, F. (2020). A Semantics for the Essence of React. I R. Hirschfeld & T. Pape (red.), 34th European Conference on Object-Oriented Programming (ECOOP 2020) (Bind 166, s. 12:1-12:26). Artikel 12 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2020.12

Reinhard, T., Timany, A. & Jacobs, B. (2020). A separation logic to verify termination of busy-waiting for abrupt program exit. I FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs (s. 26-32). Association for Computing Machinery. https://doi.org/10.1145/3427761.3428345

Reinhard, T., Timany, A. & Jacobs, B. (2020). A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit: Technical Report.

Reinhard, T., Timany, A. & Jacobs, B. (2020). A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit.

Berglin, E. & Brodal, G. S. (2020). A Simple Greedy Algorithm for Dynamic Graph Orientation. Algorithmica, 82(2), 245-259. https://doi.org/10.1007/s00453-018-0528-0

Freksen, C. B. (2020). A Song of Johnson and Lindenstrauss. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Engemann, K., Svenning, J. C., Arge, L., Brandt, J., Erikstrup, C., Geels, C., Hertel, O., Mortensen, P. B., Plana-Ripoll, O., Tsirogiannis, C., Sabel, C. E., Sigsgaard, T. & Pedersen, C. B. (2020). Associations between growing up in natural environments and subsequent psychiatric disorders in Denmark. Environmental Research, 188, Artikel 109788. https://doi.org/10.1016/j.envres.2020.109788

Abspoel, M., Cramer, R., Damgård, I., Escudero, D., Rambaud, M., Xing, C. & Yuan, C. (2020). Asymptotically Good Multiplicative LSSS over Galois Rings and Applications to MPC over Z/pkZ. I S. Moriai & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings (Bind III, s. 151-180). Springer. https://doi.org/10.1007/978-3-030-64840-4_6

Oortwijn, W., Huisman, M., Joosten, S. J. C. & van de Pol, J. (2020). Automated verification of parallel nested DFS. I A. Biere & D. Parker (red.), Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part I (s. 247-265). Springer. https://doi.org/10.1007/978-3-030-45190-5_14

Mathiasen, A. & Hvilshøj, F. (2020). Backpropagating through Fréchet Inception Distance.

Nouwens, M., Borowski, M., Fog, B. V. & Klokmose, C. N. (2020). Between Scripts and Applications: Computational Media for the Frontier of Nanoscience. I CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376287 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376287

Han, W. & Schulz, H.-J. (2020). Beyond Trust Building - Calibrating Trust in Visual Analytics. I Proceedings - 2020 IEEE Workshop on TRust and EXpertise in Visual Analytics, TREX 2020: Proceedings (s. 9-15). Artikel 9307969 IEEE. https://doi.org/10.1109/TREX51495.2020.00006

Damgård, I., Orlandi, C. & Simkin, M. (2020). Black-box transformations from passive to covert security with public verifiability. I D. Micciancio & T. Ristenpart (red.), Advances in Cryptology - CRYPTO 2020 (Bind Cham, s. 647-676). Springer. https://doi.org/10.1007/978-3-030-56880-1_23

Dalskov, A. P. K. (2020). Cats or Croissants? Techniques for Secure Inference. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Wimmer, S., Herbreteau, F. & van de Pol, J. (2020). Certifying Emptiness of Timed Büchi Automata. I N. Bertrand & N. Jansen (red.), Formal Modeling and Analysis of Timed Systems : 18th International Conference, FORMATS 2020 (s. 58-75). Springer. https://doi.org/10.1007/978-3-030-57628-8_4

Dalskov, A. P. K., Lee, E. & Soria Vazquez, E. (2020). Circuit Amortization Friendly Encodings and their Application to Statistically Secure Multiparty Computation. I S. Moriai & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2020: 26th International Conference on the Theory and Application of Cryptology and Information Security, Daejeon, South Korea, December 7–11, 2020, Proceedings (Bind III). Springer.

Dalskov, A., Lee, E. & Soria-Vazquez, E. (2020). Circuit Amortization Friendly Encodingsand Their Application to Statistically Secure Multiparty Computation. I S. Moriai & H. Wang (red.), Advances in Cryptology – ASIACRYPT 2020 - 26th International Conference on the Theory and Application of Cryptology and Information Security, 2020, Proceedings (s. 213-243). Springer. https://doi.org/10.1007/978-3-030-64840-4_8

Qian, Z., Kavvos, G. A. & Birkedal, L. (2020). Client-Server Sessions in Linear Logic. arxiv.org. https://arxiv.org/abs/2010.13926

Green Larsen, K., Mitzenmacher, M. & Tsourakakis, C. (2020). Clustering with a faulty oracle. I Y. Huang, I. King, T.-Y. Liu & M. van Steen (red.), WWW '20: Proceedings of The Web Conference 2020 (s. 2831-2834). Association for Computing Machinery. https://doi.org/10.1145/3366423.3380045

Tu, S., Aslay, C. & Gionis, A. (2020). Co-exposure maximization in online social networks. I H. Larochelle, M. Ranzato, R. Hadsell, M. F. Balcan & H. Lin (red.), Advances in Neural Information Processing Systems: NeurIPS 2020 (Bind 33). Neural Information Processing Systems Foundation. https://proceedings.neurips.cc/paper/2020/hash/212ab20dbdf4191cbcdcf015511783f4-Abstract.html

Dellana, S. G., Johansson, S., Poulsen, S. B., Van Oosterhout, A., Skov, M. & Merritt, T. (2020). Collaboration around an Interactive Tabletop Map: Comparing Voice Interactions and a Tangible Shape-changing Controller. I J. Cauchard & M. Lochtefeld (red.), MUM 2020 - 19th International Conference on Mobile and Ubiquitous Multimedia, Proceedings (s. 132-142). Association for Computing Machinery. https://doi.org/10.1145/3428361.3428395

Larsen-Ledet, I., Korsgaard, H. & Bødker, S. (2020). Collaborative Writing Across Multiple Artifact Ecologies. I CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems Artikel 3376422 Association for Computing Machinery. https://doi.org/10.1145/3313831.3376422

Lyle, P. J. & Korsgaard, H. (2020). Community Values and Technological Mechanisms: Learning from The Amish?. 5. Afhandling præsenteret på Studying Technical Mechanisms for Supporting Sharing Communities, Siegen, Tyskland.

Musaeus, L. H., Nielsen, K., Damsgaard-Madsen, M. & Hansen, J. Ø. (2020). Computational thinking i gymnasiefag: en modelbaseret didaktik. Aarhus Universitet. https://cs.au.dk/fileadmin/www.cct.au.dk/cctd.au.dk/PDFs/CT-didaktik2020.pdf

Caprani, O. & Musaeus, L. H. (2020). Computationel tankegang i teknologiforståelsesfaget. Unge Pædagoger, (1), 36-47. https://u-p.dk/vare/2020-nr-1/

Annenkov, D., Nielsen, J. B. & Spitters, B. (2020). ConCert: A Smart Contract Certification Framework in Coq. (s. 215-228). arxiv.org. https://doi.org/10.1145/3372885.3373829

Annenkov, D., Botsch Nielsen, J. & Spitters, B. (2020). ConCert: A smart contract certification framework in Coq. I Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP ’20), January 20-21, 2020, New Orleans, LA, USA (s. 215-228). Association for Computing Machinery. https://doi.org/10.1145/3372885.3373829

Baum, C. & Nof, A. (2020). Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography. I A. Kiayias, M. Kohlweiss, P. Wallden & V. Zikas (red.), Public-Key Cryptography – PKC 2020 - 23rd IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings (Bind 1, s. 495-526). Springer. https://doi.org/10.1007/978-3-030-45374-9_17

Faust, S., Mukherjee, P., Nielsen, J. B. & Venturi, D. (2020). Continuously Non-malleable Codes in the Split-State Model. Journal of Cryptology, 33(4), 2034-2077. https://doi.org/10.1007/s00145-020-09362-z

Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L. & Scholl, P. (2020). Correlated Pseudorandom Functions from Variable-Density LPN. I S. Irani (red.), Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020 (s. 1069-1080). Artikel 9317926 IEEE. https://doi.org/10.1109/FOCS46700.2020.00103

Ganesh, C., Magri, B. & Venturi, D. (2020). Cryptographic reverse firewalls for interactive proof systems. I A. Czumaj, A. Dawar & E. Merelli (red.), 47th International Colloquium on Automata, Languages, and Programming, ICALP 2020 (s. 55:1-55:16). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2020.55

Bizjak, A. & Møgelberg, R. E. (2020). Denotational semantics for guarded dependent type theory. Mathematical Structures in Computer Science, 30(4), 342-378. https://doi.org/10.1017/S0960129520000080

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance. I CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems (s. CS16 1-8). Artikel 3375213 Association for Computing Machinery. https://doi.org/10.1145/3334480.3375213

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance Based on a Use Case at Grundfos. I Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2020 (s. 738-746). Artikel 9089646 IEEE. https://doi.org/10.1109/VR46266.2020.1580939036664

Victor Kobbelgaard, F., Bødker, S. & Kanstrup, A. M. (2020). Designing a game to explore human artefact ecologies for assistive robotics: Basing design games on an activity theoretical framework. I NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: : Shaping Experiences, Shaping Society (s. 1-10). Artikel 27 Elsevier. https://doi.org/10.1145/3419249.3420181

Olin, P. A., Issa, A. M., Feuchtner, T. & Grønbæk, K. (2020). Designing for Heterogeneous Cross-Device Collaboration and Social Interaction in Virtual Reality. I N. Ahmadpour, T. Leong, B. Ploderer, C. Parker, S. Webber, D. Munoz, L. Loke & M. Tomitsch (red.), Proceedings of the 32nd Australian Computer-Human Interaction Conference, OzCHI 2020 (s. 112-127). Association for Computing Machinery. https://doi.org/10.1145/3441000.3441070

Nielsen, B. B., Torp, M. T. & Møller, A. (2020). Detecting Locations in JavaScript Programs Affected by Breaking Library Changes. Proceedings of the ACM on Programming Languages , 4(OOPSLA), Artikel 187. https://doi.org/10.1145/3428255

Viser resultater 1301 til 1350 ud af 6137

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series