Publikationer

Søg publikationer fra Institut for Datalogi

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

Wagner, U., Albrecht, M., Jacobsen, A. A., Wang, H., Gellersen, H. & Pfeuffer, K. (2024). Gaze, Wall, and Racket: Combining Gaze and Hand-Controlled Plane for 3D Selection in Virtual Reality. Proceedings of the ACM on Human-Computer Interaction, 8(ISS), 189-213. https://doi.org/10.1145/3698134

Gabel, J., Schmidt, S., Pfeuffer, K. & Steinicke, F. (2024). Guiding Handrays in Virtual Reality: Comparison of Gaze- and Object-Based Assistive Raycast Redirection. I S. N. Spencer (red.), Proceedings - SUI 2024: ACM Symposium on Spatial User Interaction Artikel 27 Association for Computing Machinery. https://doi.org/10.1145/3677386.3682080

Lystbæk, M. N., Mikkelsen, T., Krisztandl, R., Gonzalez, E. J., Gonzalez-Franco, M., Gellersen, H. & Pfeuffer, K. (2024). Hands-on, Hands-off: Gaze-Assisted Bimanual 3D Interaction. I UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology: Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Artikel 80 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676331

Fechete, L. I., Larking, A. C., Heslop, A., Hannaford, R., Anderson, C. B., Hong, W., Prakash, S., Mace, W., Alikhani, S., Hofmann, R. W., Tausen, M., Schierup, M. H., Andersen, S. U. & Griffiths, A. G. (2024). Harnessing cold adaptation for postglacial colonisation: Galactinol synthase expression and raffinose accumulation in a polyploid and its progenitors. Plant, Cell & Environment, 47(10), 4014-4030. https://doi.org/10.1111/pce.15009

Zhong, Z., Zhou, K. & Mottin, D. (2024). Harnessing Large Language Models as Post-hoc Correctors. I L.-W. Ku, A. Martins & V. Srikumar (red.), Findings of the Association for Computational Linguistics: ACL 2024 (s. 14559-14574). Association for Computational Linguistics (ACL). https://doi.org/10.18653/v1/2024.findings-acl.867

Cheng, Y. W., Zhong, Z., Pang, J. & Li, C. T. (2024). Hierarchical Bipartite Graph Convolutional Network for Recommendation. IEEE Computational Intelligence Magazine, 19(2), 49-60. https://doi.org/10.1109/MCI.2024.3363973

Afshani, P., Killmann, R. & Larsen, K. G. (2024). Hierarchical categories in colored searching. Computational Geometry, 121, Artikel 102090. https://doi.org/10.1016/j.comgeo.2024.102090

Alrøe, S. F., Hoggan, E. & Schulz, H.-J. (2024). Highways and Tunnels: Force Feedback Guidance for Visualisations. I C. Tominski, M. Waldner & B. Wang (red.), EuroVisShort2024 The Eurographics Association. https://doi.org/10.2312/evs.20241060

Neumann, L., Guimaraes, A., Aranha, D. F. & Borin, E. (2024). Homomorphic WiSARDs: Efficient Weightless Neural Network training over encrypted data. Abstract fra 4th Workshop on Artificial Intelligence and Cryptography, Zurich, Schweiz. https://arxiv.org/abs/2403.20190

Chakraborty, S., Krishna, S. N., Mathur, U. & Pavlogiannis, A. (2024). How Hard Is Weak-Memory Testing? Proceedings of the ACM on Programming Languages , 8, Artikel 66. https://doi.org/10.1145/3632908

Schulz, H.-J., Aupetit, M. & Fisher, D. (2024). Human Aspects. I J.-D. Fekete, D. Fisher & M. Sedlmair (red.), Progressive Data Analysis: Roadmap and Research Agenda (s. 108-131). Eurographics Association. https://doi.org/10.2312/pda.20242707

Huang, C., Mathiasen, A., Dean, J., Mottin, D. & Assent, I. (2024). HUNIPU: Efficient Hungarian Algorithm on IPUs. I Proceedings - 2024 IEEE 40th International Conference on Data Engineering Workshops, ICDEW 2024 (s. 388-394). IEEE. https://doi.org/10.1109/ICDEW61823.2024.00062

Shaik, I., Mayer-Eichberger, V., van de Pol, J. & Saffidine, A. (2024). Implicit QBF Encodings for Positional Games. I M. Hartisch, C.-H. Hsueh & J. Schaeffer (red.), Advances in Computer Games - 18th International Conference, ACG 2023, Revised Selected Papers (s. 133-145). Springer. https://doi.org/10.1007/978-3-031-54968-7_12

Obremski, M., Ribeiro, J., Roy, L., Standaert, F.-X. & Venturi, D. (2024). Improved Reductions from Noisy to Bounded and Probing Leakages via Hockey-Stick Divergences. I L. Reyzin & D. Stebila (red.), Advances in Cryptology -- CRYPTO 2024 (s. 461-491). Springer Nature. https://doi.org/10.1007/978-3-031-68391-6_14

