Aarhus Universitets segl

Publikationer

Søg publikationer fra Institut for Datalogi

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

Sortér efter: Dato | Forfatter | Titel

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
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
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
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
Hogräfer, M., Moritz, D., Perer, A. & Schulz, H.-J. (2023). Combining Degree of Interest Functions and Progressive Visualization. I 2023 IEEE Visualization Conference – Short Papers: VIS 2023 (s. 251-255). IEEE. https://doi.org/10.1109/VIS54172.2023.00059
Bressa, N. A., Bødker, S., Klokmose, C. N. & Eriksson, E. (2023). Common Objects for Programming Workshops in Non-Formal Learning. I J. A. Nocera, M. K. Lárusdóttir, H. Petrie, A. Piccinno & M. Winckler (red.), Human-Computer Interaction – INTERACT 2023 (s. 275-296). Springer. https://doi.org/10.1007/978-3-031-42280-5_16
Sidenmark, L., Prummer, F., Newn, J. & Gellersen, H. (2023). Comparing Gaze, Head and Controller Selection of Dynamically Revealed Targets in Head-Mounted Displays. IEEE Transactions on Visualization and Computer Graphics, 29(11), 4740-4750. https://doi.org/10.1109/TVCG.2023.3320235
Høgh, K. (2023). Complexity of Total Search Problems. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Skitsas, K., Orłowski, K., Hermanns, J., Mottin, D. & Karras, P. (2023). Comprehensive Evaluation of Algorithms for Unrestricted Graph Alignment. I Proceedings 26th International Conference on Extending Database Technology (EDBT 2023) (s. 260-272). openproceedings.org. https://doi.org/10.48786/edbt.2023.21
Bilò, V., Hansen, K. A. & Mavronicolas, M. (2023). Computational Complexity of Decision Problems About Nash Equilibria in Win-Lose Multi-player Games. I A. Deligkas & A. Filos-Ratsikas (red.), Algorithmic Game Theory: SAGT 2023 (s. 40-57). Springer. https://doi.org/10.1007/978-3-031-43254-5_3
Caragiannis, I. & Jiang, Z. (2023). Computing Better Approximate Pure Nash Equilibria in Cut Games via Semidefinite Programming. I B. Saha & R. A. Servedio (red.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (s. 710-722). Association for Computing Machinery. https://doi.org/10.1145/3564246.3585236
Shaik, I. (2023). Concise Encodings for Planning and 2-Player Games. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Qian, Z. (2023). Concurrency And Races In Classical Linear Logic. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Nieto Rodriguez, A. (2023). Conflict-free Replicated Data Types have Abstract Data Types. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus University.
Beer, A., Draganov, A., Hohma, E., Jahn, P., Frey, C. M. M. & Assent, I. (2023). Connecting the Dots: Density-Connectivity Distance unifies DBSCAN, k-Center and Spectral Clustering. I KDD 2023 : Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (s. 80-92). Association for Computing Machinery. https://doi.org/10.1145/3580305.3599283
Evangelista Belo, J. M. (2023). Context-Aware Adaptive User Interfaces for Mixed Reality. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Chiang, J. H. Y., David, B., Gama, M. & Lebeda, C. J. (2023). Correlated-Output Differential Privacy and Applications to Dark Pools. I J. Bonneau & S. M. Weinberg (red.), 5th Conference on Advances in Financial Technologies, AFT 2023 Artikel 11 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.AFT.2023.11
Baum, C., David, B., Dowsley, R., Kishore, R., Nielsen, J. B. & Oechsner, S. (2023). CRAFT: Composable Randomness Beacons and Output-Independent Abort MPC From Time. 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 (Bind 1, s. 439-470). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-31368-4_16
Mic, V., Sedmidubsky, J. & Zezula, P. (2023). CRANBERRY: Memory-Effective Search in 100M High-Dimensional CLIP Vectors. I O. Pedreira & V. Estivill-Castro (red.), Similarity Search and Applications - 16th International Conference, SISAP 2023, Proceedings (s. 300-308). Springer. https://doi.org/10.1007/978-3-031-46994-7_26
Abram, D., Beimel, A., Ishai, Y., Kushilevitz, E. & Narayanan, V. (2023). Cryptography from Planted Graphs: Security with Logarithmic-Size Messages. 286-315. Afhandling præsenteret på Theory of Cryptography. TCC 2023, Taipei, Taiwan.
Campanelli, M., Hall-Andersen, M. N. & Kamp, S. H. (2023). Curve Trees: Practical and Transparent Zero-Knowledge Accumulators. I J. Calandrino & C. Troncoso (red.), SEC '23: Proceedings of the 32nd USENIX Conference on Security Symposium (s. 4391–4408). Artikel 246 Association for Computing Machinery. https://doi.org/10.5555/3620237.3620483