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. & Mailund, T. (2012). The sweep-line state space exploration method. Theoretical Computer Science, 429, 169–179. https://doi.org/10.1016/j.tcs.2011.12.036

Jensen, S. H., Jonsson, P. A. & Møller, A. (2012). Remedying the Eval that Men Do. In M. Heimdahl & Z. Su (Eds.), 2012 International Symposium on Software Testing and Analysis (ISSTA) : Proceedings (pp. 34-44). Association for Computing Machinery. https://doi.org/10.1145/2338965.2336758

Jensen, C. S., Ofek, E. & Tanin, E. (2012). Highlights from ACM SIGSPATIAL GIS 2011: the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: (Chicago, Illinois - November 1 - 4, 2011). SIGSPATIAL Special, 4(1), 2-4. https://doi.org/10.1145/2189403.2189404

Jensen, K., Donatelli, S. & Kleijn , J. (Eds.) (2012). Transactions on Petri Nets and Other Models of Concurrency V: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 6900 https://doi.org/10.1007/978-3-642-29072-5

Jensen, K., Aalst, W. M. V. D., Marsan, M. A., Franceschinis, G., Kleijn , J. & Kristensen, L. M. (Eds.) (2012). Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 7400 https://doi.org/10.1007/978-3-642-35179-2

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

Jensen, C. S. (2012). Data management on the spatial web. Proceedings of the VLDB Endowment, 5(12), 1696-1696 . http://dl.acm.org/citation.cfm?id=2367504

Jensen, C. S., Thomsen, J. R. & Yiu, M. L. (2012). Effective caching of shortest paths for location-based services. In Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (pp. 313-324 ). Association for Computing Machinery. https://doi.org/10.1145/2213836.2213872

Jensen, C. S. (2012). Foreword. In The Knowledge Grid : toward Cyber-Physical Society (2. ed., pp. 5). World Scientific.

Jensen, K., Aalst, W. M. V. D., Balbo, G., Koutny, M. & Wolf, K. (Eds.) (2013). Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC. Springer VS. Lecture Notes in Computer Science Vol. 7480 https://doi.org/10.1007/978-3-642-38143-0

Jensen, C. S., Jerma, C., Lu, J., Tanin, E. & Zhou, X. (Eds.) (2013). The 2013 IEEE 29th International Conference on Data Engineering. IEEE Communications Society. https://doi.org/10.1109/ICDE.2013.6544799

Jensen, M. M., Rasmussen, M. & Grønbæk, K. (2013). Exploring Opponent Formats: Game Mechanics for Computer-Supported Physical Games. In J. C. Anacleto, E. W. G. Clua, F. S. Correa da Silva, S. Fels & H. S. Yang (Eds.), Entertainment Computing - ICEC 2013: 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings (Vol. 8215, pp. 48-60). Springer VS. https://doi.org/10.1007/978-3-642-41106-9_6

Jensen, C. S., Møller, A. & Su, Z. (2013). Server Interface Descriptions for Automated Testing of JavaScript Web Applications. In B. Meyer, L. Baresi & M. Mezini (Eds.), Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013 (pp. 510-520 ). Association for Computing Machinery. https://doi.org/10.1145/2491411.2491421

Jensen, C. S., Prasad, M. R. & Møller, A. (2013). Automated Testing with Targeted Event Sequence Generation. In M. Pezzè & M. Harman (Eds.), International Symposium on Software Testing and Analysis (ISSTA), 2013: Proceedings (pp. 67-77). Association for Computing Machinery. https://doi.org/10.1145/2483760.2483777

Jensen, C. S., Jermaine, C. & Zhou, X. (Eds.) (2013). Proceedings of the 29th IEEE International Conference on Data Engineering, (ICDE). IEEE. http://ieeexplore.ieee.org.ez.statsbiblioteket.dk:2048/xpl/mostRecentIssue.jsp?punumber=6530811

Jensen, C. S. (2013). Querying the Web with Local Intent. Abstract from International Conference on Mobile Data Management, Milan, Italy. https://doi.org/10.1109/MDM.2013.101

Jensen, M. M., Grønbæk, K., Rasmussen, M. K., Thomassen, N., Andersen, J. & Nielsen, J. (2013). Interactive football training based on rebounders with hit position sensing and audio/light feedback. Abstract from International Symposium on Computer Science in Sports, Istanbul, Turkey.

Jensen, M. M., Rasmussen, M. K. & Grønbæk, K. (2014). Design sensitivities for interactive sport-training games. In R. Wakkary & S. Harrison (Eds.), Proceedings of the 2014 Conference on Designing Interactive Systems, DIS '14 (pp. 685-694). Association for Computing Machinery. https://doi.org/10.1145/2598510.2598560

Jensen, M. M., Grønbæk, K., Thomassen, N., Andersen, J. & Nielsen, J. (2014). Interactive Football-Training Based on Rebounders with Hit Position Sensing and Audio-Visual Feedback. International Journal of Computer Science in Sport, 13(1, part 2), 57-68. http://iacss.org/fileadmin/user_upload/IJCSS_FullPaper/Vol13_2014_Ed1/IJCSS-Volume13_2014_Edition1_Jensen.pdf

Jensen, C. S. (Ed.), Jermaine, C., Zhou, X. (Ed.), Kotagiri, R. (Ed.) & Ooi, B. C. (Ed.) (2013). Message from the ICDE 2013 Program Committee and General. In 2013 IEEE 29th International Conference on Data Engineering (ICDE), : Australia, April 8–11, 2013 (pp. i-ii). IEEE Communications Society. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6530811

Jensen, M. M. & Mueller, F. F. (2014). Running with technology: Where are we heading? In T. Leong (Ed.), Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design (pp. 527-530). Association for Computing Machinery. https://doi.org/10.1145/2686612.2686696

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

Jensen, M. M., Rasmussen, M. K., Mueller, F. F. & Grønbæk, K. (2015). Designing training games for soccer. interactions, 22(2), 36-39. https://doi.org/10.1145/2724582

Jensen, M. M., Rasmussen, M. K., Mueller, F. F. & Grønbæk, K. (2015). Keepin' it Real: Challenges when Designing Sports-Training Games. In B. Begole & J. Kim (Eds.), Proceedings of the 33rd Annual ACM Conference on Human Factors in Computing Systems: CHI '15 (pp. 2003-2012). Association for Computing Machinery. https://doi.org/10.1145/2702123.2702243

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. (2016). Game Mechanics and Bodily Interactions: Designing Interactive Technologies for Sports Training. Department of Computer Science, Aarhus University.

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

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

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.

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, T. P. (2015). Practical Aspects of Secure Multiparty Computation. Department of Computer Science, Aarhus University.

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

Displaying results 2351 to 2400 out of 5649

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University