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

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

Kaspersen, M. H. (2023). AI Education that Matters: Designing Computationally Empowering Learning Tools for Machine Learning.

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

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

Veileborg, O. H., Saioc, G-V. & Møller, A. (2023). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. I ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (s. 1-12). [32] Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

Jørgensen, J. R. & Assent, I. (2023). EGG-SynC: Exact GPU-parallelized Grid-based Clustering by Synchronization. Paper præsenteret ved 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.

Boudgoust, K., Jeudy, C., Roux-Langlois, A. & Wen, W. (2023). Entropic Hardness of Module-LWE from Module-NTRU. I INDOCRYPT 2022 (s. 78-99). Springer. Lecture Notes in Computer Science Nr. 13774 https://doi.org/10.1007/978-3-031-22912-1_4

Gregersen, S. O. (2023). Higher-Order Separation Logic for Distributed Systems and Security. Aarhus Universitet.

Thomsen, S. E. (2023). Message Dissemination in the Nakamoto Era.

Blaabjerg, J. F. & Askarov, A. (Accepteret/In press). OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads. Paper præsenteret ved 36th IEEE Computer Security Foundations Symposium, Dubrovnik, Kroatien.

Boudgoust, K., Jeudy, C., Roux-Langlois, A. & Wen, W. (2023). On the Hardness of Module Learning with Errors with Short Distributions. J. Cryptol., 36(1).

Rachuri, S. R. (2023). Practical Multiparty Computation: Approaches to Private Machine Learning.

Liu-Zhang, C-D., Matt, C., Maurer, U., Rito, G. & Thomsen, S. E. (2023). Practical Provably Secure Flooding for Blockchains. I Advances in Cryptology - ASIACRYPT 2022: 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5–9, 2022, Proceedings, Part IV (1 udg., Bind 13794). Springer, Cham. Lecture Notes in Computer Science Bind 13794 https://eprint.iacr.org/2022/608

Han, W. & Schulz, H-J. (2023). Providing visual analytics guidance through decision support. Information Visualization. https://doi.org/10.1177/14738716221147289

Han, W. (2023). Towards Trustworthy Decision Making in Visual Analytics.

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

Abdrabou, Y., Schütte, J., Shams, A., Pfeuffer, K., Buschek, D., Khamis, M. & Alt, F. (2022). "Your Eyes Tell You Have Used This Password Before": Identifying Password Reuse from Gaze and Keystroke Dynamics. I CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems [400] Association for Computing Machinery. https://doi.org/10.1145/3491102.3517531

Khoshakhlagh, H. (2022). (Commit-and-Prove) Predictable Arguments with Privacy. I G. Ateniese & D. Venturi (red.), Applied Cryptography and Network Security: 20th International Conference, ACNS 2022, Proceedings (s. 542-561). Springer. Lecture Notes in Computer Science (LNCS) Bind 13269 https://doi.org/10.1007/978-3-031-09234-3_27

Baum, C., David, B. & Dowsley, R. (2022). (Public) Verifiability for Composable Protocols Without Adaptivity or Zero-Knowledge. I C. Ge & F. Guo (red.), Provable and Practical Security - 16th International Conference, ProvSec 2022, Proceedings (s. 249-272). Springer. Lecture Notes in Computer Science (LNCS) Nr. 13600 https://doi.org/10.1007/978-3-031-20917-8_17

Årdal, M. A. & Aranha, D. F. (Accepteret/In press). 2DT-GLS: Faster and exception-free scalar multiplication in the GLS254 binary curve. I 29th Conference on Selected Areas in Cryptography (SAC)

Theocharidis, K., Terrovitis, M., Skiadopoulos, S. & Karras, P. (2022). A Content Recommendation Policy for Gaining Subscribers. I SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval (s. 2501-2506). Association for Computing Machinery. https://doi.org/10.1145/3477495.3531885

Nielsen, T. D., Ladefoged, A. B., Bech-Azeddine, R., Møller, C., Jensen, T. S., Andersen, M. Ø., Karras, P. & Rasmussen, M. M. (2022). A Danish nationwide predictive model of 1-year patient satisfaction following routine surgical treatment for cervical radiculopathy; a methodological comparative study applying supervised machine learning. 5-5. Abstract fra Eurospine meeting 2022. https://doi.org/10.1016/j.bas.2022.100946

