Publikationer

Søg publikationer fra Institut for Datalogi

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

Sørensen, T. S., Atkinson, D., Boubertakh, R., Schaeffter, T. & Hansen, M. S. (2008). Rapid Non-Cartesian Parallel Imaging Reconstruction on Commodity Graphics Hardware. I Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine: Image Reconstruction (s. 1490). Wiley-Interscience.

Aarhus, R. (2008). Rapport over feltstudie: Joint Care/Døgnhofte, Regionshospitalet Silkeborg. Datalogisk Institut, Aarhus Universitet.

Christensen, H. B., Hansen, K. M. & Schougaard, K. R. (2008). Ready! Set! Go! An Action Research Agenda for Software Architecture. I P. Kruchten, D. Garlan & E. Woods (red.), 7th IEEE/IFIP Working Conference on Software Architecture (s. 257-260). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2008.36

Ostermann, K. (2008). Reasoning about Aspects With Common Sense. I Proceedings of the 7th international conference on Aspect-oriented software development (s. 48-59). Association for Computing Machinery.

Caspersen, M. E., Bennedsen, J. & Kölling, M. (red.) (2008). Reflections on the Teaching of Programming: Methods and Implementations. Springer. Lecture Notes in Computer Science Bind 4821 https://doi.org/10.1007/978-3-540-77934-6

Castric, V., Bechsgaard, J., Schierup, M. H. & Vekemans, X. (2008). Repeated adaptive introgression at a gene under multiallelic balancing selection. PLoS Genetics, 4(8), e1000168. https://doi.org/10.1371/journal.pgen.1000168

Damgård, I. B. & Pedersen, M. Ø. (2008). RFID Security: Tradeoffs between Security and Efficiency. Lecture Notes in Computer Science, 318-332. https://doi.org/10.1007/978-3-540-79263-5

Schougaard, K. R., Hansen, K. M. & Christensen, H. B. (2008). SA@Work - A Field Study of Software Architecture and Software Quality at Work. I 15th Asia-Pacific Software Engineering Conference APSEC 2008 (s. 411-418). IEEE Computer Society Press. https://doi.org/10.1109/APSEC.2008.41

Damgård, I. B., Krøigaard, M., Ishai, Y., Nielsen, J. B. & Smith, A. (2008). Scalable Multiparty Computation with Nearly Optimal Work and Resilience. Lecture Notes in Computer Science, 5157, 241-261. https://doi.org/10.1007/978-3-540-85174-5_14

Kristensen, M. D. (2008). Scavenger - Mobile Remote Execution. Department of Computer Science, University of Aarhus. Daimi Report Series (DAIMI PB) Nr. PB-587

Bucur, D. & Nielsen, M. (2008). Secure Data Flow in a Calculus for Context Awareness. Lecture Notes in Computer Science, 5065, 439-456. https://doi.org/10.1007/978-3-540-68679-8_27

Brodal, G. S. & Jørgensen, A. G. (2008). Selecting Sums in Arrays. Lecture Notes in Computer Science, 5369, 100-111. https://doi.org/10.1007/978-3-540-92182-0_12

Zhang, W. & Hansen, K. M. (2008). Semantic Web based Self-management for a Pervasive Service Middleware. I S. Brueckner, P. Robertson & U. Bellur (red.), Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (s. 245-254). IEEE Computer Society Press. https://doi.org/10.1109/SASO.2008.14

Hansen, K. M. & Zhang, W. (2008). Semantic Web ontology for Ambient Intelligence: Runtime Monitoringof Semantic Component Constraints. I 1st International Research Workshop on The Internet of Things and Services. Proceedings (s. 20-24). Strategies Telecoms & Multimedia.

Brønsted, J. R. & Hansen, K. M. (2008). Service Oriented Architecture for Inter-vehicle Applications. I 15th World Congress on Intelligent Transport Systems and ITS America Annual Meeting 2008 Curran Associates, Inc..

Kjærgaard, M. B. (2008). Service-Orienteret Arkitektur. Komialt - Vidennetværk for Pervasive Communication - Pixibog.

Noe, K. Ø., Denis de Senneville, B., Tanderup, K. & Sørensen, T. S. (2008). Significantly reducing registration time in IGRT using graphics processing units. Radiotherapy & Oncology, (2), 377.

