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

Brodersen, A. C. & Iversen, O. S. (2007). Dressing up for School Work: Supporting a Collaborative Environment with Heterogeneous Technologies. In Proceedings of the 10th European Conference on Computer Supported Co-operative Work (pp. 251-270). Springer.

Brodal, G. S., Georgiadis, L., Hansen, K. A. & Katriel, I. (2007). Dynamic Matchings in Convex Bipartite Graphs. In L. Kucera & A. Kucera (Eds.), Proc. 32nd International Symposium on Mathematical Foundations of Computer Science (pp. 406-417). Springer. https://doi.org/10.1007/978-3-540-74456-6_37

Lee, J. (2007). Dynamic Reverse Code Generation for Backward Execution. Electronic Notes in Theoretical Computer Science, 174(4), 37-54. https://doi.org/10.1016/j.entcs.2006.12.028

Ernst, E. (Ed.) (2007). ECOOP 2007 - Object-Oriented Programming: 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings. Springer. Lecture Notes in Computer Science Vol. 4609

Caspersen, M. E. (2007). Educating Novices in The Skills of Programming. Department of Computer Science.

Damgård, I. B., Krøigaard, M. & Geisler, M. J. (2007). Efficient and Secure Comparison for On-Line Auctions. In J. Pieprzyk, H. Ghodosi & E. Dawson (Eds.), Information Security and Privacy: 12th Australasian Conference, ACISP 2007, Townsville, Australia, July 2-4, 2007. Proceedings (Vol. 4586, pp. 416-430). Springer. https://doi.org/10.1007/978-3-540-73458-1_30

Jensen, K. (Ed.) (2007). Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 22-24, 2007. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) No. 584

Møller, H. H., Dahl, M. R. & Grønbæk, K. (2007). EKGAR: Augmented Reality Support for Learning of Electrocardiography (ECG) Analysis. In Proceedings of World Conference on Educational Multimedia, Hypermedia and Telecommunications 2007 Association for the Advancement of Computing in Education.

Møller, H. H., Dahl, M. R. & Grønbæk, K. (2007). EKGAR: Interactive ECG-Learning with Augmented Reality. In 2nd Conference on Human Factors Engineering in Health Informatics: HFE2007 Proceedings (pp. 22 - 24). Virtual Center for Health Informatics, Aalborg University. http://www.v-chi.dk/hfeinhi2007/54449%20HFE%20proceedings_WEB.pdf

Schmidt, E. M., Brabrand, C., Søndergaard, B. D. & Kjeldsen, H. (2007). Den nye karakterskala: Implementation på NAT/AU.

Kristensen, M. D. (2007). Enabling Cyber Foraging for Mobile Devices. In Proceedings of the 5th MiNEMA Workshop: Middleware for Network Eccentric and Mobile Applications (pp. 32-36)

Kristensen, M. D. & Bouvin, N. O. (2007). Energy Efficient Routing in Nomadic Networks. In PerCom Workshops '07. Fifth Annual IEEE International Conference on Pervasive Computing (pp. 99-103). IEEE Computer Society Press. https://doi.org/10.1109/PERCOMW.2007.43

Brodal, G. S., Fagerberg, R. & Vinther, K. (2007). Engineering a Cache-Oblivious Sorting Algorithm. Journal of Experimental Algorithmics, 12. https://doi.org/10.1145/1227161.1227164

Zhang, W. & Kunz, T. (2007). Enhancing the Intelligence of Mobile Middleware Environment. In 2007 International Workshop on Context Management for Self-Managing Systems (Devices, Applications, and Networks) (CASEMANS 2007) (pp. 46-61)

Nielsen, A. B. (2007). Ensuring that User Defined Code does not See Uninitialized Fields. In O. Zendra, E. Jul & M. Cebulla (Eds.), ICOOOLPS '07: Proceedings of the Second ECOOP Workshop on Implementation, Compilation, Optimization of Object Oriented Languages, Programs and Systems (pp. 39-46). Technische Universität Berlin.