Nonnemann, L., Hogräfer, M., Röhlig, M., Schumann, H., Urban, B. & Schulz, H-J. (2022). A Data-Driven Platform for the Coordination of Independent Visual Analytics Tools. Computers & Graphics, 106, 152-160. https://doi.org/10.1016/j.cag.2022.05.023

Bonsangue, M., Caltais, G., Feng, H. & Tunç, H. C. (2022). A Language-Based Causal Model for Safety. I Y. Aït-Ameur & F. Craciun (red.), Theoretical Aspects of Software Engineering (s. 290-307). Springer. Lecture Notes in Computer Science Bind 13299 https://doi.org/10.1007/978-3-031-10363-6_20

Caragiannis, I., Micha, E. & Shah, N. (2022). A Little Charity Guarantees Fair Connected Graph Partitioning. I Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22 - March 1, 2022 (s. 4908-4916). AAAI Press. https://ojs.aaai.org/index.php/AAAI/article/view/20420

Hogräfer, M., Burkhardt, J. & Schulz, H-J. (2022). A Pipeline for Tailored Sampling for Progressive Visual Analytics. I J. Bernard & M. Angelini (red.), Proceedings of the 13th International EuroVis Workshop on Visual Analytics (EuroVA) (s. 49-53). Eurographics Association. https://doi.org/10.2312/eurova.20221079

Le, T., Dietz, F., Pfeuffer, K. & Alt, F. (2022). A Practical Method to Eye-Tracking on the Phone: Toolkit, Accuracy and Precision. I T. Doring, S. Boll, A. Colley, A. Esteves & J. Guerreiro (red.), Proceedings of MUM 2022, the 21st International Conference on Mobile and Ubiquitous Multimedia (s. 182-188). Association for Computing Machinery. ACM International Conference Proceeding Series https://doi.org/10.1145/3568444.3568463

Gratzer, D. & Birkedal, L. (2022). A Stratified Approach to Löb Induction. I A. P. Felty (red.), 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022 [23] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 228 https://doi.org/10.4230/LIPIcs.FSCD.2022.23

Al Farid, F., Hashim, N., Abdullah, J., Bhuiyan, M. R., Shahida Mohd Isa, W. N., Uddin, J., Haque, M. A. & Husen, M. N. (2022). A Structured and Methodological Review on Vision-Based Hand Gesture Recognition System. Journal of Imaging, 8(6), [153]. https://doi.org/10.3390/jimaging8060153

Petersen, R. K. B. (2022). A Tale of Twines, Quadrangles and Colorful Hierarchies. Aarhus Universitet.

Mathur, U., Pavlogiannis, A., Tunc, H. C. & Viswanathan, M. (2022). A Tree Clock Data Structure for Causal Orderings in Concurrent Executions. I B. Falsafi, M. Ferdman, S. Lu & T. F. Wenisch (red.), ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (s. 710-725). Association for Computing Machinery. ASPLOS: Architectural Support for Programming Languages and Operating Systems, Proceedings https://doi.org/10.1145/3503222.3507734

Niu, Y., Sterling, J., Grodin, H. & Harper, R. (2022). A cost-Aware logical framework. Proceedings of the ACM on Programming Languages , 6(POPL), [3498670]. https://doi.org/10.1145/3498670

Sterling, J., Angiuli, C. & Gratzer, D. (2022). A cubical language for bishop sets. Logical Methods in Computer Science, 18(1), 43:1-43:80. https://doi.org/10.46298/LMCS-18(1:43)2022

Huang, W., Wakefield, M., Rasmussen, T. A., Kim, S. & Billinghurst, M. (2022). A review on communication cues for augmented reality based remote guidance. Journal on Multimodal User Interfaces, 16(2), 239-256. https://doi.org/10.1007/s12193-022-00387-1

Hinrichsen, J. K., Bengtson, J. & Krebbers, R. (2022). ACTRIS 2.0: ASYNCHRONOUS SESSION-TYPE BASED REASONING IN SEPARATION LOGIC. Logical Methods in Computer Science, 18(2), 16:1-16:64. https://doi.org/10.46298/lmcs-18(2:16)2022

