Publikationer

Søg publikationer fra Institut for Datalogi

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

Boudgoust, K. & Roux-Langlois, A. (2024). Overfull: Too Large Aggregate Signatures Based on Lattices. The Computer Journal, 67(2), 719-727. https://doi.org/10.1093/comjnl/bxad013

Griggio, C. F., Gorman, B. M. & Tigwell, G. W. (2024). Party Face Congratulations! Exploring Design Ideas to Help Sighted Users with Emoji Accessibility when Messaging with Screen Reader Users. Proceedings of the ACM on Human-Computer Interaction, 8(CSCW1), Artikel 175. https://doi.org/10.1145/3641014

Filos-Ratsikas, A., Hansen, K. A., Høgh, K. & Hollender, A. (2024). PPAD-Membership for Problems with Exact Rational Solutions: A General Approach via Convex Optimization. I B. Mohar, I. Shinkar & R. O'Donnell (red.), STOC 2024 - Proceedings of the 56th Annual ACM Symposium on Theory of Computing (s. 1204-1215). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3618260.3649645

Wong, E., Esquivel, J. S., Leiva, G., Grønbæk, J. E. & Velloso, E. (2024). Practice-informed Paterns for Organising Large Groups in Distributed Mixed Reality Collaboration. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 1030 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3613904.3642502

Stassen, P. J. A. (2024). Programming language semantics in modal type theories. Department of Computer Science, University of Aarhus.

Pablos Sarabia, R., Nyborg, J. C., Birk, M. & Assent, I. (2024). RainAI - Precipitation Nowcasting from Satellite Data. Manuskript under forberedelse. I Weather4cast 2023 Competition at NeurIPS 2023 https://doi.org/10.48550/arXiv.2311.18398

Laursen, M. R., Xu, W. & Møller, A. (2024). Reducing Static Analysis Unsoundness with Approximate Interpretation. Proceedings of the ACM on Programming Languages , 8, 1165-1188. https://doi.org/10.1145/3656424

Egger, M. K., Ma, W., Mottin, D., Karras, P., Bordino, I., Gullo, F. & Anagnostopoulos, A. (2024). ReliK: A Reliability Measure for Knowledge Graph Embeddings. I WWW '24 : Proceedings of the ACM Web Conference (s. 2009-2019). Association for Computing Machinery. https://doi.org/10.1145/3589334.3645430

Caragiannis, I. & Narang, S. (2024). Repeatedly matching items to agents fairly and efficiently. Theoretical Computer Science, 981, Artikel 114246. https://doi.org/10.1016/j.tcs.2023.114246

Lunding, R. S., Lunding, M. S., Feuchtner, T., Petersen, M. G., Grønbæk, K. & Suzuki, R. (2024). RoboVisAR: Immersive Authoring of Condition-based AR Robot Visualisations. I HRI '2024: Proceedings of the 2024 ACM/IEEE International Conference on Human-Robot Interaction (s. 462-471). Association for Computing Machinery. https://doi.org/10.1145/3610977.3634972

Berger, C. P., Lutze, M. C. D., Elmqvist, N., Madsen, M. & Klokmose, C. N. (2024). Scientists and Code: Programming as a Tool. Afhandling præsenteret på PLATEAU, Berkeley, California, USA. https://kilthub.cmu.edu/articles/conference_contribution/Scientists_and_Code_Programming_as_a_Tool/25587726?backTo=/collections/PLATEAU_2024/7093870

Keller, H., Möllering, H., Schneider, T., Tkachenko, O. & Zhao, L. (2024). Secure Noise Sampling for DP in MPC with Finite Precision. I ARES '24: Proceedings of the 19th International Conference on Availability, Reliability and Security Artikel 25 Association for Computing Machinery. https://doi.org/10.1145/3664476.3664490

Chan, T. M., Cheng, P. & Zheng, D. W. (2024). Semialgebraic Range Stabbing, Ray Shooting, and Intersection Counting in the Plane. I W. Mulzer & J. M. Phillips (red.), 40th International Symposium on Computational Geometry, SoCG 2024 Artikel 33 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2024.33

Vindum, S. F. (2024). Separation Logic for Concurrency and Persistency. Aarhus University.

Draganov, A. A., Saulpic, D. & Schwiegelshohn, C. (2024). Settling Time vs. Accuracy Tradeoffs for Clustering Big Data. Proceedings of the ACM on Management of Data, 2(3), Artikel 173. https://doi.org/10.1145/3654976

Dahl, J. F., Gregersen, S. B., Andersen, U., Schulz, H.-J. & Corredig, M. (2024). Small and large deformation rheology on pizza cheese as an example of application to study anisotropic properties of food soft materials. Food Hydrocolloids, 148(Part A), Artikel 109456. https://doi.org/10.1016/j.foodhyd.2023.109456

