Publikationer

Søg publikationer fra Institut for Datalogi

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

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, 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

Nielsen, M. B., Christensen, B. B., Bin Zafar, N., Roble, D. & Museth, K. (2009). Guiding of Smoke Animations Through Variational Coupling of Simulations at Different Resolutions. ACM SIGGRAPH Symposium on Computer Animation, 217-226. http://delivery.acm.org/10.1145/1600000/1599499/p217-nielsen.pdf?key1=1599499&key2=4989534621&coll=GUIDE&dl=GUIDE&CFID=72903366&CFTOKEN=26156409

Mølhave, T. (2009). Handling Massive Terrains and Unreliable Memory. Aarhus Universitetsforlag.

Andersson, D. (2009). Hashiwokakero is NP-Complete. Information Processing Letters, 109(19), 1145. https://doi.org/10.1016/j.ipl.2009.07.017

Hansen, K. A., Lachish, O. & Miltersen, P. B. (2009). Hilbert's thirteenth problem and circuit complexity. Lecture Notes in Computer Science, 5878, 153-162. https://doi.org/10.1007/978-3-642-10631-6_17

Ham, F. V., Schulz, H.-J. & Dimicco, J. M. (2009). Honeycomb: Visual Analysis of Large Scale Social Networks. I Human-Computer Interaction – INTERACT 2009: 12th IFIP TC 13 International Conference Uppsala, Sweden, August 24-28, 2009 Proceedings, Part II (s. 429-442). Springer. https://doi.org/10.1007/978-3-642-03658-3_47

Helms, J., Schaefer, R., Luyten, K., Vermeulen, J., Abrams, M., Coyette, A. & Vanderdonckt, J. (2009). Human-Centered Engineering Of Interactive Systems With The User Interface Markup Language. I Human-Centered Software Engineering - Software Engineering Models, Patterns and Architectures for HCI (s. 139-171) https://doi.org/10.1007/978-1-84800-907-3_7

Vermeulen, J., Slenders, J., Luyten, K. & Coninx, K. (2009). I Bet You Look Good on the Wall: Making the Invisible Computer Visible. Unspecified journal, 196-205. https://doi.org/10.1007/978-3-642-05408-2_24

Moeslund, J. E., Bøcher, P. K., Svenning, J.-C., Møllehave, T. & Arge, L. (2009). Impacts of 21^stcentury sea-level rise on a Danish major city - an assessment based on fine-resolution digital topography and a new flooding algorithm. IOP Conference Series: Earth and Environment Science, 8(1), 012022. https://doi.org/10.1088/1755-1315/8/1/012022

Hansen, T. D. & Telelis, O. (2009). Improved Bounds for Facility Location Games with Fair Cost Allocation. Lecture Notes in Computer Science, 174-185. https://doi.org/10.1007/978-3-642-02026-1_16

Damgård, I. B., Fehr, S., Lunemann, C., Salvail, L. & Schaffner, C. (2009). Improving the Security of Quantum Protocols via Commit-and-Open. Lecture Notes in Computer Science, 408-427. https://doi.org/10.1007/978-3-642-03356-8_24

Vestergaard Mogensen, M. (2009). Infrastructure Support for Collaborative Pervasive Computing Systems. Aarhus Universitetsforlag.

Afshani, P., Barbay, J. & Chan, T. M. (2009). Instance-optimal geometric algorithms. I 50th Annual Symposium on Foundations of Computer Science. Proceedings (s. 129-138). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2009.34

Geisler, M. J. & Cachin, C. (2009). Integrity Protection for Revision Control. Lecture Notes in Computer Science, 382-399. https://doi.org/10.1007/978-3-642-01957-9_24

Bohøj, M. & Bouvin, N. O. (2009). Interacting with case work documents using time lines. Lecture Notes in Computer Science, 904-907. https://doi.org/10.1007/978-3-642-03658-3_107

Kortbek, K. J. (2009). Interaktive audiodramaer i byens rum. Peripeti, 11, 43-54. http://www.peripeti.dk/2009/06/12/interaktivitet/

Nielsen, J., Pedersen, C. S. & Hein, J. (2009). Investigation of a simple heuristic improving the speed of statistical alignments. Poster-session præsenteret på 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sverige.

Arge, L. A. & Revsbæk, M. (2009). I/O-Efficient Contour Tree Simplification. Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-10631-6_116

Mathiasen, N. R. (2009). It-security seen from a user experience perspective. Poster-session præsenteret på NordiCHI. Workshop on User centered Security., Lund, Sverige.

Danvy, O., Shan, C. & Zerny, I. S. (2009). J Is for JavaScript: A Direct-Style Correspondence between Algol-Like Languages and JavaScript Using First-Class Continuations. Lecture Notes in Computer Science, 1-19. https://doi.org/10.1007/978-3-642-03034-5_1

Møller, A. & Schwarz, M. R. (2009). JWIG: Yet Another Framework for Maintainable and Secure Web Applications. I J. Filipe & J. Cordeiro (red.), WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies (s. 47-53). Institute for Systems and Technologies of Information, Control and Communication.

Petersen, L. K., Vaesel, H., Brønsgaard, P. H., Kolby, P. & Madsen, K. G. (2009). Kendskab til humant papillomvirus-relateret sygdom blandt kvinder i almen praksis. Ugeskrift for Læger, 171(14), 1173-7.

Abam, M. & de Berg, M. (2009). Kinetic kd-Trees and Longest-Side kd-Trees. S I A M Journal on Computing, 39(4), 1219. http://scitation.aip.org/getpdf/servlet/GetPDFServlet?filetype=pdf&id=SMJCAT000039000004001219000001&idtype=cvips

Viser resultater 3551 til 3600 ud af 6139

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series