Publikationer

Søg publikationer fra Institut for Datalogi

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

Abdrabou, Y., Hassib, M., Hu, S., Pfeuffer, K., Khamis, M., Bulling, A. & Alt, F. (2024). EyeSeeIdentity: Exploring Natural Gaze Behavior for Implicit User Identification during Photo Viewing.

Higuchi, N., Imamura, Y., Mic, V., Shinohara, T., Hirata, K. & Kuboyama, T. (Accepteret/In press). Fast Filtering for Similarity Search Using Conjunctive Enumeration of Sketches in Order of Hamming Distance. 499-510. Afhandling præsenteret på The International Conference on Pattern Recognition Applications and Methods, Rome, Italien. https://doi.org/10.5220/0012322700003654

Bui, D., Couteau, G., Meyer, P., Passelègue, A. & Riahinia, M. (2024). Fast Public-Key Silent OT and More from Constrained Naor-Reingold. I M. Joye & G. Leander (red.), Advances in Cryptology – EUROCRYPT 2024 - 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2024, Proceedings (s. 88-118). Springer Science and Business Media Deutschland GmbH. Advance online publication. https://doi.org/10.1007/978-3-031-58751-1_4

Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A. (2024). Fast Symbolic Computation of Bottom SCCs. I B. Finkbeiner & L. Kovács (red.), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024 (s. 110-128). Springer. https://doi.org/10.1007/978-3-031-57256-2_6

Manakhov, P., Sidenmark, L., Pfeuffer, K. & Gellersen, H. (2024). Filtering on the Go: Effect of Filters on Gaze Pointing Accuracy During Physical Locomotion in Extended Reality. IEEE Transactions on Visualization and Computer Graphics. Advance online publication. https://doi.org/10.1109/TVCG.2024.3456153

Mic, V. & Zezula, P. (2024). Filtering with relational similarity. Information Systems, 122, Artikel 102345. https://doi.org/10.1016/j.is.2024.102345

Petsinis, P., Tsourakakis, C. E. & Karras, P. (2024). Finding Dense and Persistently Expansive Subgraphs. I WWW 2024 Companion - Companion Proceedings of the ACM Web Conference (s. 553-556). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3589335.3651507

Christensen, H. B. (2024). Flexible, Reliable Software, 2nd Edition, Part V: Compositional Design: Compositional Design.

Christensen, H. B. (2024). Flexible, Reliable Software, 2nd Edition, Part VI: A Design Pattern Catalogue.

Kaspersen, M. H., Musaeus, L. H., Bilstrup, K. E. K., Petersen, M. G., Iversen, O. S., Dindler, C. & Dalsgaard, P. (2024). From Primary Education to Premium Workforce: Drawing on K-12 Approaches for Developing AI Literacy. I F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. Toups Dugas & I. Shklovski (red.), CHI' 2024: Proceedings of the CHI Conference on Human Factors in Computing Systems (s. 1-16). Artikel 268 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3613904.3642607

Larsen, K. G. (2024). From TCS to Learning Theory. I R. Kralovic & A. Kucera (red.), 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024 Artikel 4 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2024.4

Manakhov, P., Sidenmark, L., Pfeuffer, K. & Gellersen, H. (2024). Gaze on the Go: Effect of Spatial Reference Frame on Visual Target Acquisition During Physical Locomotion in Extended Reality. I CHI '24 : Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Artikel 373 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642915

Hou, B. J., Newn, J., Sidenmark, L., Khan, A. A. & Gellersen, H. (2024). GazeSwitch: Automatic Eye-Head Mode Switching for Optimised Hands-Free Pointing. Proceedings of the ACM on Human-Computer Interaction, 8(ETRA), Artikel 227. https://doi.org/10.1145/3655601

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. 1-24. Afhandling præsenteret på ISS '24 ACM Interactive Surfaces and Spaces , Vancouver, Britisk Columbia, Canada. https://doi.org/10.1145/3698134

Lystbæk, M. N., Mikkelsen, T., Krisztandl, R., Gonzalez, E. J., Gonzalez-Franco, M., Gellersen, H. & Pfeuffer, K. (Accepteret/In press). Hands-on, Hands-off: Gaze-Assisted Bimanual 3D Interaction. I UIST '24 - The 37th Annual ACM Symposium on User Interface Software and Technology 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. Advance online publication. https://doi.org/10.1111/pce.15009

Aranha, D. F., Costache, A., Guimaraes, A. & Soria-Vazquez, E. (Accepteret/In press). HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical. I Advances in Cryptology - ASIACRYPT 2024 - 30th International Conference on the Theory and Application of Cryptology and Information Security

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

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.), Short Paper Proceedings of the 26th Eurographics Conference on Visualization The Eurographics Association. https://doi.org/10.2312/evs.20241060

Neumann, L., Aranha, D. F., Guimaraes, A. & 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

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

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.

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

Burkhardt, J., Caragiannis, I., Fehrs, K., Russo, M., Schwiegelshohn, C. & Shyam, S. (2024). Low-Distortion Clustering with Ordinal and Limited Cardinal Information. I M. Wooldridge, J. Dy & S. Natarajan (red.), Technical Tracks 14 (9 udg., s. 9555-9563). Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v38i9.28811

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

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

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 Association for Computing Machinery.

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

Klokmose, C. N., Eagan, J. R. & van Hardenberg, P. (Accepteret/In press). MyWebstrates: Webstrates as Local-first Software. I UIST '24: Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology ACM. 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

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

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

Afshani, P. & Schwiegelshohn, C. (2024). Optimal Coresets for Low-Dimensional Geometric Median. Proceedings of Machine Learning Research, 235, 262-270.

Shaik, I. & Van de Pol, J. (2024). Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits. I S. Chakraborty & J.-H. R. Jiang (red.), 27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024 Artikel 26 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2024.26

Larsen, K. G., Pagh, R., Persiano, G., Pitassi, T., Yeo, K. & Zamir, O. (2024). Optimal Non-Adaptive Cell Probe Dictionaries and Hashing. I K. Bringmann, M. Grohe, G. Puppis & O. Svensson (red.), 51st International Colloquium on Automata, Languages, and Programming, ICALP 2024 Artikel 104 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ICALP.2024.104

Å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. (Accepteret/In press). Optimized SQIsign one-dimensional verification on Intel and Cortex-M4. IACR Transactions of Cryptographic Hardware and Embedded Systems.

Viser resultater 51 til 100 ud af 2860

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series