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

Kjær, K. E. (2009). Participatory Middleware Design: Experimental Development of Semantic, Service Oriented, Context Aware Middleware for Ubiquitous Computing. Aarhus Universitetsforlag.

Dalsgaard, P. & Dindler, C. (2009). Peepholes as Means of Engagement in Interaction Design. In Nordes 2009: Engaging Artifacts

Andersson, K. O. D. (2009). Perfect-Information Games with Cycles. Aarhus Universitetsforlag.

Danvy, O. (2009). Peter J. Landin (1930-2009). In J. Clements (Ed.), Proceedings of the Scheme and Functional Programming Workshop (pp. 126-129). California Polytechnic State University - San Luis Obispo. http://digitalcommons.calpoly.edu/csse_fac/83

Godsk, T. (2009). Positioning for Herd Management. In IEEE International Conference on Pervasive Computing and Communications, 2009. PerCom 2009. Proceedings (pp. 1-2). IEEE Computer Society Press. https://doi.org/10.1109/PERCOM.2009.4912809

Christensen, H. B. & Hansen, K. M. (2009). Preliminary Evaluation of Architectural Competence and Maturity in the Danish IT Companies: Software Architecture at Work : technical report, no.4. Department of Computer Science, Aarhus University.

Miltersen, P. B., Nielsen, J. B. & Triandopoulos, N. (2009). Privacy-Enhancing Auctions Using Rational Cryptography. Lecture Notes in Computer Science, 5677, 541-558. https://doi.org/10.1007/978-3-642-03356-8_32

Erkin, Z., Franz, M., Guajardo, J., Katzenbeisser, S., Lagendijk, I. & Toft, T. (2009). Privacy-Preserving Face Recognition. Lecture Notes in Computer Science, 235-253. https://doi.org/10.1007/978-3-642-03168-7_14

Krukow, K., Nielsen, M. & Sassone, V. (2009). Probabilistic Computational Trust. In Perspectives in Concurrency Theory (pp. 295-316). Universities Press (India).

Damgård, I. B. & Lunemann, C. (2009). Quantum-Secure Coin-Flipping and Applications. Lecture Notes in Computer Science, 52-69. https://doi.org/10.1007/978-3-642-10366-7_4

Sørensen, T. S., Atkinson, D., Schaeffter, T. & Hansen, M. S. (2009). Real-time Reconstruction of Sensitivity Encoded Radial Magnetic Resonance Imaging Using a Graphics Processing Unit. IEEE Transactions on Medical Imaging, 28(12), 1974-1985. https://doi.org/10.1109/TMI.2009.2027118

Arge, L. A. (2009). Recent Advances in Worst-Case Efficient Range Search Indexing (Invited Paper). Lecture Notes in Computer Science, 3-4. https://doi.org/10.1007/978-3-642-02982-0_2

Kristensen, T. G. (2009). Recombining Angles in Differential Evolution. In IEEE Congress on Evolutionary Computation, CEC 2009 (pp. 3353 - 3356). IEEE Press. https://doi.org/10.1109/CEC.2009.4983370

Petersen, M. G., Ludvigsen, M. & Krogh, P. (2009). Reconnecting Actions and Consequences. In First International Workshop on Expressive Interactions for Sustainability and Empowerment (EISE 2009): Session 4: Near-end Development for Empowerment BCS, The Chartered Institute for IT.

Danvy, O. & Millikin, K. (2009). Refunctionalization at Work. Science of Computer Programming, 74(8), 534-549. https://doi.org/10.1016/j.scico.2009.02.001

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. Software 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

Displaying results 3551 to 3600 out of 5981

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University