Publikationer

Søg publikationer fra Institut for Datalogi

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

Moradan, A., Draganov, A., Mottin, D. & Assent, I. (2023). UCoDe: unified community detection with graph convolutional networks. Machine Learning, 112(12), 5057-5080. https://doi.org/10.1007/s10994-023-06402-0

Kavvos, G. A. & Gratzer, D. (2023). Under Lock and Key: A Proof System for a Multimodal Logic. Bulletin of Symbolic Logic, 29(2), 264-293. https://doi.org/10.1017/bsl.2023.14

Kingo, T. & Aranha, D. F. (2023). User-centric security analysis of MitID: the Danish passwordless digital identity solution. Computers & Security, 132, Artikel 103376. https://doi.org/10.1016/j.cose.2023.103376

Madsen, O. L. (2023). Using Object-Sequence Diagrams for Debugging. I E. Gonzalez Boix & C. Scholliers (red.), DEBT 2023: Proceedings of the 1st ACM International Workshop on Future Debugging Techniques (s. 11-22). Association for Computing Machinery. https://doi.org/10.1145/3605155.3605864

Shaik, I., Heisinger, M., Seidl, M. & Pol, J. V. D. (2023). Validation of QBF Encodings with Winning Strategies. Leibniz International Proceedings in Informatics, 271. https://doi.org/10.4230/LIPIcs.SAT.2023.24

Sidenmark, L., Clarke, C., Newn, J., Lystbæk, M. N., Pfeuffer, K. & Gellersen, H. (2023). Vergence Matching: Inferring Attention to Objects in 3D Environments for Gaze-Assisted Selection. I CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Artikel 257 Association for Computing Machinery. https://doi.org/10.1145/3544548.3580685

Ateniese, G., Chen, L., Francati, D., Papadopoulos, D. & Tang, Q. (2023). Verifiable Capacity-Bound Functions: A New Primitive from Kolmogorov Complexity: (Revisiting Space-Based Security in the Adaptive Setting). 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 II (s. 63-93). Springer. https://doi.org/10.1007/978-3-031-31371-4_3

Aranha, D. F., Baum, C., Gjøsteen, K. & Silde, T. (2023). Verifiable Mix-Nets and Distributed Decryption for Voting from Lattice-Based Assumptions. I CCS'23: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (s. 1467-1481). Association for Computing Machinery. https://doi.org/10.1145/3576915.3616683

Gondelman, L., Hinrichsen, J. K., Pereira, M., Timany, A. & Birkedal, L. (2023). Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. Proceedings of the ACM on Programming Languages , 7(ICFP), 847-877. Artikel 217. https://doi.org/10.1145/3607859

Liu, Z., Stepanenko, S., Pichon-Pharabod, J., Timany, A., Askarov, A. & Birkedal, L. (2023). VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A. Proceedings of the ACM on Programming Languages , 7, 1438-1462. https://doi.org/10.1145/3591279

Brânzei, S., Filos-Ratsikas, A., Miltersen, P. B. & Zeng, Y. (2023). Walrasian pricing in multi-unit auctions. Artificial Intelligence, 322, Artikel 103961. https://doi.org/10.1016/j.artint.2023.103961

Sterling, J. (2023). What should a generic object be? Mathematical Structures in Computer Science, 33(1), 46-67. https://doi.org/10.1017/S0960129523000117

Madsen, O. L. & Møller-Pedersen, B. (2023). What your mother forgot to tell you about modeling – and programming. I 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) (s. 200-210). IEEE. https://doi.org/10.1109/MODELS-C59198.2023.00049

Pedersen, J. M., Blatchley Hansen, A. & Halbe Torres, M. (2023). Winning the European Cyber Security Challenge 2022: What did We Learn? I International Symposium on Project Approaches in Engineering Education (s. 139-148) http://paee.dps.uminho.pt/proceedingsSCOPUS/PAEE_ALE_2023_PROCEEDINGS.pdf

Lutze, M., Madsen, M., Schuster, P. & Brachthäuser, J. I. (2023). With or Without You: Programming with Effect Exclusion. Proceedings of the ACM on Programming Languages , 7(ICFP), 448-475. https://doi.org/10.1145/3607846

Campanelli, M., Gennaro, R., Melissaris, K. G. & Nizzardo, L. (2023). Witness-Authenticated Key Exchange Revisited: Improved Models, Simpler Constructions, Extensions to Groups. I F. Baldimtsi & C. Cachin (red.), Financial Cryptography and Data Security: 27th International Conference, FC 2023, Bol, Brač, Croatia, May 1–5, 2023, Revised Selected Papers, Part I (1 udg., Bind 13950, s. 112). Artikel 7 Springer, Cham. https://doi.org/10.1007/978-3-031-47754-6_7

