Publikationer

Søg publikationer fra Institut for Datalogi

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

Evangelista, S. (2008). Dynamic Delayed Duplicate Detection for External Memory Model Checking. Lecture Notes in Computer Science, 77-94.

Frandsen, G. S. & Sankowski, P. (2008). Dynamic Normal Forms and Dynamic Characteristic Polynomial. Lecture Notes in Computer Science, 434-446. https://doi.org/10.1007/978-3-540-70575-8_36

Kjærgaard, M. B., Treu, G., Ruppel, P. & Küpper, A. (2008). Efficient Indoor Proximity and Separation Detection for Location Fingerprinting. I Proceedings of the First International Conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications (Mobilware 2008): ACM International Conference Proceeding Series, Vol. 278 (Bind 278, s. 1-8). Association for Computing Machinery. http://doi.acm.org/10.1145/1361492.1361494

Ding, Z., Mailund, T. & Song, Y. (2008). Efficient Whole-Genome Association Mapping using Local Phylogenies for Unphased Genome Data. Bioinformatics, 2215-2221.

Christensen, B. G., Kristensen, M. D., Hansen, F. A. & Bouvin, N. O. (2008). Enabling Co-located Learning over Mobile Ad Hoc P2P with LightPeers. Journal of Networks, 3(2), 64-71. https://doi.org/10.4304/jnw.3.2.64-71

Kristensen, M. D. & Bouvin, N. O. (2008). Energy Efficient MANET Routing Using a Combination of Span and BECA/AFECA. Journal of Networks, 3(3), 49-56. https://doi.org/10.4304/jnw.3.3.49-56

Herings, P. J.-J., Jurdzinski, M., Miltersen, P. B., Tardos, É. & von Stengel, B. (2008). Equilibrium Computation: 18.11. - 23.11.2007. Dagstuhl Seminar Proceedings, 07471.

Börstler, J., Christensen, H. B., Bennedsen, J., Nordström, M., Westin, L. K., Moström, J. E. & Caspersen, M. E. (2008). Evaluating OO example programs for CS1. I Annual Joint Conference Integrating Technology into Computer Science Education: Proceedings of the 13th annual conference on Innovation and technology in computer science education (s. 47-52). Association for Computing Machinery. https://doi.org/10.1145/1384271.1384286

Kristensen, M. D. (2008). Execution Plans for Cyber Foraging. I O. Riva & L. Veiga (red.), Middleware Conference: Proceedings of the 1st workshop on Mobile middleware: embracing the personal communication device (s. Article 2). Association for Computing Machinery.

Christensen, H. B. (2008). Experiences with a Focus on Test in Teaching : Reflections on the Teaching of Programming. Lecture Notes in Computer Science, 4821, 147-165. https://doi.org/10.1007/978-3-540-77934-6_13

Andersen, J., Lo, B. P. & Yang, G.-Z. (2008). Experimental Platform for Usability Testing of Secure Medical Sensor Network Protocols. I Proceedings of the 5th International Workshop on Wearable and Implantable Body Sensor Networks (BSN 2008) in conjunction with the 5th International Summer School and Symposium on Medical Devices and Biosensors (ISSS-MDBS 2008) (s. 179-182). IEEE Press. https://doi.org/10.1109/ISSMDBS.2008.4575047

Rasmusson, A., Mosegaard, J. & Sørensen, T. S. (2008). Exploring Parallel Algorithms for Volumetric Mass-Spring-Damper Models in CUDA. Lecture Notes in Computer Science, 5104, 49-58. https://doi.org/10.1007/978-3-540-70521-5_6

Tjell, S. & Fernandes, J. M. (2008). Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables: Proceedings of IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES at IFIP World Computer Congress 2008). I F I P, 79-88.

Arge, L., Brodal, G. S. & Satti, S. R. (2008). External Memory Planar Point Location with Logarithmic Updates. I M. Teilaud (red.), Proceedings of the twenty-fourth annual symposium on Computational geometry (s. 139-147). Association for Computing Machinery. https://doi.org/10.1145/1377676.1377699

Miltersen, P. B. & Sørensen, T. B. (2008). Fast algorithms for finding proper strategies in game trees. I S.-T. Huang (red.), Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms (s. 874-883). Society for Industrial and Applied Mathematics.

Abam, M., de Berg, M. & Poon, S.-H. (2008). Fault-Tolerant Conflict-Free Coloring. I S. Wismath (red.), 20th Canadian Conference in Computational Geometry: CCCG 2008 (Bind Session 7B, s. 95-98). The CCCG Library. http://cccg.ca/proceedings/2008/paper23.pdf

