Publikationer

Søg publikationer fra Institut for Datalogi

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

Lee, J. (2007). Program Validation by Symbolic and Reverse Execution.

Kjaer, S. K., Andersen, E. S., Djursing, H., Hansen, T., Jørgensen, J. J., Nilas, L., Ottesen, B. S., Petersen, L. K., Thomsen, S. G. & Toftager-Larsen, K. (2007). Quadrivalent vaccine mod humant papillomvirus til forebyggelse af svaere celleforandringer på livmoderhalsen. Ugeskrift for Læger, 169(46), 3971-4.

Bødker, S., Brodersen, A. C. & Klokmose, C. N. (2007). Quality of Learning in Ubiquitous Interaction. I Proceedings of European Conference on Cognitive Ergonomics 2007: The 25th Anniversary Conference of the European Association of Cognitive Ergonomics (EACE) (s. 121-129). lulu, Inc.

Eriksson, E., Hansen, T. R. & Lykke-Olesen, A. (2007). Reclaiming public space: designing for public interaction with private devices. I Proceedings of the 1st International Conference on Tangible and Embedded Interaction (s. 31-38). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1226969.1226976

Danvy, O. & Millikin, K. (2007). Refunctionalization at Work. BRICS Report Series, (RS-07-7).

Jørgensen, J. B., Fernandes, J. M. & Tjell, S. (2007). Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. I Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007) (s. 294-301). IEEE Computer Society Press.

Fernandes, J. M., Tjell, S. & Jørgensen, J. B. (2007). Requirements Engineering for Reactive Systems with Coloured Petri Nets: The Gas Pump Controller Example. I K. Jensen (red.), Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 207-222)

Machado, R. J., Lassen, K. B., Oliveira, S., Couto, M. & Pinto, P. (2007). Requirements Validation: Execution of UML Models with CPN Tools. International Journal on Software Tools for Technology Transfer.

Bucur, D. & Bardram, J. (2007). Resource Discovery in Activity-Based Sensor Networks. Mobile Networks and Applications, 12(2-3), 129-142. https://doi.org/10.1007/s11036-007-0015-3

Damgård, I. B. & Nielsen, J. B. (2007). Scalable and Unconditionally Secure Multiparty Computation. I A. Menezes (red.), Advances in Cryptology - CRYPTO 2007: 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings (s. 572-590). Springer. https://doi.org/10.1007/978-3-540-74143-5_32

Damgård, I. B., Salvail, L., Schaffner, C. & Fehr, S. (2007). Secure Identification and QKD in the Bounded-Quantum-Storage Model. I A. Menezes (red.), Advances in Cryptology - CRYPTO 2007: 27th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2007. Proceedings (s. 342-359). Springer. https://doi.org/10.1007/978-3-540-74143-5_19

Damgård, I. B., Nielsen, J. B., Fitzi, M. & Desmedt, Y. (2007). Secure Protocols with Asymmetric Trust. I Advances in Cryptology - ASIACRYPT 2007: 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007. Proceedings (s. 357-375). Springer. https://doi.org/10.1007/978-3-540-76900-2_22

Bødker, S. & Petersen, A. B. (2007). Seeds of Cross-Media Production. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 16(6), 539-566.

Vermeulen, J., Vandriessche, Y., Clerckx, T., Luyten, K. & Coninx, K. (2007). Service-Interaction Descriptions: Augmenting Services with User Interface Models. I Engineering Interactive Systems - EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers (s. 447-464) https://doi.org/10.1007/978-3-540-92698-6_27

Mosegaard, J., Carstensen, B. S., Rasmusson, A. & Sørensen, T. S. (2007). Smooth haptic interaction from discontinuous simulation data. I Proceedings of Medicine Meets Virtual Reality 15. Studies in Health Technology and Informatics (Bind 125, s. 328-333). IOS Press.

Hansen, T. R. (2007). SpaceExplorer: A Ubiquitous Web Browser Extension for Spatial Web pages on Multiple Devices. I A. C. Brodersen, S. Bødker & C. N. Klokmose (red.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of abstracts (s. 43-46)

Brodersen, A. T., Buscher, M., Christensen, M., Eriksen, M. A., Grønbæk, K., Kramp, G., Kristensen, J. F., Krogh, P., Ludvigsen, M., Mogensen, P. H., Nielsen, M. B., Shapiro, D. & Ørbæk, P. (2007). Spatial Computing and Spatial Practices. I N. Streitz, A. Kameas & I. Mavrommati (red.), The Disappearing Computer: Interaction Design, System Infrastructures and Applications for Smart Environments Springer. https://doi.org/10.1007/978-3-540-72727-9_4

Jensen, K. (2007). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 9(3-4), 209-411. https://doi.org/10.1007/s10009-007-0039-9

Petersen, M. G. (2007). Squeeze: designing for playful experiences among co-located people in homes. (received first prize people's choice award). I M. B. Rosson & D. Gilmore (red.), CHI '07 extended abstracts on Human factors in computing systems: SESSION: Work-in-progress (Bind 2, s. 2609-2614). Association for Computing Machinery.

Møller, A., Olesen, M. Ø. & Schwartzbach, M. I. (2007). Static Validation of XSL Transformations. A C M Transactions on Programming Languages and Systems, 29(4), Article 21. https://doi.org/10.1145/1255450.1255454

Iversen, O. S., Kortbek, K. J., Nielsen, K. R. & Aagaard, L. (2007). Stepstone - An Interactive Floor Application for hearing Impaired Children with a Cochlear Implant. Afhandling præsenteret på Interaction Design and Children, Ålborg, Danmark. http://www.interactivespaces.net/data/uploads/papers/55.pdf

Nielsen, J. B. (red.), Alwen, J., Cachin, C., Pereira, O., Sadeghi, A.-R., Schoenmakers, B., Shelat, A. & Visconti, I. (2007). Summary Report on Rational Cryptographic Protocols. ECRYPT - European Network of Excellence in Cryptology.

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.

Viser resultater 4051 til 4100 ud af 6061

Forrige