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

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 (Bind 195, 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
Chen, Y., Gelder, M. L. V., Nazari, P., Brogan, C. L., Dishoeck, E. F. V., Linnartz, H., Jørgensen, J. K., Hunter, T. R., Wilkins, O. H., Blake, G. A., Caselli, P., Chuang, K. .-J., Codella, C., Cooke, I., Drozdovskaya, M. N., Garrod, R. T., Ioppolo, S., Jin, M., Kulterer, B. M. ... McGuire, B. A. (2023). CoCCoA: Complex Chemistry in hot Cores with ALMA. Selected oxygen-bearing species.
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 Universitet.
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+Business Media. 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. https://doi.org/10.1007/978-3-031-48615-9_11
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
Zhu, Y., Honnet, C., Kang, Y., Zhu, J., Zheng, A. J., Heinz, K., Tang, G., Musk, L., Wessely, M. & Mueller, S. (2023). Demonstration of ChromoCloth: Re-Programmable Multi-Color Textures through Flexible and Portable Light Source. I UIST 2023 Adjunct - Adjunct Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology Artikel 73 Association for Computing Machinery. https://doi.org/10.1145/3586182.3615811
Ko, D., Kim, Y., Zhu, J., Wessely, M. & Mueller, S. (2023). Demonstration of FlexBoard: A Flexible Breadboard Platform for Interaction Prototyping on Curved and Deformable Objects. I CHI EA '23: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 444 Association for Computing Machinery. https://doi.org/10.1145/3544549.3583915
Jacobs, J., Hinrichsen, J. K. & Krebbers, R. (2023). Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). Proceedings of the ACM on Programming Languages , 7(ICFP), 768-795. Artikel 214. https://doi.org/10.1145/3607856
Georges, A. L. (2023). Designing and Proving Robust Safety of Efficient Capability Machine Programs. [Ph.d.-afhandling, Aarhus Universitet]. Aarhus Universitet.
Van Oosterhout, A., Bruns, M. & Hoggan, E. (2023). Designing for Haptic and Embodied Interaction with Feelix. I TEI '23: Proceedings of the Seventeenth International Conference on Tangible, Embedded, and Embodied Interaction Artikel 66 Association for Computing Machinery. https://doi.org/10.1145/3569009.3571842
Cohen-Addad, V., Saulpic, D. & Schwiegelshohn, C. (2023). Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation. I 2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS) (s. 1105-1130). IEEE. https://doi.org/10.1109/FOCS57990.2023.00066
Larsen, K. G., Obremski, M. & Simkin, M. (2023). Distributed Shuffling in Adversarial Environments. I K.-M. Chung (red.), 4th Conference on Information-Theoretic Cryptography, ITC 2023 Artikel 10 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ITC.2023.10
Butcher, P. W. S., Batch, A., Ritsos, P. D. & Elmqvist, N. (2023). Don't Pull the Balrog - Lessons Learned from Designing Wizualization: a Magic-inspired Data Analytics System in XR. 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 Adjunct, ISMAR-Adjunct 2023 (s. 234-237). IEEE. https://doi.org/10.1109/ISMAR-Adjunct60411.2023.00054