Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Kristensen, M. D. (2008). Scavenger - Mobile Remote Execution. Department of Computer Science, University of Aarhus. DAIMI PB No. 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. In S. Brueckner, P. Robertson & U. Bellur (Eds.), Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (pp. 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. In 1st International Research Workshop on The Internet of Things and Services. Proceedings (pp. 20-24). Strategies Telecoms & Multimedia.

Brønsted, J. R. & Hansen, K. M. (2008). Service Oriented Architecture for Inter-vehicle Applications. In 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. B M C 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. In Proceedings of the nineteenth ACM conference on Hypertext and hypermedia (pp. 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. (Ed.) (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. In PLAN-X: Programming Language Technologies for XML: An ACM SIGPLAN Workshop colocated with POPL 2008 (pp. 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. In Proceeding of the 6th international conference on Mobile systems, applications, and services (pp. 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. In Proceedings of the 15th ACM Conference on Computer and communications security (pp. 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

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. In P. A. Fishwick (Ed.), Aesthetic Computing (pp. 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. In Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 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. In 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. In J. J. Jensen (Ed.), Proceedings of the Eight Danish Human-Computer Interaction Research Symposium (pp. 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. Studies in Health Technology and Informatics, 132, 523-5.

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

Bertelsen, O. W., Breinbjerg, M. & Pold, S. (2008). Tool – Material, Metaphor – Metonymy, Instrument(ness). In J. J. Jensen (Ed.), Proceedings of the Eighth Danish Human-Computer Interaction Research Symposium (pp. 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. In W. Clinger (Ed.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (pp. 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. In W. Clinger (Ed.), Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming (pp. 37-48). Association for Computing Machinery.

Hansen, K. M., Zhang, W. & Ingstrup, M. (2008). Towards Self-Managed Executable Petri Nets. In S. Brueckner, P. Robertson & U. Bellur (Eds.), Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems (pp. 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. In 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. (Eds.) (2008). Transactions on Petri Nets and Other Models of concurrency I: ToPNoC. Springer. Lecture Notes in Computer Science Vol. 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

van der Aalst, W. M. P. & Lassen, K. B. (2008). Translating Unstructured Workflow Processes to Readable BPEL: Theory and Implementation. Information and Software Technology, 50(3), 131-159.

Clemensen, J., Larsen, S. B., Kirkevold, M. & Ejskjær, N. (2008). Treatment of Diabetic Foot Ulcers in the Home: Video Consultations as an Alternative to Outpatient Hospital Care. International Journal of Telemedicine and Applications, 2008.

Ferragina, P. & Satti, S. R. (2008). Tree Compression and Indexing. In Encyclopedia of Algorithms (pp. 1-99). Springer.

Miltersen, P. B. (2008). Trembling hand perfection is NP-hard. http://arxiv.org/PS_cache/arxiv/pdf/0812/0812.0492v1.pdf

Nielsen, M., Krukow, K. & Sassone, V. (2008). Trust Models in Ubiquitous Computing. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 366(1881), 3781-3793. https://doi.org/10.1098/rsta.2008.0134

Boudol, G., Castellani, I., Hennessy, M., Nielsen, M. & Winskel, G. (2008). Twenty Years on: Reflections on the CEDISYS Project: Combining True Concurrency with Process Algebra. Lecture Notes in Computer Science, 5065, 757-777. https://doi.org/10.1007/978-3-540-68679-8_47

Westergaard, M. & Kristensen, L. M. (2008). Two Interfaces to the CPN Tools Simulator. In Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 83-102). Department of Computer Science.

Hansen, F. A. & Grønbæk, K. (2008). Urban Web Services—Experiences and Future Directions. In Workshop on Digital Urban Living

Bødker, S. & Sundblad, Y. (2008). Usability and Interaction Design - New Challenges for the Scandinavian Tradition. Behaviour and Information Technology, 27(4), 293-300.

Bouvin, N. O. & Albertsen, J. (2008). User Defined Structural Searches in MediaWiki. In Proceedings of the nineteenth ACM conference on Hypertext and hypermedia. (pp. 15-20). Association for Computing Machinery. https://doi.org/10.1145/1379092.1379099

Lassen, K. B. (2008). Using Formal Behavioral Modelsin Software Development:From Real-World Problems to Software Systems. Aarhus Universitetsforlag.

Displaying results 3501 to 3550 out of 5700

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University