Ganesh, C., Kondi, Y. M., Orlandi, C., Pancholi, M. R., Takahashi, A. & Tschudi, D. (2023). Witness-Succinct Universally-Composable SNARKs. I C. Hazay & M. Stam (red.), Advances in Cryptology – EUROCRYPT 2023: 42nd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Lyon, France, April 23–27, 2023, Proceedings, Part II (s. 315–346). Springer. https://doi.org/10.1007/978-3-031-30617-4_11

Braun, L., Delpech de Saint Guilhem, C., Jadoul, R., Orsini, E., Smart, N. P. & Tanguy, T. (2023). ZK-for-Z2K: MPC-in-the-Head Zero-Knowledge Proofs for Z2k. I E. A. Quaglia (red.), Cryptography and Coding - 19th IMA International Conference, IMACC 2023, London, UK, December 12-14, 2023, Proceedings (Bind 14421, s. 137-157). Springer, Cham. https://doi.org/10.1007/978-3-031-47818-58

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

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

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

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

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

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. 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’22) Artikel 52 Association for Computing Machinery. https://doi.org/10.1145/3547522.3547683

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 - 16th International Symposium, TASE 2022, Proceedings (s. 290-307). Springer. https://doi.org/10.1007/978-3-031-10363-6_20

Mathiasen, A. (2022). Algorithmic Improvements to Boosting and Neural Networks. [Ph.d.-afhandling, Aarhus Universitet]. 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, Artikel 101456. https://doi.org/10.1016/j.is.2019.101456

Caragiannis, I., Micha, E. & Shah, N. (2022). A Little Charity Guarantees Fair Connected Graph Partitioning. Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), 4908-4916. https://doi.org/10.1609/aaai.v36i5.20420

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. I Y. Dodis & T. Shrimpton (red.), Advances in Cryptology – CRYPTO 2022 (s. 421-452). Springer. https://doi.org/10.1007/978-3-031-15985-5_15

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

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). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ESA.2022.84

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. https://doi.org/10.1145/3568444.3568463

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

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 Artikel 23 Dagstuhl Publishing. 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), Artikel 153. https://doi.org/10.3390/jimaging8060153

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

Petersen, R. K. B. (2022). A Tale of Twines, Quadrangles and Colorful Hierarchies. [Ph.d.-afhandling, Aarhus Universitet]. 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. https://doi.org/10.1145/3503222.3507734

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 Artikel 48 Association for Computing Machinery. 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

Caragiannis, I., Gkatzelis, V., Psomas, A. & Schoepflin, D. (2022). Beyond Cake Cutting: Allocating Homogeneous Divisible Goods. I Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) (s. 208-216). International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS).

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

Griggio, C. F., Nouwens, M. & Klokmose, C. N. (2022). Caught in the Network: The Impact of WhatsApp's 2021 Privacy Policy Update on Users' Messaging App Ecosystems. I CHI '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Artikel 104 Association for Computing Machinery. https://doi.org/10.1145/3491102.3502032

Shaik, I. & van de Pol, J. (2022). Classical Planning as QBF without Grounding. I A. Kumar, S. Thiebaux, P. Varakantham & W. Yeoh (red.), Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022 (s. 329-337). AAAI Press. https://doi.org/10.1609/icaps.v32i1.19817

Korsgaard, H., Lyle, P. J., Saad-Sulonen, J., Klokmose, C. N., Nouwens, M. & Bødker, S. (2022). Collectives and Their Artifact Ecologies. Proceedings of the ACM on Human-Computer Interaction, 6(CSCW2), Artikel 432. https://doi.org/10.1145/3555533

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. https://doi.org/10.1007/978-3-031-09234-3_27

Schaper, M.-M. A., Smith, R. C., Tamashiro, M. A., Van Mechelen, M., Lunding, M. S., Bilstrup, K.-E. K., Kaspersen, M. H., Jensen, K. L., Petersen, M. G. & Iversen, O. S. (2022). Computational Empowerment in Practice: Scaffolding teenagers’ learning about emerging technologies and their ethical and societal impact. International Journal of Child - Computer Interaction, 34, Artikel 100537. https://doi.org/10.1016/j.ijcci.2022.100537

Viser resultater 601 til 650 ud af 3070

Forrige

Næste

Revideret 10.10.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series