Publikationer

Søg publikationer fra Institut for Datalogi

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

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. (2024). Verifying ElectionGuard: a theoretical and empirical analysis. I E-Vote-ID 2024 - Ninth International Joint Conference on Electronic Voting: Proceedings (s. 17-33). Gesellschaft fur Informatik (GI). https://doi.org/10.18420/e-vote-id2024_01

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

Ondov, B., Patel, H. B., Kuo, A. T., Kastner, J., Han, Y., Wei, H., Elmqvist, N. & Samet, H. (2024). Visualizing multilayer spatiotemporal epidemiological data with animated geocircles. Journal of the American Medical Informatics Association, 31(11), 2507-2518. https://doi.org/10.1093/jamia/ocae234

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. I CHI 2024 - Proceedings of the 2024 CHI Conference on Human Factors in Computing Sytems: Proceedings of the 2024 CHI Conference on Human Factors in Computing Systems Artikel 1032 Association for Computing Machinery. https://doi.org/10.1145/3613904.3642419

Mane, S. V. & Elmqvist, N. (2024). “Wichita 1-1, Fox Three” – The Role of 3D Telemetry Analysis in Combat Flight Simulation. Proceedings of the ACM on Human-Computer Interaction, 8(CHI PLAY), Artikel 349. https://doi.org/10.1145/3677114

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

Sølvsten, S. & van de Pol, J. (2023). Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. I K. Y. Rozier & S. Chaudhuri (red.), NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings (s. 464-471). Springer. https://doi.org/10.1007/978-3-031-33170-1_28

Wagner, U., Lystbæk, M. N., Manakhov, P., Grønbæk, J. E., Pfeuffer, K. & Gellersen, H. (2023). A Fitts’ Law Study of Gaze-Hand Alignment for Selection in 3D User Interfaces. I A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (red.), CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 252 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581423

Kaspersen, M. H. (2023). AI Education that Matters: Designing Computationally Empowering Learning Tools for Machine Learning. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.

Gleirscher, M., van de Pol, J. & Woodcock, J. (2023). A manifesto for applicable formal methods. Software and Systems Modeling, 22(6), 1737-1749. https://doi.org/10.1007/s10270-023-01124-2

Pauli, A. B., Derczynski, L. & Assent, I. (2023). Anchoring Fine-tuning of Sentence Transformer with Semantic Label Information for Efficient Truly Few-shot Classification. I H. Bouamor, J. Pino & K. Bali (red.), Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing (s. 11254–11264). Association for Computational Linguistics. https://doi.org/10.18653/v1/2023.emnlp-main.692

Cheng, P. & Afshani, P. (2023). An Optimal Lower Bound for Simplex Range Reporting. I T. Kavitha & K. Mehlhorn (red.), 6th Symposium on Simplicity in Algorithms (SOSA 2023) (s. 272-277). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977585.ch25

Pablos-Sarabia, R., Griol, D. & Callejas, Z. (2023). A Proposal for Data Collection and Process Automatization for Ubiquitous Engagement with Mental Health Organizations. I J. Bravo, S. Ochoa & J. Favela (red.), Proceedings of the International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2022 (s. 336-341). Springer. https://doi.org/10.1007/978-3-031-21333-5_34

Hubenschmid, S., Zagermann, J., Leicht, D., Reiterer, H. & Feuchtner, T. (2023). ARound the Smartphone: Investigating the Effects of Virtually-Extended Display Size on Spatial Memory. I CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems (s. 1-15). Artikel 527 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581438

Lunding, R. S., Lystbæk, M. N., Feuchtner, T. & Grønbæk, K. (2023). AR-supported Human-Robot Collaboration: Facilitating Workspace Awareness and Parallelised Assembly Tasks. I G. Bruder, A.-H. Olivier, A. Cunningham, E. Y. Peng, J. Grubert & I. Williams (red.), Proceedings - 2023 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2023 (s. 1064-1073). IEEE. https://doi.org/10.1109/ISMAR59233.2023.00123

