Publikationer

Søg publikationer fra Institut for Datalogi

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

Schwartzbach, N. I. (2021). An Incentive-Compatible Smart Contract for Decentralized Commerce. I IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2021 (s. 1-3). IEEE. https://doi.org/10.1109/ICBC51069.2021.9461077

Bidlingmaier, M. E. (2021). An interpretation of dependent type theory in a model category of locally cartesian closed categories. Mathematical Structures in Computer Science, 31(5), 469-494. https://doi.org/10.1017/S0960129521000098

Baum, C., Braun, L., Munch-Hansen, A., Razet, B. & Scholl, P. (2021). Appenzeller to Brie: Efficient Zero-Knowledge Proofs for Mixed-Mode Arithmetic and Z2k. I CCS 2021 - Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security (s. 192-211). Association for Computing Machinery. https://doi.org/10.1145/3460120.3484812

Afshani, P., de Berg, M., Buchin, K., Gao, J., Loffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Wang, H.-T. (2021). Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency. I S. M. LaValle, M. Lin, T. Ojala, D. Shell & J. Yu (red.), Algorithmic Foundations of Robotics XIV-Part A: Proceedings of the Fourteenth Workshop on the Algorithmic Foundations of Robotics Springer. https://arxiv.org/abs/2005.02530

Toftrup, M., Sørensen, S. A., Ciosici, M. R. & Assent, I. (2021). A reproduction of Apple's bi-directional LSTM models for language identification in short strings.

Rafner, J., Hjorth, A., Weidner, C., Ahmed, S. Z., Poulsen, C., Klokmose, C. & Sherson, J. (2021). ArguNotes: Collaborative Problem Solving and Argumentation Tool. I C. E. Hmelo-Silver, B. De Wever & J. Oshima (red.), 14th International Conference on Computer-Supported Collaborative Learning: Reflecting the Past and Embracing the Future, CSCL 2021 - Proceedings, part of the 1st Annual Meeting of the International Society of the Learning Sciences, ISLS 2021 (s. 257-258). International Society of the Learning Sciences (ISLS).

Kán, P., Kurtic, A., Radwan, M. & M. Loáiciga Rodríguez, J. (2021). Automatic Interior Design in Augmented Reality Based on Hierarchical Tree of Procedural Rules. Electronics, 10(3), 1-17. Artikel 245. https://doi.org/10.3390/electronics10030245

Damgård, I., Ganesh, C., Khoshakhlagh, H., Orlandi, C. & Siniscalchi, L. (2021). Balancing Privacy and Accountability in Blockchain Identity Management. I K. G. Paterson (red.), Topics in Cryptology-CT-RSA 2021 - Cryptographers’ Track at the RSA Conference, Proceedings (s. 552-576). Springer. https://doi.org/10.1007/978-3-030-75539-3_23

Baum, C., de Saint Guilhem, C. D., Kales, D., Orsini, E., Scholl, P. & Zaverucha, G. (2021). Banquet: Short and Fast Signatures from AES. I J. A. Garay (red.), Public-Key Cryptography – PKC 2021: 24th IACR International Conference on Practice and Theory of Public Key Cryptography, Virtual Event, May 10–13, 2021, Proceedings, Part I (s. 266-297). Springer. https://doi.org/10.1007/978-3-030-75245-3_11

Pfeuffer, K., DInc, A., Obernolte, J., Rivu, R., Abdrabou, Y., Shelter, F., Abdelrahman, Y. & Alt, F. (2021). Bi-3D: Bi-Manual Pen-and-Touch Interaction for 3D Manipulation on Tablets. I UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology (s. 149-161). Association for Computing Machinery. https://doi.org/10.1145/3472749.3474741

Kyster, A. F., Nielsen, S. D., Hermanns, J., Mottin, D. & Karras, P. (2021). Boosting Graph Alignment Algorithms. I Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (s. 3166-3170). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482067