Nielsen, J. & Mailund, T. (2008). SNPFile - A software library and file format for large scale association mapping and population genetics studies. BMC Bioinformatics, 9(526), 1-11. https://doi.org/10.1186/1471-2105-9-526

Hansen, F. A. & Grønbæk, K. (2008). Social web applications in the city: a lightweight infrastructure for urban computing. I Proceedings of the nineteenth ACM conference on Hypertext and hypermedia (s. 175-180). Association for Computing Machinery. https://doi.org/10.1145/1379092.1379126

Roune, B. H. (2008). Solving Thousand Digit Frobenius Problems Using Grobner Bases. Journal of Symbolic Computation, 43(1), 1-7. https://doi.org/10.1016/j.jsc.2007.06.002

Bergmans, L., Gybels, K. & Ernst, E. (2008). Special Issue: Software-engineering, Properites of Language and Aspect Technologies. Journal of Object Technology, 7(9), 1-1.

Jensen, K. (red.) (2008). Special Section on Coloured Petri Nets. International Journal on Software Tools for Technology Transfer, 10(1), 1-110. https://doi.org/10.1007/s10009-007-0056-8

Brodersen, A. C., Dindler, C. & Iversen, O. S. (2008). Staging Imaginative Places for Participatory Prototyping. CoDesign: International Journal of CoCreation in Design and the Arts, 4(1).

Møller, A. (2008). Static Analysis for Event-Based XML Processing. I PLAN-X: Programming Language Technologies for XML: An ACM SIGPLAN Workshop colocated with POPL 2008 (s. 18-27). Universität Trier.

Baumann, P., Nyman, J., Høyer, M., Gagliardi, G., Lax, I., Wennberg, B., Drugge, N., Ekberg, L., Friesland, S., Johansson, K.-A., Lund, J.-S., Morhed, E., Nilsson, K. K., Levin, N., Paludan, M., Sederholm, C., Hansen, A. T., Wittgren, L. & Lewensohn, R. (2008). Stereotactic body radiotherapy for medically inoperable patients with stage I non-small cell lung cancer - a first report of toxicity related to COPD/CVD in a non-randomized prospective phase II study. Radiotherapy & Oncology, 88(3), 359-367. https://doi.org/10.1016/j.radonc.2008.07.019

Triandopoulos, N., Cornelius, C., Kapadia, A., Kotz, D., Peebles, D. & Shin, M. (2008). Anonysense: privacy-aware people-centric sensing. I Proceeding of the 6th international conference on Mobile systems, applications, and services (s. 211-224). Association for Computing Machinery. https://doi.org/10.1145/1378600.1378624

Triandopoulos, N., Papamanthou, C. & Tamassia, R. (2008). Authenticated hash tables: Proceedings of the 15th ACM Conference on Computer and communications security. I Proceedings of the 15th ACM Conference on Computer and communications security (s. 437-448). Association for Computing Machinery. https://doi.org/10.1145/1455770.1455826

Triandopoulos, N., Goodrich, M. T. & Tamassia, R. (2008). Super-Efficient Verification of Dynamic Outsourced Databases: Topics in Cryptology - CT-RSA 2008. Lecture Notes in Computer Science, 407-424. https://doi.org/10.1007/978-3-540-79263-5

Zhang, W. (2008). Synergy between Software Product Line and Intelligent Pervasive Middleware-a PLIPerM Approach. International Journal of Hybrid Information Technology, 1(1), 17-30. http://www.sersc.org/journals/IJHIT/vol1_no1_2008.php

Brewster, S. A., Wall, S., Brown, L. M. & Hoggan, E. (2008). Tactile displays. The Engineering Handbook on Smart Technology for Aging, Disability and Independence, 339-352.

Hall, M., Hoggan, E. & Brewster, S. (2008). T-Bars: towards tactile user interfaces for mobile touchscreens. I Proceedings of the 10th international conference on Human computer interaction with mobile devices and services (s. 411-414)

Kristensen, L. M. & Jensen, K. (2008). Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets. LNCS Transactions on Petri Nets and Other Models of Concurrency. (ToPNoC), I, 19-34. https://doi.org/10.1007/978-3-540-89287-8_2