Bertelsen, O. W. & Petersen, M. G. (2007). Erotic Aspects of Everyday Life as a Challenge for Ubiquitous Computing. In C. Brodersen, S. Bødker & C. N. Klokmose (Eds.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts (pp. 1-4)

Bertelsen, O. W. & Petersen, M. G. (2007). Erotic Life as a New Frontier in HCI. Paper presented at HCI 2007. HCI - but not as we know it, Lancaster, United Kingdom.

Kjær, K. E. (2007). Ethnographic studies as a requirement gathering process for the design of context aware middleware. In Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware: SESSION: Demos and posters (pp. Article No. 3). Association for Computing Machinery.

Jørgensen, J. B. (2007). Executable Use Cases: a Supplement to Model-Driven Development? Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software. In Proceedings of the Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (pp. 8-15). IEEE Computer Society Press. https://doi.org/10.1109/MOMPES.2007.6

Mailund, T., Pedersen, C. N. S., Bardino, J., Vinter, B. & Karlsen, H. (2007). Experiences with GeneRecon on MiG. Future Generation Computer Systems - The International Journal of eScience, 23, 580-586. https://doi.org/10.1016/j.future.2006.09.003

Arge, L. A., Vengroff, D. E. & Vitter, J. S. (2007). External-Memory Algorithms for Processing Line Segments in Geographic Information Systems. Algorithmica, 47, Issue 1, 1-25. https://doi.org/10.1007/s00453-006-1208-z

Bennedsen, J. & Caspersen, M. E. (2007). Failure Rates in Introductory Programming. ACM Inroads, 39(2), 32-36. https://doi.org/10.1145/1272848.1272879

Sørensen, T. S., Schaeffter, T., Noe, K. Ø. & Schacht Hansen, M. (2007). Fast Gridding on Commodity Graphics Hardware. In Proceedings of ISMRM Workshop on Non-Cartesian MRI

Danvy, O., O'Hearn, P. & Wadler, P. (2007). Festschrift for John C. Reynolds at the Occasion of his 70th Birthday. Pergamon Press.

Dindler, C. & Iversen, O. S. (2007). Fictional Inquiry - Design Collaboration in a Shared Narrative Space. Journal of Co-Design.

Hansen, K. A., Miltersen, P. B. & Sørensen, T. B. (2007). Finding Equilibria in Games of No Chance. In G. Lin (Ed.), Computing and Combinatorics: Proc. of 13th Annual International Computing and Combinatorics Conference (COCOON 2007) (pp. 274-284). Springer. https://doi.org/10.1007/978-3-540-73545-8_28

Kjær, K. E. (2007). First Class Connectors for Prototyping Service Oriented Architectures. In Software Architecture (Vol. 4758/2007, pp. 171-178). Springer.

Hansen, K. M. (2007). Flamenco: A self-management tool and SDK. Computer programme

Brodersen, A. T. (2007). Flexible Methods for Geometric Texturing - From Terrain Visualization to Geometric Texture Mapping.

Kristensen, L. M. (2007). Formal Specification and State Space Analysis of an Operational Planning Process. International Journal on Software Tools for Technology Transfer, 9(3-4), 255-268.

Klokmose, C. N. (2007). From a Theoretical Understanding to Practical Design of Ubiquitous User Interfaces. Progress Report: Progress Report.

Mans, R. S., van der Aalst, W. M. P., Bakker, P. J. M., Moleman, A. J., Lassen, K. B. & Jørgensen, J. B. (2007). From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. In K. Jensen (Ed.), Proc. of The Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 187-206)

Mans, R. S., van der Aalst, W. M. P., Molemann, A. J., Bakker, P. J. M., Lassen, K. B. & Jørgensen, J. B. (2007). From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. Daimi Report Series (DAIMI PB), PB-584, 187-206.

Krukow, K. K. & Nielsen, M. (2007). From Simulations to Theorems: A Position Paper on Research in the Field of Computational Trust. In T. Dimitrakos, F. Martinelli, P. Y. A. Ryan & S. Schneider (Eds.), Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers (pp. 96-111). Springer. https://doi.org/10.1007/978-3-540-75227-1_7

