Publikationer

Søg publikationer fra Institut for Datalogi

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

Kaspersen, M. H., Graungaard, D., Bouvin, N. O., Petersen, M. G. & Eriksson, E. (2021). Towards a model of progression in computational empowerment in education. International Journal of Child - Computer Interaction, 29, Artikel 100302. https://doi.org/10.1016/j.ijcci.2021.100302

Hubenschmid, S., Zagermann, J., Fink, D., Wieland, J., Feuchtner, T. & Reiterer, H. (2021). Towards Asynchronous Hybrid User Interfaces for Cross-Reality Interaction. I H.-C. Jetter, J.-H. Schröder, J. Gugenheimer, M. Billinghurst, C. Anthes, M. Khamis & T. Feuchtner (red.), ISS'21 Workshop Proceedings: Transitional Interfaces in Mixed and Cross-Reality: A new frontier? https://doi.org/10.18148/kops/352-2-84mm0sggczq02

Blaabjerg, J. F. & Askarov, A. (2021). Towards Language-Based Mitigation of Traffic Analysis Attacks. Afhandling præsenteret på 34th IEEE Computer Security Foundations Symposium, Online, USA. https://doi.org/10.1109/CSF51468.2021.00030

Spies, S., Gäher, L., Gratzer, D., Tassarotti, J., Krebbers, R., Dreyer, D. & Birkedal, L. (2021). Transfinite Iris: Resolving an existential dilemma of step-indexed separation logic. I S. N. Freund & E. Yahav (red.), PLDI 2021 - Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 80-95). Association for Computing Machinery. https://doi.org/10.1145/3453483.3454031

Enni, S. & Bak Herrie, M. (2021). Turning Biases into Hypotheses through Method: A Logic of Scientific Discovery for Machine Learning. Big Data & Society, 8(1). https://doi.org/10.1177/20539517211020775

Reyzin, L., Smith, A. & Yakoubov, S. (2021). Turning HATE Into LOVE: Compact Homomorphic Ad Hoc Threshold Encryption for Scalable MPC. I Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Proceedings: Proceedings (Bind 12716, s. 361-378). Springer. https://doi.org/10.1007/978-3-030-78086-9_27

Avdic, M., Bødker, S. & Larsen-Ledet, I. (2021). Two Cases For Traces: A Theoretical Framing of Mediated Joint Activity. Proceedings of the ACM on Human-Computer Interaction, 5(CSCW1), Artikel 190. https://doi.org/10.1145/3449289

Damgård, I. B., Orlandi, C., Takahashi, A. & Tibouchi, M. (2021). Two-round n-out-of-n and Multi-Signatures and Trapdoor Commitment from Lattices. I J. A. Garay (red.), Public-Key Cryptography – PKC 2021 - 24th IACR International Conference on Practice and Theory of Public Key Cryptography, 2021, Proceedings: 24rd IACR International Conference on Practice and Theory of Public-Key Cryptography, proceedings part 1 (s. 99-130). Springer. https://doi.org/10.1007/978-3-030-75245-3_5

Moradan, A., Draganov, A., Mottin, D. & Assent, I. (2021). UCoDe: Unified Community Detection with Graph Convolutional Networks. ArXiv. https://doi.org/10.48550/arXiv.2112.14822

Teli, M., Rossitto, C., Lewkowicz, M. & Bødker, S. (2021). Understanding, Promoting, and Designing for Sustainable Appropriation of Technologies by Grassroots Communities. Towards a new wave of technological activism: Sustainable Appropriation of Technologies by Grassroots Communities. I C&T '21: Proceedings of the 10th International Conference on Communities & Technologies - Wicked Problems in the Age of Tech (s. 332-335). Association for Computing Machinery. https://doi.org/10.1145/3461564.3468163

Seinfeld, S., Feuchtner, T., Maselli, A. & Müller, J. (2021). User Representations in Human-Computer Interaction. Human-Computer Interaction, 36(5-6), 400-438. https://doi.org/10.1080/07370024.2020.1724790

