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

Bødker, S. (2007). Orientering 11. oktober 2007 kl. 17:10 på P1.

Nielsen, M. B., Nilsson, O., Soderstrom, A. & Museth, K. (2007). Out-Of-Core and Compressed Level Set Methods. A C M Transactions on Graphics, 26(4).

Andersen, P. (2007). PalCom Deliverable 47 (2.14.4). Dissemination. PalCom Open Source. http://www.ist-palcom.org/publications/deliverables/Deliverable-47-[2.14.4]-dissemination.pdf

Kristensen, M., Büscher, M., Christensen, M., Kramp, G., Mogensen, P. H., Ørbæk, P., Gammelmark, H., Mahler-Andersen, J. S., Kyng, M., Brodersen, A. T., Olsen, J. W., Marti, P. & al, E. (2007). PalCom Deliverable 48 (2.14.5). Demonstration kit. http://www.ist-palcom.org/publications/deliverables/Deliverable-48-[2.14.5]-dissemination.pdf

Hedin, G., Magnusson, B., Fors, D. S., Robertz, S., Gjerlufsen, T. & Andersen, P. (2007). PalCom Deliverable 49 (2.6.3). Support for End-User Composition in PalCom. http://www.ist-palcom.org/publications/deliverables/Deliverable-49-[2.6.3]-end-user-composition.pdf

Büscher, M., Christensen, M., Kyng, M., Kramp, G., Kristensen, M., Mogensen, P. H., Olsen, J. W., Frølund, J., Revsbæk, M., Ørbæk, P., Mahler-Andersen, J. S., Brodersen, A. T., Linde, P., Marti, P., Greenwood, D. & al, E. (2007). PalCom Deliverable 50 (2.7.3). WP7-12 Prototypes final versions. http://www.ist-palcom.org/publications/deliverables/Deliverable-50-[2.7.3]-prototypes-final.pdf

Andreoni, G., Bagnoli, F., Büscher, M., Christensen, M., Corry, A. V., Ehn, P., Enquist, H., Frølund, J., Gjerlufsen, T., Ghizzioli, R., Greenwood, D., Grönwall, E., Hansen-Miller, D., Kramp, G., Kristensen, M., Kyng, M., Linde, P., Marti, P., Mogensen, P. H. ... Olsen, J. W. (2007). PalCom Deliverable 51 (2.13.3). Fieldwork: Documentation of Work Analysis, Participatory Design and Evaluation of Prototypes.

Brodersen, A. T., Christensen, M., Gammelmark, H., Gjerlufsen, T., Kristensen, M., Kramp, G., Kyng, M., Mahler-Andersen, J. S., Olsen, J. W., Mogensen, P. H., Frølund, J., Revsbæk, M. & Ørbæk, P. (2007). PalCom Deliverable 52 (2.7.3) Dissemination - Product version 2. http://www.ist-palcom.org/publications/deliverables/Deliverable-52-[2.14.6]-dissemination.pdf

Andersen, P., Fors, D., Forsström, T., Gjerlufsen, T., Ghizzioli, R., Greenwood, D., Hedin, G., Ingstrup, M., Magnusson, B., Nymand, E., Olsen, J. W., Robertz, S., Schmid, R., Spring, J. & Tollmar, K. (2007). PalCom Deliverable 54 (2.2.3.). Open Architecture. http://www.ist-palcom.org/publications/deliverables/Deliverable-54-[2.2.3]-open-architecture.pdf

Andersen, P. & Larsen, S. B. (2007). PalCom Developer's Companion: A new perspective on Ambient Computing. http://svn.ist-palcom.org/svn/palcom/trunk/doc/tex/companion.pdf

Brønsted, J., Grönvall, E. & Fors, D. (2007). Palpability Support Demonstrated. In Embedded and Ubiquitous Computing (Vol. LNCS 4808, pp. 294-308). Springer.

Brønsted, J. R., Grönvall, E. & Fors, D. (2007). Palpability Support Demonstrated. In T.-W. Kuo, E. Sha, M. Guo, L. T. Yang & Z. Shao (Eds.), Embedded and Ubiquitous Computing: International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings (pp. 294-308). Springer. https://doi.org/10.1007/978-3-540-77092-3_26

Klose, K., Ostermann, K. & Leuschel, M. (2007). Partial evaluation of pointcuts. In Practical Aspects of Declarative Languages: Lecture Notes in Computer Science (Vol. 4354/2007, pp. 320-334). Springer.

Clemensen, J., Larsen, S. B., Kyng, M. & Kirkevold, M. (2007). Participatory Design in Health Sciences: Using Cooperative Experimental Methods in Developing Health Services and Computer Technology. Qualitative Health Research, 17(1), 122-130. https://doi.org/10.1177/1049732306293664

