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

Bennedsen, J. B. & Caspersen, M. E. (2006). Abstraction ability as an indicator of success for learning object-oriented programming? SIGCSE Bulletin Inroads, 38(2), 39-43. https://doi.org/10.1145/1138403.1138430

Bennedsen, J. B. & Caspersen, M. E. (2006). Abstraction Power in Computer Science Education. In Psychology of Programming Interest Group Conference: Unroll Your Ideas: A work-in-progress meeting of the Psychology of Programming Interest Group Coventry University. http://corporate.coventry.ac.uk/content/1/c6/01/43/33/ABSTRACT.pdf

Noe, K. Ø., Tanderup, K., Kiritsis, C., Dimopoulos, J., Sørensen, T. S., Lindegaard, J. & Grau, C. (2006). Accelerated Deformable Registration of Repetitive MRI during Radiotherapy in Cervical Cancer. In J. Overgaard (Ed.), Radiotherapy & Oncology: Journal of the European Society for Therapeutic Radiology and Oncology (Vol. Volume 81 Supplement 1, pp. 210-211). Pergamon Press.

Bouvin, N. O., Brodersen, A. C., Bødker, S., Hansen, F. A. & Klokmose, C. N. (2006). A comparative study of map use. In Proceedings of CHI '06: CHI '06 extended abstracts on Human Factors in Computing Systems (pp. 592-597). ACM Spring Proceedings. https://doi.org/10.1145/1125451.1125575

Jørgensen, J. B. (2006). Addressing Problem Frame Concerns Using Coloured Petri Nets and Graphical Animation. International Workshop on Advances and Applications of Problem Frames.

Biernacka, M. (2006). A Derivational Approach to the Operational Semantics of Functional Languages. BRICS.

Larsen, S. B., Clemensen, J. & Ejskjær, N. (2006). A feasibility study of UMTS mobile phones for supporting nurses doing home visits to patients with diabetic foot ulcers. Journal of Telemedicine and Telecare, 12(7), 363-369(5).

Kjærgaard, M. B. & Bunde-Pedersen, J. (2006). A Formal Model for Context-Awareness. BRICS. BRICS Report Series No. RS-06-2 http://www.brics.dk/RS/06/2/BRICS-RS-06-2.pdf

Mosegaard, J. & Bennedsen, J. (2006). A Framework for Narration and Learning in Educational Multimedia. In D. Lassner & C. McNaught (Eds.), World Conference on Educational Multimedia, Hypermedia and Telecommunications 2003 (Vol. 2003, Issue 1, pp. 99-106). ED-MEDIA.

Lee, J., Deng, X. & Bogor, R. (2006). A k-Bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. In Proceedings of Conference on Automated Software Engineering: ASE'06 (pp. 157-166). IEEE Computer Society Press.

Arge, L. & Freivalds, R. M. (Eds.) (2006). Algorithm Theory - SWAT 2006: 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings. Springer. Lecture Notes in Computer Science Vol. 4059

Jørgensen, J. B. & Lassen, K. B. (2006). Aligning Work Processes and the Adviser Portal Bank System. In Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems: RENBITA 2005 (pp. 259 - 268). IEEE Computer Society Press.

Breinbjerg, M., Caprani, O. & Lunding, R. (2006). An Acousmatic Composition Environment: (Poster). In 6 th international conference on New Interfaces for Musical Expression (pp. 334-337)

Breinbjerg, M., Caprani, O. & Lunding, R. (2006). An Acousmatic Music Environment. In ICMC 06 - International Computer Music Conference (pp. 580-584). International Computer Music Association.

Madsen, B. A. (2006). An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter. Information Processing Letters, 97(1), 28-30.

Brabrand, C., Giegerich, R. & Møller, A. (2006). Analyzing Ambiguity of Context-Free Grammars. BRICS Report Series, (RS-06-09).

Danvy, O. (2006). An Analytical Approach to Program as Data Objects. BRICS Research Series.

Kjærgaard, M. B. (2006). An API for Integrating Spatial Context Models with Spatial Reasoning Algorithms. In Proceedings of the 3rd Workshop on Context Modelling and Reasoning (PerCom 2006) (pp. 18-23). IEEE. https://doi.org/10.1109/PERCOMW.2006.19

Toft, T. (2006). An efficient, unconditionally secure equality test for secret shared values. In Proceedings of the 2006 Workshop on Models for Cryptographic Protocols

Agarwal, S. & Frandsen, G. S. (2006). A New GCD Algorithm for Quadratic Number Rings with Unique Factorization. In J. R. Correa, A. Hevia & M. A. Kiwi (Eds.), LATIN 2006: Theoretical Informatics, Proceedings of 7th Latin American Symposium (Valdivia, Chile, March 20-24, 2006) (pp. 30-42). Springer. https://doi.org/10.1007/11682462_8

Damgård, I. B. & Frandsen, G. S. (2006). An Extended Quadratic Frobenius Primality Test with Average- and Worst-Case Error Estimate. Journal of Cryptology, 19(4), 489-520. https://doi.org/10.1007/s00145-006-0332-x

Møller, A. & Schwartzbach, M. I. (2006). An Introduction to XML and Web Technologies. Addison-Wesley.

Krukow, K. (2006). An Operational Semantics for Trust Policies. In WITS '06: 6th International Workshop on Issues in the Theory of Security (Vol. www.brics.dk/RS/05/30/). Springer.

Caspersen, M. E. & Kölling, M. (2006). A novice's process of object-oriented programming. In P. L. Tarr & W. R. Cook (Eds.), OOPSLA '06: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (pp. 892-900). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1176617.1176741

