Publikationer

Søg publikationer fra Institut for Datalogi

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

Nielsen, A. B. & Ernst, E. (2009). Virtual Class Support at the Virtual Machine Level. I H. Rajan, C. Bockisch, M. Haupt & R. Dyer (red.), Proceedings of The 3rd workshop on Virtual Machines and Intermediate Languages (VMIL) Association for Computing Machinery. https://doi.org/10.1145/1711506.1711507

Søndergaard, E., Gormsen, L. C., Nellemann, B., Vestergaard, E. T., Christiansen, J. S. & Nielsen, S. (2009). Visceral fat mass is a strong predictor of circulating ghrelin levels in premenopausal women. European Journal of Endocrinology, 160(3), 375-9. https://doi.org/10.1530/EJE-08-0735

Bohøj, M. (2009). Web 2.0 Technologies in a Governmental Setting. Poster-session præsenteret på First and Seventeenth International Conference on User Modeling, Adaptation, and Personalization, UMAP 2009, Trento, Italien. http://umap09.fbk.eu/sites/umap09.fbk.eu/files/paper_172.pdf

Buscher, M., Kristensen, M. & Mogensen, P. H. (2009). When and How (Not) to Trust IT: Supporting virtual Emergency Teamwork. International Journal of Information Systems for Crisis Response and Management, 1(2), 1.

Boubertakh, R., Prieto, C., Batchelor, P., Uribe, S., Atkinson, D., Eggers, H., Sørensen, T. S., Hansen, M. S., Razavi, R. & Schaeffter, T. (2009). Whole-heart imaging using undersampled radial phase encoding (RPE) and iterative sensitivity encoding (SENSE) reconstruction. Magnetic Resonance in Medicine, 62(5), 1331-1337. https://doi.org/10.1002/mrm.22102

Hansen, K. A., Koucký, M. & Miltersen, P. B. (2009). Winning Concurrent Reachability Games Requires Doubly-Exponential Patience. Symposium on Logic in Computer Science, 332-341. https://doi.org/10.1109/LICS.2009.44

Arge, L. A. (2009). Worst-Case Efficient Range Searching: Invited Tutorial 2. I J. Paredaens & J. Su (red.), 28th Symposium on Principles of Database Systems: Proceedings (s. 175-176). Association for Computing Machinery. https://doi.org/10.1145/1559795.1559822

Uribe, S. A., Beerbaum, P., Rasmusson, A., Sørensen, T. S., Razavi, R. & Schaeffter, T. (2008). 4D Flow of the Whole Heart and Great Vessels at 3T Using Real Time Self Respiratory Gating. I Proceedings of the 16th Meeting and Exhibition of the International Society for Magnetic Resonance in Medicine: Vascular Hemodynamics. Computer 2. 2832 (Bind DVD). ISMRM.

Bennedsen, J. & Caspersen, M. E. (2008). Abstraction ability as an indicator of success for learning computing science? I Proceeding of the fourth international workshop on Computing education research: ICER 2008 (s. 15-26). Association for Computing Machinery. https://doi.org/10.1145/1404520.1404523

Sørensen, T. S., Schaeffter, T., Noe, K. Ø. & Schacht Hansen, M. (2008). Accelerating the Non-equispaced Fast Fourier Transform on Commodity Graphics Hardware. IEEE Transactions on Medical Imaging, 27(4), 538-547. https://doi.org/10.1109/TMI.2007.909834

Noe, K. Ø., De Senneville, B. D., Elstrøm, U. V., Tanderup, K. & Sørensen, T. S. (2008). Acceleration and validation of optical flow based deformable registration for image-guided radiotherapy. Acta Odontologica Scandinavica, 47(7), 1286-1293. https://doi.org/10.1080/02841860802258760

Noe, K. Ø., Mosegaard, J., Tanderup, K. & Sørensen, T. S. (2008). A framework for shape matching in deformable image registration. I Medicine Meets Virtual Reality 16 (s. 333-337). IOS Press.

Gilpin, A. G., Sandholm, T. & Sørensen, T. B. (2008). A heads-up no-limit Texas Hold'em poker player: Discretized betting models and automatically generated equilibrium-finding programs. I L. Padgham, D. Parkes, J. Müller & S. Parsons (red.), International Conference on Autonomous Agents: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2 SESSION: Economic paradigms (Bind 2, s. 911-918). International Foundation for Autonomous Agents and Multiagent Systems.

Bødker, S. (2008). A layered approach to user-centered security. I Proceedings of the 5th Nordic conference on Human-Computer Interaction Association for Computing Machinery.

Nielsen, M., Krukow, K. K. & Sassone, V. (2008). A Logical Framework for Reputation Systems. Journal of Computer Security, 16(1), 63-101. http://iospress.metapress.com/link.asp?id=2330826723581x76

