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

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

Nielsen, J. B. & Orlandi, C. (2009). LEGO for Two-Party Secure Computation. Lecture Notes in Computer Science, 5444, 368-386. https://doi.org/10.1007/978-3-642-00457-5_22

Thorbek, R. I. (2009). Linear Integer Secret Sharing. Aarhus Universitetsforlag.

Olsen, M. (2009). Link Building. Aarhus Universitetsforlag.

Besenbacher, S., Mailund, T. & Schierup, M. H. (2009). Local phylogeny mapping of quantitative traits: Higher accuracy and better ranking than single marker association in genomewide scans. Genetics, 181, 747-753.

Buscher, M. & Mogensen, P. H. (2009). Matereal methods. In M. Buscher, D. Goodwin & J. Mesman (Eds.), Ethnographies of diagnostic work: Dimensions of transformative practice Palgrave Macmillan.

Petersen, M. G., Gude, R., Nielsen, K. R. & Grønbæk, K. (2009). MediaJourney: capturing and sharing digital media from real-world and virtual journeys. Poster session presented at ACM Conference on Hypertext and Hypermedia, HT, Torino, Italy. https://doi.org/10.1145/1557914.1557979

Kyng, M. & Kristensen, M. (2009). Media Spaces, Emergency Response and Palpable Technologies. Computer Supported Cooperative Work, 325-349. https://doi.org/10.1007/978-1-84882-483-6_20

Korn, M. (2009). Methodological Reflections on Working with Young Children. D A I M I P B, (591), 42-44.

Gjerlufsen, T., Ingstrup, M. & Olsen, J. W. (2009). Mirrors of Meaning: Supporting Inspectable Runtime Models. Computer, 42(10), 61. https://doi.org/10.1109/MC.2009.325

Hansen, F. A. & Bouvin, N. O. (2009). Mobile Learning in Context — Context-aware Hypermedia in the Wild. International Journal of Interactive Mobile Technologies, 3(1), 6-21. http://online-journals.org/i-jim/article/view/766

Grønbæk, L. J., Schwefel, H.-P. & Toftegaard, T. S. (2009). Model based Evaluation of Policies for End-Node Driven Fault Recovery. In Design of Reliable Communication Networks, 2009. DRCN 2009. 7th International Workshop on (pp. 367-374). IEEE Press. https://doi.org/10.1109/DRCN.2009.5339983

Ingstrup, M. & Hansen, K. M. (2009). Modeling architectural change - architectural scripting and its applications to reconfiguration. In Ikke angivet (pp. 337). IEEE Computer Society Press. https://doi.org/10.1109/WICSA.2009.5290670

Olsen, M. (2009). Nash Stability in Additively Separable Hedonic Games and Community Structures. Theory of Computing Systems, 45(4), 917-925. https://doi.org/10.1007/s00224-009-9176-8

Bertelsen, O. W. & Hedvall, P.-O. (2009). New Challenges for Participation in Participatory Design in Family, Clinical and Other Asymmetrical, Non-work Settings. Lecture Notes in Computer Science, 971-972. https://doi.org/10.1007/978-3-642-03658-3_136

Andersson, D., Gurvich, V. & Hansen, T. D. (2009). On Acyclicity of Games with Cycles. Lecture Notes in Computer Science, 15-28. https://doi.org/10.1007/978-3-642-02158-9_4

Ajwani, D., Beckmann, A., Jakob, R., Meyer, U. & Moruz, G. (2009). On Computational Models for Flash Memory Devices. Lecture Notes in Computer Science, 16-27. https://doi.org/10.1007/978-3-642-02011-7_4

Zerny, I. (2009). On Graph Rewriting, Reduction and Evaluation. In Z. Horváth, V. Zsók, P. Achten & P. Koopman (Eds.), Tenth Symposium on Trends in Functional Programming, TFP. Proceedings (2009 ed., pp. 164-178). Selye János University.

Klokmose, C. N. (2009). On Human-Computer Interaction in Complex Artefact Ecologies. Aarhus Universitetsforlag.

Displaying results 3401 to 3450 out of 5895

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University