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

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

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. In Human-Computer Interaction – INTERACT 2009: 12th IFIP TC 13 International Conference Uppsala, Sweden, August 24-28, 2009 Proceedings, Part II (pp. 429-442). Springer. https://doi.org/10.1007/978-3-642-03658-3_47

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. In 50th Annual Symposium on Foundations of Computer Science. Proceedings (pp. 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 presented at 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden.

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 presented at NordiCHI. Workshop on User centered Security., Lund, Sweden.

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. In J. Filipe & J. Cordeiro (Eds.), WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies (pp. 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

Abam, M. & de Berg, M. (2009). Kinetic spanners in R^d. In J. Hershberger & E. Fogel (Eds.), Annual Symposium on Computational Geometry: SESSION: Monday, June 8th, 10:50-11:50 am (pp. 43-50). Association for Computing Machinery. https://doi.org/10.1145/1542362.1542371

Moeslund, J. E., Arge, L., Bøcher, P. K., Nygaard, B. & Svenning, J.-C. (2009). Konsekvenser af "coastal squeezing" for plantesamfund på strandenge i Danmark.

Nielsen, J. D. (2009). Languages for Secure Multiparty Computation and Towards Strongly Typed Macros. Aarhus Universitetsforlag.

Kristensen, T. G., Pedersen, C. S., Thomsen, R. & Christensen, M. H. (2009). Largest Common Chemical Feature Subtree as a Virtual Screening Method. Poster session presented at 17th Annual International Conference on Intelligent Systems for Molecular Bioligy (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sweden. http://www.iscb.org/ismbeccb2009/poster_list.php?cat=C

Nevo, I., Kapishnikov, S., Birman, A., Dong, M., Cohen, S. R., Kjaer, K., Besenbacher, F., Stapelfeldt, H., Seideman, T. & Leiserowitz, L. (2009). Laser-induced aligned self-assembly on water surfaces. Journal of Chemical Physics, 130(14), 144704. https://doi.org/10.1063/1.3108540

Displaying results 3401 to 3450 out of 5913

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University