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. & Sundblad, Y. (2008). Usability and Interaction Design - New Challenges for the Scandinavian Tradition. Behaviour and Information Technology, 27(4), 293-300.

Bouvin, N. O. & Albertsen, J. (2008). User Defined Structural Searches in MediaWiki. In Proceedings of the nineteenth ACM conference on Hypertext and hypermedia. (pp. 15-20). Association for Computing Machinery. https://doi.org/10.1145/1379092.1379099

Lassen, K. B. (2008). Using Formal Behavioral Modelsin Software Development:From Real-World Problems to Software Systems. Aarhus Universitetsforlag.

Brønsted, J. R. (2008). Vehicle to Vehicle Services: Service oriented architecture for pervasive computing systems with emphasis on vehicle to vehicle applications.

Sørensen, T. S., Beerbaum, P., Mosegaard, J., Rasmusson, A., Schaeffter, T., Austin, C., Razavi, R. & Greil, G. F. (2008). Virtual Cardiotomy based on 3D Magnetic Resonance Imaging for Preoperative Planning in Congenital Heart Disease. Pediatric Radiology, 38, 1314-1322. https://doi.org/10.1007/s00247-008-1032-5

Møller-Nielsen, P. & Gejl Kristensen, J. (2008). Waterfield. (Video ed.).

Caspersen, M. E., Cassel, L. N., Davies, G., Pears, A., Seidman, S. & Topi, H. (2008). What is Masters Level Education in Informatics. In Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008 (pp. 341). Association for Computing Machinery. https://doi.org/10.1145/1384271.1384383

Büscher, M., Mogensen, P. H. & Kristensen, M. (2008). When and How (Not) to Support IT? Supporting virtual emergency teamwork. In F. Fiedrich & B. Van de Walle (Eds.), ISCRAM 2008,: Technology Showcase - Communication Systems and Technologies for Crisis and Disaster Responses (Vol. Session 2, Track 2, pp. 167-176)

Boubertakh, R., Batchelor, P., Uribe, S., Sørensen, T. S., Hansen, M. S., Razavi, R. & Schaeffter, T. (2008). Whole-Heart Imaging Using Undersampled Radial Phase Encoding and a 32-Channel Cardiac Coil. In Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine (pp. 6). ISMRM.

Caspersen, M. E., Börstler, J., Decker, A. & Alphonce, C. (2008). Worked Examples for Sound Object-Oriented Pedagogy: The Seventh "Killer" Workshop. In Companion to the 23rd ACM SIGPLAN Conference on Object-oriented programming systems languages and applications (pp. 869). Association for Computing Machinery. https://doi.org/10.1145/1449814.1449888

Nielsen, M., Krukow, K. & Sassone, V. (2007). A Bayesian Model for Event-based Trust. Electronic Notes in Theoretical Computer Science, 172, 499-521. https://doi.org/10.1016/j.entcs.2007.02.017

Lee, J. (2007). A Case for Dynamic Reverse-code Generation. BRICS Report Series, (RS-07-15).

Støvring, K. & Lassen, S. B. (2007). A Complete, Co-Inductive Syntactic Theory of Sequential Control and State. In Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Vol. 42, Issue1, pp. 161-172). Society for Industrial and Applied Mathematics.

Biernacka, M. & Danvy, O. (2007). A Concrete Framework for Environment Machines. A C M Transactions on Computational Logic, 9(1), 1-30.

Brynskov, M. (2007). Activity-Based Design as a Way to Bridge Artifacts, Professions, and Theories. In C. Brodersen, S. Bødker & C. N. Klokmose (Eds.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts (pp. 21-24)

Wang, H., Schwefel, H.-P. & Toftegaard, T. S. (2007). Adaptive Modulation for a Downlink Multicast Channel in OFDMA Systems. In IEEE Wireless Communications and Networking Conference. WCNC 2007. (pp. 650-655). IEEE Computer Society Press. https://doi.org/10.1109/WCNC.2007.125

Nielsen, J. D. & Schwartzbach, M. I. (2007). A Domain-Specific Programming Language for Secure Multiparty Computation. In Preceedings of the 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (pp. 21-31). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1255329.1255333

Aagaard, L., Amarzguioui, M., Sun, G., Santos, L. C., Ehsani, A., Prydz, H. & Rossi, J. J. (2007). A Facile Lentiviral Vector System for Expression of Doxycycline-Inducible shRNAs: Knockdown of the Pre-miRNA Processing Enzyme Drosha. Molecular Therapy, 15(5), 938-945. https://doi.org/10.1038/sj.mt.6300118

Westergaard, M. (2007). A Game-theoretic View on Behavioural Visualisation. In A. Cerone & P. Curzon (Eds.), Electronic Notes in Theoretical Computer Science: Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) (Vol. 208, pp. 113-129). Pergamon Press.