Srinivasan, A. & Chan, J. (2024). Improving Selection of Analogical Inspirations through Chunking and Recombination. I C&C '24: Proceedings of the 16th Conference on Creativity & Cognition (s. 374-397). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3635636.3656207

Chakraborty, M., Gnanakumar, A., Sridharan, M. & Møller, A. (2024). Indirection-Bounded Call Graph Analysis. I J. Aldrich & G. Salvaneschi (red.), 38th European Conference on Object-Oriented Programming, ECOOP 2024 Artikel 3 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2024.10

Blaabjerg, J. F. (2024). Information Flow Techniques for Mitigating Traffic Analysis. Aarhus University.

Andersen, L. B., Basballe, D. A., Buus, L., Dindler, C., Hansen, T. I., Hjorth, M., Iversen, O. S., Johannessen, C. M., Kanstrup, K. H., Lorentzen, R. F., Misfeldt, M., Musaeus, L. H., Nielsen, C. B., Petersen, M. G., Schrøder, V. & Slot, M. F. (2024). Infrastructuring digital literacy in K-12 education: A national case study. International Journal of Child - Computer Interaction, 42, Artikel 100697. https://doi.org/10.1016/j.ijcci.2024.100697

Brzuska, C., Couteau, G., Egger, C., Karanko, P. & Meyer, P. E. (2024). Instantiating the Hash-Then-Evaluate Paradigm: Strengthening PRFs, PCFs, and OPRFs. I C. Galdi & D. Hieu Phan (red.), Security and Cryptography for Networks (s. 97–116). Springer Nature. https://eprint.iacr.org/2023/1145

Fleischhacker, N., Larsen, K. G., Obremski, M. & Simkin, M. (2024). Invertible Bloom Lookup Tables with Less Memory and Randomness. I T. Chan, J. Fischer, J. Iacono & G. Herman (red.), 32nd Annual European Symposium on Algorithms, ESA 2024 Artikel 54 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2024.54

Legoupil, M., Rousseau, J., Georges, A. L., Pichon-Pharabod, J. & Birkedal, L. (2024). Iris-MSWasm: Elucidating and Mechanising the Security Invariants of Memory-Safe WebAssembly. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), Artikel 282. https://doi.org/10.1145/3689722

Butcher, P. W. S., Batch, A., Saffo, D., Macintyre, B., Elmqvist, N. & Ritsos, P. D. (2024). Is Native Naïve? Comparing Native Game Engines and WebXR as Immersive Analytics Development Platforms. IEEE Computer Graphics and Applications, 44(3), 91-98. https://doi.org/10.1109/MCG.2024.3367422

Rathish, H., Picón, G. C. & Schulz, H.-J. (2024). LaNe Plot: A Visual Fingerprinting Technique for Sequential Data. I K. Kucher, A. Diehl & C. Gillmann (red.), Poster Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evp.20241087

Marandi, A., Alves, P. G. M. R., Aranha, D. F. & Jacobsen, R. H. (2024). Lattice-based Homomorphic Encryption for Privacy-Preserving Smart Meter Data Analytics. The Computer Journal, 67(5), 1687-1698. https://doi.org/10.1093/comjnl/bxad093

Amireddy, P., Behera, A. R., Paraashar, M., Srinivasan, S. & Sudan, M. (2024). Local Correction of Linear Functions over the Boolean Cube. I STOC 2024: Proceedings of the 56th Annual ACM Symposium on Theory of Computing (s. 764-775). Association for Computing Machinery. https://doi.org/10.1145/3618260.3649746

Toftrup, M. B., Loeschcke, S., Belongie, S., J. Kastoryano, M. & Snæbjanarson, V. (2024). LoQT: Low-Rank Adapters for Quantized Pretraining. https://arxiv.org/abs/2405.16528

Burkhardt, J., Caragiannis, I., Fehrs, K., Russo, M., Schwiegelshohn, C. & Shyam, S. (2024). Low-Distortion Clustering with Ordinal and Limited Cardinal Information. Proceedings of the AAAI Conference on Artificial Intelligence, 38(9), 9555-9563. https://doi.org/10.1609/aaai.v38i9.28811

Aden-Ali, I., Høgsgaard, M. M., Larsen, K. G. & Zhivotovskiy, N. (2024). Majority-of-Three: The Simplest Optimal Learner? Proceedings of Machine Learning Research, 247, 22-45. https://proceedings.mlr.press/v247/aden-ali24a.html

Braun, L., Gascón, A., Raykova, M., Schoppmann, P. & Seth, K. (2024). Malicious Security for Sparse Private Histogram. https://eprint.iacr.org/2024/469

Bødker, S., Hoggan, E. & Larsen-Ledet, I. (2024). Material Mediation in Collaborative Activity. Proceedings of the ACM on Human-Computer Interaction, 8(CSCW1), Artikel 207. https://doi.org/10.1145/3653698

