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

Petersen, M. G., Lynggard, A. B., Krogh, P. G. & Winther, I. W. (2010). Tactics for homing in mobile life: a fieldwalk study of extremely mobile people. In Proceedings of the 12th International Conference on Human Computer Interaction with Mobile Devices and Services: Proceedings of the 12th international conference on Human computer interaction with mobile devices and services (pp. 265-274). Association for Computing Machinery. https://doi.org/10.1145/1851600.1851646

Ludvigsen, M., Fogtmann, M. H. & Grønbæk, K. (2010). TacTowers: An Interactive Training Equipment for Elite. In O. W. Bertelsen, P. G. Krogh, K. Halskov & M. G. Petersen (Eds.), Proceedings of the 8th ACM Conference on Designing Interactive Systems (pp. 412-415). Association for Computing Machinery. https://doi.org/10.1145/1858171.1858250

Aarhus, R., Gjerlufsen, T., Hohn, T. & Vesterby, M. (2010). Telemedicine for Healthy Patients. In Infrastructure for Health Care: Connecting practices across institutional and professional boundaries (pp. 5-6). University of Copenhagen. http://www.sundhedsit.net/fileadmin/sundhedsitnet/Downloads/Abstracts_Infrastructures09.pdf

Achenbach, M. & Ostermann, K. (2010). Testing Object-Oriented Programs using Dynamic Aspects and Non-Determinism. In Proceedings of the 1st Workshop on Testing Object-Oriented Systems. Etoos '10 (pp. Article No. 3 ). Association for Computing Machinery. https://doi.org/10.1145/1890692.1890695

Hansen, M. T., Arroyo-Valles, R. & Cid-Sueiro, J. (2010). Testing Selective Transmission with Low Power Listening. Lecture Notes in Computer Science, 6511, 146-153. https://doi.org/10.1007/978-3-642-17520-6_14

Ernst, E. (2010). The Case for Simple Object-Orientation in VDM++. Datalogisk Institut, Aarhus Universitet. http://wiki.overturetool.org/images/5/5d/2010ernst.pdf

Brody, J. & Verbin, E. (2010). The Coin Problem and Pseudorandomness for Branching Programs. In 51st Annual IEEE Symposium on Foundations of Computer Science. FOCS 2010 (pp. 30-39). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2010.10

Hansen, K. A., Miltersen, P. B. & Sørensen, T. B. (2010). The computational complexity of trembling hand perfection and other equilibrium refinements. Lecture Notes in Computer Science, 6386, 198-209. https://doi.org/10.1007/978-3-642-16170-4_18

Emiris, I. Z., Mourrain, B. & Tsigaridas, E. (2010). The DMM Bound: Multivariate (Aggregrate) Separation Bounds. International Symposium on Symbolic and Algebraic Computation, 243-250. https://doi.org/10.1145/1837934.1837981

Brønsted, J. R., Skou, A. J., Madsen, P. P. & Torbensen, R. S. (2010). The HomePort System. In 7th IEEE Consumer Communications and Networking Conference (CCNC 2010). Proceedings (pp. 1-5). IEEE. https://doi.org/10.1109/CCNC.2010.5421606

Grönvall, E., Conci, M., Giusti, L. & Leonardi, C. (2010). The intrinsic fragility of elderly care networks: five challenges in Participatory Design practices. D A I M I P B, (593), 20-24.

Ursem, R. K. & Justesen, P. (2010). The Multi-Objective Distinct Candidates Optimization approach. In B. Filipic & J. Silc (Eds.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (pp. 55-66). Ljublana: Jozef Stefan Institute.

Toftkjær, T. & Kjærgaard, M. B. (2010). The use of GPS for Handling Lack of Indoor Constraints in Particle Filter-based Inertial Positioning. Poster session presented at The 7th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2010), Sydney, Australia.

Jensen, H., Jensen, M. Ø. J., Smerup, M. H., Ringgaard, S., Sørensen, T. S., Andersen, N. T., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2010). Three-dimensional assessment of papillary muscle displacement in a porcine model of ischemic mitral regurgitation. Journal of Thoracic and Cardiovascular Surgery, 140(6), 1312-1318. https://doi.org/10.1016/j.jtcvs.2009.12.042

Bendlin, R. & Damgård, I. B. (2010). Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystems. Lecture Notes in Computer Science, 5978, 201-218. https://doi.org/10.1007/978-3-642-11799-2_13

Chrobak, M., Dürr, C., Guíñez, F., Lozano, A. & Thang, N. K. (2010). Tile-Packing Tomography Is NP-hard. Lecture Notes in Computer Science, 6196, 254-263. https://doi.org/10.1007/978-3-642-14031-0_29

Bohøj, M., Borchorst, N. G., Bouvin, N. O., Bødker, S. & Zander, P.-O. (2010). Timeline Collaboration. In Proceedings of the 28th International Conference on Human factors in computing Systems. CHI '10 (pp. 523-532). Association for Computing Machinery. https://doi.org/10.1145/1753326.1753404

