Publikationer

Søg publikationer fra Institut for Datalogi

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

Cao, Z., Zhao, X., Krieger, L., Scharr, H. & Assent, I. (2025). LeapFactual: Reliable Visual Counterfactual Explanation Using Conditional Flow Matching. Poster-session præsenteret på The Thirty-ninth Annual Conference on Neural Information Processing Systems, San Diego, California, USA.

Agarwal, A., Baum, C., Braun, L. & Scholl, P. (2025). Low-Bandwidth Mixed Arithmetic in VOLE-Based ZK from Low-Degree PRGs. I S. Fehr & P.-A. Fouque (red.), Advances in Cryptology – EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2025, Proceedings: EUROCRYPT 2025 (Bind 4, s. 396-426). Springer. https://doi.org/10.1007/978-3-031-91134-7_14

Januzelli, J., Rosulek, M. & Roy, L. (2025). Lower Bounds for Garbled Circuits from Shannon-Type Information Inequalities. I Y. Tauman Kalai & S. F. Kamara (red.), Advances in Cryptology – CRYPTO 2025 - 45th Annual International Cryptology Conference, Proceedings (s. 589-618). Springer Science+Business Media. https://doi.org/10.1007/978-3-032-01884-7_19

Morita, H., Pohle, E., Sadakane, K., Scholl, P., Tozawa, K. & Tschudi, D. (2025). MAESTRO: Multi-Party AES Using Lookup Tables. I Proceedings of the 34th USENIX Security Symposium (s. 1965-1984). USENIX - The Advanced Computing Systems Association. https://doi.org/10.5555/3766078.3766180

Pauli, A. B., Augenstein, I. & Assent, I. (2025). Measuring and Benchmarking Large Language Models’ Capabilities to Generate Persuasive Language. I L. Chiruzzo, A. Ritter & L. Wang (red.), Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers) (s. 10056-10075). Association for Computational Linguistics. https://doi.org/10.18653/v1/2025.naacl-long.506

Kleinau, J. & Hoggan, E. (2025). Mediating Meeting Dynamics: An Exploration of AI-Based Multimodal Feedback in Hybrid Meetings. I Proceedings of the 23rd EUSSET Conference on Computer Supported Cooperative Work European Society for Socially Embedded Technologies (EUSSET). https://doi.org/10.48340/ecscw2025_cp04

Pauli, A. B., Augenstein, I. & Assent, I. (2025). Mind the Style Gap: Meta-Evaluation of Style and Attribute Transfer Metrics. I C. Christodoulopoulos, T. Chakraborty, C. Rose & V. Peng (red.), EMNLP 2025 - 2025 Conference on Empirical Methods in Natural Language Processing, Findings of EMNLP 2025: EMNLP 2025 (s. 21550-21564). Association for Computational Linguistics. https://doi.org/10.18653/v1/2025.findings-emnlp.1175

Tran, H. V., Doan, N. P., Zhang, Z., Pham, T. D., Nguyen, P. H., Nguyen, X. H., Vandierendonck, H., Assent, I. & Mai, T. S. (2025). MIX: A Multi-view Time-Frequency Interactive Explanation Framework for Time Series Classification. Poster-session præsenteret på The Thirty-ninth Annual Conference on Neural Information Processing Systems, San Diego, California, USA. https://neurips.cc/virtual/2025/loc/san-diego/poster/117533

Johns, C. A. (2025). Model-Based User Interface Optimization Under Contextual Uncertainty. [Ph.d.-afhandling, Aarhus Universitet].

Stassen, P., Møgelberg, R. E., Zwart, M. A., Aguirre, A. & Birkedal, L. (2025). Modelling Recursion and Probabilistic Choice in Guarded Type Theory. Proceedings of the ACM on Programming Languages , 9(POPL), 1417-1445. Artikel 48. https://doi.org/10.1145/3704884

Li, K. H., Aguirre, A., Gregersen, S. O., Haselwarter, P. G., Tassarotti, J. & Birkedal, L. (2025). Modular Reasoning about Error Bounds for Concurrent Probabilistic Programs. Proceedings of the ACM on Programming Languages , 9(ICFP), 276-305. https://doi.org/10.1145/3747514