Cameron, N. R., Drossopoulou, S. & Ernst, E. (2008). A Model for Java with Wildcards. Lecture Notes in Computer Science, 5142, 2-26. https://doi.org/10.1007/978-3-540-70592-5_2

Christensen, H. B., Börstler, J., Nordström, M., Kallin Westin, L., Moström, J. E. & Bennedsen, J. (2008). An Evaluation Instrument for Object-Oriented Example Programs for Novices. Department of Computer Science.

Klokmose, C. N. (2008). An Instrumental Paradigm for Ubiquitous Interaction. I W. P. Brinkman, D. H. Ham & B. L. W. Wong (red.), ACM International Conference Proceeding Series; vol 250: Proceedings of the 14th European conference on Cognitive ergonomics: invent! explore! (Bind 250, s. 257-260). Association for Computing Machinery.

Brodal, G. S., Georgiadis, L. & Katriel, I. (2008). An O(n log n) Version of the Averbakh-Berman Algorithm for the Robust Median of a Tree. Operations Research Letters, 36(1), 14 -18. https://doi.org/10.1016/j.orl.2007.02.012

Triandopoulos, N., Kapadia, A., Cornelius, C., Peebles, D. & Kotz, D. (2008). AnonySense: Opportunistic and Privacy-Preserving Context Collection. Lecture Notes in Computer Science, 280-297. https://doi.org/10.1007/978-3-540-79576-6_17

de Senneville, B. D., Noe, K. Ø., Ries, M., Pedersen, M., Moonen, C. & Sørensen, T. S. (2008). An optimised multi-baseline approach for on-line MR-temperature monitoring on commodity graphics hardware. I Fifth IEEE International Symposium on Biomedical Imaging (ISBI): From Nano to Macro (Bind Non-Optical micro-imaging, s. 1513-1516). IEEE. https://doi.org/10.1109/ISBI.2008.4540909

Zhang, W. & Hansen, K. M. (2008). An OWL/SWRL based Diagnosis Approach in a Web Service-based Middleware for Embedded and Networked System. I Proceeedings of the 20th International Conference on Software Engineering and Knowledge Engineering (s. 893-898). Knowledge Systems Institute.

Hansen, K. A., Hansen, T. D., Miltersen, P. B. & Sørensen, T. B. (2008). Approximability and Parameterized Complexity of Minmax Values. Lecture Notes in Computer Science, 5385, 684-695. https://doi.org/10.1007/978-3-540-92185-1_74

Danvy, O. & Millikin, K. (2008). A Rational Deconstruction of Landin's SECD Machine with the J Operator. Logical Methods in Computer Science, 4(4:12), 1.

Christensen, H. B. & Hansen, K. M. (2008). Architectural Prototyping in Industrial Practice. I R. Morrison, D. Balasubramaniam & K. Falkner (red.), Software Architecture: Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings (s. 196-209). Springer. https://doi.org/10.1007/978-3-540-88030-1_15

Styrup, J. & Flarup, E. O. (2008). Architectural styles for heteogeneous multicore processors: an emperical study using the cell broadband engine architecture and architectural prototyping. Aarhus Universitet, Datalogisk Institut.

Abam, M., de Berg, M. & Gudmundsson, J. (2008). A Simple and Efficient Kinetic Spanner. I M. Teillaud (red.), Annual Symposium on Computational Geometry: Proceedings of the twenty-fourth annual symposium on Computational geometry (Bind SESSION 9A, s. 306-310). Association for Computing Machinery.

Ostermann, K. (2008). Aspects and modular reasoning in nonmonotonic logic. I W. Harrison & S. Katz (red.), ACM International Conference Proceeding Series: Proceedings of the 6th workshop on Foundations of aspect-oriented languages (Bind 268, s. 59-64). Association for Computing Machinery.

Hirt, M., Nielsen, J. B. & Przydatek, B. (2008). Asynchronous Multi-Party Computation with Quadratic Communication. Lecture Notes in Computer Science, 5126, 473-485. https://doi.org/10.1007/978-3-540-70583-3_39

Triandopoulos, N., Goodrich, M. T., Papamanthou, C. & Tamassia, R. (2008). Athos: Efficient Authentication of Outsourced File Systems: Information Security. Lecture Notes in Computer Science, 80-96. https://doi.org/10.1007/978-3-540-85886-7_6

Pedersen, M. Ø. (2008). Authentication and Privacy with Application to Pervasive Computing. Aarhus Universitetsforlag.

Damgård, I. B. (red.), Aceto, L., Goldberg, L. A., Halldórsson, M. M., Ingólfsdóttir, A. & Walukiewicz, I. (2008). Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I. Springer. Lecture Notes in Computer Science Bind 5125 https://doi.org/10.1007/978-3-540-70575-8

