Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Zhang, W. & Hansen, K. M. (2007). Synergy between Software Product Line and Intelligent Mobile Middleware. I Proceedings of The 2007 International Conference on Intelligent Pervasive Computing (s. 515-520). IEEE Computer Society Press. https://doi.org/10.1109/IPC.2007.57

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

Kristensen, M. (2007). Technology and work within emergency medicine. Afhandling præsenteret på The 10th European Conference on Computer Supported Co-operative Work, Limerick, Irland.

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

Clemensen, J. & Larsen, S. B. (2007). Telemedical Treatment of Diabetic Foot Ulcers. I Private Hospital Healthcare Europe 2007 (s. 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. I Proceedings of the 15th ACM International Symposium on Advances in Geographic Information Systems (s. 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. I Proceedings of AINA Workshops (1 udg., Bind 1, s. 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). I K. Jensen (red.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 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. I 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 (s. 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. I R. Gudwin & J. Queiroz (red.), Semiotics and Intelligent Systems Development (1 udg., s. 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. I Proceedings of the Third ACM Conference on History of Programming Languages (s. 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. I F. S. de Boer, M. M. Bonsangue, S. Graf & W.-P. de Roever (red.), Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures (s. 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. I J. Boyland (red.), Proceedings of the 9th Workshop on Formal Techniques for Java-like Programs (FTfJP), in association with ECOOP 2007 (1 udg., Bind -, s. 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. I A. C. Brodersen, S. Bødker & C. N. Klokmose (red.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts (s. 33-35)

Fleischer, P. & Kristensen, L. M. (2007). Towards Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. I K. Jensen (red.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 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. I K. Jensen (red.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 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. I K. Jensen (red.), Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (8 udg., s. 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 udg.) (s. 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.

Brodersen, C., Bødker, S. & Klokmose, C. N. (2007). Ubiquitous substitution. I Human-Computer Interaction - INTERACT 2007 - 11th IFIP TC 13 International Conference, Proceedings (PART 1 udg., s. 179-192)

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

Berlin, R. & Klokmose, C. N. (2007). Undo in Dynamic and Distributed User Interfaces. Poster-session præsenteret på Danish HCI Research Symposium, DHRS 2007, København, Danmark.

Mathiasen, N. R. (2007). Usable Security Revisited. Poster-session præsenteret på Danish HCI Research Symposium, DHRS 2007, København, Danmark.

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

Schougaard, K. R. (2007). Vehicular Mobility Prediction by Bayesian Networks. (s. 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 præsenteret på The Fourth Mediterranean Emergency Medicine Congress. MEMC IV, Sorrento, Italien.

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

Møller, A. & Schwartzbach, M. I. (2007). XML Graphs in Program Analysis. I G. Ramalingam & E. Visser (red.), Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (s. 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. I Proceedings of the Fifth International Conference on Pervasive Computing (Pervasive 2007) (s. 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. I 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. I J. Overgaard (red.), Radiotherapy & Oncology: Journal of the European Society for Therapeutic Radiology and Oncology (Bind Volume 81 Supplement 1, s. 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. I Proceedings of CHI '06: CHI '06 extended abstracts on Human Factors in Computing Systems (s. 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 Nr. 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. I D. Lassner & C. McNaught (red.), World Conference on Educational Multimedia, Hypermedia and Telecommunications 2003 (Bind 2003, Issue 1, s. 99-106). ED-MEDIA.

Viser resultater 4101 til 4150 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series