Evangelista Belo, J. M., Lystbæk, M. N., Feit, A. M., Pfeuffer, K., Kán, P., Oulasvirta, A. & Grønbæk, K. (2022). AUIT – the Adaptive User Interfaces Toolkit for Designing XR Applications. I UIST '22: Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology https://doi.org/10.1145/3526113.3545651

Jørgensen, J. R., Assent, I. & Schulz, H-J. (2022). AVID: GPU-enabled Visual Analytics with GPU-FAST-PROCLUS. I Proceedings of the 25th International Conference on Extending Database Technology (EDBT'22) (s. 562-565). openproceedings.org. https://doi.org/10.48786/edbt.2022.51

Sølvsten, S. C., de Pol, J. V., Jakobsen, A. B. & Thomasen, M. W. B. (2022). Adiar Binary Decision Diagrams in External Memory. I D. Fisman & G. Rosu (red.), Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (s. 295-313). Springer. Lecture Notes in Computer Science (LNCS) Bind 13244 https://doi.org/10.1007/978-3-030-99527-0_16

Van Oosterhout, A., Hoggan, E. & Bruns, M. (2022). Adjustable Graphical Notation and Accessible Hardware to Accommodate the Force Feedback Design Process Redesign of Feelix based on Preliminary Evaluations of Design Tools and Methods. I Participative Computing for Sustainable Futures - Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022 [52] Association for Computing Machinery, Inc. ACM International Conference Proceeding Series https://doi.org/10.1145/3547522.3547683

Mathiasen, A. (2022). Algorithmic Improvements to Boosting and Neural Networks. Aarhus Universitet.

Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V. & Pol, J. V. D. (2022). Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones. Information Systems, 103, [101456]. https://doi.org/10.1016/j.is.2019.101456

Bilo, V., Caragiannis, I., Flammini, M., Igarashi, A., Monaco, G., Peters, D., Vinci, C. & Zwicker, W. (2022). Almost envy-free allocations with connected bundles. Games and Economic Behavior, 131, 197-221. https://doi.org/10.1016/j.geb.2021.11.006

Abram, D., Damgård, I., Orlandi, C. & Scholl, P. (2022). An Algebraic Framework for Silent Preprocessing with Trustless Setup and Active Security. Lecture Notes in Computer Science, 13510, 421-452. https://doi.org/10.1007/978-3-031-15985-515

Schwiegelshohn, C. & Sheikh-Omar, O. A. (2022). An Empirical Evaluation of k-Means Coresets. I S. Chechik, G. Navarro, E. Rotenberg & G. Herman (red.), 30th Annual European Symposium on Algorithms, ESA 2022 (s. 84:1-84:17). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Bind 244 https://doi.org/10.4230/LIPIcs.ESA.2022.84

Andersen, L. B., Brabrand, C., Buhl, M., Caprani, O., Georgsen, M., Hachmann, R., Hjorth, M., Jørnø, R. L., Køhrsen, L., Misfeldt, M., Nørgård, R. T., Nortvig, A-M. & Rehder, M. M. (2022). Anbefalinger til indførsel af teknologiforståelse i uddannelse af lærere og andet pædagogisk personale: Slutleverance i 3. spor af forsøgsprogrammet for teknologiforståelse i folkeskolens obligatoriske undervisning. https://emu.dk/sites/default/files/2022-01/gsk_teknologiforståelse_Slutrapport_anbefalinger%20til%20uddannelse%20af%20lærere%20og%20pædagoger.pdf

Liu-Zhang, C-D., Matt, C. & Thomsen, S. E. (2022). Asymptotically Optimal Message Dissemination with Applications to Blockchains. https://eprint.iacr.org/2022/1723

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

Caragiannis, I., Gkatzelis, V., Psomas, A. & Schoepflin, D. (2022). Beyond Cake Cutting: Allocating Homogeneous Divisible Goods. I P. Faliszewski, V. Mascardi, C. Pelachaud & M. E. Taylor (red.), 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022 (s. 208-216). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). https://doi.org/10.5555/3535850.3535875

Caragiannis, I., Kanellopoulos, P. & Voudouris, A. A. (2022). Bounding the Inefficiency of Compromise in Opinion Formation. Algorithmica, 84(1), 234-271. https://doi.org/10.1007/s00453-021-00892-x

Viser resultater 1 til 50 ud af 2446

Næste

Revideret 26.09.2022

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series