Lee, H. S., Weidner, F., Sidenmark, L. & Gellersen, H. (2024). Snap, Pursuit and Gain: Virtual Reality Viewport Control by Gaze. I F. F. Mueller, P. Kyburz, J. R. Williamson, C. Sas, M. L. Wilson, P. T. Dugas & I. Shklovski (red.), CHI '24: Proceedings of the CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3613904.3642838

Høgsgaard, M. M., Kamma, L., Larsen, K. G., Nelson, J. & Schwiegelshohn, C. (2024). Sparse Dimensionality Reduction Revisited. Proceedings of Machine Learning Research, 235, 18454-18469.

Lystbæk, M. N., Pfeuffer, K., Langlotz, T., Grønbæk, J. E. & Gellersen, H. (2024). Spatial Gaze Markers: Supporting Effective Task Switching in Augmented Reality. I F. Mueller, P. Kyburz, J. Williamson, C. Sas, M. Wilson, P. Dugas & I. Shklovski (red.), CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the CHI Conference on Human Factors in Computing Systems Artikel 633 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642811

Alon, N., Grønlund, A., Jørgensen, S. F. & Larsen, K. G. (2024). Sublinear Time Shortest Path in Expander Graphs. I R. Kralovic & A. Kucera (red.), 49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024 (s. 8:1-8:13). Artikel 8 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2024.8

Abram, D., Roy, L. D. & Scholl, P. (Accepteret/In press). Succinct Homomorphic Secret Sharing. I Eurocrypt 2024

Chundury, P., Reyazuddin, Y., Jordan, J. B., Lazar, J. & Elmqvist, N. (2024). TactualPlot: Spatializing Data as Sound Using Sensory Substitution for Touchscreen Accessibility. IEEE Transactions on Visualization and Computer Graphics, 30(1), 836-846. https://doi.org/10.1109/TVCG.2023.3326937

Hogräfer, M. & Schulz, H.-J. (2024). Tailorable Sampling for Progressive Visual Analytics. IEEE Transactions on Visualization and Computer Graphics, 30(8), 4809-4824. https://doi.org/10.1109/TVCG.2023.3278084

Aminimehr, A., Khani, P., Molaei, A., Kazemeini, A. & Cambria, E. (2024). TbExplain: A Text-Based Explanation Method for Scene Classification Models with the Statistical Prediction Correction. I GUIDE-AI '24: Proceedings of the Conference on Governance, Understanding and Integration of Data for Effective and Responsible AI (s. 54-60). Association for Computing Machinery. https://doi.org/10.1145/3665601.3669841

Sitchinava, N. & Svenning, R. (2024). The All Nearest Smaller Values Problem Revisited in Practice, Parallel and External Memory. I SPAA '24: Proceedings of the 36th ACM Symposium on Parallelism in Algorithms and Architectures (s. 259-268). Association for Computing Machinery. https://doi.org/10.1145/3626183.3659979

Sieczkowski, F., Stepanenko, S., Sterling, J. & Birkedal, L. (2024). The Essence of Generalized Algebraic Data Types. Proceedings of the ACM on Programming Languages , 8(POPL), 695-723. https://doi.org/10.1145/3632866

Hoque, M. N., Mashiat, T., Ghai, B., Shelton, C., Chevalier, F., Kraus, K. & Elmqvist, N. (2024). The HaLLMark Effect: Supporting Provenance and Transparent Use of Large Language Models in Writing with Interactive Visualization. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 1045 Association for Computing Machinery. https://doi.org/10.1145/3613904.3641895

Karbasi, A. & Larsen, K. G. (2024). The Impossibility of Parallelizing Boosting. I Proceedings of Machine Learning Research (Bind 237, s. 635-653)

Wong, E., Grønbæk, J. E. & Velloso, E. (2024). The Jamais Vu Efect: Understanding the Fragile Illusion of Co-presence in Mixed Reality. I A. Vallgarda, L. Jonsson, J. Fritsch, S. F. Alaoui & C. A. Le Dantec (red.), DIS '24: Proceedings of the 2024 ACM Designing Interactive Systems Conference (s. 2227-2246). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3643834.3661574

Haselwarter, P. G., Hvass, B. S., Hansen, L. L., Winterhalter, T., Hriţcu, C. & Spitters, B. (2024). The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography. I A. Timany, D. Traytel, B. Pientka & S. Blazy (red.), CPP 2024: Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs (s. 30-44). Association for Computing Machinery. https://doi.org/10.1145/3636501.3636961

Timany, A., Guéneau, A. & Birkedal, L. (2024). The Logical Essence of Well-Bracketed Control Flow. Proceedings of the ACM on Programming Languages , 8(POPL), 575-603. https://doi.org/10.1145/3632862

Sterling, J., Gratzer, D. & Birkedal, L. (2024). Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. I A. Murano & A. Silva (red.), 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024 Artikel 47 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CSL.2024.47

Schulz, H.-J. & Weaver, C. (2024). Transient Visual Analytics. I M. El-Assady & H.-J. Schulz (red.), Proceedings of the 15th International EuroVis Workshop on Visual Analytics The Eurographics Association. https://doi.org/10.2312/eurova.20241108

