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

Abam, M., de Berg, M., Farshi, M. & Gudmundsson, J. (2009). Region-fault tolerant geometric spanners. Discrete & Computational Geometry, 41(4), 556-582. https://doi.org/10.1007/s00454-009-9137-7

Klokmose, C. N. & Zander, P.-O. (2009). Rethinking laboratory notebooks with ubiquitous instrumental interaction. In J. Molka-Danielsen (Ed.), Proceedings of the 32nd Information Systems Research Seminar in Scandinavia, IRIS 32, Inclusive Design (pp. A14). TAPIR Akademisk Forlag. http://www.himolde.no/index.cfm/pageID/2483

Kristensen, M. D. (2009). Scavenger: Cyber Foraging Framework. Computer programme http://code.google.com/p/scavenger-cf/

Evangelista, S. & Kristensen, L. M. (2009). Search-Order Independent State Caching. Daimi Report Series (DAIMI PB), 219-239.

Reistad, T. & Toft, T. (2009). Secret Sharing Comparison by Transformation and Rotation. Lecture Notes in Computer Science, 169-180. https://doi.org/10.1007/978-3-642-10230-1_14

Andersen, J. (2009). Secure Group Formation Protocol for a Medical Sensor Network Prototype. In S. Marusic, M. Palaniswami, J. Gubbi & Y. W. Law (Eds.), Proceedings of the 2009 Fifth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (pp. 343-348). IEEE.

Bøgetoft, P., Lund Christensen, D., Damgård, I. B., Geisler, M., Jacobsen, T., Krøigaard, M., Nielsen, J. D., Nielsen, J. B., Nielsen, K., Pagter, J. I., Schwartzbach, M. I., Toft, T. & Nielsen, K. (2009). Secure Multiparty Computation Goes Live. Lecture Notes in Computer Science, 5628, 325-343. https://doi.org/10.1007/978-3-642-03549-4_20

Telelis, O., Gourvès, L. & Monnot, J. (2009). Selfish Scheduling with Setup Times. Lecture Notes in Computer Science, 292-303. https://doi.org/10.1007/978-3-642-10841-9_27

Christensen, H. B. & Hansen, K. M. (2009). Slutrapport, forår 2009: Software Architecture at Work: teknisk rapport, nr. 3. Department of Computer Science, Aarhus University.

Borchorst, N. G. (2009). Social Navigation and User Contributions within the Sphere of Public Digital Services. In J. Molka-Danielsen (Ed.), Proceedings of the 32nd Information Systems Research Seminar in Scandinavia, IRIS 32, Inclusive Design TAPIR Akademisk Forlag. http://www.himolde.no/index.cfm/pageID/2483

Bielikova, M., Nielsen, M., Kucera, A., Miltersen, P. B., Palamidessi, C., Tuma, P. & Valencia, F. (Eds.) (2009). SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Springer. Lecture Notes in Computer Science Vol. 5404 https://doi.org/10.1007/978-3-540-95891-8

Toft, T. (2009). Solving Linear Programs Using Multiparty Computation. Lecture Notes in Computer Science, 5628, 90-107. https://doi.org/10.1007/978-3-642-03549-4_6

Dalsgaard, P. & Kortbek, K. J. (2009). Staging urban atmospheres in interaction design. In Nordes 2009: Engaging Artifacts

Britz, D., Oldham, K. B. & Østerby, O. (2009). Strategies for damping the oscillations of the alternating direction implicit method of simulation of diffusion-limited chronoamperometry at disk electrodes. Electrochimica Acta, 54, 4822-4828.

Rohde, J., Wolff, S. & Toftegaard, T. S. (2009). Strategies For Releasing The Green Potential In Home Automation. Proceedings of the Wireless Personal Multimedia Communications Symposia.

Aarhus, R., Ballegaard, S. A. & Hansen, T. R. (2009). SundtHjem projektet: Et forskningsprojekt om sundhedsteknologi til hjemmet med gravide diabetikere som case. Department of Computer Science, Aarhus University.

Ballegaard, S. A. & Aarhus, R. (2009). Teknologiers mellemkomst i ambulant behandling og egenomsorg: med fokus på gravide kvinder med diabetes. Tidsskrift for Forskning i Sygdom og Samfund, (11), 71-85.

Jensen, K. (Ed.) (2009). Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 19-21, 2009. Department of Computer Science, Aarhus University.