Arge, L., Hoffmann, M. & Welzl, E. (Eds.) (2007). Algorithms - ESA 2007: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings. Springer. Lecture Notes in Computer Science Vol. 4698 https://doi.org/10.1007/978-3-540-75520-3

Brodal, G. S. & Jørgensen, A. G. (2007). A Linear Time Algorithm for the k Maximal Sums Problem. In L. Kucera & A. Kucera (Eds.), Mathematical Foundations of Computer Science 2007: 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007 Proceedings (pp. 442-453). Springer. https://doi.org/10.1007/978-3-540-74456-6_40

Kjeldbjerg, A. L., Villesen, P., Aagaard, L. & Pedersen, F. S. (2007). An active 70 million year old viral infection in humans. Poster session presented at High Throughput Biology: Genomics, Fluxomics, Proteomics, and Interactomics, Denmark.

Brabrand, C., Giegerich, R. & Møller, A. (2007). Analyzing Ambiguity of Context-Free Grammars. In Proc. 12th International Conference on Implementation and Application of Automata

Christensen, H. B., Corry, A. V. & Hansen, K. M. (2007). An Approach to Software Architecture Description Using UML: Revision 2.0. Aarhus Universitetsforlag.

Miltersen, P. B. & Sørensen, T. B. (2007). A Near-Optimal Strategy for a Heads-Up No-Limit Texas Hold'em Poker Tournament. In Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 1168-1175) http://www.daimi.au.dk/~bromille/Papers/aamaspoker.pdf

Klokmose, C. N. (2007). An Instrumental Paradigm for Ubiquitous Interaction. In Conference Proceedings of ECCE 2007 Association for Computing Machinery.

McCauley, S., de Groot, S., Mailund, T. & Hein, J. (2007). Annotation of selection strengths in viral genomes. Bioinformatics, 23(22), 2978-2986. https://doi.org/10.1093/bioinformatics/btm472

Zhang, W. (2007). An Overview of Product Line Enabled Intelligent Mobile Middleware. In 31st Annual International Computer Software and Applications Conference IEEE Computer Society Press.

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

Hansen, T. R. & Bardram, J. E. (2007). Applying mobile and pervasive computer technology to enhance coordination of work in a surgical ward. Medinfo. MEDINFO: 267, 12(Pt 1), 107-111.

Hansen, T. R. & Bardram, J. (2007). Applying Mobile and Pervasive Computer Technology to Enhance Coordination of Work in a Surgical Ward. In Studies in Health Technology and Informatics: MEDINFO 2007 - Proceedings of the 12th World Congress on Health (Medical) Informatics - Building Sustainable Health Systems (Vol. 129, pp. 107-111). IOS Press. http://www.ncbi.nlm.nih.gov/sites/entrez?db=pubmed&uid=17911688&cmd=showdetailview&indexed=google

Damgård, I. B. (2007). A "proof-reading" of Some Issues in Cryptography. In Automata, Languages and Programming: 34th International Colloquium, ICALP 2007, Wroclaw, Poland, July 9-13, 2007. Proceedings (pp. 2-11). Springer. https://doi.org/10.1007/978-3-540-73420-8_2

Danvy, O. & Millikin, K. (2007). A Rational Deconstruction of Landin's J Operator. Lecture Notes in Computer Science, 4015, 55-73.

Petersen, M. G. & Pagter, J. I. (2007). A Sense of Security in Pervasive Computing - is the light on when the refrigerator door is closed? In R. Dhamija & S. Dietrich (Eds.), Financial and Cryptography and Data Security: 11th International Conference, FC 2007, and 1st International Workshop on Usable Security, USEC 2007, Scarborough, Trinidad and Tobago, February 2007, Revised Selecgted Papers (Vol. LNCS 4886, pp. 383-388). Springer.

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.

Displaying results 3851 to 3900 out of 6000

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University