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

Kristensen, L. M. & Jensen, K. (2007). Teaching Modelling and Validation of Concurrent Systems using Coloured Petri Nets. In Proceedings 2nd workshop on Teaching Concurrency (pp. 67-77). University of Podlasie, Institute of Computer Science.

Kristensen, M. (2007). Technology and work within emergency medicine. Paper presented at The 10th European Conference on Computer Supported Co-operative Work, Limerick, Ireland.

Clemensen, J., Larsen, S. B., Kirkevold, M. & Ejskjær, N. (2007). Telemedical Teamwork between Home and Hospital: A Synergetic Triangle Emerges. In Information Technology in Health Care 2007: Proceedings of the 3rd International Conference on Information Technology in Health Care: Socio-technical Approaches (Vol. 130, pp. 81-89). IOS Press.

Clemensen, J. & Larsen, S. B. (2007). Telemedical Treatment of Diabetic Foot Ulcers. In Private Hospital Healthcare Europe 2007 (pp. IT23-IT24). Campden Publishing Limited.

Danner, A., Mølhave, T., Yi, K., Agarwal, P. K., Arge, L. & Mitasova, H. (2007). TerraStream: From Elevation Data to Watershed Hierarchies. In Proceedings of the 15th ACM International Symposium on Advances in Geographic Information Systems (pp. 1-8). Association for Computing Machinery. https://doi.org/10.1145/1341012.1341049

Pedersen, M. Ø. & Pagter, J. I. (2007). The All-or-Nothing Anti-Theft Policy - Theft Protection for Pervasive Computing. In Proceedings of AINA Workshops (1 ed., Vol. 1, pp. 626-631). IEEE Computer Society Press.

Kristensen, L. M. (2007). The ASCoVeCo State Space Analysis Platform: Next Generation Tool Support for State Space Analysis (Invited Tutorial). In K. Jensen (Ed.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 1-6)

Miltersen, P. B. & Gal, A. (2007). The Cell Probe Complexity of Succinct Data Structures. Theoretical Computer Science, 379(3), 405-417. https://doi.org/10.1016/j.tcs.2007.02.047

Westergaard, M., Kristensen, L. M., Brodal, G. S. & Arge, L. (2007). The ComBack Method - Extending Hash Compaction with Backtracking. In Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings (pp. 455-464). Springer. https://doi.org/10.1007/978-3-540-73094-1_26

Axelsson, R., Lange, M. & Somla, R. (2007). The Complexity of Model Checking Higher-Order Fixpoint Logic. Logical Methods in Computer Science, 3(2). http://arxiv.org/pdf/0704.3931

Miltersen, P. B. (2007). The Computational Complexity of One-dimensional Sandpiles. Theory of Computing Systems, Volume 41(1), 119-125. https://doi.org/10.1007/s00224-006-1341-8

Brabrand, C. & Schwartzbach, M. I. (2007). The METAFRONT System: Safe and Extensible Parsing and Transformation. Science of Computer Programming, 68(1), 2-20. https://doi.org/10.1016/j.scico.2005.06.007

Andersen, P. B. & Brynskov, M. (2007). The semiotics of smart appliances and pervasive computing. In R. Gudwin & J. Queiroz (Eds.), Semiotics and Intelligent Systems Development (1 ed., pp. 211-256). Idea Group Publishing.

Nielsen, J. D. & Schwartzbach, M. I. (2007). The SMCL Language Specification.

Kristensen, B. B., Madsen, O. L. & Møller-Pedersen, B. (2007). The When, Why and Why not of the BETA Programming Language. In Proceedings of the Third ACM Conference on History of Programming Languages (pp. 1-57). Association for Computing Machinery. https://doi.org/10.1145/1238844.1238854

Lange, M. (2007). Three Notes on the Complexity of Model Checking Fixpoint Logic with Chop. R.A.I.R.O. - Theoretical Informatics and Applications.

Petersen, M. B., Slothuus, R., Stubager, R. & Togeby, L. (2007). Tolerance. Frisind gælder ikke alle mindretal. Politiken, 4.

Nielsen, M., Krukow, K. K. & Sassone, V. (2007). Towards a Formal Framework for Computational Trust. In F. S. de Boer, M. M. Bonsangue, S. Graf & W.-P. de Roever (Eds.), Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (pp. 175-184). Springer. https://doi.org/10.1007/978-3-540-74792-5_8

Cameron, N., Drossopoulou, S. & Ernst, E. (2007). Towards an Existential Types Model for Java with Wildcards. In J. Boyland (Ed.), Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP), in association with ECOOP 2007 (1 ed., Vol. -, pp. 1-13). Nanjing University / University of Wisconsin-Milwaukee. http://cs.nju.edu.cn/boyland/ftjp/paper_2.pdf

Klokmose, C. N. (2007). Towards an Instrumental Paradigm for Ubiquitous Interaction. In A. C. Brodersen, S. Bødker & C. N. Klokmose (Eds.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts (pp. 33-35)

Fleischer, P. & Kristensen, L. M. (2007). Towards Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. In K. Jensen (Ed.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 9-28)

Espensen, K. L., Kjeldsen, M. K. & Kristensen, L. M. (2007). Towards Modelling and Validation of the DYMO Routing Protocol for Mobile Ad-hoc Networks. In K. Jensen (Ed.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 243-262)

Midtgaard, J. (2007). Transformation, Analysis, and Interpretation of Higher-Order Procedural Programs.

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

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.

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

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