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

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

Sølvsten, S. & van de Pol, J. (2023). Adiar 1.1: Zero-Suppressed Decision Diagrams in External Memory. I NASA Formal Methods - 15th International Symposium, NFM 2023, Proceedings: 15th International Symposium, NFM 2023 (s. 464). 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 CHI 2023 - 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. Aarhus Universitet.

Cheng, P. & Afshani, P. (2023). An Optimal Lower Bound for Simplex Range Reporting. I 6th Symposium on Simplicity in Algorithms (SOSA 2023) (s. 272-277). Society for Industrial and Applied Mathematics.

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

Lunding, R. S., Lystbæk, M. N., Feuchtner, T. & Grønbæk, K. (Accepteret/In press). AR-supported Human-Robot Collaboration: Facilitating Workspace Awareness and Parallelised Assembly Tasks. I Proceedings of IEEE ISMAR23 IEEE.

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

Musaeus, L. H., Caspersen, M. E. & Musaeus, P. (2023). A Template for Teaching Computational Modelling in High School. I WiPSCE proceedings 2023 (s. 1-10) https://doi.org/10.1145/3605468.3609754

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. Lecture Notes in Computer Science, 13994, 353-371. https://doi.org/10.1007/978-3-031-30820-822

Rasmussen, T. (Accepteret/In press). authAR - Automatic Authoring of Picking and Layout Optimization. Afhandling præsenteret på OzCHI 2022, Canberra, Australien.

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 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2023.31

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

Nielsen, S. D-H., Liang, N., Rathish, H., Kim, B. J., Lueangsakulthai, J., Koh, J., Qu, Y., Schulz, H-J. & Dallas, D. C. (2023). Bioactive milk peptides: an updated comprehensive overview and database. Critical Reviews in Food Science and Nutrition. adv. onlinepublikation. https://doi.org/10.1080/10408398.2023.2240396

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

Evangelista Belo, J. M., Wissing, J., Feuchtner, T. & Grønbæk, K. (Accepteret/In press). CADTrack: Instructions and Support for Orientation Disambiguation of Near-Symmetrical Objects. I Proceedings of ACM ISS2023 ACM Press.

Munch-Hansen, A., Baum, C., Scholl, P. & Braun, L. (2023). Cheddar -- Oh, Range Proofs for VOLE-based Zero-Knowledge!

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

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. (Accepteret/In press). Classifying Head Movements to Separate Head-Gaze and Head Gestures as Distinct Modes of Input. I CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems artikel 253 https://doi.org/10.1145/3544548.3581201

Bressa, N. A., Bødker, S., Klokmose, C. N. & Eriksson, E. (2023). Common Objects for Programming Workshops in Non-Formal Learning. Afhandling præsenteret på INTERACT, York, Storbritannien.

Bressa, N. A., Bødker, S., Klokmose, C. N. & Eriksson, E. (2023). Common Objects for Programming Workshops in Non-Formal Learning Contexts. I Human-Computer Interaction – INTERACT 2023: Lecture Notes in Computer Science (Bind 14142, s. 275-296). Springer. https://doi.org/10.1007/978-3-031-42280-5_16

Høgh, K. (2023). Complexity of Total Search Problems: Equilibria and Fair Division.

Skitsas, K., University, D. O. C. S., Hermanns, J., Mottin, D. & Karras, P. (2023). Comprehensive Evaluation of Algorithms for Unrestricted Graph Alignment. Advances in Database Technology - EDBT, 260-272. https://doi.org/10.48786/edbt.2023.21

Musaeus, L. H., Hansen, J. Ø. & Nielsen, K. (2023). Computational thinking i matematik, naturfag og samfundsfag. MONA - Matematik- og Naturfagsdidaktik, 2023-1, 45-71.

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, Inc. https://doi.org/10.1145/3564246.3585236

Shaik, I. (2023). Concise Encodings for Planning and 2-Player Games. Department of Computer Science, Aarhus University.

Shaik, I. & van de Pol, J. (2023). Concise QBF Encodings for Games on a Grid (extended version). https://doi.org/10.48550/arXiv.2303.16949

Qian, Z. (2023). Concurrency And Races In Classical Linear Logic. Aarhus Universitet.