Aranha, D. F., El Housni, Y. & Guillevic, A. (2023). A survey of elliptic curves for proof systems. Designs, Codes and Cryptography, 91, 3333–3378. https://doi.org/10.1007/s10623-022-01135-y

Chatzopoulos, S., Vergoulis, T., Skoutas, D., Dalamagas, T., Tryfonopoulos, C. & Karras, P. (2023). Atrapos: Real-time Evaluation of Metapath Query Workloads. I ACM Web Conference 2023 - Proceedings of the World Wide Web Conference, WWW 2023 (s. 2487-2498). Association for Computing Machinery. https://doi.org/10.1145/3543507.3583322

Larsen, C. A., Schmidt, S. M., Steensgaard, J., Jakobsen, A. B., Pol, J. V. D. & Pavlogiannis, A. (2023). A Truly Symbolic Linear-Time Algorithm for SCC Decomposition. I S. Sankaranarayanan & N. Sharygina (red.), Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Part II (s. 353-371). Springer. https://doi.org/10.1007/978-3-031-30820-8_22

Chulpongsatorn, N., Lunding, M. S., Soni, N. & Suzuki, R. (2023). Augmented Math: Authoring AR-Based Explorable Explanations by Augmenting Static Math Textbooks. I UIST 2023 - Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology (s. 1-16). Artikel 92 Association for Computing Machinery. https://doi.org/10.1145/3586183.3606827

Roy, L. & Xu, J. (2023). A Universally Composable PAKE with Zero Communication Cost: (And Why It Shouldn’t Be Considered UC-Secure). I A. Boldyreva & V. Kolesnikov (red.), Public-Key Cryptography – PKC 2023: 26th IACR International Conference on Practice and Theory of Public-Key Cryptography, Atlanta, GA, USA, May 7–10, 2023, Proceedings, Part I (s. 714-743). Springer. https://doi.org/10.1007/978-3-031-31368-4_25

Rasmussen, T. (2023). authAR - Automatic Authoring of Picking and Layout Optimization. I Proceedings of the 34th Australian Conference on Human-Computer Interaction (s. 199 - 205). Association for Computing Machinery. https://doi.org/10.1145/3572921.357294

Soureshjani, F. H., Hall-Andersen, M., Jahanara, M., Kam, J., Gorzny, J. & Ahmadvand, M. (2023). Automated Analysis of Halo2 Circuits. I S. Graham-Lengrand & M. Preiner (red.), Proceedings of the 21st International Workshop on Satisfiability Modulo Theories (SMT 2023) co-located with the 29th International Conference on Automated Deduction (CADE 2023), Rome, Italy, July, 5-6, 2023 (Bind 3429, s. 3-17). CEUR-WS.org. https://ceur-ws.org/Vol-3429/paper3.pdf

Larsen, K. G. (2023). Bagging is an Optimal PAC Learner. I G. Neu & L. Rosasco (red.), Proceedings of COLT 2023 (s. 450-468). MLResearch Press.

Fandina, O. N., Høgsgaard, M. M. & Larsen, K. G. (2023). Barriers for Faster Dimensionality Reduction. I P. Berenbrink, P. Bouyer, A. Dawar & M. M. Kante (red.), 40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023 Artikel 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2023.31

Borowski, M., Fog, B. V., Griggio, C. F., Eagan, J. R. & Klokmose, C. N. (2023). Between Principle and Pragmatism: Reflections on Prototyping Computational Media with Webstrates. ACM Transactions on Computer-Human Interaction, 30(4), Artikel 61. https://doi.org/10.1145/3569895

Patra, A. & Ravi, D. (2023). Beyond Honest Majority: The Round Complexity of Fair and Robust Multi-party Computation. Journal of Cryptology, 36(3), Artikel 30. https://doi.org/10.1007/s00145-023-09468-0

Lund, J., Jensen, L. B., Battle, N., Larsen, P. G. & Macedo, H. D. (2023). Bidirectional UML Visualisation of VDM Models.

