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

Lassen, K. B. & Tjell, S. (2007). Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets. In K. Jensen (Ed.), Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (8 ed., pp. 127-146)

Lassen, K. B., van Dongen, B. & van der Aalst, W. M. P. (2007). Translating Message Sequence Charts to other Process Languages using Process Mining. (207 ed.) (pp. 1-15). Eindhoven Technical University.

Leppälä, J., Bechsgaard, J. S., Schierup, M. H. & Savolainen, O. (2007). Transmission ratio distortion in Arabidopsis lyrata: effects of population divergence and the S-locus. Heredity, 100(1), 71-8. https://doi.org/10.1038/sj.hdy.6801066

Nielsen, M. & Krukow, K. (2007). Trust Structures. International Journal of Information Security, 6(2-3), 153-181.

Dalsgård, P. & Eriksson, E. (2007). Ubiquitous Computing in Physico-Spatial Environments: Activity Theoretical Considerations.

Bødker, S., Klokmose, C. N. & Brodersen, A. C. (2007). Ubiquitous Substitution. In Proceedings of 11th IFIP TC 13 International Conference (Vol. 4662/2007, pp. 179-192). Springer.

Berlin, R. & Klokmose, C. N. (2007). Undo in Dynamic and Distributed User Interfaces. Poster session presented at Danish HCI Research Symposium, DHRS 2007, København, Denmark.

Mathiasen, N. R. (2007). Usable Security Revisited. Poster session presented at Danish HCI Research Symposium, DHRS 2007, København, Denmark.

S. Fitzgerald, J., Gorm Larsen, P., Tjell, S. & Verhoef, M. (2007). Validation Support for Distributed Real-Time Embedded Systems in VDM++. In Proceedings of the Tenth IEEE International Symposium on High Assurance Software Engineering (HASE 2007) (pp. 331-340). IEEE Computer Society Press.

Schougaard, K. R. (2007). Vehicular Mobility Prediction by Bayesian Networks. (pp. 1-7). Department of Computer Science, University of Aarhus.

Grumberg, O., Lange, M., Leucker, M. & Shoham, S. (2007). When Not Losing Is Better than Winning: Abstraction and Refinement for the Full μ-Calculus. Information and Computation, 205(8), 1130-1148. https://doi.org/10.1016/j.ic.2006.10.009

Kyng, M., Kristensen, M. & Christensen, E. F. (2007). Wireless Distribution and Use of Bio-sensor Data. Prehospital and Disaster Medicine, (2).

Kristensen, M., Kyng, M., Christensen, E. F. & Kramp, G. (2007). Wireless technology for ABC Assessment. Poster session presented at The Fourth Mediterranean Emergency Medicine Congress. MEMC IV, Sorrento, Italy.

Lassen, K. B. & van der Aalst, W. M. P. (2007). WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. In On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE (4275 of Lecture Notes in Computer Science ed., pp. 127-144). Springer.

Møller, A. & Schwartzbach, M. I. (2007). XML Graphs in Program Analysis. In G. Ramalingam & E. Visser (Eds.), Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (pp. 1-10). Association for Computing Machinery. https://doi.org/10.1145/1244381.1244383

Kjærgaard, M. B., Treu, G. & Linnhoff–Popien, C. (2007). Zone-based RSS Reporting for Location Fingerprinting. In Proceedings of the Fifth International Conference on Pervasive Computing (Pervasive 2007) (pp. 316-333). Springer. https://doi.org/10.1007/978-3-540-72037-9_19

Bennedsen, J. B. & Caspersen, M. E. (2006). Abstraction ability as an indicator of success for learning object-oriented programming? ACM 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. Computer programme

Displaying results 4001 to 4050 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