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

Pedersen, C. S. & Kristensen, T. G. (2009). Optimal Overlay of Ligands with Flexible Bonds Using Differential Evolution. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Bioligy (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden. http://www.iscb.org/ismbeccb2009/poster_list.php?cat=C

Afshani, P., Arge, L. A. & Larsen, K. D. (2009). Orthogonal Range Reporting in Three and Higher Dimensions. Symposium on Foundations of Computer Science. Annual Proceedings, 149-158. https://doi.org/10.1109/FOCS.2009.58

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

Displaying results 3501 to 3550 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