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

Jensen, K. & Kristensen, L. M. (2015). Colored Petri nets: a graphical language for formal modeling and validation of concurrent systems. Communications of the A C M, 58(6), 61-70 . https://doi.org/10.1145/2663340

Jensen, C. S., Møller, A., Raychev, V., Dimitrov, D. & Vechev, M. (2015). Stateless Model Checking of Event-Driven Applications. In OOPSLA 2015 : Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 57-73). Association for Computing Machinery. https://doi.org/10.1145/2814270.2814282

Jensen, E. B. V. & Rasmusson, A. (2014). Rotational integral geometry and local stereology - with a view to image analysis. In V. Schmidt (Ed.), Stochastic Geometry, Spatial Statistics and Random Fields: Models and Algorithms (pp. 233-255). Springer Publishing Company. https://doi.org/10.1007/978-3-319-10064-7_8

Jensen, M. M. & Grønbæk, K. (2016). Design Strategies for Balancing Exertion Games: A Study of Three Approaches. In DIS 2016 - Proceedings of the 2016 ACM Conference on Designing Interactive Systems: Fuse (pp. 936-946). Association for Computing Machinery. https://doi.org/10.1145/2901790.2901843

Jensen, M. M., Thiel, S. K., Hoggan, E. & Bødker, S. (2018). Physical Versus Digital Sticky Notes in Collaborative Ideation. Computer Supported Cooperative Work: CSCW: An International Journal, 27(3-6), 609-645. https://doi.org/10.1007/s10606-018-9325-1, https://doi.org/10.1007/s10606-018-9325-1

Jensen, M. M., Rädle, R., Klokmose, C. N. & Bødker, S. (2018). Remediating a design tool: Implications of digitizing sticky notes. In R. Mandryk & M. Hancock (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018-April, pp. 1-12). Article 224 Association for Computing Machinery. https://doi.org/10.1145/3173574.3173798

Jensen, K. E., Pedersen, C., Tsirogiannis, C., Mortensen, P. B. & Svenning, J.-C. (2018). Experiencing Childhood Closer to Green Space is Linked to Lower Schizophrenia Risk. Early Intervention in Psychiatry, 12(S1), 19-19. Article Talk 3.

Jensen, M. M. & Aagaard, J. (2018). A Postphenomenological Method for HCI Research. In Proceedings of the 30th Australian Computer-Human Interaction Conference, OzCHI 2018: OzCHI 2018 (pp. 242-251). Association for Computing Machinery. https://doi.org/10.1145/3292147.3292170

Jensen, S. Q., Fender, A. & Müller, J. (2018). Inpher: Inferring physical properties of virtual objects from mid-air interaction. In R. Mandryk & M. Hancock (Eds.), Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018-April). Article 530 Association for Computing Machinery. https://doi.org/10.1145/3173574.3174104

Jensen, C. (Ed.), Lind Olsen, E. (Ed.), Mikkelsen, G. L., Syberg , L., Nielsen, L. L., Hansen, M. A. E., Hjortlund, M., Madsen, O. L., Høngaard Andersen, P. & Duvold, T. (2018). The future market for cybersecurity in Denmark.

Jensen, K. & Nielsen, M. (2019). Carl Adam Petri: a tribute from Aarhus. In W. Reisig & G. Rozenberg (Eds.), Carl Adam Petri: ideas, personality, impact (pp. 81-84). Springer. https://doi.org/10.1007/978-3-319-96154-5_10

Jensen, A. H., Lauridsen, F., Zardbani, F., Idreos, S. & Karras, P. (2021). Revisiting Multidimensional Adaptive Indexing [Experiment Analysis]. In Y. Velegrakis, D. Zeinalipour-Yazti, P. K. Chrysanthis & F. Guerra (Eds.), Proceedings of the 24th International Conference on Extending Database Technology, EDBT 2021, Nicosia, Cyprus, March 23 - 26, 2021 (pp. 469-474). openproceedings.org. https://doi.org/10.5441/002/edbt.2021.53

Jensen, K. (1980). Net Modeller i Systembeskrivelse: Summary of Ph. D. thesis. Aarhus Universitetsforlag.

Jensen, J. M. (2017). Reference free phasing and representation of complex variation.

Jensen, J. L. (2012). Supporting Seamful Development of Positioning Applications through Model Based Translucent Middleware. Department of Computer Science, Aarhus University.

