Publikationer

Søg publikationer fra Institut for Datalogi

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

Barrett, M., Müller-Eberstein, M., Bassignana, E., Pauli, A. B., Zhang, M. & van der Goot, R. (2024). Can Humans Identify Domains? I N. Calzolari, M.-Y. Kan, V. Hoste, A. Lenci, S. Sakti & N. Xue (red.), 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC-COLING 2024 - Main Conference Proceedings (s. 2745-2765). European Language Resources Association (ELRA).

Georges, A. L., Guéneau, A., Van Strydonck, T., Timany, A., Trieu, A., Devriese, D. & Birkedal, L. (2024). Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code. Journal of the ACM, 71(1), Artikel 3. https://doi.org/10.1145/3623510

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J., Sode, L., Madsen, J. & Corredig, M. (2024). Characterization of high protein anisotropic structures using Rheological fingerprint by large-deformation Lissajous curves. Science Talks, 9, Artikel 100283. https://doi.org/10.1016/j.sctalk.2023.100283

Melissaris Papanikolaou, N., Rachuri, R., Baum, C. & Scholl, P. (2024). Cheater Identification on a Budget: MPC with Identifiable Abort from Pairwise MACs. 454-488. Afhandling præsenteret på 44th Annual International Cryptology Conference - CRYPTO 2024, Santa Barbara, California, USA. https://doi.org/10.1007/978-3-031-68397-8_14

Musaeus, L. H. & Musaeus, P. (2024). Computational Thinking and Modeling: A Quasi-Experimental Study of Learning Transfer. Education Sciences, 14(9), Artikel 980. https://doi.org/10.3390/educsci14090980

Huang, W., Billinghurst, M., Alem, L., Xiao, C. & Rasmussen, T. (2024). Computer-Supported Collaboration: Theory and Practice. Wiley-IEEE press.

Nan Cheng, Gupta, N., Mitrokotsa, A. & Tozawa, K. (2024). Constant-Round Private Decision Tree Evaluation for Secret Shared Data. Proceedings on Privacy Enhancing Technologies, 2024(1), 397-412. https://doi.org/10.56553/popets-2024-0023

Abram, D., Doerner, J., Ishai, Y. & Narayanan, V. (2024). Constant-Round Simulation-Secure Coin Tossing Extension with Guaranteed Output. 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. 122–154). Springer. https://doi.org/10.1007/978-3-031-58740-5_5

Kolby, S., Ravi, D. & Yakoubov, S. (2024). Constant-Round YOSO MPC Without Setup. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/ae5w4fe-3

Braun, L. (2024). Cryptography After Prime Time: Protocols for Z2k and Groups of Unknown Order. 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. 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

Tunç, H. C. (2024). Efficient Data Structures and Algorithms for Dynamic Analysis of Concurrent Programs.

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. 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

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.

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

Viser resultater 101 til 150 ud af 2966

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series