Publikationer

Søg publikationer fra Institut for Datalogi

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

Braun, L. (2024). Cryptography After Prime Time. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University.

Tunç, H. C., Deshmukh, A. P., Çirisci, B., Enea, C. & Pavlogiannis, A. (2024). CSSTs: A Dynamic Data Structure for Partial Orders in Concurrent Execution Analysis. I ASPLOS '24: Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Bind 3, s. 223-238). Association for Computing Machinery. https://doi.org/10.1145/3620666.3651358

Zhang, P., Cao, C., Zaporojets, K. & Groth, P. (2024). CYCLE: Cross-Year Contrastive Learning in Entity-Linking. I CIKM 2024 - Proceedings of the 33rd ACM International Conference on Information and Knowledge Management (s. 3197-3206). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3627673.3679702

Truong, T. T., Airao, J., Hojati, F., Ilvig, C. F., Azarhoushang, B., Karras, P. & Aghababaei, R. (2024). Data-driven prediction of tool wear using Bayesian regularized artificial neural networks. Measurement: Journal of the International Measurement Confederation, 238, Artikel 115303. https://doi.org/10.1016/j.measurement.2024.115303

Hoque, M. N. & Elmqvist, N. (2024). Dataopsy: Scalable and Fluid Visual Exploration using Aggregate Query Sculpting. IEEE Transactions on Visualization and Computer Graphics, 30(1), 186-196. https://doi.org/10.1109/TVCG.2023.3326594

Jacobs, J., Hinrichsen, J. K. & Krebbers, R. (2024). Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. Proceedings of the ACM on Programming Languages , 8(POPL), Artikel 47. https://doi.org/10.1145/3632889

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). Demonstrating MouthIO: Customizable Oral User Interfaces with Integrated Sensing and Actuation. I M. Wessely, V. Savage, P. Didyk & J. Martinez (red.), SCF Adjunct '24: Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication Artikel 6 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3665662.3673254

Ozbek, D., Alalawi, M., Eckroth, T. M. & Wessely, M. (2024). Demonstration of AcceloPrint: Fabricating Accelerometers with Multi-Material 3D Printing. I M. Wessely, V. Savage, P. Didyk & J. Martinez (red.), SCF Adjunct '24: Adjunct Proceedings of the 9th ACM Symposium on Computational Fabrication Artikel 8 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3665662.3673256

Jiang, Y., Kleinau, J., Eckroth, T. M., Hoggan, E., Mueller, S. & Wessely, M. (2024). Demonstration of MouthIO: Customizable Oral User Interfaces with Integrated Sensing and Actuation. I UIST Adjunct 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Artikel 17 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3672539.3686758

Zhu, Y., Honnet, C., Kang, Y., Zhu, J., Zheng, A. J., Heinz, K., Tang, G., Musk, L., Wessely, M. & Mueller, S. (2024). Demo of PortaChrome: A Portable Contact Light Source for Integrated Re-Programmable Multi-Color Textures. I UIST Adjunct 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Artikel 18 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3672539.3686774

Zhivotovskiy, N., Larsen, K. G. & Montasser, O. (2024). Derandomizing Multi-Distribution Learning. Abstract fra NeurIPS'24: 38th Conference on Neural Information Processing Systems, Vancouver, Canada.

Berger, C. P., Pollock, J., Arawjo, I. & Satyanarayan, A. (2024). Designing for Semi-Formal Programming with Foundation Models. Abstract fra PLATEAU, Berkeley, California, USA. https://vis.csail.mit.edu/pubs/semi-formal-design-space.pdf

Pfeuffer, K., Gellersen, H. & Gonzalez-Franco, M. (2024). Design Principles and Challenges for Gaze + Pinch Interaction in XR. IEEE Computer Graphics and Applications, 44(3), 74-81. https://doi.org/10.1109/MCG.2024.3382961

Brodal, G. S. & Wild, S. (2024). Deterministic Cache-Oblivious Funnelselect. I H. L. Bodlaender (red.), 19th Scandinavian Symposium on Algorithm Theory, SWAT 2024 Artikel 17 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SWAT.2024.17

Alon, N., Bousquet, O., Larsen, K. G., Moran, S. & Moran, S. (2024). Diagonalization Games. The American Mathematical Monthly, 131(10), 866-879. https://doi.org/10.1080/00029890.2024.2393992