Bertelsen, O. W. (2008). Tertiary Artefacts at the Interface. I P. A. Fishwick (red.), Aesthetic Computing (s. 357-368). MIT Press.

Lundby, C., Achman-Andersen, N. J., Thomsen, J. J., Norgaard, A. M. & Robach, P. (2008). Testing for recombinant human erythropoietin in urine: problems associated with current anti-doping testing. Journal of Applied Physiology, 105(2), 417-9. https://doi.org/10.1152/japplphysiol.90529.2008

Evangelista, S., Westergaard, M. & Kristensen, L. M. (2008). The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. I Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 63-82). Department of Computer Science.

Miltersen, P. B., Gurvich, V. & Andersson, D. (2008). The Complexity of Solving Stochastic Games on Graphs. Department of Computer Science, Aarhus University. http://www.daimi.au.dk/~bromille/Papers/mean.pdf

Olsen, M. (2008). The Computational Complexity of Link Building. Lecture Notes in Computer Science, 5092, 119-129.

Wang, H., Schwefel, H.-P. & Toftegaard, T. S. (2008). The Optimal Joint Power and Rate Adaption for Mobile Multicast: A Theoretical Approach. I 2008 IEEE Sarnoff Symposium IEEE Computer Society Press. https://doi.org/10.1109/SARNOF.2008.4520061

Berlin, R., Borchorst, N. G., Mathiasen, N. R. & Svarre, T. (2008). The Potential of Genre Theory within E-Governance Web Applications. I J. J. Jensen (red.), Proceedings of the Eight Danish Human-Computer Interaction Research Symposium (s. 19-22). Aalborg Universitetsforlag.

Arge, L., de Berg, M., Haverkort, H. & Yi, K. (2008). The Priority R-tree: A Practically Efficient and Worst-Case Optimal R-tree. A C M Transactions on Algorithms, 4(1). https://doi.org/10.1145/1328911.1328920

Trier, P., Noe, K. Ø., Sørensen, M. S. & Mosegaard, J. (2008). The visible ear surgery simulator. I Medicine Meets Virtual Reality 16 (s. 523-5). IOS Press.

Bødker, S. & Mathiasen, N. R. (2008). Threats or threads: from usable security to secure experience. I K. Tollmar & B. Jönsson (red.), ACM International Conference Proceeding Series: Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges (Bind 358, s. 283-290). Association for Computing Machinery.

Bertelsen, O. W., Breinbjerg, M. & Pold, S. (2008). Tool – Material, Metaphor – Metonymy, Instrument(ness). I J. J. Jensen (red.), Proceedings of the Eighth Danish Human-Computer Interaction Research Symposium (s. 5-9). Aalborg Universitetsforlag.

Danvy, O. (2008). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. I W. Clinger (red.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (s. 21-36). Association for Computing Machinery.

Biernacka, M. & Danvy, O. (2008). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. I W. Clinger (red.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (s. 37-48). Association for Computing Machinery.

Hansen, K. M., Zhang, W. & Ingstrup, M. (2008). Towards Self-Managed Executable Petri Nets. I S. Brueckner, P. Robertson & U. Bellur (red.), Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (s. 287-296). IEEE Computer Society Press. https://doi.org/10.1109/SASO.2008.59

Zhang, W. & Hansen, K. M. (2008). Towards Self-managed Pervasive Middleware using OWL/SWRL ontologies. I Fifth International Workshop on Modelling and Reasoning in Context. Proceedings Telecom, Bretagne. http://www.hydramiddleware.eu/hydra_papers/Towards_Self-managed_Pervasive_Middleware.pdf

Damgård, I. B. & Toft, T. (2008). Trading Sugar Beet Quotas - Secure Multiparty Computation in Practice. ERCIM News, 73, 32-33.

Jensen, K., Aalst, W. M. P. V. D. & Billington, J. (red.) (2008). Transactions on Petri Nets and Other Models of concurrency I: ToPNoC. Springer. Lecture Notes in Computer Science Bind 5100 https://doi.org/10.1007/978-3-540-89287-8

Lassen, K. B. & van Dongen, B. F. (2008). Translating Message Sequence Charts to other Process Languages using Process. Lecture Notes in Computer Science, 5100, 71-85. https://doi.org/10.1007/978-3-540-89287-8_5

Viser resultater 3801 til 3850 ud af 6063

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series