Publikationer

Søg publikationer fra Institut for Datalogi

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

Lunding, M. S., Grønbæk, J. E. S., Bilstrup, K. E. K., Sørensen, M. L. S. K. & Petersen, M. G. (2022). ExposAR: Bringing Augmented Reality to the Computational Thinking Agenda through a Collaborative Authoring Tool. I CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 131 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517636

Annenkov, D., Milo, M., Nielsen, J. B. & Spitters, B. A. S. (2022). Extracting functional programs from Coq, in Coq. Journal of Functional Programming, 32(5), Artikel e11. https://doi.org/10.1017/S0956796822000077

Aziz, H., Caragiannis, I., Igarashi, A. & Walsh, T. (2022). Fair allocation of indivisible goods and chores. Autonomous Agents and Multi-Agent Systems, 36(1), Artikel 3. https://doi.org/10.1007/s10458-021-09532-8

Davi Resende, A. C., Railsback, D., Dowsley, R., Nascimento, A. C. A. & Aranha, D. F. (2022). Fast Privacy-Preserving Text Classification based on Secure Multiparty Computation. IEEE Transactions on Information Forensics and Security, 17, 428-442. https://doi.org/10.1109/TIFS.2022.3144007

Damgård, I., Jakobsen, T. P., Nielsen, J. B., Pagter, J. I. & Østergaard, M. B. (2022). Fast threshold ECDSA with honest majority. Journal of Computer Security, 30(1), 167-196. https://doi.org/10.3233/JCS-200112

Baum, C., Jadoul, R., Orsini, E., Scholl, P. & Smart, N. P. (2022). Feta: Efficient Threshold Designated-Verifier Zero-Knowledge Proofs. I CCS'22 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (s. 293-306). Association for Computing Machinery. https://doi.org/10.1145/3548606.3559354

Ganesh, C., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2022). Fiat-Shamir Bulletproofs are Non-Malleable (in the Algebraic Group Model). I O. Dunkelman & S. Dziembowski (red.), Advances in Cryptology – EUROCRYPT 2022 (s. 397-426). Springer. https://doi.org/10.1007/978-3-031-07085-3_14

Barman, S., Khan, A., Shyam, S. & Sreenivas, K. V. N. (2022). Finding Fair Allocations under Budget Constraints. arxiv.org. https://doi.org/10.48550/arXiv.2208.08168

Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B. (2022). Finding smart contract vulnerabilities with ConCert's property-based testing framework. FMBC: Formal Methods for Blockchains https://doi.org/10.48550/arXiv.2208.00758

Milo, M., Nielsen, E. H., Annenkov, D. & Spitters, B. (2022). Finding Smart Contract Vulnerabilities with ConCert's Property-Based Testing Framework. I Z. Dargaye & C. Schneidewind (red.), 4th International Workshop on Formal Methods for Blockchains (FMBC 2022) Dagstuhl Publishing. https://doi.org/10.4230/OASIcs.FMBC.2022.2

Brendborg, J., Karras, P., Pavlogiannis, A., Rasmussen, A. U. & Tkadlec, J. (2022). Fixation Maximization in the Positional Moran Process. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9, AAAI Technical Track on Multiagent Systems), 9304-9312. https://doi.org/10.1609/aaai.v36i9.21160

Filos-Ratsikas, A., Hansen, K. A., Hogh, K. & Hollender, A. (2022). FIXP-membership via Convex Optimization: Games, Cakes, and Markets. I 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS) (s. 827-838). IEEE. https://doi.org/10.1109/FOCS52979.2021.00085

Madsen, M., Starup, J. L. & Lhoták, O. (2022). Flix: A Meta Programming Language for Datalog. I Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) (s. 202-206). CEUR-WS.org. https://ceur-ws.org/Vol-3203/short8.pdf

Matt, C., Nielsen, J. B. & Thomsen, S. E. (2022). Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. Cryptology ePrint Archive. https://eprint.iacr.org/2022/010

