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. (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

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.

Displaying results 4001 to 4050 out of 5933

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University