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

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. Daimi Report Series (DAIMI PB), (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. ACM SIGCSE Bulletin, (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⁰. In 2009 24th Annual IEEE Conference on Computational Complexity (pp. 27-34). IEEE. 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. Daimi Report Series (DAIMI PB), (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. SIGCSE 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

Hansen, M. T. (2009). Asynchronous Group Key Distribution on top of the CC2420 Security Mechanisms for Sensor Networks. In D. Basin, S. Capkun & W. Lee (Eds.), The 2nd ACM onference On Wireless Network Security, WiSec '09: Proceedings (pp. 13-20). Association for Computing Machinery. https://doi.org/10.1145/1514274.1514277

Damgård, I. B., Geisler, M., Krøigaard, M. & Nielsen, J. B. (2009). Asynchronous Multiparty Computation: Theory and Implementation. Lecture Notes in Computer Science, 5443, 160-179. https://doi.org/10.1007/978-3-642-00468-1_10

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2009). A tree based method for the rapid screening of chemical fingerprints. Lecture Notes in Computer Science, 5724, 194-205. https://doi.org/10.1007/978-3-642-04241-6_17

Liboriussen, P., Pedersen, B. P., Ifrim, G., Nissen, P. & Pedersen, C. S. (2009). Automatic classification of P-Type ATPases using SLR. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden.

Büscher, M., Christensen, M., Hansen, K. M., Mogensen, P. H. & Shapiro, D. (2009). Bottom-up, top-down? Connecting software architecture design with use. In A. Voss, M. Hartswood, J. K. Ho, R. Procter, M. Rouncefield, R. Slack & M. Büscher (Eds.), Configuring user-designer relations: Interdisciplinary perspectives (pp. 157-191). Springer. https://doi.org/10.1007/978-1-84628-925-5_8

Simonsen, M., Mailund, T. & Pedersen, C. S. (2009). Building very large neighbour-joining trees. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden.

Afshani, P., Hamilton, C. & Zeh, N. (2009). Cache-oblivious range reporting with optimal queries requires superlinear space. In Proceedings of the 25th annual symposium on Computational geometry (pp. 277-286). Association for Computing Machinery. https://doi.org/10.1145/1542362.1542412

Arge, L., de Berg, M. & Haverkort, H. (2009). Cache-Oblivious R-trees. Algorithmica, 53(1), 50-68. https://doi.org/10.1007/s00453-007-9007-8

Bohøj, M. & Bouvin, N. O. (2009). Collaborative Time-based Case Work. In C. Cattuto, G. Ruffo & F. Menczer (Eds.), Proceedings of the 20th ACM conference on Hypertext and Hypermedia (Vol. SESSION: Applications, pp. 141-146). Association for Computing Machinery. https://doi.org/10.1145/1557914.1557940

Jensen, K. & Kristensen, L. M. (2009). Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer. https://doi.org/10.1007/b95112

Lassen, K. B. & van der Aalst, W. M. P. (2009). Complexity Metrics for Workflow Nets. Information and Software Technology, 51(3), 610-626.

Toft, T. (2009). Constant-Rounds, Almost-Linear Bit-Decomposition of Secret Shared Values. Lecture Notes in Computer Science, 357-371. https://doi.org/10.1007/978-3-642-00862-7_24

Displaying results 3351 to 3400 out of 5933

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University