Matt, C., Nielsen, J. B. & Thomsen, S. E. (2022). Formalizing Delayed Adaptive Corruptions and the Security of Flooding Networks. I Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings: 42nd Annual International Cryptology Conference, CRYPTO 2022, Procerdings (s. 400-430). Springer, Cham. https://doi.org/10.1007/978-3-031-15979-4_14

Bilstrup, K. E. K., Kaspersen, M. H., Assent, I., Enni, S. & Petersen, M. G. (2022). From Demo to Design in Teaching Machine Learning. I Proceedings of the 5th ACM Conference on Fairness, Accountability, and Transparency, FAccT 2022 (s. 2168-2178). Association for Computing Machinery. https://doi.org/10.1145/3531146.3534634

Ishai, Y., Patra, A., Patranabis, S., Ravi, D. & Srinivasan, A. (2022). Fully-Secure MPC with Minimal Trust. I Theory of Cryptography - 20th International Conference, TCC 2022, Proceedings (s. 470–501). Springer. https://doi.org/10.1007/978-3-031-22365-5_17

Lystbæk, M. N., Rosenberg, P., Pfeuffer, K., Grønbæk, J. E. & Gellersen, H. (2022). Gaze-Hand Alignment: Combining Eye Gaze and Mid-Air Pointing for Interacting with Menus in Augmented Reality. Proceedings of the ACM on Human-Computer Interaction, 6(ETRA), Artikel 145. https://doi.org/10.1145/3530886

David, B., Magri, B., Matt, C., Nielsen, J. B. & Tschudi, D. (2022). GearBox: Optimal-size Shard Committees by Leveraging the Safety-Liveness Dichotomy. I CCS'22 - Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (s. 683-696). Association for Computing Machinery. https://doi.org/10.1145/3548606.3559375

Nyborg, J. C., Pelletier, C. & Assent, I. (2022). Generalized Classification of Satellite Image Time Series with Thermal Positional Encoding. I Proceedings - 2022 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2022 (s. 1391-1401). IEEE. https://doi.org/10.1109/CVPRW56347.2022.00145

Draganov, A., Berry, T., Jørgensen, J. R., Nellemann, K. S., Assent, I. & Mottin, D. (2022). GiDR-DUN; Gradient Dimensionality Reduction -- Differences and Unification. https://doi.org/10.48550/arXiv.2206.09689

Jørgensen, J. R., Nellemann, K. S., Assent, I., Pathak, A. R. & Elster, A. C. (2022). GPU-FAST-PROCLUS: A Fast GPU-parallelized Approach to Projected Clustering. 196-206. Afhandling præsenteret på EDBT 2022: 24th International Conference on Extending Database Technology. https://doi.org/10.48786/edbt.2022.09

Sebastian Stær Knudsen, M., Almskou Brodal, L., Peczalski, P. K., Moradan, A., Mottin, D. & Assent, I. (2022). GraB: Graph Benchmark for Heterogeneous Graph Clustering. https://openreview.net/forum?id=qsGpFRlK0a

Afshani, P., Killmann, R. & Larsen, K. G. (2022). Hierarchical Categories in Colored Searching. I S. W. Bae & H. Park (red.), 33rd International Symposium on Algorithms and Computation, ISAAC 2022 Artikel 25 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ISAAC.2022.25

Kaspersen, M. H., Bilstrup, K. E. K., Van Mechelen, M., Hjort, A., Bouvin, N. O. & Petersen, M. G. (2022). High school students exploring machine learning and its societal implications: Opportunities and challenges. International Journal of Child-Computer Interaction, 34, Artikel 100539. https://doi.org/10.1016/j.ijcci.2022.100539