Gerhardy, P. (2006). Applications of Proof Interpretations.

Bertelsen, O. W. & Zander, P.-O. (2006). Appropriation in the development of information systems for voluntary organizations. In Proceedings of ECIS 2006, Gothenburg, June 2006 (1. ed.)

Bertelsen, O. W. & Zander, P.-O. (2006). Appropriation in the development of information systems for voluntary organizations. In Proceedings of ECIS 2006

Damgård, I. B., Toft, T., Pagter, J. I., Jakobsen, T., Bogetoft, P. & Nielsen, K. (2006). A Practical Implementation of Secure Auctions Based on Multiparty Integer Computation. In G. Di Crescenzo & A. Rubin (Eds.), Financial Cryptography and Data Security: 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers (pp. 142-147). Springer. https://doi.org/10.1007/11889663_10

Zhang, W. & Kunz, T. (2006). A Product Line Enhanced Unified Process. In Q. Wang, D. Pfahl, D. M. Raffo & P. Wernick (Eds.), Software Process Change: International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings (pp. 142-149). Springer. https://doi.org/10.1007/11754305_16

Dax, C., Hofmann, M. & Lange, M. (2006). A Proof System for the Linear Time μ-Calculus. In FSTTCS '06: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference (pp. 273-284). Springer LNCS. https://doi.org/10.1007/11944836_26

Gerhardy, P. (2006). A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions. Journal of Mathematical Analysis and Applications, 316(1), 339-345.

Danvy, O. & Millikin, K. (2006). A Rational Deconstruction of Landin's J Operator. BRICS Report Series, (RS-06-17). http://www.brics.dk/RS/06/17/BRICS-RS-06-17.pdf

Zhang, W. (2006). Architecture Based Configuration Management. High Technology Letters, 110-116.

Hansen, K. M. & Thomsen, J. (2006). ARex. Software

Biernacki, D. & Danvy, O. (2006). A Simple Proof of a Folklore Theorem about Delimited Control. Journal of Functional Programming, 16(3), 269-280.

Frandsen, G. S. & Schwartzbach, M. I. (2006). A singular choice for multiple choice. ACM SIGCSE Bulletin, 38(4), 34-38. https://doi.org/10.1145/1189136.1189164

Brønsted, J., Hansen, K. M. & Thorup, R. (2006). A Uniform Publish-Subscribe Infrastructure for Communication in Wireless Mobile Environments. In 6th International Conference on ITS Telecommunications Proceedings: ITST2006 (pp. 1145-1150). IEEE Press. https://doi.org/10.1109/ITST.2006.288809

Kjærgaard, M. B. (2006). Automatic Mitigation of Sensor Variations for Signal Strength Based Location Systems. In Proceedings of 2nd International Workshop on Location- and Context-Awareness (LoCA 2006) (Vol. LNCS 3987, pp. 30-47). Springer. https://doi.org/10.1007/11752967_3

Ernst, E., Ostermann, K. & Cook, W. R. (2006). A Virtual Class Calculus. In Proceedings of Conference Record of POPL 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (pp. 270-282). Association for Computing Machinery. https://doi.org/10.1145/1111320.1111062

Bardram, J., Hansen, T. R. & Søgaard, M. (2006). AwareMedia - A Shared Interactive Display Supporting Social, Temporal, and Spatial Awareness in Surgery. In Proceedings of the 2006 20th anniversary conference on Computer Supported Cooperative Work (pp. 109-118). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1180875.1180892

Corry, A. V., Ingstrup, M. & Larsen, S. B. (2006). Beyond the Archive: Thinking CSCW into EHRs for Home Care. In 1st International Conference on Pervasive Computing Technologies for Healthcare: First International Workshop on Connected Health: Using IT to Integrate the HealthCare Enterprise IEEE. https://doi.org/10.1109/PCTHEALTH.2006.361695

Salvail, L. & Arrighi, P. (2006). Blind Quantum Computation. International Journal of Quantum Information, 4(5), 883-898.

Heljanko, K., Junttila, T. A., Keinänen, M., Lange, M. & Latvala, T. (2006). Bounded Model Checking for Weak Alternating Büchi Automata. In T. Ball & R. B. Jones (Eds.), CAV ´06: Computer Aided Verification, 18th International Conference (pp. 95-108) https://doi.org/10.1007/11817963_12

Westergaard, M. & Lassen, K. B. (2006). Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools. In Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (pp. 119-136)

Brodal, G. S. & Fagerberg, R. (2006). Cache-oblivious String Dictionaries. In SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm (pp. 581-590). Association for Computing Machinery. https://doi.org/10.1145/1109557.1109621

Bødker, S., Sutcliffe, A., Karat, J. & Gavel, B. (2006). Can we measure quality in design and do we need to? Panel. In Proceedings of the 6th ACM conference on Designing Interactive systems (pp. 119-121). Association for Computing Machinery.

Mosegaard, J. (2006). Cardiac Surgery Simulation.

Palen, L. A., Grinter, R. & Eldridge, M. (2006). Chatting with Teenagers: Considering the Place of Chat Technologies in Teen Life. ACM Transactions on Computer-Human Interaction, 13(4).

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2006). Circuits on Cylinders. Computational Complexity, 15(1), 62-81. https://doi.org/10.1007/s00037-006-0207-4

Pedersen, H. & Boomsma, W. (2006). Classifying Parasite Eggs in Microscope Images. Software http://www.daimi.au.dk/~henrikp/publications/ClassifyingParasiteEggs.pdf

Displaying results 4101 to 4150 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