Haselwarter, P. G., Aguirre, A., Gregersen, S. O., Tassarotti, J. & Birkedal, L. (2025). Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic. Advance online publication.

Boudgoust, K. & Keller, H. (2025). Module Learning with Errors with Truncated Matrices. I R. Niederhagen & M.-J. O. Saarinen (red.), Post-Quantum Cryptography - 16th International Workshop, PQCrypto 2025, Proceedings (Bind Part 1, s. 255-277). Springer. https://doi.org/10.1007/978-3-031-86599-2_9

Dickson, A., Lo, W. H., Schrimper, F., Knott, A., Ventura, J. & Zollmann, S. (2025). Mono2VR: Exploring Immersive Experiences of Monocular Videos. https://doi.org/10.21203/rs.3.rs-7302128/v1

Chen, J., Chacon, D. A., Bilal, M., Zhou, Q. & Johal, W. (2025). Mr.LfD: A Mixed Reality Interface for Robot Learning from Demonstration. I S. Viller, J. Paay, J. Fredericks & J. Turner (red.), Proceedings of the 36th Australasian Conference on Human-Computer Interaction, OzCHI 2024 (s. 275-285). Association for Computing Machinery. https://doi.org/10.1145/3726986.3727004

Leiva, G., Frau, V., Radhakrishnan, U. & Lunding, M. S. (2025). Mucho: A Timeline-Based Immersive Tool for Prototyping Interactive Multimodal XR Experiences. Proceedings of the ACM on Human-Computer Interaction, 9(4), Artikel EICS008. https://doi.org/10.1145/3734185

Florea, F. C., Grebla, H., Gillich, G. R., Bindea, B. N. & Rusu, C. V. (2025). Multiple Crack Detection in Beam-Like Structures Using a Novel Particle Swarm Optimization Approach. I Proceedings of the 17th International Conference on Agents and Artificial Intelligence (s. 334-342). SciTePress. https://doi.org/10.5220/0013131400003890

Böhm, J. N., Keute, M., Guzmán, A., Damrich, S., Draganov, A. & Kobak, D. (2025). Node Embeddings via Neighbor Embeddings. Transactions on Machine Learning Research, 2025-November.

Hansen, A. B., Nielsen, J. B. & Simkin, M. (2025). OCash: Fully Anonymous Payments Between Blockchain Light Clients. I T. Jager & J. Pan (red.), Public-Key Cryptography – PKC 2025 - 28th IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings (s. 169-202). Springer Science+Business Media. https://doi.org/10.1007/978-3-031-91832-2_6

Adolf, J., Kán, P., Feuchtner, T., Adolfová, B., Doležal, J. & Lhotská, L. (2025). Offistretch: camera-based real-time feedback for daily stretching exercises. Visual Computer, 41(3), 1555-1571. Artikel e19608. https://doi.org/10.1007/s00371-024-03450-y

Karthik, C. S., Lee, E., Rabani, Y., Schwiegelshohn, C. & Zhou, S. (2025). On Approximability of l²₂Min-Sum Clustering. I O. Aichholzer & H. Wang (red.), 41st International Symposium on Computational Geometry, SoCG 2025 Artikel 62 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2025.62

Tsimbalistaia, U., Berger, C. P., Gellersen, H. & Manakhov, P. (2025). On-body Icons: Designing a 3D Interface for Launching Apps in Augmented Reality. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems (s. 1-15). Artikel 629 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713954

Baum, C., Beullens, W., Mukherjee, S., Orsini, E., Ramacher, S., Rechberger, C., Roy, L. & Scholl, P. (2025). One Tree to Rule Them All: Optimizing GGM Trees and OWFs for Post-Quantum Signatures. I K.-M. Chung & Y. Sasaki (red.), Advances in Cryptology - ASIACRYPT 2024 (s. 463-493). Springer Nature. https://doi.org/10.1007/978-981-96-0875-1_15