Westergaard, M. & Kristensen, L. M. (2009). The Access/CPN Framework: A Tool for Interacting With the CPN Tools Simulator. Lecture Notes in Computer Science, 313-322. https://doi.org/10.1007/978-3-642-02424-5_19

Feldthaus, A. & Møller, A. (2009). The Big Manual for the Java String Analyzer: Latest release: version 2.1-1, November 30, 2009. http://www.brics.dk/JSA/

Bødker, S., Zander, P.-O. & Borchorst, N. G. (2009). The boundaries of participatory citizenship. In I. Wagner, H. Tellioglu, E. Balka, C. Simone & L. Ciolfi (Eds.), Proceedings of the 11th European Conference on Computer Supported Cooperative Work, (ECSCW) (pp. 1-20). Springer. https://doi.org/10.1007/978-1-84882-854-4_1

Evangelista, S., Westergaard, M. & Kristensen, L. M. (2009). The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. Lecture Notes in Computer Science, 5800, 189-215. https://doi.org/10.1007/978-3-642-04856-2_8

Andersson, D. & Miltersen, P. B. (2009). The complexity of solving stochastic games on graphs. Lecture Notes in Computer Science, 112-121. https://doi.org/10.1007/978-3-642-10631-6_13

Aarhus, R., Ballegaard, S. A. & Hansen, T. R. (2009). The eDiary: Bridging home and hospital through healthcare technology. In E. Balka, L. Ciolofi, C. Simone, H. Tellioglu & I. Wagner (Eds.), Proceedings of the 11th European Conferenceon Computer Supported Cooperative Work (pp. 63-83). Springer. https://doi.org/10.1007/978-1-84882-854-4_4

Moeslund, J. E., Arge, L. A., Bøcher, P. K., Nygaard, B. & Svenning, J.-C. (2009). The impacts of coastal squeezing on salt-meadow plant communities in Denmark. Poster session presented at Beyond Kyoto: Addressing the challenges of climate change, Aarhus, Denmark.

Roune, B. H. (2009). The Slice Algorithm For Irreducible Decomposition of Monomial Ideals. Journal of Symbolic Computation, 44(4), 358-381.

Rasmusson, A. (2009). The Spatiale Rotator. In V. Capasso et al., Ed. (Ed.), Stereology and Image Analysis. Ecs10: Proceeding of the 10th European Conference of ISS. (Vol. 4). ESCULAPIO Pub. Co, Bologna. http://newrobin.mat.unimi.it/OCS/index.php/ECS/ecs10/paper/view/199

Brix, L., Ringgaard, S., Rasmusson, A., Sørensen, T. S. & Kim, W. Y. (2009). Three dimensional three component whole heart cardiovascular magnetic resonance velocity mapping: comparison of flow measurements from 3D and 2D acquisitions. Journal of Cardiovascular Magnetic Resonance, 11(1), 3. https://doi.org/10.1186/1532-429X-11-3

Bohøj, M. (2009). Timelines as a Collaborative Planning Tool. Daimi Report Series (DAIMI PB), (591), 6-9.

Espensen, K. L., Kjeldsen, M. K., Kristensen, L. M. & Westergaard, M. (2009). Towards Automatic Code-generation from Process-partitioned Coloured Petri Nets. Daimi Report Series (DAIMI PB), (590), 41-60.

Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. Lecture Notes in Computer Science, 5700, 162-185. https://doi.org/10.1007/978-3-642-04164-8_9

Biernacka, M. & Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. Lecture Notes in Computer Science, 5700, 186-206. https://doi.org/10.1007/978-3-642-04164-8_10

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation. In C. Frydman, F. Longo & K. Mekouar (Eds.), 21st European Modeling and Simulation Symposium: International Mediterranean and Latin American Modelling Multiconference (pp. 47-53). Universidad De La Laguna.

Hansen, K. M., Zhang, W. & Fernandes, J. M. (2009). Towards open world software architectures with semantic architecture styles, components and connectors. In Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009) (pp. 40-49). IEEE Computer Society Press. https://doi.org/10.1109/ICECCS.2009.7

Jensen, K. & Wil M.P. van der, A. (Eds.) (2009). Transactions on Petri Nets and Other Models of Concurrency II: ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems. Springer. Lecture Notes in Computer Science Vol. 5460 https://doi.org/10.1007/978-3-642-00899-3

