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

Danvy, O. & Millikin, K. (2007). A Simple Application of Lightweight Fusion to Proving the Equivalence of Abstract Machines. BRICS Report Series, (RS-07-8).

Millikin, K. (2007). A Structured Approach to the Transformation, Normalization and Execution of Computer Programs.

Kjær, K. E. (2007). A survey of context-aware middleware. In SE'07: Proceedings of the 25th IASTED Conference on Software Engineering (Vol. ProfileID:81343494583, pp. 148-155). ACTA Press.

Brønsted, J., Hansen, K. M. & Ingstrup, M. (2007). A Survey of Service Composition Mechanisms in Ubiquitous Computing. In UbiComp 2007 Workshop Proceedings (pp. 87-92)

Biernacka, M. & Danvy, O. (2007). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. Theoretical Computer Science, 76-108.

Biernacka, M. & Danvy, O. (2007). A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines. Theoretical Computer Science, 375(1-3), 76-108.

Kjærgaard, M. B. (2007). A Taxonomy for Radio Location Fingerprinting. In Proceedings of the Third International Symposium on Location and Context Awareness (LoCA 2007) (Vol. 4718, pp. 139-156). Springer. https://doi.org/10.1007/978-3-540-75160-1_9

Damgård, I. B., Salvail, L., Fehr, S., Schaffner, C. & Renner, R. (2007). A Tight High-Order Entropic Quantum Uncertainty Relation with Applications. In A. Menezes (Ed.), Advances in Cryptology - CRYPTO 2007: 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings (pp. 360-378). Springer. https://doi.org/10.1007/978-3-540-74143-5_20

Damgård, I. B., Cramer, R. & de Haan, R. (2007). Atomic Secure Multi-party Multiplication with Low Communication. In M. Naor (Ed.), Advances in Cryptology - EUROCRYPT 2007: 26th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Barcelona, Spain, May 20-24, 2007. Proceedings (pp. 329-346). Springer. https://doi.org/10.1007/978-3-540-72540-4_19

Arge, L. A., Cachin, C., Jurdzinski, T. & Tarlecki, A. (Eds.) (2007). Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007. Proceedings. Springer. Lecture Notes in Computer Science Vol. 4596 https://doi.org/10.1007/978-3-540-73420-8

Dalevi, D., DeSantis, T. Z., Fredslund, J., Andersen, G. L., Markowitz, V. M. & Hugenholtz, P. (2007). Automated assignment of groups in large phylogenetic trees using GRUNT: Grouping, Ungrouping, Naming Tool. BMC Bioinformatics, 8, 402-407.

Eichberg, M., Kahl, M., Saha, D., Mezini, M. & Ostermann, K. (2007). Automatic incrementalization of Prolog based static analyses. In M. Hanus (Ed.), Proceedings of Practical Aspects of Declarative Languages, 9th International Symposium (PADL): Lecture Notes in Computer Science (Vol. 4354/2007, pp. 109-123). Springer Science+Business Media.

Camenisch, J., Hohenberger, S. & Pedersen, M. Ø. (2007). Batch Verification of Short Signatures. In M. Naor (Ed.), Advances in Cryptology - EUROCRYPT 2007 (4515 of Lecture Notes in Computer Science ed., pp. 246-263). Springer.

Caspersen, M. E., Börstler, J. & Nordström, M. (2007). Beauty and the Beast: Toward a Measurement Framework for Example Program Quality. Department of Computing Science, Umeå University, Sweden.

Lykke-Olesen, A. & Nielsen, J. (2007). BibPhone: Adding sound to the children's library. In Proceedings of the 6th international Conference on Interaction Design And Children, IDC 2007 (pp. 145-148) https://doi.org/10.1145/1297277.1297307

Andersen, J. & Bardram, J. E. (2007). BLIG: A New Approach for Sensor Identification, Grouping,and Authorisation in Body Sensor Networks. In S. Leonhardt, T. Falck & P. Mähönen (Eds.), 4th International Workshop on Wearable and Implantable Body Sensor Networks (BSN 2007) (pp. 223-228). Springer.

Iversen, O. S. & Brodersen, A. C. (2007). Bridging the Gap between users and children - A socio-cultural approach to designing with children. Cognition, Technology and Work.

Arge, L., Bender, M. A., Demaine, E. D. & Munro, J. I. (2007). Cache-Oblivious Priority Queue and Graph Algorithm Applications. S I A M Journal on Computing, 36(6), 1672-1695. https://doi.org/10.1145/509907.509950

Nielsen, M., Aranda, J. A., Di Giusto, C. & Valencia, F. (2007). CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. In Z. Shao (Ed.), Programming Languages and Systems: 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007. Proceedings (pp. 383-398). Springer. https://doi.org/10.1007/978-3-540-76637-7_26

Kristensen, M., Kyng, M. & Nielsen, E. T. (2007). Challenges in designing interactive systems for emergency response. In Proceedings of the 6th ACM conference on Designing Interactive systems DIS '06 (pp. 301-310). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1142405.1142450

Gallasch, G., Billington, J., Vanit-Anunchai, S. & Kristensen, L. M. (2007). Checking Safety Properties On-the-Fly using the Sweep-Line Method. International Journal on Software Tools for Technology Transfer, 9(3-4), 371-392.

Kjærgaard, M. B. (2007). Cleaning and Processing RSS measurements for Location Fingerprinting. In Proceedings of the Third International Conference on Autonomic and Autonomous Systems (ICAS 2007) (pp. 12). IEEE. https://doi.org/10.1109/CONIELECOMP.2007.64

Schäfer, T., Aracic, I., Merz, M., Mezini, M. & Ostermann, K. (2007). Clustering for Generating Framework Top-Level Views. In Reverse Engineering, 2007, WCRE 2007, 14th Working Conference on (pp. 239-248). IEEE.

Jensen, K., Kristensen, L. M. & Wells, L. M. (2007). Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer, 9(3/4), 213-254. https://doi.org/10.1007/s10009-007-0038-x

Nilsson, J. (2007). Combinatorial Algorithms for Graphs and Partially Ordered Sets. Department of Computer Science.

Stawiaski, J., Sørensen, T. S., Bidault, F. & Decenciere, E. (2007). Combining Morphological and Graph Based Methods for Multi-Label Segmentation. In Proceedings of MICCAI workshop: Interaction in Medical Image Analysis and Visualization

de Groot, S., Mailund, T. & Hein, J. (2007). Comparative Annotation of Viral Genomes with Non-Conserved Gene Structure. Bioinformatics, 23(9), 1080-1089. https://doi.org/10.1093/bioinformatics/btm078

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.

Displaying results 3801 to 3850 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