Publikationer

Søg publikationer fra Institut for Datalogi

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

Bohøj, M. & Bouvin, N. O. (2009). Collaborative Time-based Case Work. I C. Cattuto, G. Ruffo & F. Menczer (red.), Proceedings of the 20th ACM conference on Hypertext and Hypermedia (Bind SESSION: Applications, s. 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. I G. Hutton & T. Andrew (red.), Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (s. 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. I P. Paolini, F. Garzotto & F. Garzotto (red.), Proceedings of the 8th International Conference on Interaction Design and Children: WORKSHOP SESSION: Creative interactive play for disabled children (s. 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 præsenteret på Joint International Agricultural Conference, JIAC, Wageningen, Holland.

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. I S. M. Reddy (red.), Proceedings of the 18th International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (s. 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. I 4th Designing Pleasurable Products and Interfaces (DPPI) Association for Computing Machinery.

Petersen, M. G., Ljungblad, S. & Håkansson, M. (2009). Designing for Playful Photography. New Review of Hypermedia and Multimedia, 15(2), 193-209.

Sørensen, T. S., Beerbaum, P., Mosegaard, J. & Greil, G. F. (2009). Developing and Evaluating Virtual Cardiotomy for Preoperative Planning in Congenital Heart Disease. I Medicine Meets Virtual Reality 17 (s. 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 præsenteret på 27. Danske medicotekniske landsmøde, Brædstrup, Danmark.

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. I B. Garbinato, H. Miranda & L. Rodrigues (red.), Middleware for Network Eccentric and Mobile Applications (s. 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. I Proceedings of the 22nd International Technical Meeting of the Satellite Division of the Institute of Navigation (GNSS 2009) (Bind Session 2E, s. 2363). The Institute of Navigation.

Andersen, J. & Hansen, M. T. (2009). Energy Bucket: A Tool for Power Profiling and Debugging of Sensor Nodes. I C. Paleologu (red.), The Third International Conference on Sensor Technologies and Applications, SENSORCOMM 2009 (s. 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. I Proceedings of the 7th ACM International Conference on Mobile Systems, Applications and Services (MobiSys 2009): SESSION: Location (s. 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. I L. Veiga, D. Donsez, O. Riva & S. Terzis (red.), Proceedings of the International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2009) (s. Article 6). Association for Computing Machinery.

Barker, J. S. F., Frydenberg, J., González, J., Davies, H. I., Ruiz, A., Sørensen, J. G. & Loeschcke, V. (2009). Erratum: Bottlenecks, population differentiation and apparent selection at microsatellite loci in Australian Drosophila buzzatii (Heredity (2009) 102 (626) DOI:10.1038/hdy.2009.43). Heredity, 102(6). https://doi.org/10.1038/hdy.2009.43

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. I K. S. Decker, J. S. Sichman, C. Sierra & C. Castelfranchi (red.), Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'09): SESSION: Interactions (Bind 2, s. 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. Daimi Report Series (DAIMI PB), (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

Nielsen, J. K., Freckmann, G., Kapitza, C., Ocvirk, G., Koelker, K. H., Amann-Zalan, I., Gillen, R., Kamecke, U., Jendrike, N., Christiansen, J. S., Koschinsky, T. & Heinemann, L. (2009). Glucose monitoring by microdialysis: performance in a multicentre study. Diabetic Medicine, 26(7), 714-21. https://doi.org/10.1111/j.1464-5491.2009.02750.x

Gammelby, P. & Sørensen, T. S. (2009). Grafikkort simulerer hjerteoperationer. Aktuel Naturvidenskab, 5(2009), 14-15. http://www.videnskab.dk/composite-3366.htm

Viser resultater 3451 til 3500 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series