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

Hansen, K. A. & Sølvsten, S. C. (2020). ∃R-completeness of stationary nash equilibria in perfect information stochastic games. In J. Esparza & D. Král (Eds.), 45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020 (pp. 45:1-45:15). Schloss Dagstuhl--Leibniz-Zentrum für Informatik. Leibniz International Proceedings in Informatics, LIPIcs Vol. 170 https://doi.org/10.4230/LIPIcs.MFCS.2020.45

Borchorst, N. G. & Bødker, S. (2011). “You probably shouldn’t give them too much information” – Supporting Citizen-Government Collaboration. In S. Bødker, N. O. Bouvin, W. Lutters, V. Wulf & L. Ciolfi (Eds.), ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work (pp. 173-192). Springer. https://doi.org/10.1007/978-0-85729-913-0_10

Jetter, H-C., Rädle, R., Feuchtner, T., Anthes, C., Friedl, J. & Klokmose, C. N. (2020). “In VR, everything is possible!”: Sketching and Simulating Spatially-Aware Interactive Spaces in Virtual Reality. In CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems [523] Association for Computing Machinery. https://doi.org/10.1145/3313831.3376652

Bertelsen, O. W., Bouvin, N. O., Krogh, P. G. & Kyng, M. (Eds.) (2005). Proceedings of the CC 2005 Decennial Conference on Critical Computing: Between sense and sensibility. Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1094562&picked=prox&CFID=62292468&CFTOKEN=10234823

Abam, M. & de Berg, M. (2009). Kinetic spanners in R^d. In J. Hershberger & E. Fogel (Eds.), Annual Symposium on Computational Geometry: SESSION: Monday, June 8th, 10:50-11:50 am (pp. 43-50). Association for Computing Machinery. https://doi.org/10.1145/1542362.1542371

Petersen, M. G., Hansen, A. B., Nielsen, K. R. & Gude, R. (2008). HOMEinTOUCH Designing two-way Ambient Communication. Lecture Notes in Computer Science, 44-57.

Petersen, M. G., Ljungblad, S. & Håkansson, M. (2009). Designing for Playful Photography. New Review of Hypermedia and Multimedia, 15(2), 193-209.

Petersen, M. G. & Pagter, J. I. (2007). A Sense of Security in Pervasive Computing - is the light on when the refrigerator door is closed? In R. Dhamija & S. Dietrich (Eds.), Financial and Cryptography and Data Security: 11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad and Tobago, February 2007, Revised Selecgted Papers (Vol. LNCS 4886, pp. 383-388). Springer.

Sand, A., Kristiansen, M., Pedersen, C. N. S. & Mailund, T. (2013). zipHMMlib: a highly optimised HMM library exploiting repetitions in the input to speed up the forward algorithm. BMC Bioinformatics , 14(339), 339-348. https://doi.org/10.1186/1471-2105-14-339

Sand, A., Holt, M. K., Johansen, J., Brodal, G. S., Mailund, T. & Pedersen, C. N. S. (2014). tqDist: A Library for Computing the Quartet and Triplet Distances Between Binary and General Trees. Bioinformatics, 30(4), 2079-2080. https://doi.org/10.1093/bioinformatics/btu157

Rasmussen, T. A., Stensgaard, A., Winding, T. & Merritt, T. R. (2021). scrAPP: Enabling Reuse of Scrap Materials with a Smartphone. In MobileHCI 2021: Adjunct Publication of the 23rd International Conference on Mobile Human-Computer Interaction (pp. 1-6). [10] Association for Computing Machinery. https://doi.org/10.1145/3447527.3474856

Juul, M., Madsen, T., Guo, Q., Bertl, J., Hobolth, A., Kellis, M. & Pedersen, J. S. (2019). ncdDetect2: Improved models of the site-specific mutation rate in cancer and driver detection with robust significance evaluation. Bioinformatics, 35(2), 189-199. https://doi.org/10.1093/bioinformatics/bty511