Nelson, B., Pagnin, E. & Askarov, A. (2024). Metadata Privacy Beyond Tunneling for Instant Messaging. I Proceedings - 9th IEEE European Symposium on Security and Privacy, EuroS&P 2024 (s. 697-723). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/EuroSP60621.2024.00044

Bilstrup, K. E. K., Kaspersen, M. H., Bouvin, N. O. & Petersen, M. G. (2024). ml-machine.org: Infrastructuring a Research Product to Disseminate AI Literacy in Education. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 272 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642539

Protzenko, J. & Spitters, B. (2024). Modernizing FIPS for safe languages and verified libraries. Afhandling præsenteret på NIST Workshop on Formal Methods within Certification Programs (FMCP 2024), Rockville, Maryland, USA. https://www.nist.gov/system/files/documents/2024/06/11/08-ProtzenkoSpitters.pdf

Frumin, D., Timany, A. & Birkedal, L. (2024). Modular Denotational Semantics for Effects with Guarded Interaction Trees. Proceedings of the ACM on Programming Languages , 8(POPL), Artikel 12. https://doi.org/10.1145/3632854

Guimaraes, A., Borin, E. & Aranha, D. F. (2024). MOSFHET: Optimized Software for FHE over the Torus. Journal of Cryptographic Engineering, 14(3), 577-593. https://doi.org/10.1007/s13389-024-00359-z

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). MouthIO: Fabricating Customizable Oral User Interfaces with Integrated Sensing and Actuation. I UIST '24 - The 37th Annual ACM Symposium on User Interface Software and Technology Artikel 1 Association for Computing Machinery. https://doi.org/10.1145/3654777.3676443

Yakoubov, S., Pagnin, E. & Kolby, S. (2024). Multi Designated Verifier Ring Signatures. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/a33zivrzn

Francati, D., Friolo, D., Malavolta, G. & Venturi, D. (2024). Multi-key and Multi-input Predicate Encryption (for Conjunctions) from Learning with Errors. Journal of Cryptology, 37(3), Artikel 24. https://doi.org/10.1007/s00145-024-09504-7

Hoggan, E. (2024). Multimodal Interaction. I Interaction Techniques and Technologies in Human-Computer Interaction (s. 45-63). CRC Press. https://doi.org/10.1201/9781003490678-2

Sølvsten, S. & van de Pol, J. (2024). Multi-variable Quantification of BDDs in External Memory using Nested Sweeping. ArXiv. https://doi.org/10.48550/arXiv.2408.14216

Hinrichsen, J. K., Jacobs, J. & Krebbers, R. (2024). Multris: Functional Verification of Multiparty Message Passing in Separation Logic. Proceedings of the ACM on Programming Languages , 8(OOPSLA2), Artikel 322. https://doi.org/10.1145/3689762

Klokmose, C. N., Eagan, J. R. & Van Hardenberg, P. (2024). MyWebstrates: Webstrates as Local-first Software. I UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology (s. 1-12). Artikel 42 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3654777.3676445, https://doi.org/10.1145/3654777.3676445

Francati, D. & Venturi, D. (2024). Non-malleable Fuzzy Extractors. I C. Pöpper & L. Batina (red.), Applied Cryptography and Network Security: 22nd International Conference, ACNS 2024, Abu Dhabi, United Arab Emirates, March 5–8, 2024, Proceedings, Part I (s. 135-155). Springer. https://doi.org/10.1007/978-3-031-54770-6_6

Brodal, G. S., Fagerberg, R. & Rysgaard, C. M. (2024). On Finding Longest Palindromic Subsequences Using Longest Common Subsequences. I T. Chan, J. Fischer, J. Iacono & G. Herman (red.), 32nd Annual European Symposium on Algorithms, ESA 2024 Artikel 35 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2024.35

Afshani, P. & Cheng, P. (2024). On Semialgebraic Range Reporting. Discrete and Computational Geometry, 71(1), 4-39. https://doi.org/10.1007/s00454-023-00574-1

Caragiannis, I., Hansen, K. A. & Rathi, N. (2024). On the Complexity of Pareto-Optimal and Envy-Free Lotteries. I AAMAS '24: Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems (s. 244-252). Association for Computing Machinery. https://dl.acm.org/doi/10.5555/3

Moradan, A. (2024). On the Expressiveness of Community Detection in Complex Networks. Aarhus University.

Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L. & de Pol, J. V. (2024). On-The-Fly Algorithm for Reachability in Parametric Timed Games. I B. Finkbeiner & L. Kovács (red.), Tools and Algorithms for the Construction and Analysis of Systems - 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings (s. 194-212). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-57256-2_10

Krishna, S., Lal, A., Pavlogiannis, A. & Tuppe, O. (2024). On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability. Proceedings of the ACM on Programming Languages , 8(POPL), 1239-1268. https://doi.org/10.1145/3632884

Neele, T. & Pol, J. V. D. (2024). Operations on Fixpoint Equation Systems. Logical Methods in Computer Science, 20(3), 5:1-5:32. https://doi.org/10.46298/LMCS-20(3:5)2024

Viser resultater 201 til 250 ud af 3004

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series