Sten Andersen, M., Rask Schmahl, O., Galli, G., Alavesa, P. & Pakanen, M. (2022). HIPPA: Smart Wearables for Enriching the Gameplay of a Traditional Tag Game. I CHI PLAY '22: Extended Abstracts of the 2022 Annual Symposium on Computer-Human Interaction in Play (s. 31-37). Association for Computing Machinery. https://doi.org/10.1145/3505270.3558321

Zizzo, A. R., Hvidman, L., Salvig, J. D., Holst, L., Kyng, M. & Petersen, O. B. (2022). Home management by remote self-monitoring in intermediate- and high-risk pregnancies: A retrospective study of 400 consecutive women. Acta Obstetricia et Gynecologica Scandinavica, 101(1), 135-144. https://doi.org/10.1111/aogs.14294

Guimaraes, A., Neumann, L., Andaló, F. A., Aranha, D. F. & Borin, E. (2022). Homomorphic evaluation of large look-up tables for inference on human genome data in the cloud. I Proceedings - 2022 IEEE 34th International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2022 (s. 33-38). IEEE. https://doi.org/10.1109/SBAC-PADW56527.2022.00015

Christiansen, M., Villadsen, L., Zhong, Z., Teso, S. & Mottin, D. (2022). How Faithful are Self-Explainable GNNs?. Afhandling præsenteret på Learning on Graphs Conference 2022.

Seinfeld, S., Feuchtner, T., Pinzek, J. & Müller, J. (2022). Impact of Information Placement and User Representations in VR on Performance and Embodiment. IEEE Transactions on Visualization and Computer Graphics, 28(3), 1545-1556. https://doi.org/10.1109/TVCG.2020.3021342

Caragiannis, I., Christodoulou, G. & Protopapas, N. (2022). Impartial Selection with Additive Approximation Guarantees. Theory of Computing Systems, 66(3), 721-742. https://doi.org/10.1007/s00224-022-10081-0

Cohen-Addad, V., Larsen, K. G., Saulpic, D., Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022). Improved Coresets for Euclidean k-Means. arxiv.org. https://doi.org/10.48550/arXiv.2211.08184

Cohen-Addad, V., Larsen, K. G., Saulpic, D., Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022). Improved Coresets for Euclidean k-Means. I S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho & A. Oh (red.), Advances in Neural Information Processing Systems 35 - 36th Conference on Neural Information Processing Systems, NeurIPS 2022 Neural Information Processing Systems Foundation.

Thai Son, M., Jacobsen, J., Amer-Yahia, S., Spence, I., Tran, P., Assent, I. & Viet Hung Nguyen, Q. (2022). Incremental Density-based Clustering on Multicore Processors. I E E E Transactions on Pattern Analysis and Machine Intelligence, 44(3), 1338-1356. https://doi.org/10.1109/TPAMI.2020.3023125

Svoboda, J., Tkadlec, J., Pavlogiannis, A., Chatterjee, K. & Nowak, M. A. (2022). Infection dynamics of COVID-19 virus under lockdown and reopening. Scientific Reports, 12, Artikel 1526. https://doi.org/10.1038/s41598-022-05333-5

Durocher, L., Karras, P., Pavlogiannis, A. & Tkadlec, J. (2022). Invasion Dynamics in the Biased Voter Process. I Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence (IJCAI-22) (s. 265-271). IJCAI Organization. https://doi.org/10.24963/ijcai.2022/38

Sammler, M., Hammond, A., Lepigre, R., Campbell, B., Pichon-Pharabod, J., Dreyer, D., Garg, D. & Sewell, P. (2022). Islaris: verification of machine code against authoritative ISA semantics. I R. Jhala & I. Dillig (red.), PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (s. 825-840). Association for Computing Machinery. https://doi.org/10.1145/3519939.3523434

Sørensen, M.-L. S. K., Fog, B. V., Musaeus, L. H. & Petersen, M. G. (2022). Knit x Code: Exploring a Craftsmanship-driven Approach to Computational Thinking. I Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI'22) Artikel 48 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547680