Aceto, L., Damgård, I. B., Goldberg, L. A., Halldórsson, M. M., Ingólfsdóttir, A. & Walukiewicz, I. (2008). Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II. Springer. Lecture Notes in Computer Science Bind 5126 https://doi.org/10.1007/978-3-540-70583-3

Danvy, O., Henglein, F., Mairson, H. & Pettorossi, A. (red.) (2008). Automatic Program Development: A Tribute to Robert Paige. Springer.

Bødker, S. & Petersen, A. B. (2008). Between casual commitment and cross-media articulation – the faith of the Napkin. I P. Hassanaly, A. Ramrajsingh, D. Randall, P. Salembier & M. Tixier (red.), Proceeding of the 8th International Conference on the Design of Cooperative Systems 2008: COOP'08: Conference on the Design of Cooperative Systems 2008 (s. 75-84). Institut d'Etudes Politiques d'Aix-en-Provence.

Aarhus, R. & Ballegaard, S. A. (2008). Boligbesøg 2008.

Arge, L., Mølhave, T. & Zeh, N. (2008). Cache-Oblivious Red-Blue Line Segment Intersection. Lecture Notes in Computer Science, 78-87. https://doi.org/10.1007/978-3-540-87744-8_8

Brodal, G. S. (2008). Cache-Oblivious Sorting. I M.-Y. Kao (red.), Encyclopedia of Algorithms (Bind 3, s. 126-129). Springer. https://doi.org/10.1007/978-0-387-30162-4_63

Hansen, M. S., Atkinson, D. & Sørensen, T. S. (2008). Cartesian SENSE and k-t SENSE reconstruction using commodity graphics hardware. Magnetic Resonance in Medicine, 59(3), 463-468. https://doi.org/10.1002/mrm.21523

Ebbesen, S. M. S., Zachariae, R., Mehlsen, M. Y., Jensen, A. H. & Ingerslev, H. J. (2008). Catastrophizing as a predictor of pain during the egg retrieval procedure following in vitro fertilization (IVF). I 10th International Congress of Behavioral Medicine. Abstract book (s. 33). International Society of Behavioral Medicine.

Besenbacher, S. (2008). Challenges in whole-genome association mapping.

Zander, P.-O. (2008). Collaborative Process Change by Inscription: A Contested Terrain for Interaction Designers. KFS i Lund AB.

Petersen, M. G. & Krogh, P. (2008). Collective Interaction – Let’s join forces. I Proceedings of the 8th International Conference on the Design of Cooperative Systems (COOP'08) IEEE.

Jørgensen, J. B. (2008). Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns. Expert Systems, 25(1), 54-73. https://doi.org/10.1111/j.1468-0394.2008.00454.x

Atkinson, D., Schacht Hansen, M., Sørensen, T. S., Taylor, Z., Modat, M. & Ourselin, S. (2008). Commodity Graphics Cards for Image Registration, Biomechanical Modelling and Cardiac Imaging. I Bioengineering 08: Imaging (image processing, clinical imaging, novel optical and molecular) (Bind Room: RSM 3.03, s. 86-86). Imperial College London.

Kortbek, K. J. & Grønbæk, K. (2008). Communicating Art through Interactive Technology: New Approaches for Interaction Design in Art Museums. I K. Tollmar & B. Jönsson (red.), Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges (s. 229-238). Association for Computing Machinery. https://doi.org/10.1145/1463160.1463185

Olsen, M. (2008). Communities in Large Networks: Identification and Ranking. Lecture Notes in Computer Science, 4936, 84-96.

Britz, D., Østerby, O. & Strutwolf, J. (2008). Comparison of flux approximations in electrochemical digital simulation. Part 2: Complications due to homogeneous chemical reactions, charge estimation and application to the ultramicrodisk electrode. Journal of Electroanalytical Chemistry, 622(1), 51-58. https://doi.org/10.1016/j.jelechem.2008.05.013

Larsen, S. B. & Bardram, J. E. (2008). Competence articulation: Alignment of competences and responsibilities in synchronous telemedical collaboration. I M. Czerwinski, A. Lund & D. Tan (red.), CHI 2008 Proceedings: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems (s. 553-562). Association for Computing Machinery.

King, T. & Kjærgaard, M. B. (2008). ComPoScan: Adaptive Scanning for Efficient Concurrent Communications and Positioning with 802.11. I D. Grunwald, R. Han, E. de Lara & C. Schlatter Ellis (red.), Proceedings of the 6th ACM International Conference on Mobile Systems, Applications, and Services (Mobisys 2008): SESSION: Stretching WiFi (Bind Session 2, s. 67-80). Association for Computing Machinery. https://doi.org/10.1145/1378600.1378609

Viser resultater 3651 til 3700 ud af 6083

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series