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

Büscher, M., Christensen, M., Hansen, K. M., Mogensen, P. H. & Shapiro, D. (2009). Bottom-up, top-down? Connecting software architecture design with use. In A. Voss, M. Hartswood, J. K. Ho, R. Procter, M. Rouncefield, R. Slack & M. Büscher (Eds.), Configuring user-designer relations: Interdisciplinary perspectives (pp. 157-191). Springer. https://doi.org/10.1007/978-1-84628-925-5_8

Simonsen, M., Mailund, T. & Pedersen, C. S. (2009). Building very large neighbour-joining trees. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden.

Afshani, P., Hamilton, C. & Zeh, N. (2009). Cache-oblivious range reporting with optimal queries requires superlinear space. In Proceedings of the 25th annual symposium on Computational geometry (pp. 277-286). Association for Computing Machinery. https://doi.org/10.1145/1542362.1542412

Arge, L., de Berg, M. & Haverkort, H. (2009). Cache-Oblivious R-trees. Algorithmica, 53(1), 50-68. https://doi.org/10.1007/s00453-007-9007-8

Bohøj, M. & Bouvin, N. O. (2009). Collaborative Time-based Case Work. In C. Cattuto, G. Ruffo & F. Menczer (Eds.), Proceedings of the 20th ACM conference on Hypertext and Hypermedia (Vol. SESSION: Applications, pp. 141-146). Association for Computing Machinery. https://doi.org/10.1145/1557914.1557940

Jensen, K. & Kristensen, L. M. (2009). Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer. https://doi.org/10.1007/b95112

Lassen, K. B. & van der Aalst, W. M. P. (2009). Complexity Metrics for Workflow Nets. Information and Software Technology, 51(3), 610-626.

Toft, T. (2009). Constant-Rounds, Almost-Linear Bit-Decomposition of Secret Shared Values. Lecture Notes in Computer Science, 357-371. https://doi.org/10.1007/978-3-642-00862-7_24

Midtgaard, J. & Jensen, T. P. (2009). Control-flow analysis of function calls and returns by abstract interpretation. In G. Hutton & T. Andrew (Eds.), Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (pp. 287-298). Association for Computing Machinery. https://doi.org/10.1145/1596550.1596592

Jørgensen, A. G., Brodal, G. S., Mølhave, T. & Moruz, G. (2009). Counting in the Presence of Memory Faults. Lecture Notes in Computer Science, 5878, 842-851. https://doi.org/10.1007/978-3-642-10631-6_85

Marti, P., Pollini, A., Rullo, A., Giusti, L. & Grönvall, E. (2009). Creative interactive play for disabled children. In P. Paolini, F. Garzotto & F. Garzotto (Eds.), Proceedings of the 8th International Conference on Interaction Design and Children: WORKSHOP SESSION: Creative interactive play for disabled children (pp. 313-316). Association for Computing Machinery. https://doi.org/10.1145/1551788.1551871

Nielsen, J. J., Grønbæk, L. J., Schwefel, H.-P., Renier, T. J. & Toftegaard, T. S. (2009). Cross - Layer Optimization of Multipoint Message Broadcast in MANETs. I E E E Wireless Communications and Networking Conference. Proceedings, 1-6. https://doi.org/10.1109/WCNC.2009.4917654

Jørgensen, A. G. & Brodal, G. S. (2009). Data Structures for Range Median Queries. Lecture Notes in Computer Science, 842-851. https://doi.org/10.1007/978-3-642-10631-6_83

Godsk, T. & Kjærgaard, M. B. (2009). Decision Making for Cattle using Movement-based Pattern Recognition. Poster session presented at Joint International Agricultural Conference, JIAC, Wageningen, Netherlands.

Noe, K. Ø. (2009). Deformable Image Registration for Use in Radiotherapy: Using GPU Acceleration. Aarhus Universitetsforlag.

Milagro, F., Antolin, P., Fernandes, J. M., Zhang, W., Hansen, K. M. & Kool, P. (2009). Deploying Pervasive Web Services over a P2P Overlay. In S. M. Reddy (Ed.), Proceedings of the 18th International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (pp. 240-245). IEEE Computer Society Press. https://doi.org/10.1109/WETICE.2009.39

Hansen, K. A. (2009). Depth Reduction for Circuits with a Single Layer of Modular Counting Gates. Lecture Notes in Computer Science, 5675, 117-128. https://doi.org/10.1007/978-3-642-03351-3_13