Jensen, K., Donatelli, S. & Koutny, M. (Eds.) (2010). Transactions on Petri Nets and Other Models of Concurrency IV: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 6550 https://doi.org/10.1007/978-3-642-18222-8

Kristensen, T. G. (2010). Transforming Tanimoto queries on real valued vectors to range queries in Euclidian space. Journal of Mathematical Chemistry, 48(2), 287-289. https://doi.org/10.1007/s10910-010-9668-4

Brabrand, C. & Thomsen, J. G. (2010). Typed and Unambiguous Pattern Matching on Strings using Regular Expressions. In T. Kutsia, W. Schreiner & M. Fernandez (Eds.), Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming. PPDP '10: (pp. 243-254). Association for Computing Machinery. https://doi.org/10.1145/1836089.1836120

Korn, M. (2010). Understanding Use Situated in Real-world Mobile Contexts. Paper presented at ACM Conference on Ubiquitous Computing. Ubicomp '10, København, Denmark. http://mkorn.binaervarianz.de/pub/ubicomp2010-ws.pdf

Hansen, F. A. & Grønbæk, K. (2010). UrbanWeb: a Platform for Mobile Context-aware Social Computing. A C M Conference on Hypertext and Hypermedia. Proceedings, 195-200. https://doi.org/10.1145/1810617.1810651

Simonsen, M., Sand, A., Mailund, T. & Pedersen, C. N. S. (2010). Using the Power of Modern Processors in Bioformatics. Poster session presented at Conference on IT research at AU, Århus, Denmark.

Kristensen, M. D. & Bouvin, N. O. (2010). Using Wi-Fi to Save Energy via P2P Remote Execution. In 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops 2010). Proceedings (pp. 123-128). IEEE. https://doi.org/10.1109/PERCOMW.2010.5470614

Babai, L., Hansen, K. A., Podolskii, V. V. & Sun, X. (2010). Weights of Exact Threshold Functions. Lecture Notes in Computer Science, 6281, 66-77. https://doi.org/10.1007/978-3-642-15155-2_8

Aarhus, R., Cedergren, A., Grönvall, E., Hald, A. E., Larsen, S. B., Moesgaard, T. & Wollsen, S. (2010). Wii i Trige: Et projekt om Wii, motivation og ældres træning. D A I M I P B, (592).

Uribe, S., Beerbaum, P., Sørensen, T. S., Rasmusson, A., Razavi, R. & Schaeffter, T. (2009). 4D Flow of the Whole Heart and Great Vessels Using a Real Time Self Respiratory Gating Technique. Poster session presented at Annual SCMR Scientific Sessions, Orlando, Florida, United States. https://doi.org/10.1186/1532-429X-11-S1-P3

Klose, K. & Ostermann, K. (2009). A Classification Framework for Pointcut Languages in Runtime Monitoring. In Objects, Components, Models and Patterns (pp. 289-307). Springer. https://doi.org/10.1007/978-3-642-02571-6_17

Damgård, I. B., Krøigaard, M. & Geisler, M. (2009). A correction to 'efficient and secure comparison for on-line auctions'. International Journal of Applied Cryptography, 1(4), 323-324. https://doi.org/10.1504/IJACT.2009.028031

Besenbacher, S., Pedersen, C. S. & Mailund, T. (2009). A fast algorithm for genome wide haplotype pattern mining. BMC Bioinformatics, (suppl. 1), 772. https://doi.org/10.1186/1471-2105-10-S1-S74

Aarhus, R., Ballegaard, S. A., Grönvall, E. & Larsen, S. B. (2009). Ageing in communal place: ethnographic studies of social interaction in senior housing communities. In Supplementary Proceeding of the 11th European Conference on Computer Supported Cooperative Work: Workshops, Master classes. W3: Enhancing interaction spaces by social media for the ederly ECSCW - European Conference on Computer Supported Cooperative Work. http://www.uni-siegen.de/locatingmedia/workshops/ecscwageingworkshop/ageing_in_communal_place_aarhus_ballegaard_groenvall_larsenl.pdf

Aarhus, R., Ballegaard, S. A., Grönvall, E. & Larsen, S. B. (2009). Ageing in Communal Place: Ethnographic studies of social interaction in senior housing communities. International Reports on Socio-Informatics, 6(3), 8-20.

Afshani, P., Hamilton, C. & Zeh, N. (2009). A general approach for cache-oblivious range reporting and approximate range counting. In Proceedings of the 25th annual symposium on Computational geometry Association for Computing Machinery. https://doi.org/10.1145/1542362.1542413

Zhang, W., Ingstrup, M., Hansen, K. M. & Schütte, J. (2009). A Genetic Algorithms-based Approach for Optimized Self-protection in a Pervasive Service Middleware. Lecture Notes in Computer Science, 404-419. https://doi.org/10.1007/978-3-642-10383-4_29