Damgård, I. B., Magri, B., Ravi, D., Siniscalchi, L. & Yakoubov, S. (2021). Broadcast-Optimal Two Round MPC with an Honest Majority. I Advances in Cryptology – CRYPTO 2021: Proceedings (s. 155-184). Springer. https://doi.org/10.1007/978-3-030-84245-1_6

Damgård, I. B., Larsen, K. G. & Yakoubov, S. (2021). Broadcast secret-sharing, bounds and applications. I S. Tessaro (red.), 2nd Conference on Information-Theoretic Cryptography, ITC 2021 Artikel 10 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2021.10

Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Devriese, D. & Birkedal, L. (2021). Cap’ ou pas cap’ ? Preuve de programmes pour une machine à capacités en présence de code inconnu. 157-173. Afhandling præsenteret på 32emes Journees Francophones des Langages Applicatifs, JFLA 2021 - 32nd French-Speaking Conference on Applicative Languages, JFLA 2021, Virtual, Online.

Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Devriese, D. & Birkedal, L. (2021). Cap’ ou pas cap’ ?: Preuve de programmes pour une machine à capacités en présence de code inconnu. I Journées Francophones des Langages Applicatifs 2021 Institut de Recherche en Informatique Fondamentale. https://researchportal.vub.be/en/publications/cap-ou-pas-cap-preuve-de-programmes-pour-une-machine-%C3%A0-capacit%C3%A9s-

Tchernavskij, P. (2021). Case Study: Biodiversity Galiano.

Haxen, M., Raeburn, M., Afshani, P. & Karras, P. (2021). Centerpoint Query Authentication. I Proceedings of the 30th ACM International Conference on Information & Knowledge Management (CIKM '21) (s. 3083-3087). Association for Computing Machinery. https://doi.org/10.1145/3459637.3482072

Evangelista Belo, J. M., Feuchtner, T., Hwang, C., Lunding, R. S., Lystbæk, M. N., Pfeuffer, K. & Rasmussen, T. A. (2021). Challenges of XR Transitional Interfaces in Industry 4.0. 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-1jsg9yzf5d0qs0

Shaik, I. & Pol, J. V. D. (2021). Classical Planning as QBF without Grounding (extended version). (s. 1-17). CoRR https://arxiv.org/abs/2106.10138

Qian, Z., Kavvos, G. A. & Birkedal, L. (2021). Client-server sessions in linear logic. Proceedings of the ACM on Programming Languages , 5(ICFP), Artikel 62. https://doi.org/10.1145/3473567

Borowski, M., Kristensen, J. B., Bagge, R. & Klokmose, C. N. (2021). Codestrates V2: A Development Platform for Webstrates. Aarhus University. Technical report

Frumin, D., Krebbers, R. & Birkedal, L. (2021). Compositional non-interference for fine-grained concurrent programs. I 2021 IEEE Symposium on Security and Privacy (SP) (s. 1416-1433). IEEE. https://doi.org/10.1109/SP40001.2021.00003

Kazempour, D., Beer, A., Oelker, M., Kröger, P. & Seidl, T. (2021). Compound Segmentation via Clustering on Mol2Vec-based Embeddings. I Proceedings - IEEE 17th International Conference on eScience, eScience 2021 (s. 60-69). IEEE.

Hansen, K. A. & Lund, T. B. (2021). Computational Complexity of Computing a Quasi-Proper Equilibrium. I E. Bampis & A. Pagourtzis (red.), Fundamentals of Computation Theory - 23rd International Symposium, FCT 2021, Proceedings: 23rd International Symposium, FCT 2021 Athens, Greece, September 12–15, 2021 Proceedings (s. 259-271). Springer. https://doi.org/10.1007/978-3-030-86593-1_18

Blanc, M. & Hansen, K. A. (2021). Computational Complexity of Multi-player Evolutionarily Stable Strategies. I R. Santhanam & D. Musatov (red.), Computer Science – Theory and Applications - 16th International Computer Science Symposium in Russia, CSR 2021, Proceedings: 16th International Computer Science Symposium in Russia, CSR 2021, Sochi, Russia, June 28–July 2, 2021, Proceedings (s. 1-17). Springer. https://doi.org/10.1007/978-3-030-79416-31

Hansen, J. Ø., Musaeus, L. H. & Nielsen, K. (2021). Computational Thinking i Matematik og Naturvidenskab (CTiMNAT): Evaluering af projektets andet kursusforløb 2019-2021. Rapport udarbejdet for Danske Science Gymnasier (DASG) af Center for Computational Thinking & Design, Aarhus Universitet.

Engelmann, F., Speichert, J. P., God, R., Kargl, F. & Bösch, C. (2021). Confidential Token-Based License Management. I AMSec 2021 - Proceedings of the 2021 Workshop on Additive Manufacturing (3D Printing) Security, co-located with CCS 2021 (s. 39-48). Association for Computing Machinery. https://doi.org/10.1145/3462223.3485619

Yang, Y., Li, Y., Karras, P. & Tung, A. K. H. (2021). Context-aware Outstanding Fact Mining from Knowledge Graphs. I KDD 2021 - Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (s. 2006-2016). Association for Computing Machinery. https://doi.org/10.1145/3447548.3467272

Vindum, S. F. & Birkedal, L. (2021). Contextual refinement of the Michael-Scott queue (proof pearl). I C. Hriţcu & A. Popescu (red.), CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 76-90). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439930