Dindler, C. & Iversen, O. S. (2008). Fictional Inquiry: design i en fortællemæssig ramme. EMU - Danmarks Læringsportal.

Ernst, E. (2008). First-Class Object Sets. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) Nr. 589

Hansen, K. M., Zhang, W. & Fernandes, J. (2008). Flexible Generation of Pervasive Web Services using OSGi Declarative Services and OWL Ontologies. I L. O’Conner (red.), 15th Asia-Pacific Software Engineering Conference APSEC 2008 (s. 135-142). IEEE Computer Society Press. https://doi.org/10.1109/APSEC.2008.73

Fleischer, P. & Kristensen, L. M. (2008). Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. Lecture Notes in Computer Science, 171-190. https://doi.org/10.1007/978-3-540-68746-7_14

Bødker, S., Kræmmergaard, P., Nyvang, T. & Ellen, C. (2008). Framework for expanding e-government: the eGov+ project.. Afhandling præsenteret på SWEG 2008, København, Danmark.

Christensen, H. B. & Caspersen, M. E. (2008). Frameworks in Teaching. Lecture Notes in Computer Science, 4821, 190-205. https://doi.org/10.1007/978-3-540-77934-6

Klokmose, C. N. & Beaudouin-Lafon, M. (2008). From Applications to Ubiquitous Instrumental Interaction. I CHI '00: Proceedings of the SIGCHI conference on Human factors in computing systems (s. 446-453). Association for Computing Machinery.

Jørgensen, J. B., Lassen, K. B. & van der Aalst, W. M. P. (2008). From Task Descriptions via Coloured Petri Nets Towards an Implementation of a New Electronic Patient Record. International Journal on Software Tools for Technology Transfer, 10(1), 15-26.

Arge, L. A., Goodrich, M. T., Nelson, M. & Sitchinava, N. (2008). Fundamental Parallel Algorithms for Private-Cache Chip Multiprocessors. I F. Meyer auf der Heide & N. Shavit (red.), ACM Symposium on Parallelism in Algorithms and Architectures: Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures. (s. 197-206). Association for Computing Machinery. https://doi.org/10.1145/1378533.1378573

Bucur, D. & Kjærgaard, M. B. (2008). GammaSense: Infrastructureless Positioning using Background Radioactivity. Lecture Notes in Computer Science, 69-82. https://doi.org/10.1007/978-3-540-88793-5_6

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric culprits of papillary muscle displacement in functional ischemic mitral regurgitation assessed by 3D magnetic resonance imaging. Abstract fra The 57th Annual Meeting of the Scandinavian Society of Thoracic Surgery and the 28th Annual Meeting of Scandinavian Society of Extra Corporeal Technology, København, Danmark.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric Culprits of Papillary Muscle Displacement in Functional Ischemic Mitral Regurgitation assessed by 3D Magnetic Resonance Imaging. Heart Surgery Forum, 11(Suppl. 1), 358.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric Culprits of Papillary Muscle Displacement in Functional Ischemic Mitral Regurgitation assessed by 3D Magnetic Resonance Imaging. Poster-session præsenteret på 18th World Congress - World Society of Cardio-Thoracic Surgeon, Kos, Grækenland.

Jensen, H., Jensen, M. Ø. J., Ringgaard, S., Smerup, M. H., Sørensen, T. S., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2008). Geometric Culprits of Papillary Muscle Displacement in Functional Ischemic Mitral Regurgitation Assessed by 3D Magnetic Resonance Imaging. Poster-session præsenteret på PhD Day, Aarhus Universitet, Århus, Danmark.

Brodersen, A., Museth, K., Porumbescu, S. & Budge, B. (2008). Geometric texturing using level sets. I E E E Transactions on Visualization and Computer Graphics, 14(2), 277-88. https://doi.org/10.1109/TVCG.2007.70408

Mogensen, M., Frey, D., Guerraoui, R., Kermarrec, A.-M., Monod, M. & Quema, V. (2008). Gossiping Capabilities. École Polytechnique Fédérale de Lausanne.

Noe, K. Ø., Tanderup, K., Lindegaard, J. C., Grau, C. & Sørensen, T. S. (2008). GPU accelerated viscous-fluid deformable registration for radiotherapy. I Medicine Meets Virtual Reality 16 (s. 327-32). IOS Press.