Dindler, C., Krogh, P. G., Beck, S., Stenfeldt, L., Nielsen, K. R. & Grønbæk, K. (2007). Peephole Experiences - Field Experiments with Mixed Reality Hydroscopes in a Marine Center: Article No. 20. In N. Kothary (Ed.), Proceedings of the 2007 conference on Designing for User eXperiences (pp. 20. artikel). Association for Computing Machinery. https://doi.org/10.1145/1389908.1389934

Christensen, H. B. & Bardram, J. E. (2007). Pervasive Computing Support for Hospitals: An Overview of the Activity-Based Computing Project. Pervasive Computing, 6(1), 44-51. https://doi.org/10.1109/MPRV.2007.19

Kramp, G., Kristensen, M. & Pedersen, J. F. (2007). Physical and Digital Design of the BlueBio Biomonitoring System Prototype, to be used in Emergency Medical Response. In Proceedings on 1st International Conference on Pervasive Computing Technologies for Healthcare 2006 IEEE.

Gjerlufsen, T. & Olsen, J. W. (2007). Physicality and Digitality: Parallelisms at a Material Level. In D. Ramduny-Ellis, A. Dix, J. Hare & S. Gill (Eds.), Proceedings of the Second International Workshop on Physicality: Physicality 2007 (pp. 93-99). UWIC Press.

Ungar, D. & Ernst, E. (2007). Point/Counterpoint. I E E E Software, 24(5), 72-75. https://doi.org/10.1109/MS.2007.142

Brønsted, J. (2007). Positionsbestemmelse. (2 ed.) Komialt - Vidennetværk for Pervasive Communication.

Gilpin, A., Sandholm, T. & Sørensen, T. B. (2007). Potential-aware Automated Abstraction of Sequential Games, and Holistic Equilibrium Analysis of Texas Hold'em Poker. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence AAAI Press.

Danvy, O., O'Hearn, P. & Wadler, P. (2007). Preface. Theoretical Computer Science, 375(1-3), 1-2. https://doi.org/10.1016/j.tcs.2006.12.024

Ernst, E. (2007). Primitive Associations. In D. Clarke, S. Drossopoulou, J. Noble & T. Wrigstad (Eds.), Proceedings of the International Workshop on Aliasing, Confinement and Ownership in Object-Oriented Programming (IWACO), in conjunction with ECOOP 2007 Stockholm University. http://www.cs.purdue.edu/homes/wrigstad/iwaco/p1-ernst.pdf

Toft, T. (2007). Primitives and Applications for Multi-party Computation. Department of Computer Science, Aarhus University.

Jørgensen, A. G., Moruz, G. & Mølhave, T. (2007). Priority Queues Resilient to Memory Faults. In Proc: 10th Workshop on Algorithms and Data Structures (Vol. 4619, pp. 127-138). Springer.

Arge, L., Cachin, C., Jurdzinski, T. & Tarlecki, A. (Eds.) (2007). Proceedings of 34th International Colloquium on Automata, Language and Programming. ICALP'07. Springer.

Zhang, W., Kunz, T. & Hansen, K. M. (2007). Product Line Enabled Intelligent Mobile Middleware. In IEEE International Conference on Engineering of Complex Computer Systems (pp. 148-160). IEEE Computer Society Press. https://doi.org/10.1109/ICECCS.2007.38

Schougaard, K. R. (2007). Programming with Location: From Conceptualization to Language Design. Department of Computer Science, Aarhus University.

Lee, J. (2007). Program Validation by Symbolic and Reverse Execution.

Kjaer, S. K., Andersen, E. S., Djursing, H., Hansen, T., Jørgensen, J. J., Nilas, L., Ottesen, B. S., Petersen, L. K., Thomsen, S. G. & Toftager-Larsen, K. (2007). Quadrivalent vaccine mod humant papillomvirus til forebyggelse af svaere celleforandringer på livmoderhalsen. Ugeskrift for Læger, 169(46), 3971-4.

Bødker, S., Brodersen, A. C. & Klokmose, C. N. (2007). Quality of Learning in Ubiquitous Interaction. In Proceedings of European Conference on Cognitive Ergonomics 2007: The 25th Anniversary Conference of the European Association of Cognitive Ergonomics (EACE) (pp. 121-129). lulu, Inc.

Eriksson, E., Hansen, T. R. & Lykke-Olesen, A. (2007). Reclaiming public space: designing for public interaction with private devices. In Proceedings of the 1st International Conference on Tangible and Embedded Interaction (pp. 31-38). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1226969.1226976

Danvy, O. & Millikin, K. (2007). Refunctionalization at Work. B R I C S Report Series, (RS-07-7).