Christensen, J. E., Jørgensen, S. F., Pavlogiannis, A. & van de Pol, J. (2025). On Exact Sizes of Minimal CNOT Circuits. I R. Glück & R. Kaarsgaard (red.), Reversible Computation: 17th International Conference, RC 2025, Proceedings (s. 71-88). Springer. https://doi.org/10.1007/978-3-031-97063-4_6

Caragiannis, I., Kanellopoulos, P. & Kyropoulou, M. (2025). On Interim Envy-Free Allocation Lotteries. Mathematics of Operations Research, 50(4), 3257-3282. https://doi.org/10.1287/moor.2023.0203

Hou, B. J., Abramyan, L., Gurumurthy, P., Adams, H., Tosic Rodgers, I., Gonzalez, E. J., Patel, K., Colaço, A., Pfeuffer, K., Gellersen, H., Ahuja, K. & Gonzalez-Franco, M. (2025). Online-EYE: Multimodal Implicit Eye Tracking Calibration for XR. I N. Yamashita, V. Evers & K. Yatani (red.), CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems (s. 1-16). Artikel 550 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713461

Draganov, A., Vadgama, S., Damrich, S., Böhm, J. N., Maes, L., Kobak, D. & Bekkers, E. (2025). On the Importance of Embedding Norms in Self-Supervised Learning. I Proceedings of the 42nd International Conference on Machine Learning (Bind 267, s. 14417-14438)

Caragiannis, I., Gravin, N. & Jiang, Z. (2025). On the Satisfiability of Random 3-SAT Formulas with k-Wise Independent Clauses. I A. Benoit, H. Kaplan, S. Wild, S. Wild & G. Herman (red.), 33rd Annual European Symposium on Algorithms, ESA 2025 Artikel 103 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2025.103

Fehrs, K. A. F. (2025). Optimization and Learning in Voting’. [Ph.d.-afhandling, Aarhus Universitet].

Yu, H., Larsen, K. G. & Christiansen, O. (2025). Optimization methods for tensor decomposition: A comparison of new algorithms for fitting the CP(CANDECOMP/PARAFAC) model. Chemometrics and Intelligent Laboratory Systems, 257, Artikel 105290. https://doi.org/10.1016/j.chemolab.2024.105290

Årdal, M. A., Adj, G., Alblooshi, A., Aranha, D. F., A. Canales-Martínez, I., Chavez-Saab, J., Gazzoni Filho, D. L., Reijnders, K. & Rodriguez-Henriquez, F. (2025). Optimized One-Dimensional SQIsign Verification on Intel and Cortex-M4. IACR Transactions of Cryptographic Hardware and Embedded Systems, 2025(1), 497-522. https://doi.org/10.46586/tches.v2025.i1.497-522

Tan, J. & Madsen, M. (2025). Overloading the Dot. I D. Kluss, S. Achour & J. Palsberg (red.), CC 2025 - Proceedings of the 34th ACM SIGPLAN International Conference on Compiler Construction (s. 60-69). Association for Computing Machinery. https://doi.org/10.1145/3708493.3712684

S. Tellez, E., Aumüller, M. & Mic, V. (2025). Overview of the SISAP 2024 Indexing Challenge. I E. Chávez, B. Kimia, J. Lokoč, M. Patella & J. Sedmidubsky (red.), Similarity Search and Applications - 17th International Conference, SISAP 2024, Proceedings (s. 255–265). Springer. https://doi.org/10.1007/978-3-031-75823-2_21

Skitsas, K., Mottin, D. & Karras, P. (2025). Pilos: Scalable Large-Subgraph Matching by Online Spectral Filtering. I Proceedings - 2025 IEEE 41st International Conference on Data Engineering, ICDE 2025 (s. 1180-1193). IEEE. https://doi.org/10.1109/ICDE65448.2025.00093

Kim, J., Park, S., Zhou, Q., Gonzalez-Franco, M., Lee, J. & Pfeuffer, K. (2025). PinchCatcher: Enabling Multi-selection for Gaze+Pinch. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 853 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713530

Keller, H. J., Imola, J., Boninsegna, F., Pagh, R. & Roy Chowdhury, A. (2025). Piquantε: Private Quantile Estimation in the Two-Server Model.