Timany, A., Gregersen, S. O., Stefanesco, L., Hinrichsen, J. K., Gondelman, L., Nieto, A. & Birkedal, L. (2024). Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement. Proceedings of the ACM on Programming Languages , 8, Artikel 9. https://doi.org/10.1145/3632851

Caragiannis, I., Christodoulou, G. & Protopapas, N. (2024). Truthful aggregation of budget proposals with proportionality guarantees. Artificial Intelligence, 335, Artikel 104178. https://doi.org/10.1016/j.artint.2024.104178

Saioc, G.-V., Shirchenko, D. & Chabbi, M. (2024). Unveiling and Vanquishing Goroutine Leaks in Enterprise Microservices: a Dynamic Analysis Approach. I T. Grosser, C. Dubach, M. Steuwer, J. Xue, G. Ottoni & F. M. Q. Pereira (red.), 2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO) (s. 411-422). IEEE. https://doi.org/10.1109/CGO57630.2024.10444835

Hou, B. J., Abdrabou, Y., Weidner, F. & Gellersen, H. (2024). Unveiling Variations: A Comparative Study of VR Headsets Regarding Eye Tracking Volume, Gaze Accuracy, and Precision. I 2024 IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops (VRW) (s. 650-655). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/VRW62533.2024.00127

Grønkjær Jensen, M. V., Kjeldsen, H.-C., Skriver Nielsen, A., Olesen, N. B. & Aranha, D. F. (Accepteret/In press). Verifying ElectionGuard: a theoretical and empirical analysis. I Proceedings of E-Vote-ID 2024

Patnaik, B., Peng, H. & Elmqvist, N. (2024). VisTorch: Interacting with Situated Visualizations using Handheld Projectors. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems Artikel 208 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642857

Newburger, E. & Elmqvist, N. (2024). Visualization According to Statisticians: An Interview Study on the Role of Visualization for Inferential Statistics. IEEE Transactions on Visualization and Computer Graphics, 30(1), 230-239. https://doi.org/10.1109/TVCG.2023.3326521

Pientka, B., Blazy, S., Traytel, D. & Timany, A. (2024). Welcome from the Chairs. I CPP 2024 - Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2024 (s. iii-iv)

Mu, Q., Borowski, M., Grønbæk, J. E., Bødker, S. & Hoggan, E. (2024). Whispering Through Walls: Towards Inclusive Backchannel Communication in Hybrid Meetings. Afhandling præsenteret på CHI 2024 conference on Human Factors in Computing Systems. https://doi.org/10.1145/3613904.3642419

Javadi, S., Moradan, A., Sorkhpar, M., Zaporojets, K., Mottin, D. & Assent, I. (2024). Wiki Entity Summarization Benchmark.

Batch, A., Butcher, P. W. S., Ritsos, P. D. & Elmqvist, N. (2024). Wizualization: A 'Hard Magic' Visualization System for Immersive and Ubiquitous Analytics. IEEE Transactions on Visualization and Computer Graphics, 30(1), 507-517. https://doi.org/10.1109/TVCG.2023.3326580

Arge, L., Lowe, A., Svendsen, S. C. & Agarwal, P. K. (2023). 1D and 2D Flow Routing on a Terrain. ACM Transactions on Spatial Algorithms and Systems, 9(1), Artikel 3. https://doi.org/10.1145/3539660

Draganov, A., Jørgensen, J., Scheel, K., Mottin, D., Assent, I., Berry, T. & Aslay, C. (2023). ActUp: Analyzing and Consolidating tSNE & UMAP. I Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI-23) (s. 3651-3658). International Joint Conferences on Artificial Intelligence. https://www.ijcai.org/proceedings/2023/0406.pdf

Høgsgaard, M. M., Larsen, K. G. & Ritzert, M. (2023). AdaBoost is not an Optimal Weak to Strong Learner. I A. Krause, E. Brunskill, K. Cho, B. Engelhardt, S. Sabato & J. Scarlett (red.), Proceedings of ICML 2023 (s. 13118-13140). MLResearch Press.

Lampropoulos, K., Zardbani, F., Mamoulis, N. & Karras, P. (2023). Adaptive Indexing in High-Dimensional Metric Spaces. Proceedings of the VLDB Endowment, 16(10), 2525-2537. https://doi.org/10.14778/3603581.3603592

Zardbani, F., Mamoulis, N., Idreos, S. & Karras, P. (2023). Adaptive Indexing of Objects with Spatial Extent. Proceedings of the VLDB Endowment, 16(9), 2248-2260. https://doi.org/10.14778/3598581.3598596

Aagaard, F. L., Sterling, J. & Birkedal, L. (2023). A denotationally-based program logic for higher-order store. Electronic Notes in Theorical Informatics and Computer Science, 3. https://doi.org/10.46298/entics.12232

Viser resultater 101 til 150 ud af 2860

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series