Meskens, J., Vermeulen, J., Luyten, K. & Coninx, K. (2008). Gummy for Multi-platform User Interface Designs: Shape Me, Multiply Me, Fix Me, Use Me. Unspecified journal, 233-240. https://doi.org/10.1145/1385569.1385607

Brønsted, J. R. & Hansen, K. M. (2008). Handling membership dynamicity in service composition for ubiquitous computing. I J. L. Mauri, N. Cardona, K.-C. Chen, M. Popescu & A. Doci (red.), The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies: UBICOMM 2008 (s. 159-164). IEEE Computer Society Press. https://doi.org/10.1109/UBICOMM.2008.33

Ballegaard, S. A., Hansen, T. R. & Kyng, M. (2008). Healthcare in Everyday Life - Designing Healthcare Services for Daily Life. I Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems (s. 1807-1816). Association for Computing Machinery. https://doi.org/10.1145/1357054.1357336

Danvy, O. & Mason, I. (2008). Higher-Order and Symbolic Computation: Editorial. Higher-Order and Symbolic Computation, 21(4), 359.

Danvy, O., Dybvig, R. K., Lawall, J. & Thiemann, P. (2008). Higher-Order and Symbolic Computation. LISP and Symbolic Computationditorial. Editorial. Higher-Order and Symbolic Computation, 21(3), 237-238.

Wang, H., Schwefel, H.-P. & Toftegaard, T. S. (2008). History-based Adaptive Modulation for a Downlink Multicast Channel in OFDMA systems. I IEEE Wireless Communications and Networking Conference, WCNC '08. Conference proceedings (s. 1588 - 1592). IEEE Communications Society. https://doi.org/10.1109/WCNC.2008.284

Petersen, M. G., Hansen, A. B., Nielsen, K. R. & Gude, R. (2008). HOMEinTOUCH Designing two-way Ambient Communication. Lecture Notes in Computer Science, 44-57.

Damgård, I. B., Geisler, M. & Krøigaard, M. (2008). Homomorphic encryption and secure comparison. International Journal of Applied Cryptography, 1(1), 22-31. https://doi.org/10.1504/IJACT.2008.017047

Achenbach, M. (2008). Hybrid Program Analysis for Error Detection. Poster-session præsenteret på Programming Language Design and Implementation (PLDI), Tucson, USA.

Kjærgaard, M. B. & Munk, C. V. (2008). Hyperbolic Location Fingerprinting: A Calibration-Free Solution for Handling Differences in Signal Strength. I L. Ni & J. Cao (red.), Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (Percom 2008) (s. 110-116). IEEE. https://doi.org/10.1109/PERCOM.2008.75

Kjærgaard, M. B. (2008). Indoor Positioning with Radio Location Fingerprinting. Aarhus Universitetsforlag.

Kortbek, K. J. (2008). Interaction Design for Public Spaces. I A. EL. Saddik & S. Vuong (red.), Proceedings of the 16th ACM International Conference on Multimedia (s. 1031-1034). Association for Computing Machinery. https://doi.org/10.1145/1459359.1459566

Hansen, M. S., Atkinson, D. & Sørensen, T. S. (2008). Interactive Adjustment of Regularization in SENSE and k-t SENSE Using Commodity Graphics Hardware. I Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine: Traditional Posters (s. 1491). ISMRM.

Kortbek, K. J. & Grønbæk, K. (2008). Interactive spatial multimedia for communication of art in the physical museum space. I R. Wakkary (red.), Proceeding of the 16th ACM international conference on Multimedia (s. 609-618). Association for Computing Machinery. https://doi.org/10.1145/1459359.1459441

Danvy, O. & Johannsen, J. (2008). Inter-deriving Semantic Artifacts for Object-Oriented Programming. Lecture Notes in Computer Science, 1-16.

Stenderup, K., Rosada, C., Worsaae, A., Dagnaes-Hansen, F., Steiniche, T., Hasselager, E., Iversen, L., Zahn, S., Wöldike, H., Holmberg, H. L., Rømer, J., Kragballe, K., Clausen, J. T. & Dam, T. N. (2008). Interleukin-20 plays a critical role in maintenance and development of psoriasis in the human xenograft transplantation model. British Journal of Dermatology, 160(2), 284-96. https://doi.org/10.1111/j.1365-2133.2008.08890.x

Caspersen, M. E. (2008). Introducing Object-Oriented Programming. Lecture Notes in Computer Science, 4821, 77-79. https://doi.org/10.1007/978-3-540-77934-6

Viser resultater 3701 til 3750 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series