Sørensen, M.-L. S. K., Fog, B. V., Musaeus, L. H. & Petersen, M. G. (2022). Knit x Code - Exploring a Craftsmanship-driven Approach to Computational Thinking. Design United. https://www.4tu.nl/du/columns/Knit%20x%20Code/

Lissandrini, M., Mottin, D., Hose, K. & Pedersen, T. B. (2022). Knowledge Graph Exploration Systems: are we lost?. Afhandling præsenteret på 12th Annual Conference on
Innovative Data Systems Research (CIDR ’22), Chaminade, USA. https://dblp.org/db/conf/cidr/cidr2022.html

Aranha, D. F., Lin, C., Orlandi, C. & Simkin, M. (2022). Laconic Private Set-Intersection From Pairings. I CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security (s. 111-124). Association for Computing Machinery. https://doi.org/10.1145/3548606.3560642

Spies, S., Gäher, L., Tassarotti, J., Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2022). Later credits: resourceful reasoning for the later modality. Proceedings of the ACM on Programming Languages , 6(ICFP), Artikel 100. https://doi.org/10.1145/3547631

Rachuri, R. & Scholl, P. (2022). Le Mans: Dynamic and Fluid MPC for Dishonest Majority. I Y. Dodis & T. Shrimpton (red.), Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings (s. 719-749). Springer. https://doi.org/10.1007/978-3-031-15802-5_25

Georges, A. L., Trieu, A. & Birkedal, L. (2022). Le temps des cerises: Efficient temporal stack safety on capability machines using directed capabilities. Proceedings of the ACM on Programming Languages , 6(OOPSLA1), Artikel 74. https://doi.org/10.1145/3527318

Afshani, P., Iacono, J., Jayapaul, V., Karsin, B. & Sitchinava , N. (2022). Locality-of-Reference Optimality of Cache-Oblivious Algorithms. I 3rd Symposium on Algorithmic Principles of Computer Systems, (APOCS) (s. 31 - 45). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977059.3

Reiter, K., Pfeuffer, K., Esteves, A., Mittermeier, T. & Alt, F. (2022). Look & Turn: One-handed and Expressive Menu Interaction by Gaze and Arm Turns in VR. I S. N. Spencer (red.), Proceedings - ETRA 2022: ACM Symposium on Eye Tracking Research and Applications Artikel 66 Association for Computing Machinery. https://doi.org/10.1145/3517031.3529233

Abram, D., Nof, A., Orlandi, C., Scholl, P. & Shlomovits, O. (2022). Low-Bandwidth Threshold ECDSA via Pseudorandom Correlation Generators. I 2022 IEEE Symposium on Security and Privacy (SP) (s. 2554-2572). IEEE. https://doi.org/10.1109/SP46214.2022.9833559

Abram, D. & Scholl, P. (2022). Low-Communication Multiparty Triple Generation for SPDZ from Ring-LPN. I G. Hanaoka, J. Shikata & Y. Watanabe (red.), Public-Key Cryptography – PKC 2022: 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Virtual Event, March 8–11, 2022, Proceedings, Part I (s. 221-251). Springer. https://doi.org/10.1007/978-3-030-97121-2_9

Grandoni, F., Schwiegelshohn, C., Solomon, S. & Uzrad, A. (2022). Maintaining an EDCS in General Graphs: Simpler, Density-Sensitive and with Worst-Case Time Bounds. I Symposium on Simplicity in Algorithms (SOSA) (s. 12-23). Society for Industrial and Applied Mathematics Publications. https://doi.org/10.1137/1.9781611977066.2

Matakos, A., Aslay, C., Galbrun, E. & Gionis, A. (2022). Maximizing the Diversity of Exposure in a Social Network. IEEE Transactions on Knowledge and Data Engineering, 34(9), 4357-4370. https://doi.org/10.1109/TKDE.2020.3038711

Viser resultater 851 til 900 ud af 6073

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series