Publikationer

Søg publikationer fra Institut for Datalogi

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

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.

Schulz, H.-J., Nocke, T. & Schumann, H. (2006). A Framework for Visual Data Mining of Structures. -, 48, 157-166. http://crpit.com/abstracts/CRPITV48Schulz.html

Luyten, K., Thys, K., Vermeulen, J. & Coninx, K. (2006). A Generic Approach For Multi-Device User Interface Rendering With UIML. I Computer-Aided Design Of User Interfaces V, Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces, CADUI 2006 6-8 June 2006, Bucharest, Romania (s. 175-182) https://doi.org/10.1007/978-1-4020-5820-2_14

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

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

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

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

Breinbjerg, M., Caprani, O. & Lunding, R. (2006). An Acousmatic Music Environment. I ICMC 06 - International Computer Music Conference (s. 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. I Proceedings of the 3rd Workshop on Context Modelling and Reasoning (PerCom 2006) (s. 18-23). IEEE. https://doi.org/10.1109/PERCOMW.2006.19

Toft, T. (2006). An efficient, unconditionally secure equality test for secret shared values. I 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. I J. R. Correa, A. Hevia & M. A. Kiwi (red.), LATIN 2006: Theoretical Informatics, Proceedings of 7th Latin American Symposium (Valdivia, Chile, March 20-24, 2006) (s. 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

Sørensen, T. S. & Mosegaard, J. (2006). An Introduction to GPU Accelerated Surgical Simulation. I Lecture Notes in Computer Science (4072 udg., s. 93-104)

Sørensen, T. S. & Mosegaard, J. (2006). An Introduction to GPU Accelerated Surgical Simulation. I Lecture Notes in Computer Science (Bind 4072, s. 93-104). Springer.

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. I WITS '06: 6th International Workshop on Issues in the Theory of Security (Bind www.brics.dk/RS/05/30/). Springer.

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

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

Viser resultater 4151 til 4200 ud af 6119

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series