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

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

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. In 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. In G. Ateniese & D. Venturi (Eds.), Applied Cryptography and Network Security: 20th International Conference, ACNS 2022, Proceedings (pp. 542-561). Springer. Lecture Notes in Computer Science (LNCS) Vol. 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. In C. Ge & F. Guo (Eds.), Provable and Practical Security - 16th International Conference, ProvSec 2022, Proceedings (pp. 249-272). Springer. Lecture Notes in Computer Science (LNCS) No. 13600 https://doi.org/10.1007/978-3-031-20917-8_17

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

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. In Y. Aït-Ameur & F. Craciun (Eds.), Theoretical Aspects of Software Engineering (pp. 290-307). Springer. Lecture Notes in Computer Science Vol. 13299 https://doi.org/10.1007/978-3-031-10363-6_20

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. ACM International Conference Proceeding Series https://doi.org/10.1145/3568444.3568463

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 [23] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 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. 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. 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

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

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. Lecture Notes in Computer Science (LNCS) Vol. 13244 https://doi.org/10.1007/978-3-030-99527-0_16

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

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. Leibniz International Proceedings in Informatics, LIPIcs Vol. 244 https://doi.org/10.4230/LIPIcs.ESA.2022.84

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 [104] Association for Computing Machinery. https://doi.org/10.1145/3491102.3502032

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 NordiCHI '22: Nordic Human-Computer Interaction Conference (pp. 1-12). Association for Computing Machinery. https://doi.org/10.1145/3546155.3546709

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), [432]. https://doi.org/10.1145/3555533

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, [100537]. 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. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 13112 LNCS 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 [238] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings https://doi.org/10.1145/3491101.3519683

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. Lecture Notes in Computer Science Vol. 13178 https://doi.org/10.1007/978-3-030-97131-1_13

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 [8] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, LIPIcs Vol. 250 https://doi.org/10.4230/LIPIcs.FSTTCS.2022.8

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 [597] Association for Computing Machinery. Conference on Human Factors in Computing Systems - Proceedings 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 '22: Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems Association for Computing Machinery. https://doi.org/10.1145/3491102.3517737

Nyborg, J. C. (2022). Deep Learning for Remote Sensing in Precision Agriculture: Large-scale and label-efficient methods for satellite image data. Aarhus Universitet.

del Palacio Gonzalez, A., Thylstrup, B., Pedersen, M. U., Danielsen, B., Kirk, H. B. & Jensen, K. L. (2022). Design and Testing of an Aftercare Mobile App for Substance Use Among Young Adults: An Interdisicplinary Approach in Denmark. Abstract from Lisbon addictions 2022, Lisabon, Portugal.

Grønbæk, J. E. (2022). Designing eXtended reality experiences for the future of hybrid meetings. XRDS: Crossroads, The ACM Magazine for Students, 29(1), 20-25. https://xrds.acm.org/article.cfm?aid=3558190

Grønbæk, K. (2022). Digitale teknologier er centrale i håndteringen af COVID-19 pandemien. In Refleksioner fra en pandemi: En essaysamling om bymiljøer, bygninger og livskvalitet i lyset af COVID-19 (pp. 194-202). Realdania. https://realdania.dk/publikationer/faglige-publikationer/refleksioner-fra-en-pandemi

Bhattacharya, A., Chakraborty, S., Ghosh, A., Mishra, G. & Paraashar, M. (2022). Disjointness through the Lens of Vapnik–Chervonenkis Dimension: Sparsity and Beyond. Computational Complexity, 31(2), [9]. https://doi.org/10.1007/s00037-022-00225-6

Abram, D., Scholl, P. & Yakoubov, S. (2022). Distributed (Correlation) Samplers: How to Remove a Trusted Dealer in One Round. In O. Dunkelman & S. Dziembowski (Eds.), Advances in Cryptology – EUROCRYPT 2022: 41st Annual International Conference on the Theory and Applications of Cryptographic Techniques, 2022, Proceedings (pp. 790-820). Springer. Lecture Notes in Computer Science (LNCS) Vol. 13275 https://doi.org/10.1007/978-3-031-06944-4_27

Caltais, G., Hojjat, H., Mousavi, M. R. & Tunç, H. C. (2022). DyNetKAT: An Algebra of Dynamic Networks. In P. Bouyer & L. Schröder (Eds.), Foundations of Software Science and Computation Structures - 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings (pp. 184-204). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 13242 LNCS https://doi.org/10.1007/978-3-030-99253-8_10

Aranha, D. F., Bennedsen, E., Campanelli, M., Ganesh, C., Orlandi, C. & Takahashi, A. (2022). ECLIPSE: Enhanced Compiling method for Pedersen-committed zkSNARK Engines. 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 (pp. 584-614). Springer. Lecture Notes in Computer Science Vol. 13177 https://doi.org/10.1007/978-3-030-97121-2_21

Cuzzocrea, A., Karras, P. & Vlachou, A. (2022). Effective and efficient skyline query processing over attribute-order-preserving-free encrypted data in cloud-enabled databases. Future Generation Computer Systems, 126, 237-251. https://doi.org/10.1016/j.future.2021.08.008

André, É., Marinho, D., Petrucci, L. & van de Pol, J. (2022). Efficient Convex Zone Merging in Parametric Timed Automata. In S. Bogomolov & D. Parker (Eds.), Formal Modeling and Analysis of Timed Systems. FORMATS 2022 (pp. 200-218). Springer. Lecture Notes in Computer Science Vol. 13465 https://doi.org/10.1007/978-3-031-15839-1_12

Ahmadi, A., Daliri, M., Goharshady, A. K. & Pavlogiannis, A. (2022). Efficient approximations for cache-conscious data placement. In R. Jhala & I. Dillig (Eds.), Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 857-871). Association for Computing Machinery. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) https://doi.org/10.1145/3519939.3523436

Baum, C., Escudero, D., Pedrouzo-Ulloa, A., Scholl, P. & Troncoso-Pastoriza, J. R. (2022). Efficient protocols for oblivious linear function evaluation from ring-LWE. Journal of Computer Security, 30(1), 39-78. https://doi.org/10.3233/JCS-200116

Displaying results 1 to 50 out of 5065

Revised 26.09.2022

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University