Jensen, M. M. (2016). Game Mechanics and Bodily Interactions: Designing Interactive Technologies for Sports Training. Department of Computer Science, Aarhus University.

Jensen, S. H. (2013). Static Analysis for JavaScript. Datalogisk Institut, Aarhus Universitet.

Jensen, C. S. (2015). Automated Testing of Event-Driven Applications. Department of Computer Science, Aarhus University.

Jelling Kristoffersen, K., Kjærgaard, M. B., Chen, J., Sheridan, J., Rønning, R. & Aa. Sørensen, J. (2005). Extending Wireless Broadband Network Architectures with Home Gateways, Localization, and Physical Environment Surveillance. In Proceedings of the Second International CICT Conference: Next Generation Broadband -Content and User Perspectives Center for Information and Communication Technologies.

Jehøj, H., Bouvin, N. O. & Grønbæk, K. (2005). AwareDAV: A Generic WebDAV Notification Framework and Implementation. In Proceedings of 14th international World Wide Web Conference (pp. 180-189). Association for Computing Machinery. https://doi.org/10.1145/1060745.1060774

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

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.

Januzelli, J., Roy, L. & Xu, J. (2025). Under What Conditions Is Encrypted Key Exchange Actually Secure? In S. Fehr & P.-A. Fouque (Eds.), Advances in Cryptology – EUROCRYPT 2025 - 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques: Proceedings (pp. 451-481). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-031-91124-8_16

Jansson, J., Mampentzidis, K., Rajaby, R. & Sung, W.-K. (2019). Computing the Rooted Triplet Distance between Phylogenetic Networks. In C. J. Colbourn, R. Grossi & N. Pisanti (Eds.), Combinatorial Algorithms - 30th International Workshop, IWOCA 2019, Proceedings (pp. 290-303). Springer.

Jansson, J., Mampentzidis, K. & Thekkumpadan Puthiyaveedu, S. (2019). Building a Small and Informative Phylogenetic Supertree. Abstract from Workshop on Algorithms in Bioinformatics (WABI) 2019, Buffalo, New York, United States.

Jansson, J., Mampentzidis, K. & Sandhya, T. P. (2019). Building a small and informative phylogenetic supertree. In K. T. Huber & D. Gusfield (Eds.), 19th International Workshop on Algorithms in Bioinformatics, WABI 2019 Article 1 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.WABI.2019.1

Jansson, J., Mampentzidis, K., Rajaby, R. & Sung, W. K. (2021). Computing the Rooted Triplet Distance Between Phylogenetic Networks. Algorithmica, 83(6), 1786-1828. https://doi.org/10.1007/s00453-021-00802-1

Jansson, J., Mampentzidis, K. & Sandhya, T. P. (2023). Building a small and informative phylogenetic supertree. Information and Computation, 294, Article 105082. https://doi.org/10.1016/j.ic.2023.105082

Jakobsen, T. P., Nielsen, J. B. & Orlandi, C. (2014). Framework for Outsourcing of Secure Computation. In G.-J. Ahn , A. Oprea & R. Safavi-Naini (Eds.), Proceedings of the 6th edition of the ACM Workshop on Cloud Computing Security, CCSW '14 (pp. 81-92 ). Association for Computing Machinery. https://doi.org/10.1145/2664168.2664170

Jakobsen, S. K. & Orlandi, C. (2015). How to Bootstrap Anonymous Communication. http://arxiv.org/pdf/1502.05273v1

Jakobsen, S. K. & Orlandi, C. (2015). How to Bootstrap Anonymous Communication. http://eprint.iacr.org/2015/130

Jakobsen, J. & Orlandi, C. (2015). On the CCA (in)security of MTProto. http://eprint.iacr.org/2015/1177

Jakobsen, J. & Orlandi, C. (2016). On the CCA (in)security of MTProto. In Proceedings of the 6th Workshop on Security and Privacy in Smartphones and Mobile Devices: SPSM '16 (pp. 113-116). Association for Computing Machinery. https://doi.org/10.1145/2994459.2994468

Jakobsen, K., Stougaard, J., Petersen, M. G., Winge, J., Grønbæk, J. E. & Rasmussen, M. K. (2016). Expressivity in Open-ended Constructive Play: Building and Playing Musical Lego Instruments. In L. Anthony, G. Sim & R. Jones (Eds.), Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children (pp. 46 - 57). Association for Computing Machinery. https://doi.org/10.1145/2930674.2930683