Petersen, D. E., Li, S., Stokbro, K., Sørensen, H. H. B., Hansen, P. C., Skelboe, S. & Darve, E. (2009). A hybrid method for the parallel computation of Green’s functions. Journal of Computational Physics, 228(14), 5020-5039. https://doi.org/10.1016/j.jcp.2009.03.035 |

Brabrand, C. & Dahl, B. (2009). Analyzing CS (Computer Science) Competencies using The SOLO Taxonomy. S I G C S E Bulletin Inroads, (3).

Hansen, K. M., Jónasson, K. & Neukirchen, H. (2009). An Empirical Study of Open Source Software Architectures' Effect on Product Quality. Stofnun Árna Magnúrssonar á Íslandi. http://notendur.hi.is/kmh/doc/vhi-01-2009.pdf

Christensen, H. B., Hansen, K. M. & Schougaard, K. R. (2009). An Empirical Study of Software Architects’ Concerns. In S. Sulaiman & N. M. M. Noor (Eds.), Proceedings of the 16th Asia-Pacific Software Engineering Conference (APSEC 09) (pp. 111-118). IEEE Press. https://doi.org/10.1109/APSEC.2009.12

Zhang, W. & Hansen, K. M. (2009). An Evaluation of the NSGA-II and MOCell Genetic Algorithms for Self-management Planning in a Pervasive Service Middleware. In Proceedings of the 14th IEEE International Conference on Enginerring of Complex Computer Systems (ICECCS 2009) (pp. 192-201). IEEE Press. https://doi.org/10.1109/ICECCS.2009.17

Hansen, K. A. & Koucký, M. (2009). A new characterization of ACC⁰ and probabilistic CC⁰. I E E E Conference on Computational Complexity. Proceedings, 27-34. https://doi.org/10.1109/CCC.2009.15

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). A Prototype for Cosimulating SystemC and Coloured Petri Net Models. D A I M I P B, (590), 1-20.

Mailund, T., Nielsen, J. & Pedersen, C. S. (2009). A Quadratic Time Algorithm for Computing the Quartet Distance between Two General Trees. In Proceedings of IJCBS 2009 (pp. 565-568). IEEE Computer Society Press. https://doi.org/10.1109/IJCBS.2009.42

Ingstrup, M., Zhang, W., Hansen, K. M. & Fernandes, J. M. (2009). Architecting Self-Management in the Hydra Middleware. In A. Brinkmann, H.-J. Eikerling & M. Z. Aziz (Eds.), Proceedings of the 1st International Workshop on Distributed Computing in Ambient Environments: proceedings co-located with the 32nd Annual Conference on Artificial Intelligence Paderborn, September 15th, 2009 (pp. 1-12). COMSATS Institue of Information Technology, Islamabad. http://www.iis.uni-hildesheim.de/files/staff/bach/KI-2009-WS-Web.pdf

Christensen, H. B. & Hansen, K. M. (2009). Architectural Competence and Maturity: Software Architecture at Work : Technical Report , no. 2. Department of Computer Science, University of Aarhus.

Westergaard, M., Evangelista, S. & Kristensen, L. M. (2009). ASAP: An Extensible Platform for State Space Analysis. Lecture Notes in Computer Science, 303-312. https://doi.org/10.1007/978-3-642-02424-5_18

Bødker, S. (2009). A sense of direction for participatory design? In A. L. Sannino, H. Daniels & K. Gutiérrez (Eds.), Learning and expanding with activity theory (pp. 274-285). Cambridge University Press.

Abam, M., de Berg, M. & Gudmundsson, J. (2009). A simple and efficient kinetic spanner . Computational Geometry, 43(3), 251-256.

Grunnet, N., Bödvarsson, M., Jakobsen, A., Kyllönen, L., Olausson, M., Pfeffer, P. & Sørensen, S. S. (2009). Aspects of present and future data presentation in Scandiatransplant. Transplantation Proceedings, 41(2), 732-5. https://doi.org/10.1016/j.transproceed.2009.01.032

Christensen, H. B. (2009). A story-telling approach for a software engineering course design. S I G C S E Bulletin Inroads, (3), 60-64. http://delivery.acm.org/10.1145/1570000/1562901/p60-christensen.pdf?key1=1562901&key2=1668146621&coll=Portal&dl=GUIDE&CFID=78305996&CFTOKEN=42596960

Christensen, H. B. (2009). A Story-Telling Approach for a Software Engineering Course Design. In P. Brézillon (Ed.), Annual Joint Conference Integrating Technology into Computer Science Education, ITiCSE 2009: Proceedings (pp. 60-64). Association for Computing Machinery. https://doi.org/10.1145/1562877.1562901

Displaying results 3301 to 3350 out of 5895

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University