Publikationer

Søg publikationer fra Institut for Datalogi

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

Brodal, G. S. & Rysgaard, C. M. (2025). Pure Binary Finger Search Trees. I I.-O. Bercea & R. Pagh (red.), 8th SIAM Symposium on Simplicity of Algorithms, SOSA 2025 (s. 172-195). Society for Industrial and Applied Mathematics.

Iivari, N., Iversen, O. S., Kafai, Y. B., Antle, A. N., Petersen, M. G., Kinnula, M., Dindler, C., Kayali, F., Bonsignore, E., Monga, C., Schaper, M.-M. & Sharma, S. (2025). Pushing the Boundaries of Computational Empowerment of Children. I IDC '25: Interaction Design and Children Conference https://interact.oulu.fi/idc-2025

Sølvsten, S., Rysgaard, C. M. & van de Pol, J. (2025). Random Access on Narrow Decision Diagrams in External Memory. I T. Neele & A. Wijs (red.), Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8–9, 2024, Proceedings (s. 137–145). Springer. https://doi.org/10.1007/978-3-031-66149-5_7

Meyer, P., Orlandi, C., Roy, L. & Scholl, P. (2025). Rate-1 Arithmetic Garbling From Homomorphic Secret Sharing. I E. Boyle & M. Mahmoody (red.), Theory of Cryptography - 22nd International Conference, TCC 2024, Proceedings (s. 71-97). Artikel 323579 Springer Nature. https://doi.org/10.1007/978-3-031-78023-3_3

Aranha, D. F., Guimaraes, A., Hoffman, C. & Méaux, P. (Accepteret/In press). Secure and efficient transciphering for FHE-based MPC. IACR Transactions of Cryptographic Hardware and Embedded Systems.

Schieber, H., Young, J., Langlotz, T., Zollmann, S. & Roth, D. (2025). Semantics-Controlled Gaussian Splatting for Outdoor Scene Reconstruction and Rendering in Virtual Reality. I 2025 IEEE Conference Virtual Reality and 3D User Interfaces (VR) (s. 318-328). IEEE. https://doi.org/10.1109/VR59515.2025.00056

Tozawa, K., Morita, H. & Mizuki, T. (2025). Single-shuffle card-based protocol with eight cards per gate and its extensions. Natural Computing, 24, 131-147. https://doi.org/10.1007/s11047-024-10006-5

Wong, E., Genay, A., Grønbæk, J. E. & Velloso, E. (2025). Spatial Heterogeneity in Distributed Mixed Reality Collaboration. I CHI '25 : Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3706598.3714033

Aardal, M. A., Adj, G., F. Aranha, D., Basso, A., Canales Martínez, I. A., Chávez-Saab, J., Corte-Real Santos, M., Dartois, P., De Feo, L., Duparc, M., Komada Eriksen, J., Fouotsa, T. B., Filho, D. L. G., Hess, B., Kohel, D., Leroux, A., Longa, P., Maino, L., Meyer, M. ... Wesolowski, B. (2025). SQIsign 2.0: Algorithm specifications and supporting documentation. https://sqisign.org/spec/sqisign-20250205.pdf

Christensen, H. B., Kirkeby, M. H., Thomsen, B. & Thomsen, L. L. (2025). Teaching Energy-Efficient Software - An Experience Report. ArXiv. https://arxiv.org/abs/2504.19707

Keilty, A. P., Aranha, D. F., Pagnin, E. & Henríquez, F. R. (Accepteret/In press). That's AmorE: Amortized Efficiency for Pairing Delegation. I CRYPTO 2025

Vindum, S. F., Georges, A. L. & Birkedal, L. (2025). The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. I K. Stark, A. Timany, S. Blazy & N. Tabareau (red.), Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025 (s. 83-97). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3703595.3705876

Lutze, M., Schuster, P. & Brachthäuser, J. I. (2025). The Simple Essence of Monomorphization. Proceedings of the ACM on Programming Languages , 9(OOPSLA1), Artikel 116. https://doi.org/10.1145/3720472

Dipalma, J., Frank, D.-A., Salnikova, E., Steinmann, S. & Pfeuffer, K. (2025). Touching the Retail Metaverse: Consumer Insights from a Virtual Experience. Poster-session præsenteret på 2025 AMA Winter Academic Conference.

