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

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. D A I M I P B, (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. D A I M I P B, (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. D A I M I P B, (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

Hansen, K. A., Koucký, M. & Miltersen, P. B. (2009). Winning Concurrent Reachability Games Requires Doubly-Exponential Patience. Symposium on Logic in Computer Science, 332-341. https://doi.org/10.1109/LICS.2009.44

Arge, L. A. (2009). Worst-Case Efficient Range Searching: Invited Tutorial 2. In J. Paredaens & J. Su (Eds.), 28th Symposium on Principles of Database Systems: Proceedings (pp. 175-176). Association for Computing Machinery. https://doi.org/10.1145/1559795.1559822

Petersen, M. G., Ljungblad, S. & Håkansson, M. (2009). Designing for Playful Photography. New Review of Hypermedia and Multimedia, 15(2), 193-209.

Abam, M. & de Berg, M. (2009). Kinetic spanners in R^d. In J. Hershberger & E. Fogel (Eds.), Annual Symposium on Computational Geometry: SESSION: Monday, June 8th, 10:50-11:50 am (pp. 43-50). Association for Computing Machinery. https://doi.org/10.1145/1542362.1542371

Uribe, S. A., Beerbaum, P., Rasmusson, A., Sørensen, T. S., Razavi, R. & Schaeffter, T. (2008). 4D Flow of the Whole Heart and Great Vessels at 3T Using Real Time Self Respiratory Gating. In Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine: Vascular Hemodynamics. Computer 2. 2832 (Vol. DVD). ISMRM.

Bennedsen, J. & Caspersen, M. E. (2008). Abstraction ability as an indicator of success for learning computing science? In Proceeding of the fourth international workshop on Computing education research: ICER 2008 (pp. 15-26). Association for Computing Machinery. https://doi.org/10.1145/1404520.1404523

Sørensen, T. S., Schaeffter, T., Noe, K. Ø. & Schacht Hansen, M. (2008). Accelerating the Non-equispaced Fast Fourier Transform on Commodity Graphics Hardware. I E E E Transactions on Medical Imaging, 27(4), 538-547. https://doi.org/10.1109/TMI.2007.909834

Noe, K. Ø., De Senneville, B. D., Elstrøm, U. V., Tanderup, K. & Sørensen, T. S. (2008). Acceleration and validation of optical flow based deformable registration for image-guided radiotherapy. Acta Odontologica Scandinavica, 47(7), 1286-1293. https://doi.org/10.1080/02841860802258760

Noe, K. Ø., Mosegaard, J., Tanderup, K. & Sørensen, T. S. (2008). A framework for shape matching in deformable image registration. Studies in Health Technology and Informatics, 132, 333-337.

Gilpin, A. G., Sandholm, T. & Sørensen, T. B. (2008). A heads-up no-limit Texas Hold'em poker player: Discretized betting models and automatically generated equilibrium-finding programs. In L. Padgham, D. Parkes, J. Müller & S. Parsons (Eds.), International Conference on Autonomous Agents: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 SESSION: Economic paradigms (Vol. 2, pp. 911-918). International Foundation for Autonomous Agents and Multiagent Systems.

Bødker, S. (2008). A layered approach to user-centered security. In Proceedings of the 5th Nordic conference on Human-Computer Interaction Association for Computing Machinery.

Nielsen, M., Krukow, K. K. & Sassone, V. (2008). A Logical Framework for Reputation Systems. Journal of Computer Security, 16(1), 63-101. http://iospress.metapress.com/link.asp?id=2330826723581x76

Cameron, N. R., Drossopoulou, S. & Ernst, E. (2008). A Model for Java with Wildcards. Lecture Notes in Computer Science, 5142, 2-26. https://doi.org/10.1007/978-3-540-70592-5_2

Christensen, H. B., Börstler, J., Nordström, M., Kallin Westin, L., Moström, J. E. & Bennedsen, J. (2008). An Evaluation Instrument for Object-Oriented Example Programs for Novices. Department of Computer Science.

Klokmose, C. N. (2008). An Instrumental Paradigm for Ubiquitous Interaction. In W. P. Brinkman, D. H. Ham & B. L. W. Wong (Eds.), ACM International Conference Proceeding Series; vol 250: Proceedings of the 14th European conference on Cognitive ergonomics: invent! explore! (Vol. 250, pp. 257-260). Association for Computing Machinery.

Brodal, G. S., Georgiadis, L. & Katriel, I. (2008). An O(n log n) Version of the Averbakh-Berman Algorithm for the Robust Median of a Tree. Operations Research Letters, 36(1), 14 -18. https://doi.org/10.1016/j.orl.2007.02.012

Triandopoulos, N., Kapadia, A., Cornelius, C., Peebles, D. & Kotz, D. (2008). AnonySense: Opportunistic and Privacy-Preserving Context Collection. Lecture Notes in Computer Science, 280-297. https://doi.org/10.1007/978-3-540-79576-6_17

de Senneville, B. D., Noe, K. Ø., Ries, M., Pedersen, M., Moonen, C. & Sørensen, T. S. (2008). An optimised multi-baseline approach for on-line MR-temperature monitoring on commodity graphics hardware. In Fifth IEEE International Symposium on Biomedical Imaging (ISBI): From Nano to Macro (Vol. Non-Optical micro-imaging, pp. 1513-1516). IEEE. https://doi.org/10.1109/ISBI.2008.4540909

Zhang, W. & Hansen, K. M. (2008). An OWL/SWRL based Diagnosis Approach in a Web Service-based Middleware for Embedded and Networked System. In Proceeedings of the 20th International Conference on Software Engineering and Knowledge Engineering (pp. 893-898). Knowledge Systems Institute.

Hansen, K. A., Hansen, T. D., Miltersen, P. B. & Sørensen, T. B. (2008). Approximability and Parameterized Complexity of Minmax Values. Lecture Notes in Computer Science, 5385, 684-695. https://doi.org/10.1007/978-3-540-92185-1_74

Danvy, O. & Millikin, K. (2008). A Rational Deconstruction of Landin's SECD Machine with the J Operator. Logical Methods in Computer Science, 4(4:12), 1.

Displaying results 3301 to 3350 out of 5700

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University