Biniaz, A., Maheshwari, A., Merrild, M. C. R., Mitchell, J. S. B., Odak, S., Polishchuk, V., Robson, E. W., Rysgaard, C. M., Schou, J. K. R., Shermer, T., Spalding-Jamieson, J., Svenning, R. & Zheng, D. W. (2025). Polynomial-Time Algorithms for Contiguous Art Gallery and Related Problems. I O. Aichholzer & H. Wang (red.), 41st International Symposium on Computational Geometry, SoCG 2025 (s. 20:1-20:21). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2025.20

Chiang, J. H. Y., Damgård, I., Duro, W. R., Engan, S., Kolby, S. & Scholl, P. (2025). Post-Quantum Threshold Ring Signature Applications from VOLE-in-the-Head. I CCS 2025 - Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security (s. 4664-4678). Association for Computing Machinery. https://doi.org/10.1145/3719027.3744854

Asi, H., Feldman, V., Keller, H. J., Rothblum, G. N. & Talwar, K. (Accepteret/In press). PREAMBLE: Private and Efficient Aggregation via Block Sparse Vectors. I Advances in Neural Information Processing Systems (NeurIPS)

Simner, B., Armstrong, A., Bauereiss, T., Campbell, B., Kammar, O., Pichon-Pharabod, J. & Sewell, P. (2025). Precise exceptions in relaxed architectures. I ISCA 2025 - Proceedings of the 52nd Annual International Symposium on Computer Architecture: Proceedings of the 52nd Annual International Symposium on Computer Architecture (s. 211–224) https://doi.org/10.1145/3695053.3731102

Michael-Grigoriou, D., Zachmann, G., Kopper, R., Yoon, S. H., Zollmann, S. & Bourdot, P. (2025). Preface. I Virtual Reality and Mixed Reality: 22nd EuroXR International Conference, EuroXR 2025, Winterthur, Switzerland, September 3–5, 2025, Proceedings (Bind 16101 LNCS, s. v-vi)

Fischer, F., Yu, Z., Johns, C. A., Kristensson, P. O. & Dudley, J. J. (2025). Probabilistic In-Plane Detection for Mid-Air Virtual Surface Interactions. I A. U. Batmaz, R. J. Teather, D. Reilly, H. Nguyen, M. PerusquuUa-HernuAndez & A. Quevedo (red.), Proceedings - SUI 2025: ACM Symposium on Spatial User Interaction Artikel 9 Association for Computing Machinery. https://doi.org/10.1145/3694907.3765937

Iversen, O. S., Caspersen, M. E. & Petersen, M. G. (2025). Professorer: Fire spørgsmål er afgørende i fagudviklingen af teknologiforståelse. Skolemonitor. https://skolemonitor.dk/debat/art10264270/Fire-spørgsmål-er-afgørende-i-fagudviklingen-af-teknologiforståelse

Saioc, G.-V. (2025). Program Analysis Techniques for Detecting and Preventing Partial Deadlocks. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Conrado, G. K., Kjelstrøm, A. H., Van De Pol, J. & Pavlogiannis, A. (2025). Program Analysis via Multiple Context Free Language Reachability. Proceedings of the ACM on Programming Languages , 9, Artikel 18. https://doi.org/10.1145/3704854

Afshani, P., Buchin, M., Driemel, A., Richter, M. & Wong, S. (2025). Property Testing of Curve Similarity. I A. Benoit, H. Kaplan, S. Wild, S. Wild & G. Herman (red.), 33rd Annual European Symposium on Algorithms, ESA 2025 Artikel 84 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2025.84

Hwang, C., Feuchtner, T. & Grønbæk, K. (2025). Pseudo-Haptics for Weight Perception in VR: Controller vs. Bare Hand Interactions with Tracking Delay and Vertical Offset. I 2024 10th International Conference on Virtual Reality, ICVR 2024 (s. 91-99) https://doi.org/10.1109/ICVR62393.2024.10868891

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., 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 (s. 1231-1234). Association for Computing Machinery. https://doi.org/10.1145/3713043.3734470

Viser resultater 201 til 250 ud af 6070

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series