Mahrík, M., Šikyňa, M., Mic, V. & Zezula, P. (2025). Towards Personalized Similarity Search for Vector Databases. I E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (red.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (s. 126-139). Springer. https://doi.org/10.1007/978-3-031-75823-2_11

Kamp, S. H. (2025). Towards Scalable & Robust Distributed Computing. Institut for Datalogi, Aarhus Universitet.

Asilis, J., Høgsgaard, M. M. & Velegkas, G. (2025). Understanding Aggregations of Proper Learners in Multiclass Classification. Proceedings of Machine Learning Research, 272, 89-111.

Moradan, A., Sorkhpar, M., Miyauchi, A., Mottin, D. & Assent, I. (2025). Untapping the Power of Indirect Relationships in Entity Summarization. I WSDM 2025 : Proceedings of the 18th ACM International Conference on Web Search and Data Mining (s. 820-828). Association for Computing Machinery. https://doi.org/10.1145/3701551.3703566

Amores-Sesar, I. & Cachin, C. (2025). We Will DAG You. I J. Garcia-Alfaro, K. Barker, G. Navarro-Arribas, C. Pérez-Solà, S. Delgado-Segura, S. Katsikas, F. Cuppens, C. Lambrinoudakis, N. Cuppens-Boulahia, M. Pawlicki & M. Choraś (red.), Computer Security. ESORICS 2024 International Workshops - DPM, CBT, and CyberICPS, Bydgoszcz, 2024, Revised Selected Papers (s. 276-291). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-82349-7_19

Aardal, M. A. & Aranha, D. F. (2024). 2DT-GLS: Faster and Exception-Free Scalar Multiplication in the GLS254 Binary Curve. I B. Smith & H. Wu (red.), Selected Areas in Cryptography - 29th International Conference, SAC 2022, Revised Selected Papers (Bind 13742, s. 53-74). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-58411-4_3

Conrado, G. K. & Pavlogiannis, A. (2024). A Better Approximation for Interleaved Dyck Reachability. I SOAP 2024 - Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (s. 18-25). Association for Computing Machinery. https://doi.org/10.1145/3652588.3663318

Bjørn, P., Busboom, J., Duckert, M., Bødker, S., Shklovski, I., Hoggan, E., Dunn, K., Mu, Q., Barkhuus, L. & Boulus-Rodje, N. (2024). Achieving Symmetry in Synchronous Interaction in Hybrid Work is Impossible. ACM Transactions on Computer-Human Interaction, 31(4), Artikel 49. https://doi.org/10.1145/3648617

Bui-Ngoc, T., Ly, D. K., Truong, T. T., Thongchom, C. & Nguyen-Thoi, T. (2024). A deep neural network based surrogate model for damage identification in full-scale structures with incomplete noisy measurements. Frontiers of Structural and Civil Engineering, 18(3), 393-410. https://doi.org/10.1007/s11709-024-1060-8

Thorsøe, R., Locher, P., Rathish, H. & Schulz, H.-J. (2024). A Framework for Axis Breaks in Charts. I Proceedings of the International Symposium on Vision, Modeling, and Visualization (VMV'24) (s. 1-8). The Eurographics Association. https://doi.org/10.2312/vmv.20241198

Årdal, M. A., Aranha, D. F., Boudgoust, K., Kolby, S. & Takahashi, A. (2024). Aggregating Falcon Signatures with LaBRADOR. I L. Reyzin & D. Stebila (red.), Advances in Cryptology – CRYPTO 2024 - 44th Annual International Cryptology Conference, Proceedings (s. 71-106) https://doi.org/10.1007/978-3-031-68376-3_3

Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2024). Almost-Sure Termination by Guarded Refinement. Proceedings of the ACM on Programming Languages , 8(ICFP), 203-233. Artikel 243. https://doi.org/10.1145/3674632

Timany, A., Krebbers, R., Dreyer, D. & Birkedal, L. (2024). A Logical Approach to Type Soundness. Journal of the ACM, 71(6), Artikel 40. https://doi.org/10.1145/3676954

Hammond, A., Liu, Z., Pérami, T., Sewell, P., Birkedal, L. & Pichon-Pharabod, J. (2024). An Axiomatic Basis for Computer Programming on the Relaxed Arm-A Architecture: The AxSL Logic. Proceedings of the ACM on Programming Languages , 8, 604-637. Artikel 21. https://doi.org/10.1145/3632863

Braun, L., Castagnos, G., Damgård, I. B., Laguillaumie, F., Melissaris, K., Orlandi, C. & Tucker, I. (2024). An Improved Threshold Homomorphic Cryptosystem Based on Class Groups. https://eprint.iacr.org/2024/717

Braun, L., Castagnos, G., Damgård, I., Laguillaumie, F., Melissaris, K., Orlandi, C. & Tucker, I. (2024). An Improved Threshold Homomorphic Cryptosystem Based on Class Groups. I C. Galdi & D. H. Phan (red.), Security and Cryptography for Networks - 14th International Conference, SCN 2024, Amalfi, Italy, September 11-13, 2024, Proceedings, Part II (s. 24-46). Springer. https://doi.org/10.1007/978-3-031-71073-5_2

Madsen, O. L. & Møller-Pedersen, B. (2024). An introduction to object-oriented programming as modeling. https://oopm.org

Charbit, P., Couteau, G., Meyer, P. E. & Naserasr, R. (2024). A Note on Low-Communication Secure Multiparty Computation via Circuit Depth-Reduction. 167–199. Abstract fra Theory of Cryptography, Milan, Italien. https://eprint.iacr.org/2024/1473

Aranha, D. F., Costache, A., Guimaraes, A. & Soria-Vazquez, E. (2024). A Practical Framework for Verifiable Computation over Encrypted Data. Abstract fra 3rd Annual FHE.org Conference on Fully Homomorphic Encryption, Toronto, Canada. https://eprint.iacr.org/2023/1949

Aranha, D. F., Fotiadis, G. & Guillevic, A. (2024). A short-list of pairing-friendly curves resistant to the Special TNFS algorithm at the 192-bit security level. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/angyl86bm

Lutze, M. & Madsen, M. (2024). Associated Effects: Flexible Abstractions for Effectful Programming. Proceedings of the ACM on Programming Languages , 8, Artikel 163. https://doi.org/10.1145/3656393

Gregersen, S. O., Aguirre, A., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2024). Asynchronous Probabilistic Couplings in Higher-Order Separation Logic. Proceedings of the ACM on Programming Languages , 8(POPL), Artikel 26. https://doi.org/10.1145/3632868