Veerasawmy, R., Ludvigsen, M. & Fogtmann, M. H. (2008). iSport: Varieties of physical interactions in social contexts. In J. Sturm, T. Bekker & E. Barakova (Eds.), Proceedings of the 1st workshop on Design for Social Interaction through Physical Play (pp. 51-56).

Yang, B., Fantini, E. N. & Jensen, C. S. (2013). iPark: Identifying Parking Spaces from Trajectories. In G. Guerrini & N. W. Paton (Eds.), Proceedings of The 16th International Conference on Extending Database Technology: EDBT 2013 (pp. 705-708 ). Association for Computing Machinery. https://doi.org/10.1145/2452376.2452459

Grønbæk, K., Iversen, O. S., Nielsen, K. R., Kortbek, K. J. & Aagaard, L. (2007). iGameFloor - a Platform for Co-Located Collaborative Games. In Proceedings of the International Conference on Advances in Computer Entertainment Technology Society for Industrial and Applied Mathematics.

Ernst, E. (1999). gbeta - a Language with Virtual Attributes, Block Structure, and Propagating, Dynamic Inheritance. Department of Computer Science, Aarhus University.

Ernst, E. (Developer). (1997). gbeta. Computer programme, Department of Computer Science, Aarhus University.

Hansen, K. M., Antolin Rafael, P., Camara, J., Carro, S., Metha, G., Rosengren, P., Pagter, J. I. & Pedersen, M. Ø. (2005). eu-DOMAIN D3.1 + D4.1 Software Architecture Specification.

Brodersen, A. C. & Iversen, O. S. (2005). eCell: Spatial IT Design for Group Collaboration in School Environments. In GROUP 05 (pp. 227-235). Society for Industrial and Applied Mathematics.

Brodersen, A. C., Christensen, B. G., Grønbæk, K., Dindler, C. & Sundararajah, B. (2005). eBag: a Ubiquitous Web Infrastructure for Nomadic Learning. In Proceedings of the 14th International World Wide Web Conference (pp. 298-306). Association for Computing Machinery. https://doi.org/10.1145/1060745.1060791

Brodersen, A. C., Christensen, B. G., Grønbæk, K., Dindler, C. & Iversen, O. S. (2004). eBag - the digital school bag. In Proceedings of the Fourth Danish Human-Computer Interaction Research Symposium (pp. 13-17)

Tataru, P., Nirody, J. A. & Song, Y. S. (2014). diCal-IBD: demography-aware inference of identity-by-descent tracts in unrelated individuals. Bioinformatics, 30(23), 3430-3431. https://doi.org/10.1093/bioinformatics/btu563

Leppälä, K., Nielsen, S. & Mailund, T. (2017). admixturegraph: an R package for admixture graph manipulation and fitting. Bioinformatics (Online), 33(11), 1738-1740. https://doi.org/10.1093/bioinformatics/btx048

Avgustinov, P., Christensen, A. S., Hendren, L., Kuzins, S., Lhot´ak, J., Lhot´ak, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005). abc: An extensible AspectJ compiler. In AOSD 2005 (pp. 87-98)

Allan, C., Avgustinov, P., Christensen, A. S., Dufour, B., Goard, C., Hendren, L. J., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J. & Verbrugge, C. (2005). abc the aspectBench compiler for aspectJ a workbench for aspect-oriented programming language and compilers research. In R. Johnson & R. P. Gabriel (Eds.), Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005 (San Diego, CA, USA, October 16-20, 2005) (pp. 88-89). Association for Computing Machinery.

Christensen, H. B., Hansen, K. M. & Lindstrøm, B. (2010). aSQA: Architectural Software Quality Assurance: Software Architecture at Work - Technical Report # 5: . Department of Computer Science, Aarhus University.

Kjærgaard, M. B., Treu, G. & Linnhoff–Popien, C. (2007). Zone-based RSS Reporting for Location Fingerprinting. In Proceedings of the Fifth International Conference on Pervasive Computing (Pervasive 2007) (pp. 316-333). Springer. https://doi.org/10.1007/978-3-540-72037-9_19

