Publikationer

Søg publikationer fra Institut for Datalogi

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

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

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. I Encyclopedia of Algorithms (s. 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. I Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (s. 83-102). Department of Computer Science.

Hansen, F. A. & Grønbæk, K. (2008). Urban Web Services—Experiences and Future Directions. I 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. I Proceedings of the nineteenth ACM conference on Hypertext and hypermedia. (s. 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.

Brønsted, J. R. (2008). Vehicle to Vehicle Services: Service oriented architecture for pervasive computing systems with emphasis on vehicle to vehicle applications.

Sørensen, T. S., Beerbaum, P., Mosegaard, J., Rasmusson, A., Schaeffter, T., Austin, C., Razavi, R. & Greil, G. F. (2008). Virtual Cardiotomy based on 3D Magnetic Resonance Imaging for Preoperative Planning in Congenital Heart Disease. Pediatric Radiology, 38, 1314-1322. https://doi.org/10.1007/s00247-008-1032-5

Schulz, H.-J., John, M., Unger, A. & Schumann, H. (2008). Visual Analysis of Bipartite Biological Networks. I C. P. Botha, G. Kindlmann, W. Niessen & B. Preim (red.), Proceedings of the Eurographics Workshop on Visual Computing for Biomedicine VCBM 2008 (s. 135-142). Eurographics Association. https://doi.org/10.2312/VCBM/VCBM08/135-142

Møller-Nielsen, P. & Gejl Kristensen, J. (2008). Waterfield. (Video udg.).

Caspersen, M. E., Cassel, L. N., Davies, G., Pears, A., Seidman, S. & Topi, H. (2008). What is Masters Level Education in Informatics. I Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2008 (s. 341). Association for Computing Machinery. https://doi.org/10.1145/1384271.1384383

Büscher, M., Mogensen, P. H. & Kristensen, M. (2008). When and How (Not) to Support IT? Supporting virtual emergency teamwork. I F. Fiedrich & B. Van de Walle (red.), ISCRAM 2008,: Technology Showcase - Communication Systems and Technologies for Crisis and Disaster Responses (Bind Session 2, Track 2, s. 167-176)

Boubertakh, R., Batchelor, P., Uribe, S., Sørensen, T. S., Hansen, M. S., Razavi, R. & Schaeffter, T. (2008). Whole-Heart Imaging Using Undersampled Radial Phase Encoding and a 32-Channel Cardiac Coil. I Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine (s. 6). ISMRM.

Caspersen, M. E., Börstler, J., Decker, A. & Alphonce, C. (2008). Worked Examples for Sound Object-Oriented Pedagogy: The Seventh "Killer" Workshop. I Companion to the 23rd ACM SIGPLAN Conference on Object-oriented programming systems languages and applications (s. 869). Association for Computing Machinery. https://doi.org/10.1145/1449814.1449888

Nielsen, M., Krukow, K. & Sassone, V. (2007). A Bayesian Model for Event-based Trust. Electronic Notes in Theoretical Computer Science, 172, 499-521. https://doi.org/10.1016/j.entcs.2007.02.017

Lee, J. (2007). A Case for Dynamic Reverse-code Generation. BRICS Report Series, (RS-07-15).

Støvring, K. & Lassen, S. B. (2007). A Complete, Co-Inductive Syntactic Theory of Sequential Control and State. I Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Bind 42, Issue1, s. 161-172). Society for Industrial and Applied Mathematics.

Biernacka, M. & Danvy, O. (2007). A Concrete Framework for Environment Machines. A C M Transactions on Computational Logic, 9(1), 1-30.

Brynskov, M. (2007). Activity-Based Design as a Way to Bridge Artifacts, Professions, and Theories. I C. Brodersen, S. Bødker & C. N. Klokmose (red.), Multiple and Ubiquitous Interaction, 28. - 30. March 2007: Book of Abstracts (s. 21-24)

Viser resultater 3851 til 3900 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series