Larsen, K. G., Pagh, R. & Tetek, J. (2021). CountSketches, Feature Hashing and the Median of Three. I M. Meila & T. Zhang (red.), Proceedings of the 38th International Conference on Machine Learning, ICML 2021 (s. 6011-6020) http://proceedings.mlr.press/v139/larsen21a.html

Ganesh, C., Magri, B. & Venturi, D. (2021). Cryptographic reverse firewalls for interactive proof systems. Theoretical Computer Science, 855, 104-132. https://doi.org/10.1016/j.tcs.2020.11.043

Nonnemann, L., Hogräfer, M., Schumann, H., Urban, B. & Schulz, H.-J. (2021). Customizable Coordination of Independent Visual Analytics Tools. I J. Bernard & K. Vrotsou (red.), Proceedings of the 12th International EuroVis Workshop on Visual Analytics (EuroVA) (s. 25-29). Eurographics Association. https://doi.org/10.2312/eurova.20211094

Bressa, N. A. (2021). Data In Situ: a Design Approach for Situated Visualization. Århus Universitet.

Van Oosterhout, A. & Hoggan, E. (2021). Deformation Techniques for Shape Changing Interfaces. I Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021 Artikel 388 Association for Computing Machinery. https://doi.org/10.1145/3411763.3451622

Enni, S. (2021). Deliberation and Dissemination in Machine Learning. Århus Universitet.

Nordstrøm Rasmussen, C., Pakanen, M. A. & Petersen, M. G. (2021). Designing Socially Acceptable Light Therapy Glasses for Self-managing Seasonal Affective Disorder. I J. Häkkilä, P. Lopes, T. Kosch, J. Nishida, P. Strohmeier & Y. Abdelrahman (red.), Proceedings - AHs 2021: Augmented Humans Conference 2021 (s. 307-312). Association for Computing Machinery. https://doi.org/10.1145/3458709.3458995

Hurst, A., Zhang, Q., Lucani Rötter, D. E. & Assent, I. (2021). Direct Analytics of Generalized Deduplication Compressed IoT Data. I 2021 IEEE Global Communications Conference, GLOBECOM 2021 - Proceedings IEEE. https://doi.org/10.1109/GLOBECOM46510.2021.9685589

