Publikationer

Søg publikationer fra Institut for Datalogi

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

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

Bertelsen, O. W. & Zander, P.-O. (2006). Appropriation in the development of information systems for voluntary organizations. I Proceedings of ECIS 2006, Gothenburg, June 2006 (1. udg.)

Bertelsen, O. W. & Zander, P.-O. (2006). Appropriation in the development of information systems for voluntary organizations. I 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. I G. Di Crescenzo & A. Rubin (red.), Financial Cryptography and Data Security: 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers (s. 142-147). Springer. https://doi.org/10.1007/11889663_10

Zhang, W. & Kunz, T. (2006). A Product Line Enhanced Unified Process. I Q. Wang, D. Pfahl, D. M. Raffo & P. Wernick (red.), 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 (s. 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. I FSTTCS '06: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference (s. 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.

Viser resultater 4101 til 4150 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series