Madsen, O. L. (2021). Using Coroutines for Multi-core Preemptive Scheduling. I Proceedings of the 11th Workshop on Programming Languages and Operating Systems (PLOS '21) (s. 46-52). Association for Computing Machinery. https://doi.org/10.1145/3477113.3487271

Hansen, S. T., Gomes, C., Palmieri, M., Thule, C., van de Pol, J. & Woodcock, J. (2021). Verification of Co-simulation Algorithms Subject to Algebraic Loops and Adaptive Steps. I A. L. Lafuente & A. Mavridou (red.), Formal Methods for Industrial Critical Systems (s. 3-20). Springer. https://doi.org/10.1007/978-3-030-85248-1_1

Kaspersen, M. H., Bilstrup, K.-E. K., Van Mechelen, M., Hjorth, H. A., Bouvin, N. O. & Petersen, M. G. (2021). VotestratesML: A High School Learning Tool for Exploring Machine Learning and its Societal Implications. I Proceedings of 5th FabLearn Europe / MakeEd Conference 2021 Artikel 3466728 Association for Computing Machinery. https://doi.org/10.1145/3466725.3466728

Nyborg, J. C. & Assent, I. (2021). Weakly-Supervised Cloud Detection with Fixed-Point GANs. I Proceedings - 2021 IEEE International Conference on Big Data, Big Data 2021 (s. 4191-4198). IEEE. https://doi.org/10.1109/BigData52589.2021.9671405

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. https://doi.org/10.1007/978-3-030-88238-9_15

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

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. https://doi.org/10.1145/3461564.3461570

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

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

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. https://doi.org/10.1007/978-3-030-84245-1_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. https://doi.org/10.1007/978-3-662-64322-8_19

Lowe, A., Svendsen, S. C., Agarwal, P. K. & Arge, L. (2020). 1D and 2D Flow Routing on a Terrain. I C.-T. Lu, F. Wang, G. Trajcevski, Y. Huang, S. Newsam & L. Xiong (red.), Proceedings of the 28th International Conference on Advances in Geographic Information Systems, SIGSPATIAL GIS 2020 (s. 5-14). Association for Computing Machinery. https://doi.org/10.1145/3397536.3422269

Afshani, P. & Cheng, P. (2020). 2D generalization of fractional cascading on axis-aligned planar subdivisions. I Proceedings - 2020 IEEE 61st Annual Symposium on Foundations of Computer Science, FOCS 2020 (s. 716-727). Artikel 9317953 IEEE Computer Society Press. https://doi.org/10.1109/FOCS46700.2020.00072

Ciosici, M. R., Assent, I. & Derczynski, L. (2020). Accelerated High-Quality Mutual-Information Based Word Clustering. I LREC 2020 - 12th International Conference on Language Resources and Evaluation, Conference Proceedings (s. 2491-2496). European Language Resources Association. https://www.aclweb.org/anthology/2020.lrec-1.303

Nonnemann, L., Schumann, H., Urban, B., Aehnelt, M. & Schulz, H.-J. (2020). A Characterization of Data Exchange between Visual Analytics Tools. I 2020 24th International Conference Information Visualisation, IV 2020 (s. 368-377). Artikel 9373163 IEEE. https://doi.org/10.1109/IV51561.2020.00066

Nielsen, L. H., Andersen, M. H., Petersen, M. G., Bouvin, N. O. & Hjorth, H. A. (2020). A Collaborative Cross-Device Microworld for Physics Simulation Experiments in High-School. I B. Tangney, J. R. Byrne & C. Girvan (red.), Proceedings of the 2020 Constructionism Conference (s. 119-128). http://www.constructionismconf.org/wp-content/uploads/2020/05/C2020-Proceedings.pdf

Trittenbach, H., Böhm, K. & Assent, I. (2020). Active Learning of SVDD Hyperparameter Values. I G. Webb, Z. Zhang, V. S. Tseng, G. Williams, M. Vlachos & L. Cao (red.), Proceedings - 2020 IEEE 7th International Conference on Data Science and Advanced Analytics, DSAA 2020 (s. 109-117). Artikel 9260103 IEEE. https://doi.org/10.1109/DSAA49011.2020.00023

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

Viser resultater 1251 til 1300 ud af 6115

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series