Hobolth, A., Christensen, O. F., Mailund, T. & Schierup, M. H. (2007). Genomic relationships and speciation times of human, chimpanzee and gorilla inferred from a coalescent hidden Markov model. PLoS Genetics, 3(2). https://doi.org/10.1371/journal.pgen.0030007

Hobolth, A., Christensen, O. F., Mailund, T. & Schierup, M. H. (2007). Genomic Relationships and Speciation Times of Human, Chimpanzee and Gorilla inferred from a Coalescent Hidden Markov Model. Poster session presented at Beyond the HapMap, Boston, United States.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Kim, W. Y., Sloth, E., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2007). Geometric Determinants of Chronic Functional Ischemic Mitral Regurgitation - Insights from 3D Cardiac Magnetic Resonance Imaging. Abstract from 4th Biennial Meeting of The Society for Heart Valve Disease, New York, United States.

Brynskov, M. & Kramp, G. (2007). Habitats: A Simple Way to Bridge Artifacts, Professions, and Theories in Ubiquitous Design. In D. Ramduny-Ellis & D. Rachovides (Eds.), HCI… but not as we know it: Proceedings of the 21st BCS HCI Group Conference (Vol. 2, pp. 15-18). Lancaster University.

Brønsted, J. (2007). Handling membership dynamicity in service composition for ubiquitous computing. In Proceedings of the 5th MiNEMA Workshop: Middleware for Network Eccentric and Mobile Applications (pp. 62-67)

Moruz, G. (2007). Hardware-Aware Algorithms and Data Structures.

Andersson, D. (2007). Hiroimono is NP-Complete. In FUN 2007 (Vol. LNCS 4475, pp. 30-39). Springer.

Fitzi, M., Nielsen, J. B. & Wolf, S. (2007). How to Share a Key (Invited paper). Paper presented at 45th Annual Allerton Conference on Communication, Control, and Computing, 2007, Urbana-Champaign, United States.

Westergaard, M. (2007). Hvorfor det er smart at have arbitrært mange hænder. Prosabladet, Artikel 6.

Grønbæk, K., Iversen, O. S., Nielsen, K. R., Kortbek, K. J. & Aagaard, L. (2007). iGameFloor - a Platform for Co-Located Collaborative Games. In Proceedings of the International Conference on Advances in Computer Entertainment Technology Society for Industrial and Applied Mathematics.

Filinski, A. & Støvring, K. (2007). Inductive Reasoning about Effectful Data Types. In Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007 (pp. 97-110). Society for Industrial and Applied Mathematics.

Caspersen, M. E. & Bennedsen, J. (2007). Instructional Design of a Programming Course: A Learning Theoretic Approach. In Proceedings of the Third International Workshop on Computing Education Research (pp. 111-122). Association for Computing Machinery. https://doi.org/10.1145/1288580.1288595

Bertelsen, O. W., Breinbjerg, M. & Pold, S. (2007). Instrumentness for Creativity - Mediation, Materiality & Metonymy. In Proceedings of 6th Creativity & Cognition Conference: Seeding Creativity: Tools, Media, and Environments.June 13-15, 2007, Washington, DC USA (pp. 233-242). Association for Computing Machinery. https://doi.org/10.1145/1254960.1254992

Grønbæk, K., Iversen, O. S., Kortbek, K. J., Nielsen, K. R. & Aagaard, L. (2007). Interactive Floor Support for Kinesthetic Interaction in Children Learning Environments. In Human-Computer Interaction - INTERACT 2007 (pp. 361-375). Springer. https://doi.org/10.1007/978-3-540-74800-7_32

Bødker, S. (2007). It is still a STAR. In T. Erickson & D. McDonald (Eds.), HCI Remixed. Reflections on Works That Have Influenced the HCI Community (pp. 49-55). MIT Press.

Caspersen, M. E., Alphonce, C. & Decker, A. (2007). Killer "Killer Examples" for Design Patterns. ACM Inroads, 39(1), 228-232. https://doi.org/10.1145/1227504.1227390

Displaying results 3851 to 3900 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