Jawurek, M., Kerschbaum, F. & Orlandi, C. (2013). Zero-knowledge using garbled circuits: Or how to prove non-algebraic statements efficiently. In A-R. Sadeghi , V. Gligor & M. Yung (Eds.), Proceedings of the ACM Conference on Computer and Communications Security, CCS '13 (pp. 955-966). Association for Computing Machinery. Proceedings of the ACM Conference on Computer and Communications Security https://doi.org/10.1145/2508859.2516662

Damgård, I. B. & Cramer, R. (1998). Zero-knowledge proofs for finite field arithmetic, or: Can zero-knowledge be for free? In H. Krawczyk (Ed.), Advances in Cryptology - CRYPTO '98: 18th Annual International Cryptology Conference Santa Barbara, California, USA August 23-27, 1998 Proceedings (pp. 424-441). Springer. Lecture Notes in Computer Science Vol. 1462 https://doi.org/10.1007/BFb0055745

Brandt, J., Damgård, I. B., Landrock, P. & Pedersen, T. (1998). Zero-knowledge authentication scheme with secret key exchange. Journal of Cryptology, 11(3), 147-159. https://doi.org/10.1007/s001459900041

Campanelli, M., Engelmann, F. & Orlandi, C. (2022). Zero-Knowledge for Homomorphic Key-Value Commitments with Applications to Privacy-Preserving Ledgers. In C. Galdi & S. Jarecki (Eds.), Security and Cryptography for Networks (pp. 761-784). Springer. Lecture Notes in Computer Science Vol. 13409 https://doi.org/10.1007/978-3-031-14791-3_33

Pastro, V. (2013). Zero-Knowledge Protocols and Multiparty Computation. Department of Computer Science, Aarhus University.

Damgård, I. B. & López-Alt, A. (2012). Zero-Knowledge Proofs with Low Amortized Communication from Lattice Assumptions. Lecture Notes in Computer Science, 7485, 38-56 . https://doi.org/10.1007/978-3-642-32928-9_3

Benarroch, D., Campanelli, M., Fiore, D., Gurkan, K. & Kolonelos, D. (2021). Zero-Knowledge Proofs for Set Membership: Efficient, Succinct, Modular. In N. Borisov & C. Diaz (Eds.), Financial Cryptography and Data Security: 25th International Conference, FC 2021, Virtual Event, March 1–5, 2021, Revised Selected Papers, Part I (pp. 393-414). Springer. Lecture Notes in Computer Science Vol. 12674 https://doi.org/10.1007/978-3-662-64322-8_19

Damgård, I. B., Fehr, S. & Salvail, L. (2004). Zero-Knowledge Proofs and String Commitments Withstanding Quantum Attacks. In M. Franklin (Ed.), Advances in Cryptology - CRYPTO 2004: 24th Annual International Cryptology Conference, Santa Barbara, California, USA, August 15-19, 2004. Proceedings (pp. 254-272). Springer. Lecture Notes in Computer Science Vol. 3152 https://doi.org/10.1007/978-3-540-28628-8_16

Brandt, J., Damgård, I. B., Landrock, P. & Pedersen, T. P. (1988). Zero-Knowledge Authentication Scheme with Secret Key Exchange (extended abstract). In S. Goldwasser (Ed.), Advances in Cryptology - CRYPTO' 88: Proceedings (pp. 583-588). Springer. Lecture Notes in Computer Science Vol. 403 https://doi.org/10.1007/0-387-34799-2_43

Giacomelli, I., Madsen, J. & Orlandi, C. (2016). ZKBoo: Faster Zero-Knowledge for Boolean Circuits. In 25th USENIX Security Symposium : (USENIX Security 16) (pp. 1069-1083). USENIX - The Advanced Computing Systems Association. https://www.usenix.org/system/files/conference/usenixsecurity16/sec16_paper_giacomelli.pdf

Cino, D., Brandsen, S., Bressa, N. A., Mascheroni, G., Eriksson, E. & Zaman, B. (2022). Young People’s Digital Skills Practices in Non-formal Learning Contexts: observations, interviews, co-design. (Deliverable 6.2). University of Leuven.