Bressa, N. A. & Larsen-Ledet, I. (2021). Discussing Feminist Thinking as an Exemplar for Ethical Reflection in the Tech Classroom. 1. Afhandling præsenteret på Co-designing Resources For Ethics Education In HCI.

Gondelman, L., Gregersen, S. O., Nieto, A., Timany, A. & Birkedal, L. (2021). Distributed causal memory: Modular specification and verification in higher-order distributed separation logic. Proceedings of the ACM on Programming Languages , 5(POPL), Artikel 42. https://doi.org/10.1145/3434323

Kulkarni, R., Mathur, U. & Pavlogiannis, A. (2021). Dynamic Data-Race Detection Through the Fine-Grained Lens. I S. Haddad & D. Varacca (red.), 32nd International Conference on Concurrency Theory (CONCUR 2021) (s. 16:1-16:23). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CONCUR.2021.16

Hvilshøj, F., Iosifidis, A. & Assent, I. (2021). ECINN: Efficient Counterfactuals from Invertible Neural Networks. I 32nd British Machine Vision Conference 2021, BMVC 2021, Virtual https://arxiv.org/abs/2103.13701

Mirzaei, M., Kán, P. & Kaufmann, H. (2021). Effects of Using Vibrotactile Feedback on Sound Localization by Deaf and Hard-of-Hearing People in Virtual Environments. Electronics, 10(22), Artikel 2794. https://doi.org/10.3390/electronics10222794

Rossitto, C., Korsgaard, H., Lampinen, A. & Bødker, S. (2021). Efficiency and Care in Community-Led Initiatives. Proceedings of the ACM on Human-Computer Interaction, 5(CSCW2), Artikel 467. https://doi.org/10.1145/3479611

Han, K., Wu, B., Tang, J., Cui, S., Aslay, C. & Lakshmanan, L. VS. (2021). Efficient and Effective Algorithms for Revenue Maximization in Social Advertising. I Proceedings of the 2021 ACM SIGMOD International Conference on Management of Data (s. 671-684). Association for Computing Machinery. https://doi.org/10.1145/3448016.3459243

Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Huyghebaert, S., Devriese, D. & Birkedal, L. (2021). Efficient and provable local capability revocation using uninitialized capabilities. Proceedings of the ACM on Programming Languages , 5(POPL), Artikel 6. https://doi.org/10.1145/3434287

Sølvsten, S., van de Pol, J., Jakobsen, A. B. & Thomasen, M. W. B. (2021). Efficient Binary Decision Diagram Manipulation in External Memory. ArXiv. https://arxiv.org/pdf/2104.12101.pdf

Nelson, B. (2021). Efficient Error Prediction for Differentially Private Algorithms. I 16th International Conference on Availability, Reliability and Security, ARES 2021 Artikel 3465746 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3465481.3465746

Escudero Ospina, D. E. & Soria Vazquez, E. (2021). Efficient Information-Theoretic Multi-Party Computation over Non-Commutative Rings. I Advances in Cryptology – CRYPTO 2021 - 41st Annual International Cryptology Conference, CRYPTO 2021, Proceedings: Proceedings (s. 335-364). Springer. https://doi.org/10.1007/978-3-030-84245-1_12

Jepsen, S. C., Worm, T., Christensen, H. B., Hviid, J. & Sandig, L. M. (2021). Experience Report: A Systematic Process For Gathering Quality Attribute Requirements for Industry 4.0 Middleware. I Proceedings - 2021 IEEE 25th International Enterprise Distributed Object Computing Conference Workshops, EDOCW 2021 (s. 166-175). IEEE. https://doi.org/10.1109/EDOCW52865.2021.00046

Borowski, M. (2021). Exploring Possible Futures With Computational Media. I ECSCW 2021: Proceedings of the 19th European Conference on Computer Supported Cooperative Work (s. 1–8). European Society for Socially Embedded Technologies (EUSSET). https://doi.org/10.18420/ecscw2021_dc05

Viser resultater 651 til 700 ud af 2882

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series