Jakobsen, S. K. & Orlandi, C. (2016). How To Bootstrap Anonymous Communication. In ITCS 2016 - Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science (pp. 333-344). Association for Computing Machinery. https://doi.org/10.1145/2840728.2840743

Jakobsen, T. P., Nielsen, J. B. & Orlandi, C. (2016). A Framework for Outsourcing of Secure Computation. http://eprint.iacr.org/2016/037

Jakobsen, F. L., Pedersen, S. M., Schnedler, J. A. & Øllegaard, N. H. (2016). Exploring the use of shape change in home appliances. In M. Broekhuijsen (Ed.), Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction - TEI 2016 (pp. 462-467). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856539

Jakobsen, K., Winge, J. & Petersen, M. G. (2016). Hitmachine: Collective Musical Expressivity for Novices. Paper presented at New Interfaces for Musical Expression 2016, Brisbane, Queensland, Australia.

Jakobsen, A. B., Jørgensen, R. S. M., van de Pol, J. & Pavlogiannis, A. (2024). Fast Symbolic Computation of Bottom SCCs. In B. Finkbeiner & L. Kovács (Eds.), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024 (pp. 110-128). Springer. https://doi.org/10.1007/978-3-031-57256-2_6

Jakobsen, T. P. (2015). Practical Aspects of Secure Multiparty Computation. Department of Computer Science, Aarhus University.

Jakobsen, K. (2019). Graphene-based Interaction Design for Constructive Play: Tangible Music-making Technologies for Children. Aarhus University.

Jakobsen, A. B., Clausen, A. B., van de Pol, J. & Shaik, I. (2025). Depth-Optimal Quantum Layout Synthesis as SAT. In J. Berg & J. Nordstrom (Eds.), 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025 Article 16 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SAT.2025.16

Jagota, A., Lyngsø, R. B., Pedersen, C. N. S., Gascuel, O. (Ed.) & Moret, B. M. E. (Ed.) (2001). Comparing Hidden Markov Model and a Stochastic Context-Free Grammer. In Proceedings of the First International Workshop on Algorithms in Bioinformatics (2149 of Lecture Notes in Computer Science ed., Vol. Volume 2149/2001, pp. 69-94). Springer.

Jafargholi, Z., Kamath, C., Klein, K., Komargodski, I., Pietrzak, K. & Wichs, D. (2017). Be Adaptive, Avoid Overcommitting. In J. Katz & H. Shacham (Eds.), Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Vol. 10401, pp. 133-163). Springer VS. https://doi.org/10.1007/978-3-319-63688-7_5

Jafargholi, Z., Scafuro, A. & Wichs, D. (2017). Adaptively Indistinguishable Garbled Circuits. In Y. Kalai & L. Reyzin (Eds.), Theory of Cryptography - 15th International Conference, TCC 2017, Proceedings (Vol. 10678, pp. 40-71). Springer VS. https://doi.org/10.1007/978-3-319-70503-3

Jafargholi, Z. & Oechsner, S. (2020). Adaptive Security of Practical Garbling Schemes. In K. Bhargavan, E. Oswald & M. Prabhakaran (Eds.), Progress in Cryptology – INDOCRYPT 2020 - 21st International Conference on Cryptology in India 2020, Proceedings: INDOCRYPT 2020 (pp. 741-762). Springer VS. https://doi.org/10.1007/978-3-030-65277-7_33

Jafargholi, Z., Larsen, K. G. & Simkin, M. (2021). Optimal oblivious priority queues. In D. Marx (Ed.), ACM-SIAM Symposium on Discrete Algorithms, SODA 2021 (pp. 2366-2383). Association for Computing Machinery.

Jacobsen, H., Kyng, M. & Mathiassen, L. (1979). Edb-systemer og klubarbejde på 12 virksomheder.

Jacobsen, H., Kensing, F., Kyng, M. & Mathiassen, L. (1981). Klubarbejde og EDB: Rapport om edb-udviklingen, dens konsekvenser og fagbevægelsens handlingsmuligheder - fra et projekt under Fagbevægelsens Forskningsråd. Fremad. DUE RAPPORT No. 4, 2. udgave

Jacobsen, H., Kyng, M. & Mathiassen, L. (1978). Demokrati, Udvikling og EDB. AOF' Forlag. DUE TEMAHÆFTE No. 1

Displaying results 2451 to 2500 out of 5797

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University