Viallat, V. C. A., Grandoni, F., Lee, E. & Schwiegelshohn, C. (2023). Breaching the 2 LMP Approximation Barrier for Facility Location with Applications to k-Median. I Thirty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2023) (Bind 1, s. 940-986). Association for Computing Machinery.

Starup, J. L., Madsen, M. & Lhoták, O. (2023). Breaking the Negative Cycle: Exploring the Design Space of Stratification for First-Class Datalog Constraints. I K. Ali & G. Salvaneschi (red.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 Artikel 31 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.31

Ciampi, M., Damgård, I., Ravi, D., Siniscalchi, L., Xia, Y. & Yakoubov, S. (2023). Broadcast-Optimal Four-Round MPC in the Plain Model. I G. Rothblum & H. Wee (red.), Theory of Cryptography: 21st International Conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023, Proceedings, Part II (s. 3-32). Springer. https://doi.org/10.1007/978-3-031-48618-0_1

Damgård, I., Ravi, D., Siniscalchi, L. & Yakoubov, S. (2023). Broadcast-Optimal Two Round MPC with Asynchronous Peer-to-Peer Channels. I A. Aly & M. Tibouchi (red.), Progress in Cryptology – LATINCRYPT 2023: 8th International Conference on Cryptology and Information Security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3–6, 2023, Proceedings (s. 87-106). Springer. https://doi.org/10.1007/978-3-031-44469-2_5

Niu, S., Lu, Z., Zhang, A. X., Cai, J., Griggio, C. F. & Heuer, H. (2023). Building Credibility, Trust, and Safety on Video-Sharing Platforms. I A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson & A. Peters (red.), Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems, CHI EA 2023, Hamburg, Germany, April 23-28, 2023 (s. 337:1-337:7). Artikel 337 ACM. https://doi.org/10.1145/3544549.3573809

Evangelista Belo, J. M., Wissing, J., Feuchtner, T. & Grønbæk, K. (2023). CADTrack: Instructions and Support for Orientation Disambiguation of Near-Symmetrical Objects. I V. Mäkelä, A. Lucero, F. Alt & M. Hancock (red.), Proceedings of the ACM on Human-Computer Interaction Artikel 426 Association for Computing Machinery. https://doi.org/10.1145/3626462

Hansen, R. T., Borghegn, N. W., Gundtoft, P. H., Nielsen, K. A., Balslev-Clausen, A. & Viberg, B. (2023). Change in treatment preferences in pediatric diaphyseal forearm fractures: a Danish nationwide register study of 36,244 fractures between 1997 and 2016. Acta Orthopaedica. Supplementum (Print Edition), 94, 32-37. https://doi.org/10.2340/17453674.2023.7132

Cino, D., Brandsen, S., Bressa, N. A., Eriksson, E., Mascheroni, G. & Zaman, B. (2023). Children’s digital skills acquisition in non-formal educational contexts: Pedagogical practices, learning, and inclusion opportunities in coding and robotics workshops. Italian Journal of Educational Research, 54-72. https://doi.org/10.7346/sird-012023-p54

Frisk, M., Vejrup, M. K. S., Soerensen, F. K. & Wessely, M. (2023). ChromaNails: Re-Programmable Multi-Colored High-Resolution On-Body Interfaces using Photochromic Nail Polish. I UIST 2023 Adjunct - Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Artikel 72 Association for Computing Machinery. https://doi.org/10.1145/3586182.3615824

Bødker, S., Borowski, M., Griggio, C. F., Korsgaard, H. & Tchernavskij, P. (2023). CIO Work Package 1 Summary: Theoretical Concepts.

Bødker, S., Borowski, M., Tchernavskij, P., Hoggan, E. & Korsgaard, H. (2023). CIO Work Package 3 Summary: Technical Requirements.

Hou, B. J., Newn, J., Sidenmark, L., Khan, A. A., Bækgaard, P. & Gellersen, H. (2023). Classifying Head Movements to Separate Head-Gaze and Head Gestures as Distinct Modes of Input. I CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 253 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581201

Viser resultater 401 til 450 ud af 3092

Forrige