Kristensen, J. F., Eriksen, M. A., Iversen, O. S., Kanstrup, A. M., Nielsen, C. & Petersen, M. G. (2003). Young People In Old Cars - Challenges For Cooperative Design. Paper presented at Information systems research seminar in Scandinavia (IRIS 26) 9-12 August 2003, Haikko Manor, Finland.

Damgård, I., Orlandi, C. & Simkin, M. (2018). Yet Another Compiler for Active Security or: Efficient MPC Over Arbitrary Rings. In H. Shacham & A. Boldyreva (Eds.), Advances in Cryptology - CRYPTO 2018 (Vol. 10992, pp. 799-829). Springer VS. Lecture Notes in Computer Science (LNCS) No. 10992 https://doi.org/10.1007/978-3-319-96881-0_27

Larsen, K. G. & Nielsen, J. B. (2018). Yes, There is an Oblivious RAM Lower Bound! In H. Shacham & A. Boldyreva (Eds.), Advances in Cryptology -- CRYPTO 2018 (pp. 523-542). Springer VS. Lecture Notes in Computer Science (LNCS) No. 10992 https://doi.org/10.1007/978-3-319-96881-0_18

Valencia, R., Condit, R., Foster, R. B., Romoleroux, K., Munoz, G. V., Svenning, J-C., Magård, E., Bass, M., Losos, E. C., Balslev, H., Losos, E. C. (Ed.) & Leigh, E. G. . J. (Ed.) (2004). Yasuní forest dynamic plot, Ecuador. In Tropical forest diversity and dynamism: Findings from a large-scale plot network (pp. 609-620)

Hansen, N. D., Klarlund, N. & Schwartzbach, M. I. (2000). YakYak: Parsing with Logical Side Constraints. In G. Rozenberg & W. Thomas (Eds.), Proceedings of the 4th International Conference on Development in Language Theory (pp. 286-301). World Scientific.

Gentry, C., Halevi, S., Krawczyk, H., Magri, B., Nielsen, J. B., Rabin, T. & Yakoubov, S. (2021). YOSO: You Only Speak Once: Secure MPC with Stateless Ephemeral Roles. In T. Malkin & C. Peikert (Eds.), Advances in Cryptology – CRYPTO 2021: Annual International Cryptology Conference (pp. 64-93). Springer. Lecture Notes in Computer Science Vol. 12826 https://doi.org/10.1007/978-3-030-84245-1_3

Christensen, B. G., Hansen, F. A. & Bouvin, N. O. (2003). Xspect: bridging open hypermedia and XLink. In Proceedings of the 12th international conference on World Wide Web (pp. 490-499). Association for Computing Machinery. https://doi.org/10.1145/775152.775222

Jarzabek, S., Basset, P., Zhang, H. & Zhang, W. (2003). XVCL: XML-based Variant Configuration Language. In 24th International Conference on Software Engineering (ICSE 2003) (pp. 810-811). IEEE Computer Society Press.

Evangelista Belo, J. M., Feit, A. M., Feuchtner, T. & Grønbæk, K. (2021). XRgonomics: Facilitating the Creation of Ergonomic 3D Interfaces. In Proceedings of the 2021 CHI Conference on Human Factors in Computing Systems (pp. 1-11). [290] Association for Computing Machinery. https://doi.org/10.1145/3411764.3445349

Møller, A. & Schwartzbach, M. I. (2007). XML Graphs in Program Analysis. In G. Ramalingam & E. Visser (Eds.), Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (pp. 1-10). Association for Computing Machinery. https://doi.org/10.1145/1244381.1244383

Møller, A. & Schwartzbach, M. I. (2011). XML Graphs in Program Analysis. Science of Computer Programming, 76(6), 492-515. https://doi.org/10.1016/j.scico.2009.11.007

Christensen, B. G. & Hansen, F. A. (2002). XLink - Linking the Web and Open Hypermedia. Paper presented at The International Workshop on Open Hypermedia Systems Core Concepts and Research Directions (OHS 2002), College Park, Maryland, United States.

Displaying results 1 to 50 out of 5113

Revised 09.03.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University