Petersen, M. G. & Krogh, P. (2009). Design Articulations for Aesthetics of Interaction. In 4th Designing Pleasurable Products and Interfaces (DPPI) Association for Computing Machinery.

Sørensen, T. S., Beerbaum, P., Mosegaard, J. & Greil, G. F. (2009). Developing and Evaluating Virtual Cardiotomy for Preoperative Planning in Congenital Heart Disease. In Medicine Meets Virtual Reality 17 (pp. 340-345). IOS Press. https://doi.org/10.3233/978-1-58603-964-6-340

Brix, L., Christoffersen, C. P. V., Kristiansen, M. S. & Sørensen, T. S. (2009). Development of a Semi-Automatic Technique for Flow Estimation using Optical Flow Registration and k-means Clustering on Two Dimensional Cardiovascular Magnetic Resonance Flow Images. Poster session presented at 27. Danske medicotekniske landsmøde, Brædstrup, Denmark.

Bunde-Pedersen, J. B. (2009). Distributed Interaction for Activity-Based computing. Aarhus Universitetsforlag.

Geisler, M. J. & Smart, N. P. (2009). Distributing the Key Distribution Centre in Sakai-Kasahara Based Systems. Lecture Notes in Computer Science, 252-262. https://doi.org/10.1007/978-3-642-10868-6_15

Brodal, G. S., Kaporis, A. C., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2009). Dynamic 3-sided Planar Range Queries with Expected Doubly Logarithmic Time. Lecture Notes in Computer Science, 5878, 193-202. https://doi.org/10.1007/978-3-642-10631-6_21

Frandsen, G. S. & Frandsen, P. F. (2009). Dynamic Matrix Rank. Theoretical Computer Science, 410(41), 4085-4093. https://doi.org/10.1016/j.tcs.2009.06.012

Riva, O., Kristensen, M. D. & Porras, J. (2009). Dynamic Resource Management and Cyber Foraging. In B. Garbinato, H. Miranda & L. Rodrigues (Eds.), Middleware for Network Eccentric and Mobile Applications (pp. 349-368). Springer.

Evangelista, S. & Kristensen, L. M. (2009). Dynamic State Space Partitioning for External Memory Model Checking. Lecture Notes in Computer Science, 70-85. https://doi.org/10.1007/978-3-642-04570-7_7

Danvy, O. & Padget, J. (2009). Editorial. Higher-Order and Symbolic Computation, 22(1), 1-1. https://doi.org/10.1007/s10990-009-9041-0

Danvy, O. & Talcott, C. (2009). Editorial. Higher-Order and Symbolic Computation, 22(2), 113-113. https://doi.org/10.1007/s10990-009-9045-9

Bertelsen, O. W., Breinbjerg, M. & Pold, S. (2009). Emerging Materiality: Reflections on creative use of software in electronic music composition. Leonardo: Art Science and Technology, 42(3), 197-202. https://doi.org/10.1162/leon.2009.42.3.197

Blunck, H., Kjærgaard, M. B., Godsk, T., Toftkjær, T., Christensen, D. L. & Grønbæk, K. (2009). Empirical Analysis and Characterization of Indoor GPS Signal Fading and Multipath Conditions. In Proceedings of the 22nd International Technical Meeting of the Satellite Division of the Institute of Navigation (GNSS 2009) (Vol. Session 2E, pp. 2363). The Institute of Navigation.

Andersen, J. & Hansen, M. T. (2009). Energy Bucket: A Tool for Power Profiling and Debugging of Sensor Nodes. In C. Paleologu (Ed.), The Third International Conference on Sensor Technologies and Applications, SENSORCOMM 2009 (pp. 132-138). IEEE Computer Society Press. https://doi.org/10.1109/SENSORCOMM.2009.29

Achenbach, M. & Ostermann, K. (2009). Engineering Abstractions in Model Checking and Testing. IEEE International Working Conference on Source Code Analysis and Manipulation. Proceedings, 137-146. https://doi.org/10.1109/SCAM.2009.25

Kjærgaard, M. B., Jensen, J. L., Godsk, T. & Toftkjær, T. (2009). EnTracked: Energy-Efficient Robust Position Tracking for Mobile Devices. In Proceedings of the 7th ACM International Conference on Mobile Systems, Applications and Services (MobiSys 2009): SESSION: Location (pp. 221-234). Association for Computing Machinery. https://doi.org/10.1145/1555816.1555839