Schenck, R., Hinnerskov, N. H., Henriksen, T., Madsen, M. & Elsman, M. (2024). AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), 1787-1813. Artikel 334. https://doi.org/10.1145/3689774

Saioc, G.-V., Lange, J. & Møller, A. (2024). Automated Verification of Parametric Channel-Based Process Communication. I Proceedings of the ACM on Programming Languages (Bind 8, s. 2070-2096). Artikel 344 https://doi.org/10.1145/3689784

Ágústsson, S. Ý., Jones, A. J. H., Curcio, D., Ulstrup, S., Miwa, J., Mottin, D., Karras, P. & Hofmann, P. (2024). Autonomous micro-focus angle-resolved photoemission spectroscopy. Review of Scientific Instruments, 95(5), Artikel 055106. https://doi.org/10.1063/5.0204663

Hansen, S. M., Assent, I. & Schulz, H.-J. (2024). A Web Framework for Explainable and Malleable Visualisation. I K. Kucher, A. Diehl & C. Gillmann (red.), EuroVisPosters2024: Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241080

Larsen, K. G. (2024). Bagging is an Optimal PAC Learner (Extended Abstract). I K. Larson (red.), Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24) (s. 8411-8415). IJCAI Organization. https://doi.org/10.24963/ijcai.2024/932

Pancholi, M. R. (2024). Beyond Knowledge Soundness of SNARKs. Aarhus University.

Nielsen, S. D.-H., Liang, N., Rathish, H., Kim, B. J., Lueangsakulthai, J., Koh, J., Qu, Y., Schulz, H.-J. & Dallas, D. C. (2024). Bioactive milk peptides: an updated comprehensive overview and database. Critical Reviews in Food Science and Nutrition, 64(31), 11510-11529. https://doi.org/10.1080/10408398.2023.2240396

Grønbæk, J. E., Sánchez Esquivel, J., Leiva, G., Velloso, E., Gellersen, H. & Pfeuffer, K. (2024). Blended Whiteboard: Physicality and Reconfigurability in Remote Mixed Reality Collaboration. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Artikel 798 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642293

Brodal, G. S. (2024). Bottom-Up Rebalancing Binary Search Trees by Flipping a Coin. I A. Z. Broder & T. Tamir (red.), 12th International Conference on Fun with Algorithms, FUN 2024 Artikel 6 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FUN.2024.6

Pasquini, D., Francati, D., Ateniese, G. & Evgenios M. Kornaropoulos, E. M. (2024). Breach Extraction Attacks: Exposing and Addressing the Leakage in Second Generation Compromised Credential Checking Services. I 2024 IEEE Symposium on Security and Privacy (SP): Proceedings (s. 1405-1423). IEEE. https://doi.org/10.1109/SP54263.2024.00114

Chen, N., Chen, X., Zhong, Z. & Pang, J. (2024). Bridging Performance of X (formerly known as Twitter) Users: A Predictor of Subjective Well-Being During the Pandemic. ACM Transactions on the Web, 18(1), Artikel 15. https://doi.org/10.1145/3635033

Lunding, M. S. (2024). Bringing Augmented Reality to the Computational Thinking Agenda: Designing AR Authoring Tools for Novice Users to support Creation, Reflection and Collaboration.

Musaeus, L. H., Petersen, M. G. & Klokmose, C. N. (2024). Bringing Teachers and Researchers together through Participatory Design and Cooperative Prototyping in Computing Education. I SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education (Bind 1, s. 902-908). Association for Computing Machinery. https://doi.org/10.1145/3626252.3630796

Caragiannis, I., Micha, E. & Peters, J. (2024). Can a Few Decide for Many? The Metric Distortion of Sortition. I R. Salakhutdinov, Z. Kolter & K. Heller (red.), Proceedings of the 41st International Conference on Machine Learning (ICML) (Bind 235, s. 5660-5679). Artikel 220 JMLR.org.

Viser resultater 51 til 100 ud af 2966

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series