Jensen, K., Billington, J. & Koutny, M. (Eds.) (2009). Transactions on Petri Nets and Other Models of Concurrency III: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 5800 https://doi.org/10.1007/978-3-642-04856-2

Jensen, S. H., Møller, A. & Thiemann, P. (2009). Type Analysis for JavaScript. Lecture Notes in Computer Science, 5673, 238–255. https://doi.org/10.1007/978-3-642-03237-0_17

Rendel, T., Ostermann, K. & Hofer, C. (2009). Typed Self-Representation. In Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (pp. 293-303). Association for Computing Machinery. https://doi.org/10.1145/1542476.1542509

Damgård, I. B., Nielsen, J. B. & Wichs, D. (2009). Universally Composable Multiparty Computation with Partially Isolated Parties. Lecture Notes in Computer Science, 5444, 315-331. https://doi.org/10.1007/978-3-642-00457-5_19

Dalsgaard, P., Dindler, C., Stuedahl, D. & Smørdal, O. (2009). Use of blogs for studying users' engagement with mobile telephones in museum environment. In Proceedings of the 2007 Tenth European Conference on Computer-Supported Cooperative Work (Vol. Limerick, Irland). Springer Science+Business Media.

Emily, M., Mailund, T., Hein, J., Schauser, L. & Schierup, M. H. (2009). Using biological networks to search for interacting loci in genomewide association studies. European Journal of Human Genetics. https://doi.org/10.1038/ejhg.2009.15

Brabrand, C. & Dahl, B. (2009). Using the SOLO taxonomy to Analyze competence progression of university science curricula. Higher Education, 58(4), 531-549. https://doi.org/10.1007/s10734-009-9210-4

Zander, P.-O. (2009). Verksamhetsteori. In S. Hrastinski (Ed.), Nätbaserad utbildning: en introduktion Studentlitteratur.

Grönvall, E., Aarhus, R. & Larsen, S. B. (2009). Vestibular rehabilitation in the home: Design challenges. Daimi Report Series (DAIMI PB), (591), 22-25.

Klokmose, C. N. & Beaudouin-Lafon, M. (2009). VIGO: Instrumental Interaction in Multi-Surface Environments. In D. R. Olsen Jr. & R. B. Arthur (Eds.), CHI '09 Proceedings of the 27th International Conference on Human factors in Computing Systems (Vol. SESSION: Programming tools and architectures, pp. 869-878). Association for Computing Machinery. https://doi.org/10.1145/1518701.1518833

Nielsen, A. B. & Ernst, E. (2009). Virtual Class Support at the Virtual Machine Level. In H. Rajan, C. Bockisch, M. Haupt & R. Dyer (Eds.), Proceedings of The 3rd workshop on Virtual Machines and Intermediate Languages (VMIL) Association for Computing Machinery. https://doi.org/10.1145/1711506.1711507

Søndergaard, E., Gormsen, L. C., Nellemann, B., Vestergaard, E. T., Christiansen, J. S. & Nielsen, S. (2009). Visceral fat mass is a strong predictor of circulating ghrelin levels in premenopausal women. European Journal of Endocrinology, 160(3), 375-9. https://doi.org/10.1530/EJE-08-0735

Bohøj, M. (2009). Web 2.0 Technologies in a Governmental Setting. Poster session presented at First and Seventeenth International Conference on User Modeling, Adaptation, and Personalization, UMAP 2009, Trento, Italy. http://umap09.fbk.eu/sites/umap09.fbk.eu/files/paper_172.pdf

Buscher, M., Kristensen, M. & Mogensen, P. H. (2009). When and How (Not) to Trust IT: Supporting virtual Emergency Teamwork. International Journal of Information Systems for Crisis Response and Management, 1(2), 1.

Boubertakh, R., Prieto, C., Batchelor, P., Uribe, S., Atkinson, D., Eggers, H., Sørensen, T. S., Hansen, M. S., Razavi, R. & Schaeffter, T. (2009). Whole-heart imaging using undersampled radial phase encoding (RPE) and iterative sensitivity encoding (SENSE) reconstruction. Magnetic Resonance in Medicine, 62(5), 1331-1337. https://doi.org/10.1002/mrm.22102

Displaying results 3501 to 3550 out of 5916

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University