Mogensen, M. (2009). Epidemic Protocols for Pervasive Computing Systems - Moving Focus from Architecture to Protocol. In L. Veiga, D. Donsez, O. Riva & S. Terzis (Eds.), Proceedings of the International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2009) (pp. Article 6). Association for Computing Machinery.

Lemelson, H., Kjærgaard, M. B., Hansen, R. & King, T. (2009). Error Estimation for Indoor 802.11 Location Fingerprinting. Lecture Notes in Computer Science, 138-155. https://doi.org/10.1007/978-3-642-01721-6_9

Damgård, I. B., Nielsen, J. B. & Orlandi, C. (2009). Essentially Optimal Universally Composable Oblivious Transfer. Lecture Notes in Computer Science, 5461, 1-14. https://doi.org/10.1007/978-3-642-00730-9

Zander, P.-O., Bødker, S. & Borchorst, N. G. (2009). Executive Summary - Barselsorlov.

Escamocher, G., Miltersen, P. B. & Santillan, R. (2009). Existence and computation of equilibria of first-price auctions with integral valuations and bids. In K. S. Decker, J. S. Sichman, C. Sierra & C. Castelfranchi (Eds.), Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09): SESSION: Interactions (Vol. 2, pp. 1227-1228). International Foundation for Autonomous Agents and Multiagent Systems. http://delivery.acm.org/10.1145/1560000/1558225/p1227-escamocher.pdf?key1=1558225&key2=4204373621&coll=GUIDE&dl=GUIDE&CFID=73345521&CFTOKEN=52226755

Zander, P.-O. & Bohøj, M. (2009). Experiencing Democracy: a Research Proposal. D A I M I P B, (591), 63-66.

Boggs, N. A., Dwyer, K. G., Shah, P., McCulloch, A. A., Bechsgaard, J., Schierup, M. H., Nasrallah, M. E. & Nasrallah, J. B. (2009). Expression of distinct self-incompatibility specificities in Arabidopsis thaliana. Genetics, 182(4), 1313-21. https://doi.org/10.1534/genetics.109.102442

Wolff, S., Larsen, P. G., Lausdahl, K., Ribeiro, A. & Toftegaard, T. S. (2009). Facilitating Home Automation Through Wireless Protocol Interoperability. Proceedings of the Wireless Personal Multimedia Communications Symposia.

Jørgensen, A. G., Brodal, G. S. & Mølhave, T. (2009). Fault Tolerant External Memory Algorithms. Lecture Notes in Computer Science, 5664, 411-422. https://doi.org/10.1007/978-3-642-03367-4_36

Nemitz, O., Nielsen, M. B., Rumpf, M. & Whitaker, R. (2009). Finite Element Methods On Very Large, Dynamic Tubular Grid Encoded Implicit Surfaces. S I A M Journal on Scientific Computing, 31(3), 2258-2281. https://doi.org/10.1137/080718334

Ernst, E. (2009). First-Class Object Sets. Lecture Notes in Computer Science, 5497, 83-99. https://doi.org/10.1007/978-3-642-02444-3_6

Tjell, S. (2009). Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets. Aarhus Universitetsforlag.

Jørgensen, J. B., Tjell, S. & Fernandes, J. M. (2009). Formal Requirements Modeling with Executable Use Cases and Coloured Petri Nets. Innovations in Systems and Software Engineering, 5(1), 13. https://doi.org/10.1007/s11334-009-0075-6

Uribe, S., Beerbaum, P., Sørensen, T. S., Rasmusson, A., Razavi, R. & Schaeffter, T. (2009). Four-dimensional (4D) flow of the whole heart and great vessels using real-time respiratory self-gating. Magnetic Resonance in Medicine, 62(4), 984-992. https://doi.org/10.1002/mrm.22090

Kallel, S., Charfi, A., Mezini, M., Jmaiel, M. & Klose, K. (2009). From Formal Access Control Policies to Runtime Enforcement Aspects. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-00199-4_2

Danvy, O. (2009). From Reduction-Based to Reduction-Free Normalization: Lecture notes including 70+ exercises. Lecture Notes in Computer Science, 66-164. https://doi.org/10.1007/978-3-642-04652-0_3

Abam, M., de Berg, M., Farshi, M., Gudmundsson, J. & Smid, M. (2009). Geometric Spanners for Weighted Point Sets. Lecture Notes in Computer Science, 190-202. https://doi.org/10.1007/978-3-642-04128-0_17

Displaying results 3201 to 3250 out of 5740

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University