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

Miltersen, P. B. & Sørensen, T. B. (2007). Computing Proper Equilibria of Zero-Sum Games. In Proceedings of the 5th International Conference on Computers and Games: Computers and Games (pp. 200-211). Springer. https://doi.org/10.1007/978-3-540-75538-8_18

Hansen, K. A. (2007). Computing Symmetric Boolean Functions by Circuits with Few Exact Threshold Gates. In G. Lin (Ed.), Computing and Combinatorics: 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007. Proceedings (pp. 448-458). Springer. https://doi.org/10.1007/978-3-540-73545-8_44

Stissing, M., Mailund, T., Pedersen, C. N. S., Brodal, G. S. & Fagerberg, R. (2007). Computing the All-Pairs Quartet Distance on a Set of Evolutionary Trees. In Proceedings of the 5th Asia-Pacific Bioinformatics Conference (APBC) (pp. 91-100)

Stissing, M., Pedersen, C. N. S., Mailund, T. & Brodal, G. S. (2007). Computing the Quartet Distance between Evolutionary Trees of Bounded Degree. In Proceedings of the 5th Asia-Pacific Bioinformatics Conference (APBC) (pp. 101-110)

Nielsen, M. L. (2007). Conceptions of Object-oriented Terms: A Study in Progress. In Proceedings of WIP-PPIG 2007 Psychology of Programming Interest Group.

Brabrand, C. (2007). Constructive Alignment for Teaching Model-Based Design for Concurrency: A Case Study on Implementing Alignment (Invited Paper for Invited Talk for TeaConc'07). In Proc. 2nd Workshop on Teaching Concurrency

Brønsted, J. (2007). Context Awareness. (1 ed.) Komialt - Vidennetværk for Pervasive Communication.

Lassen, K. B. (2007). Converting Workflow Nets to BPEL 1.1 in ProM: This is a conversion plugin for the process mining framework ProM.. Computer programme .

Clemensen, J. & Larsen, S. B. (2007). Cooperation versus Coordination: Using Real-time Telemedicine for Treatment at Home of Diabetic Footulcers. Journal of Telemedicine and Telecare, 13(Supplement 3), 29-32.

Schaffner, C. (2007). Cryptography in the Bounded-Quantum-Storage Model.

Kjærgaard, M. B. (2007). Cyclic Processing for Context Fusion. In Adjunct Proceedings of the Fifth International Conference on Pervasive Computing (Pervasive 2007) (pp. 41-44). OCG.

Schwartzbach, M. I. & Arenas, M. (Eds.) (2007). Database Programming Languages: 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Springer. Lecture Notes in Computer Science Vol. 4797 https://doi.org/10.1007/978-3-540-75987-4

Hansen, T. R. (2007). Demonstration: SpaceExplorer - A Tool for Designing Ubiquitous Web Applications for Collections of Displays. In UbiComp 2007, 9th International Conference, Adjunct Proceedings (Vol. LNCS 4717, pp. 159-162). Springer.

Gasiunas, V., Mezini, M. & Ostermann, K. (2007). Dependent Classes. In R. P. Gabriel (Ed.), Conference on Object Oriented Programming Systems Languages and Applications: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications (pp. 133-152). Association for Computing Machinery.

Petersen, M. G., Ludvigsen, M., Grønbæk, K. & Nielsen, K. R. (2007). Designing for Co-located Social Media Use in the Home - Using the CASOME Infrastructure. In A. Venkatesh, T. Gonsalves, A. Monk & K. Buckner (Eds.), Home Informatics and Telematics: ICT for the Next Billion (pp. 251-267). Springer. https://doi.org/10.1007/978-0-387-73697-6_19

Büscher, M. & Mogensen, P. H. (2007). Designing for Material Practices of Coordinating Emergency Teamwork. In B. Van de Walle, P. Burghardt & K. Nieuwenhuis (Eds.), ISCRAM 2007: 4th International Conferencfe on Information Systems for Crisis Response and Management (pp. 419-429). VUB Press.

Fernandes, J. M., Tjell, S., Jørgensen, J. B. & Ribeiro, Ó. (2007). Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net. In Proceedings of the Sixth International Workshop on Scenarios and State Machines (SCESM 2007): ICSE Workshops 2007 (Companion volume) IEEE Computer Society Press.

Brodersen, A. C. (2007). Designs Patterns in Ubiquitous User Interface Design. In A. C. Brodersen, S. Bødker & C. N. Klokmose (Eds.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts (pp. 13-16)

Karstoft, K., Lødrup, A. B., Dissing, T. H., Sørensen, T. S., Nyengaard, J. R. & Pedersen, M. (2007). Different strategies for MRI measurements of renal cortical volume. Journal of Magnetic Resonance Imaging, 26(6), 1564-71. https://doi.org/10.1002/jmri.21121

Sætrom, P., Heale, B. S. E., Snøve, O., Aagaard, L., Alluin, J. & Rossi, J. J. (2007). Distance Constraints between microRNA Target Sites Dictate Efficacy and Cooperativity. Nucleic Acids Research (NAR). https://doi.org/10.1093/nar/gkm133

Tjell, S. (2007). Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. In Proceedings of the Second IEEE International Symposium on Industrial Embedded Systems (SIES 2007) (Vol. 2, pp. 242-249). IEEE.

Ballegaard, S. A., Corry, A. V. & Kramp, G. (2007). Does it Work on Sundays, too? Healthcare Technology for Older People. In J. I. Westbrook, E. W. Coiera, J. L. Callen & J. Aarts (Eds.), Information Technology in Health Care 2007 (pp. 13-22). IOS Press.

Bardram, J. & Mogensen, M. (2007). DOLCLAN – Middleware Support for Peer-to-Peer Distributed Shared Objects. In Distributed Applications and Interoperable Systems (Vol. LNCS 4531, pp. 119-132). Springer.

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 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. S I G C S E Bulletin 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.

Displaying results 3651 to 3700 out of 5740

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University