Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Loeschcke, S., Belongie, S. & Benaim, S. (2023). Text-Driven Stylization of Video Objects. In L. Karlinsky, T. Michaeli & K. Nishino (Eds.), Computer Vision – ECCV 2022 Workshops (pp. 594-609). Springer. https://doi.org/10.1007/978-3-031-25069-9_38

Fournier, H., Limaye, N., Malod, G., Srinivasan, S. & Tavenas, S. (2023). Towards Optimal Depth-Reductions for Algebraic Formulas. In A. Ta-Shma (Ed.), 38th Computational Complexity Conference, CCC 2023 Article 28 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.CCC.2023.28

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

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, Article 103376. https://doi.org/10.1016/j.cose.2023.103376

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, Article 103961. https://doi.org/10.1016/j.artint.2023.103961

Theocharidis, K., Terrovitis, M., Skiadopoulos, S. & Karras, P. (2022). A Content Recommendation Policy for Gaining Subscribers. In SIGIR 2022 - Proceedings of the 45th International ACM SIGIR Conference on Research and Development in Information Retrieval (pp. 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), Article 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. In D. Fisman & G. Rosu (Eds.), 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 (pp. 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. In Participative Computing for Sustainable Futures : Adjunct Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Article 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. In Y. Aït-Ameur & F. Craciun (Eds.), Theoretical Aspects of Software Engineering - 16th International Symposium, TASE 2022, Proceedings (pp. 290-307). Springer. https://doi.org/10.1007/978-3-031-10363-6_20

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, Article 101456. Advance online publication. https://doi.org/10.1016/j.is.2019.101456

Caragiannis, I., Micha, E. & Shah, N. (2022). A Little Charity Guarantees Fair Connected Graph Partitioning. In AAAI-22 Technical Tracks 5 (Vol. 11, pp. 4908-4916). AAAI Press. 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. In Y. Dodis & T. Shrimpton (Eds.), Advances in Cryptology – CRYPTO 2022 (pp. 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. In S. Chechik, G. Navarro, E. Rotenberg & G. Herman (Eds.), 30th Annual European Symposium on Algorithms, ESA 2022 (pp. 84:1-84:17). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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. In J. Bernard & M. Angelini (Eds.), Proceedings of the 13th International EuroVis Workshop on Visual Analytics (EuroVA) (pp. 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. In T. Doring, S. Boll, A. Colley, A. Esteves & J. Guerreiro (Eds.), Proceedings of MUM 2022, the 21st International Conference on Mobile and Ubiquitous Multimedia (pp. 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. In A. P. Felty (Ed.), 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022 Article 23 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 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), Article 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. In B. Falsafi, M. Ferdman, S. Lu & T. F. Wenisch (Eds.), ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (pp. 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. In UIST '22: Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology Article 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. In Proceedings of the 25th International Conference on Extending Database Technology (EDBT'22) (pp. 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. In Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) (pp. 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. In CHI '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Article 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. In A. Kumar, S. Thiebaux, P. Varakantham & W. Yeoh (Eds.), Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022 (pp. 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), Article 432. https://doi.org/10.1145/3555533

Khoshakhlagh, H. (2022). (Commit-and-Prove) Predictable Arguments with Privacy. In G. Ateniese & D. Venturi (Eds.), Applied Cryptography and Network Security: 20th International Conference, ACNS 2022, Proceedings (pp. 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, Article 100537. Advance online publication. https://doi.org/10.1016/j.ijcci.2022.100537

Caragiannis, I. & Ioannidis, S. D. (2022). Computing Envy-Freeable Allocations with Limited Subsidies. In M. Feldman, H. Fu & I. Talgam-Cohen (Eds.), Web and Internet Economics : 17th International Conference, WINE 2022 (pp. 522-539). Springer. https://doi.org/10.1007/978-3-030-94676-0_29

Nouwens, M., Bagge, R., Kristensen, J. B. & Klokmose, C. N. (2022). Consent-O-Matic: Automatically Answering Consent Pop-ups Using Adversarial Interoperability. In CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems Article 238 Association for Computing Machinery. https://doi.org/10.1145/3491101.3519683

Boyle, E., Couteau, G., Gilboa, N., Ishai, Y., Kohl, L., Resch, N. & Scholl, P. (2022). Correlated Pseudorandomness from Expand-Accumulate Codes. In Y. Dodis & T. Shrimpton (Eds.), Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings (pp. 603-633). Springer. https://doi.org/10.1007/978-3-031-15979-4_21

Musaeus, L. H., Petersen, M. G., Klokmose, C. N. & Iversen, O. S. (2022). CoTinker - A Toolkit for Supporting Computational Thinking and Collaboration in High School Education. In SIGCSE 2022: Proceedings of the 53rd ACM Technical Symposium on Computer Science Education (Vol. 2, pp. 1025). Association for Computing Machinery. https://doi.org/10.1145/3478432.3499234

Musaeus, L. H., Sørensen, M-L. S. K., Palfi, B. S., Iversen, O. S., Klokmose, C. N. & Petersen, M. G. (2022). CoTinker: Designing a Cross-device Collaboration Tool to Support Computational Thinking in Remote Group Work in High School Biology. In Participative Computing for Sustainable Futures : Proceedings of the 12th Nordic Conference on Human-Computer Interaction (NordiCHI’22) Article 49 Association for Computing Machinery. https://doi.org/10.1145/3546155.3546709

Bishnu, A., Ghosh, A., Mishra, G. & Paraashar, M. (2022). Counting and Sampling from Substructures Using Linear Algebraic Queries. In A. Dawar & V. Guruswami (Eds.), 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022 Article 8 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.8

Aranha, D. F., Hall-Andersen, M. N., Nitulescu, A., Pagnin, E. & Yakoubov, S. (2022). Count Me In! Extendability for Threshold Ring Signatures. In G. Hanaoka, J. Shikata & Y. Watanabe (Eds.), Public-Key Cryptography – PKC 2022 : 25th IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings, Part II (pp. 379-406). Springer. https://doi.org/10.1007/978-3-030-97131-1_13

Bartal, Y., Fandina, O. N. & Neiman, O. (2022). Covering metric spaces by few trees. Journal of Computer and System Sciences, 130, 26-42. https://doi.org/10.1016/j.jcss.2022.06.001

Khoshakhlagh, H. (2022). Cryptography for Scalability and Identity in Blockchain Applications. Aarhus Universitet.

Takahashi, A. (2022). Cryptography from Zero Knowledge - Advanced Security and New Constructions. Aarhus Universitet.

Bressa, N., Vermeulen, J. & Willett, W. (2022). Data Every Day: Designing and Living with Personal Situated Visualizations. In CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Article 597 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517737

Bressa, N. A., Vermeulen, J. & Willett, W. (2022). Data Every Day: Designing and Living with Personal Situated Visualizations. In S. Barbosa, C. Lampe, C. Appert, D. A. Shamma, S. Drucker, J. Williamson & K. Yatani (Eds.), CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Article 597 Association for Computing Machinery. https://doi.org/10.1145/3491102.3517737

Displaying results 51 to 100 out of 5162

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University