Damgård, I., Keller, H., Nelson, B., Orlandi, C. & Pagh, R. (2024). Differentially Private Selection from Secure Distributed Computing. I T.-S. Chua, C.-W. Ngo, R. Kumar, H. W. Lauw & R. K.-W. Lee (red.), WWW 2024 - Proceedings of the ACM Web Conference (s. 1103-1114). Association for Computing Machinery. https://doi.org/10.1145/3589334.3645435

Dideriksen, A. K., Andersen, M. F., Priest, J., Eriksen, N. F., Frandsen, M. T., Melvad, C., Rasmussen, T. F., Nielsen, N. H. K., Strømsnes, C. T., Ahlebæk, M. J., Samsing, S., Larsen, T. B., Don, J., Pedersen, L. A. N., Jacobsen, R. H., Rysgaard, S., Kim, J. M., Bayer, R., Christensen, C. ... Karoff, C. (2024). DISCO-2 – an ambitious earth observing student CubeSat for arctic climate research. Frontiers in Remote Sensing, 5, Artikel 1474560. https://doi.org/10.3389/frsen.2024.1474560

Abram, D. (2024). Distributed (Correlation) Samplers: A Study on the Round Complexity of Cryptographic Sampling Protocols. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University.

Rodriguez, J. M., Tavassoli, N., Levy, E., Lederman, G., Sivov, D., Lissandrini, M. & Mottin, D. (2024). Does the Performance of Text-to-Image Retrieval Models Generalize Beyond Captions-as-a-Query? I N. Goharian, N. Tonellotto, Y. He, A. Lipani, G. McDonald, C. Macdonald & I. Ounis (red.), Advances in Information Retrieval: 46th European Conference on Information Retrieval, ECIR 2024, Glasgow, UK, March 24–28, 2024, Proceedings, Part IV (s. 161-176). Springer. https://doi.org/10.1007/978-3-031-56066-8_15

Goel, A., Hall-Andersen, M. & Kaptchuk, G. (2024). Dora: A Simple Approach to Zero-Knowledge for RAM Programs. I CCS 2024 - Proceedings of the 2024 ACM SIGSAC Conference on Computer and Communications Security (s. 869-883). Association for Computing Machinery. https://doi.org/10.1145/3658644.3690213

Beer, A., Palotás, O., Maldonado, A., Draganov, A. & Assent, I. (2024). DROPP: Structure-Aware PCA for Ordered Data: A General Method and its Applications in Climate Research and Molecular Dynamics. I 2024 IEEE 40th International Conference on Data Engineering (ICDE) (s. 1143-1156). IEEE. https://doi.org/10.1109/ICDE60146.2024.00093

Brewer, B., Brodal, G. S. & Wang, H. (2024). Dynamic Convex Hulls for Simple Paths. I W. Mulzer & J. M. Phillips (red.), 40th International Symposium on Computational Geometry, SoCG 2024 Artikel 24 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2024.24

Loss, J. & Nielsen, J. B. (2024). Early Stopping for Any Number of Corruptions. I M. Joye & G. Leander (red.), Advances in Cryptology – EUROCRYPT 2024: 43rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings (Bind III, s. 457-488). Springer. https://doi.org/10.1007/978-3-031-58734-4_16

Thøgersen, M. R. & Kjeldsen, R. J. F. (2024). Echolocation as an Accessible Navigation Tool in a Virtual 3D Environment. I ASSETS 2024 - Proceedings of the 26th International ACM SIGACCESS Conference on Computers and Accessibility Artikel 132 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3663548.3688547

Elmqvist, N., Liu, S. & Pascucci, V. (2024). Editorial Guest Editors' Introduction. IEEE Transactions on Visualization and Computer Graphics, 30(6), 2860-2861. https://doi.org/10.1109/TVCG.2024.3373233

Zhong, Z. & Mottin, D. (2024). Efficiently Predicting Mutational Effect on Homologous Proteins by Evolution Encoding. I A. Bifet, J. Davis, T. Krilavičius, M. Kull, E. Ntoutsi & I. Žliobaitė (red.), Machine Learning and Knowledge Discovery in Databases. Research Track: European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9–13, 2024, Proceedings, Part VII (s. 399-415). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-70368-3_24

Hall-Andersen, M. N. (2024). Either/Or. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University.

Abdrabou, Y., Asbeck, M., Pfeuffer, K., Abdelrahman, Y., Hassib, M. & Alt, F. (2024). Empowering Users: Leveraging Interface Cues to Enhance Password Security. https://link.springer.com/chapter/10.1007/978-3-031-42280-5_22

