Publikationer

Søg publikationer fra Institut for Datalogi

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

Bødker, S., Zander, P.-O. & Borchorst, N. G. (2009). The boundaries of participatory citizenship. I I. Wagner, H. Tellioglu, E. Balka, C. Simone & L. Ciolfi (red.), Proceedings of the 11th European Conference on Computer Supported Cooperative Work, (ECSCW) (s. 1-20). Springer. https://doi.org/10.1007/978-1-84882-854-4_1

Evangelista, S., Westergaard, M. & Kristensen, L. M. (2009). The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. Lecture Notes in Computer Science, 5800, 189-215. https://doi.org/10.1007/978-3-642-04856-2_8

Andersson, D. & Miltersen, P. B. (2009). The complexity of solving stochastic games on graphs. Lecture Notes in Computer Science, 112-121. https://doi.org/10.1007/978-3-642-10631-6_13

Aarhus, R., Ballegaard, S. A. & Hansen, T. R. (2009). The eDiary: Bridging home and hospital through healthcare technology. I E. Balka, L. Ciolofi, C. Simone, H. Tellioglu & I. Wagner (red.), Proceedings of the 11th European Conferenceon Computer Supported Cooperative Work (s. 63-83). Springer. https://doi.org/10.1007/978-1-84882-854-4_4

Mahmud, N., Vermeulen, J., Luyten, K. & Coninx, K. (2009). The Five Commandments of Activity-Aware Ubiquitous Computing Applications. HCI International '07, 257-264. https://doi.org/10.1007/978-3-642-02809-0_28

Moeslund, J. E., Arge, L. A., Bøcher, P. K., Nygaard, B. & Svenning, J.-C. (2009). The impacts of coastal squeezing on salt-meadow plant communities in Denmark. Poster-session præsenteret på Beyond Kyoto: Addressing the challenges of climate change, Aarhus, Danmark.

Roune, B. H. (2009). The Slice Algorithm For Irreducible Decomposition of Monomial Ideals. Journal of Symbolic Computation, 44(4), 358-381.

Rasmusson, A. (2009). The Spatiale Rotator. I V. Capasso et al., Ed. (red.), Stereology and Image Analysis. Ecs10: Proceeding of the 10th European Conference of ISS. (Bind 4). ESCULAPIO Pub. Co, Bologna. http://newrobin.mat.unimi.it/OCS/index.php/ECS/ecs10/paper/view/199

Sorensen, M. S., Mosegaard, J. & Mikkelsen, P. T. (2009). The visible ear simulator: a public PC application for GPU-accelerated haptic 3D simulation of ear surgery based on the visible ear data. Otology & Neurotology, 30(4), 484-7. https://doi.org/10.1097/MAO.0b013e3181a5299b

Brix, L., Ringgaard, S., Rasmusson, A., Sørensen, T. S. & Kim, W. Y. (2009). Three dimensional three component whole heart cardiovascular magnetic resonance velocity mapping: comparison of flow measurements from 3D and 2D acquisitions. Journal of Cardiovascular Magnetic Resonance, 11(1), 3. https://doi.org/10.1186/1532-429X-11-3

Bohøj, M. (2009). Timelines as a Collaborative Planning Tool. Daimi Report Series (DAIMI PB), (591), 6-9.

Espensen, K. L., Kjeldsen, M. K., Kristensen, L. M. & Westergaard, M. (2009). Towards Automatic Code-generation from Process-partitioned Coloured Petri Nets. Daimi Report Series (DAIMI PB), (590), 41-60.

Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. Lecture Notes in Computer Science, 5700, 162-185. https://doi.org/10.1007/978-3-642-04164-8_9

Biernacka, M. & Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. Lecture Notes in Computer Science, 5700, 186-206. https://doi.org/10.1007/978-3-642-04164-8_10

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation. I C. Frydman, F. Longo & K. Mekouar (red.), 21st European Modeling and Simulation Symposium: International Mediterranean and Latin American Modelling Multiconference (s. 47-53). Universidad De La Laguna.

Streit, M., Schulz, H.-J., Schmalstieg, D. & Schumann, H. (2009). Towards Multi-User Multi-Level Interaction. I P. Isenberg, M. Sedlmair, D. Baur, T. Isenberg & A. Butz (red.), Proceedings of the Workshop on Collaborative Visualization on Interactive Surfaces CoVIS 2009 (s. 5-8). https://www.medien.ifi.lmu.de/forschung/publikationen/detail?pub=isenberg2010covis

Hansen, K. M., Zhang, W. & Fernandes, J. M. (2009). Towards open world software architectures with semantic architecture styles, components and connectors. I Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009) (s. 40-49). IEEE Computer Society Press. https://doi.org/10.1109/ICECCS.2009.7

Jensen, K. & Wil M.P. van der, A. (red.) (2009). Transactions on Petri Nets and Other Models of Concurrency II: ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems. Springer. Lecture Notes in Computer Science Bind 5460 https://doi.org/10.1007/978-3-642-00899-3

Jensen, K., Billington, J. & Koutny, M. (red.) (2009). Transactions on Petri Nets and Other Models of Concurrency III: ToPNoC. Springer. Lecture Notes in Computer Science Bind 5800 https://doi.org/10.1007/978-3-642-04856-2

Jensen, S. H., Møller, A. & Thiemann, P. (2009). Type Analysis for JavaScript. Lecture Notes in Computer Science, 5673, 238–255. https://doi.org/10.1007/978-3-642-03237-0_17

Rendel, T., Ostermann, K. & Hofer, C. (2009). Typed Self-Representation. I Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (s. 293-303). Association for Computing Machinery. https://doi.org/10.1145/1542476.1542509

Damgård, I. B., Nielsen, J. B. & Wichs, D. (2009). Universally Composable Multiparty Computation with Partially Isolated Parties. Lecture Notes in Computer Science, 5444, 315-331. https://doi.org/10.1007/978-3-642-00457-5_19

Dalsgaard, P., Dindler, C., Stuedahl, D. & Smørdal, O. (2009). Use of blogs for studying users' engagement with mobile telephones in museum environment. I Proceedings of the 2007 Tenth European Conference on Computer-Supported Cooperative Work (Bind Limerick, Irland). Springer Science+Business Media.

Emily, M., Mailund, T., Hein, J., Schauser, L. & Schierup, M. H. (2009). Using biological networks to search for interacting loci in genomewide association studies. European Journal of Human Genetics. https://doi.org/10.1038/ejhg.2009.15

Brabrand, C. & Dahl, B. (2009). Using the SOLO taxonomy to Analyze competence progression of university science curricula. Higher Education, 58(4), 531-549. https://doi.org/10.1007/s10734-009-9210-4

Zander, P.-O. (2009). Verksamhetsteori. I S. Hrastinski (red.), Nätbaserad utbildning: en introduktion Studentlitteratur.

Grönvall, E., Aarhus, R. & Larsen, S. B. (2009). Vestibular rehabilitation in the home: Design challenges. Daimi Report Series (DAIMI PB), (591), 22-25.

Klokmose, C. N. & Beaudouin-Lafon, M. (2009). VIGO: Instrumental Interaction in Multi-Surface Environments. I D. R. Olsen Jr. & R. B. Arthur (red.), CHI '09 Proceedings of the 27th International Conference on Human factors in Computing Systems (Bind SESSION: Programming tools and architectures, s. 869-878). Association for Computing Machinery. https://doi.org/10.1145/1518701.1518833

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.

Viser resultater 3601 til 3650 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series