Jørgensen, J. B., Fernandes, J. M. & Tjell, S. (2007). Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. In Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007) (pp. 294-301). IEEE Computer Society Press.

Fernandes, J. M., Tjell, S. & Jørgensen, J. B. (2007). Requirements Engineering for Reactive Systems with Coloured Petri Nets: The Gas Pump Controller Example. In K. Jensen (Ed.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 207-222)

Machado, R. J., Lassen, K. B., Oliveira, S., Couto, M. & Pinto, P. (2007). Requirements Validation: Execution of UML Models with CPN Tools. International Journal on Software Tools for Technology Transfer.

Bucur, D. & Bardram, J. (2007). Resource Discovery in Activity-Based Sensor Networks. Mobile Networks and Applications, 12(2-3), 129-142. https://doi.org/10.1007/s11036-007-0015-3

Damgård, I. B. & Nielsen, J. B. (2007). Scalable and Unconditionally Secure Multiparty Computation. In A. Menezes (Ed.), Advances in Cryptology - CRYPTO 2007: 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings (pp. 572-590). Springer. https://doi.org/10.1007/978-3-540-74143-5_32

Damgård, I. B., Salvail, L., Schaffner, C. & Fehr, S. (2007). Secure Identification and QKD in the Bounded-Quantum-Storage Model. In A. Menezes (Ed.), Advances in Cryptology - CRYPTO 2007: 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings (pp. 342-359). Springer. https://doi.org/10.1007/978-3-540-74143-5_19

Damgård, I. B., Nielsen, J. B., Fitzi, M. & Desmedt, Y. (2007). Secure Protocols with Asymmetric Trust. In Advances in Cryptology - ASIACRYPT 2007: 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings (pp. 357-375). Springer. https://doi.org/10.1007/978-3-540-76900-2_22

Bødker, S. & Petersen, A. B. (2007). Seeds of Cross-Media Production. Computer Supported Cooperative Work, 16(6), 539-566.

Mosegaard, J., Carstensen, B. S., Rasmusson, A. & Sørensen, T. S. (2007). Smooth haptic interaction from discontinuous simulation data. In Proceedings of Medicine Meets Virtual Reality 15. Studies in Health Technology and Informatics (Vol. 125, pp. 328-333). IOS Press.

Hansen, T. R. (2007). SpaceExplorer: A Ubiquitous Web Browser Extension for Spatial Web pages on Multiple Devices. In A. C. Brodersen, S. Bødker & C. N. Klokmose (Eds.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of abstracts (pp. 43-46)

Brodersen, A. T., Buscher, M., Christensen, M., Eriksen, M. A., Grønbæk, K., Kramp, G., Kristensen, J. F., Krogh, P., Ludvigsen, M., Mogensen, P. H., Nielsen, M. B., Shapiro, D. & Ørbæk, P. (2007). Spatial Computing and Spatial Practices. In N. Streitz, A. Kameas & I. Mavrommati (Eds.), The Disappearing Computer: Interaction Design, System Infrastructures and Applications for Smart Environments Springer. https://doi.org/10.1007/978-3-540-72727-9_4

Jensen, K. (2007). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 9(3-4), 209-411. https://doi.org/10.1007/s10009-007-0039-9

Petersen, M. G. (2007). Squeeze: designing for playful experiences among co-located people in homes. (received first prize people's choice award). In M. B. Rosson & D. Gilmore (Eds.), CHI '07 extended abstracts on Human factors in computing systems: SESSION: Work-in-progress (Vol. 2, pp. 2609-2614). Association for Computing Machinery.

Møller, A., Olesen, M. Ø. & Schwartzbach, M. I. (2007). Static Validation of XSL Transformations. A C M Transactions on Programming Languages and Systems, 29(4), Article 21. https://doi.org/10.1145/1255450.1255454

Iversen, O. S., Kortbek, K. J., Nielsen, K. R. & Aagaard, L. (2007). Stepstone - An Interactive Floor Application for hearing Impaired Children with a Cochlear Implant. Paper presented at Interaction Design and Children, Ålborg, Denmark. http://www.interactivespaces.net/data/uploads/papers/55.pdf

Nielsen, J. B. (Ed.), Alwen, J., Cachin, C., Pereira, O., Sadeghi, A.-R., Schoenmakers, B., Shelat, A. & Visconti, I. (2007). Summary Report on Rational Cryptographic Protocols. ECRYPT - European Network of Excellence in Cryptology.

Zhang, W. & Hansen, K. M. (2007). Synergy between Software Product Line and Intelligent Mobile Middleware. In Proceedings of The 2007 International Conference on Intelligent Pervasive Computing (pp. 515-520). IEEE Computer Society Press. https://doi.org/10.1109/IPC.2007.57

Displaying results 3751 to 3800 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