Hwang, C., Feuchtner, T., Oakley, I. & Grønbæk, K. (2024). Enriching Industrial Training Experience in Virtual Reality with Pseudo-Haptics and Vibrotactile Stimulation. 1-11. Afhandling præsenteret på The 30th ACM Symposium on Virtual Reality Software and Technology. https://doi.org/10.1145/3641825.3687728

Aguirre, A., Haselwarter, P. G., De Medeiros, M., Li, K. H., Gregersen, S. O., Tassarotti, J. & Birkedal, L. (2024). Error Credits: Resourceful Reasoning about Error Bounds for Higher-Order Probabilistic Programs. Proceedings of the ACM on Programming Languages , 8, Artikel 246. https://doi.org/10.1145/3674635

Caragiannis, I. & Homrighausen, S. (2024). Estimating the Expected Social Welfare and Cost of Random Serial Dictatorship. I G. Schäfer & C. Ventre (red.), Algorithmic Game Theory - 17th International Symposium, SAGT 2024, Proceedings (s. 184–201). Springer. https://doi.org/10.1007/978-3-031-71033-9_11

Besana, N., Krogh, P. G., Petersen, M. G. & Spallazzo, D. (2024). Expanding the Concept of Sustainable Interaction Design: A Systematic Review. Sustainability (Switzerland), 16(17), Artikel 7486. https://doi.org/10.3390/su16177486

Khani, P., Moeinaddini, E., Abnavi, N. D. & Shahraki, A. (2024). Explainable artificial intelligence for feature selection in network traffic classification: A comparative study. Transactions on Emerging Telecommunications Technologies, 35(4), Artikel e4970. https://doi.org/10.1002/ett.4970

Zhong, Z. & Mottin, D. (2024). Exploring Graph Structure Comprehension Ability of Multimodal Large Language Models: Case Studies.

Frich, J., Grønbæk, J. E., Borowski, M. & Dalsgaard, P. (Accepteret/In press). Exploring the impact of AI features on collaborative creativity. Afhandling præsenteret på OzCHI 2024, Brisbane, Australien. https://outbox.eait.uq.edu.au/uqsville/OzCHI2024/Long%20Papers/Exploring%20the%20impact%20of%20AI%20features%20on%20collaborative%20creativity.pdf

Turkmen, R., Gelmez, Z. E., Batmaz, A. U., Stuerzlinger, W., Asente, P., Sarac, M., Pfeuffer, K. & Machuca, M. D. B. (2024). EyeGuide & EyeConGuide: Gaze-based Visual Guides to Improve 3D Sketching Systems. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 178 Association for Computing Machinery. https://doi.org/10.1145/3613904.3641947

Wagner, U., Jacobsen, A. A., Feuchtner, T., Gellersen, H. & Pfeuffer, K. (2024). Eye-Hand Movement of Objects in Near Space. I B. Ens & S. Carpendale (red.), ISS Companion 2024 - Companion Proceedings of the Conference on Interactive Surfaces and Spaces (s. 18-21). Association for Computing Machinery. https://doi.org/10.1145/3696762.3698044

Wagner, U., Jacobsen, A. A., Feuchtner, T., Gellersen, H. & Pfeuffer, K. (2024). Eye-Hand Movement of Objects in Near Space Extended Reality. I UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Artikel 84 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3654777.3676446

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.

Ma, W. (2024). Fairness-aware Graph Mining. [Ph.d.-afhandling, Aarhus Universitet].

Svenning, R. & Sridhar, V. (2024). Fast Area-Weighted Peeling of Convex Hulls for Outlier Detection. I Proceedings of the 36th Canadian Conference on Computational Geometry (s. 233-240). The CCCG Library.

Aranha, D. F., Battagliola, M. & Roy, L. D. (2024). Faster coercion-resistant e-voting by encrypted sorting. I E-Vote-ID 2023 (s. 53-70). Gesellschaft fur Informatik (GI). https://doi.org/10.18420/e-vote-id2023_03

Higuchi, N., Imamura, Y., Mic, V., Shinohara, T., Hirata, K. & Kuboyama, T. (2024). Fast Filtering for Similarity Search Using Conjunctive Enumeration of Sketches in Order of Hamming Distance. I M. Castrillon-Santana, M. De Marsico & A. Fred (red.), Proceedings of the 13th International Conference on Pattern Recognition Applications and Methods - ICPRAM (Bind 1, s. 499-510). SCITEPRESS Digital Library. 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 (s. 88-118). Springer. 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, 30(11), 7234-7244. 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.

Viser resultater 201 til 250 ud af 3061

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series