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

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2010). Sharing-aware horizontal partitioning for exploiting correlations during query processing. Proceedings of the VLDB Endowment, 3(1-2), 542-553. http://portal.acm.org/citation.cfm?id=1920911&CFID=7605094&CFTOKEN=94044110

Noe, K. Ø. & Sørensen, T. S. (2010). Solid Mesh Registration for Radiotherapy Treatment Planning. Lecture Notes in Computer Science, 5958, 59-70. https://doi.org/10.1007/978-3-642-11615-5_7

Christensen, H. B. (2010). Source code: Examples, exercises and projects for "Flexible, Reliable Software: Using Patterns and Agile Development". Computer programme, http://www.baerbak.com. http://www.baerbak.com

Abam, M., de Berg, M., Hachenberger, P. & Zarei, A. (2010). Streaming Algorithms for Line Simplification. Discrete & Computational Geometry, 43(3), 497-515. https://doi.org/10.1007/s00454-008-9132-4

Korn, M., Kawash, R. & Andersen, L. M. (2010). Surprise Trips: A System to Augment the Natural Experience of Exploration. Poster session presented at ACM international conference on Ubiquitous computing, København, Denmark. https://doi.org/10.1145/1864431.1864463

Korn, M., Kawash, R. & Andersen, L. M. (2010). Surprise Trips : A System to Augment the Natural Experience of Exploration. In J. E. Bardram & M. Langheinrich (Eds.), Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing (pp. 413-414). Association for Computing Machinery. https://doi.org/10.1145/1864431.1864463

Cai, L., Cheng, Y., Verbin, E. & Zhou, Y. (2010). Surviving Rates of Graphs with Bounded Treewidth for the Firefighter Problem. S I A M Journal on Discrete Mathematics, 24(4), 1322-1335. https://doi.org/10.1137/100791130

Brachat, J., Comon, P., Mourrain, B. & Tsigaridas, E. (2010). Symmetric Tensor Decomposition. Linear Algebra and Its Applications, 433(11-12), 1851-1872. https://doi.org/10.1016/j.laa.2010.06.046

Andersen, J. & Brabrand, C. (2010). Syntactic Language Extension via an Algebra of Languages and Transformations. Electronic Notes in Theoretical Computer Science, 253(7), 19-35. https://doi.org/10.1016/j.entcs.2010.08.029

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. Lecture Notes in Business Information Processing, 289-307. 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. B M C 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.

Displaying results 3101 to 3150 out of 5707

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University