Nieto Rodriguez, A. (2023). Conflict-free Replicated Data Types have Abstract Data Types. Aarhus University.

Evangelista Belo, J. M. (2023). Context-Aware Adaptive User Interfaces for Mixed Reality.

Hogräfer, M. (2023). Contributions towards Improving the Usefulness of Partial Visualizations in Progressive Visual Analytics. Aarhus Universitet.

Georges, A. L. (2023). Designing and Proving Robust Safety of Efficient Capability Machine Programs. 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

Veileborg, O. H., Saioc, G-V. & Møller, A. (2023). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. I iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings (s. 1-12). artikel 32 Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

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

Jørgensen, J. R. & Assent, I. (2023). EGG-SynC: Exact GPU-parallelized Grid-based Clustering by Synchronization. Afhandling præsenteret på EDBT 2023: 26th International Conference on Extending Database Technology.

Bilstrup, K-E. K. (2023). Embodied Computational Empowerment: Designing Educational Tools for Critical Reflection on Computational Technologies. Aarhus Universitet.

Boudgoust, K., Jeudy, C., Roux-Langlois, A. & Wen, W. (2023). Entropic Hardness of Module-LWE from Module-NTRU. I Progress in Cryptology – INDOCRYPT 2022 - 23rd International Conference on Cryptology in India, 2022, Proceedings (s. 78-99). Springer. https://doi.org/10.1007/978-3-031-22912-1_4

Brodal, G. S., Rysgaard, C. M. & Svenning, R. (2023). External Memory Fully Persistent Search Trees. I B. Saha & R. A. Servedio (red.), STOC 2023 - Proceedings of the 55th Annual ACM Symposium on Theory of Computing (s. 1410-1423). Association for Computing Machinery. https://doi.org/10.1145/3564246.3585140

Aranha, D. F., Battagliola, M. & Roy, L. D. (Accepteret/In press). Faster coercion-resistant e-voting by encrypted sorting. I Proceedings of E-Vote-ID 2023 Tartu University Press.

Aranha, D. F., Hvass, B. S., Spitters, B. & Tibouchi, M. (Accepteret/In press). Faster constant-time evaluation of the Kronecker symbol with application to elliptic curve hashing. I CCS 2023

Horst, M., Iversen, O. S. & Petersen, M. G. (2023). Forskere: Mens vi diskuterer skærme i skolen, sætter resten af Europa digital teknologi på skemaet. Altinget.

Hvass, B. S. (2023). Foundational Verification of Cryptographic Primitives. Aarhus Universitet.

Braun, L., Huppert, M., Khayata, N., Schneider, T. & Tkachenko, O. (2023). FUSE - Flexible File Format and Intermediate Representation for Secure Multi-Party Computation. I J. Liu, Y. Xiang, S. Nepal & G. Tsudik (red.), ASIA CCS 2023 - Proceedings of the 2023 ACM Asia Conference on Computer and Communications Security (s. 649-663). Association for Computing Machinery. https://doi.org/10.1145/3579856.3590340

Hu Fleischhauer, Y., Surale, H. B., Alt, F. & Pfeuffer, K. (2023). Gaze-based Mode-Switching to Enhance Interaction with Menus on Tablets. I S. N. Spencer (red.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (s. 1-8). artikel 7 Association for Computing Machinery. https://doi.org/10.1145/3588015.3588409

Sidenmark, L., Lystbæk, M. N. & Gellersen, H. (2023). GE-Simulator: An Open-Source Tool for Simulating Real-Time Errors for HMD-based Eye Trackers. I S. N. Spencer (red.), Proceedings of the 2023 Symposium on Eye Tracking Research and Applications (s. 1-6). artikel 8 Association for Computing Machinery. https://doi.org/10.1145/3588015.3588417

Schäfer, Z., Mathisen, A., Thomsen, T. R., Rossing, P. & Kirketerp-Møller, K. (2023). Glucagon-like peptide-1 treatment reduces the risk of diabetes-type 2 related amputations: A cohort study in Denmark. Diabetes Research and Clinical Practice, 202, artikel 110799. https://doi.org/10.1016/j.diabres.2023.110799

Viser resultater 1 til 50 ud af 2545

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series