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

Madsen, O. L. & Møller-Pedersen, B. (2010). A Unified Approach to Modeling and Programming. Lecture Notes in Computer Science, 6394, 1-15. https://doi.org/10.1007/978-3-642-16145-2_1

Kristensen, L. M. & Westergaard, M. (2010). Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. Lecture Notes in Computer Science, 6371, 215-230. https://doi.org/10.1007/978-3-642-15898-8_14

Ajwani, D. & Friedrich, T. (2010). Average-case analysis of incremental topological ordering. Discrete Applied Mathematics, 158(4), 240-250. https://doi.org/10.1016/j.dam.2009.07.006

Bødker, S. & Petersen, A. B. (2010). Between casual commitment and cross-media articulation – the faith of the Napkin. In D. Randall & P. Salembier (Eds.), From CSCW to Web 2.0: European Developments in Collaborative Design : Selected Papers from COOP08 (pp. 115-129). Springer. https://doi.org/10.1007/978-1-84882-965-7_6

Kyng, M. (2010). Bridging the Gap Between Politics and Techniques. Scandinavian Journal of Information Systems, 22(1), 49-68. http://iris.cs.aau.dk/tl_files/volumes/Volume22/no1/Kyng1.pdf

Hansen, M. T. & Biagioni, E. S. (2010). BTP: a Block Transfer Protocol for Delay Tolerant Wireless Sensor Networks. Conference on Local Computer Networks. Proceedings, 913-920.

Simonsen, M., Mailund, T. & Pedersen, C. N. S. (2010). Building Very Large Neighbour-Joining Trees. In A. Fred, J. Filipe & H. Gamboa (Eds.), BIOINFORMATICS 2010: Proceedings of the First International Conference on Bioinformatics (part of the 3rd International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2010) (pp. 26). Institute for Systems and Technologies of Information, Control and Communication.

Brodal, G. S., Demaine, E. D., Fineman, J. T., Iacono, J., Langerman, S. & Munro, J. I. (2010). Cache-Oblivious Dynamic Dictionaries with Optimal Update/Query Tradeoff. Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings, 1448-1456. http://www.siam.org/proceedings/soda/2010/SODA10_117_brodalg.pdf

Jørgensen, A. G., Greve, M., Larsen, K. D. & Truelsen, J. (2010). Cell Probe Lower Bounds and Approximations for Range Mode. Lecture Notes in Computer Science, 6198, 605-616. https://doi.org/10.1007/978-3-642-14165-2_51

Larsen, P. G., Rovsing, P. E. & Toftegaard, T. S. (2010). Challenges in Gaining Large Scale Carbon Reductions through Wireless Home Automation Systems. In M. S. Alencar & V. C. da Rocha Jr. (Eds.), Proceedings of the WPMC 2010 Internation Symposium on Wireless Personal Multimedia Communications.

Aarhus, R., Grönvall, E. & Kyng, M. (2010). Challenges in participation: Users and their roles in the development of home-based Pervasive Healthcare applications. In 2010 4th International Conference on Pervasive Computing Technologies for Healthcare IEEE Computer Society Press. https://doi.org/10.4108/ICST.PERVASIVEHEALTH2010.8794

Asboe, M., Fernandes, J. & Grönvall, E. (2010). C-HUB: a communication and network platform targeting the Generation Plus and their social and care networks. Roskilde Universitetscenter. Datalogisk Afdeling. Datalogiske Skrifter, 132, 7-10. http://magenta.ruc.dk/upload/application/pdf/37210413/rr132.pdf

Arge, L. A., Larsen, K. G., Mølhave, T. & Walderveen, F. V. (2010). Cleaning Massive Sonar Point Clouds. In Proceedings of the 18th SIGSPATIAL International Conference on Advances in Geographic Information Systems. GIS '10 (pp. 152-161). Association for Computing Machinery. https://doi.org/10.1145/1869790.1869815

Petersen, M. G., Krogh, P., Mortensen, M. B., Møller-Lassen, T. & Mortensen, D. H. (2010). Collective interaction by design collective controllers for social navigation on digital photos. In Proceedings of the 6th Nordic Conference on Human-Computer Interaction: Extending Boundaries (pp. 353-362). Association for Computing Machinery. https://doi.org/10.1145/1868914.1868956

Roune, B. H. & Sáenz-de-Cabezón, E. (2010). Combinatorial commutative algebra algorithms for the Euler characteristic of abstract simplicial complexes. In J. L. Freire Nistal & M. L. Gonzalez (Eds.), EACA 2010 Libro de resúmenes: XII Encuentro de Álgebra Computacional y Aplicaciones (pp. 189-193). Universidade de Santiago de Compostela.

Eichberg, M., Klose, K., Mitschke, R. & Mezini, M. (2010). Component Composition Using Feature Models. Lecture Notes in Computer Science, 6092, 200-215. https://doi.org/10.1007/978-3-642-13238-4_12

Hazay, C. & Toft, T. (2010). Computationally Secure Pattern Matching in the Presence of Malicious Adversaries. Lecture Notes in Computer Science, 6477, 195-212. https://doi.org/10.1007/978-3-642-17373-8_12

Miltersen, P. B. & Sørensen, T. B. (2010). Computing a quasi-perfect equilibrium of a two-player game. Economic Theory, 42(1), 175-192. https://doi.org/10.1007/s00199-009-0440-6

Gammelgaard, C. H., Skyum, S., Dalsgaard, S. P. & Jørgensen, A. B. (2010). Controlled Computer Environment. (Patent No. WO 2010/097090).

Geisler, M. J. B. (2010). Cryptographic Protocols: Theory and Implementation. Department of Computer Science, Aarhus University.

Lunemann, C. (2010). Cryptographic Protocols under Quantum Attacks. Department of Computer Science, Aarhus University.

Kristensen, T. G. & Pedersen, C. N. S. (2010). Data Structures for Accelerating Tanimoto Queries on Real Valued Vectors. In V. Moulton & M. Singh (Eds.), Algorithms in Bioinformatics: 10th International Workshop (WABI 2010) (Vol. 6293, pp. 28-39). Springer.

Jørgensen, A. G. (2010). Data Structures: Sequence Problems, Range Queries, and Fault Tolerance. Department of Computer Science, Aarhus University.

Comon, P., Sørensen, M. & Tsigaridas, E. (2010). Decomposing tensors with structured matrix factors reduces to rank-1 approximations. I E E E International Conference on Acoustics, Speech and Signal Processing. Proceedings, 3858-3861. https://doi.org/10.1109/ICASSP.2010.5495816

Danvy, O., Millikin, K., Munk, J. & Zerny, I. (2010). Defunctionalized Interpreters for Call-by-Need Evaluation. Lecture Notes in Computer Science, 6009, 240-256. https://doi.org/10.1007/978-3-642-12251-4_18

Kjærgaard, M. B., Jensen, J. L., Godsk, T. & Toftkjær, T. (2010). Demonstrating EnTracked a System for Energy-Efficient Position Tracking for Mobile Devices. Poster session presented at 12th ACM International Conference on Ubiquitous Computing, Copenhagen, Denmark. https://doi.org/10.1145/1864431.1864439

Kjærgaard, M. B., Blunck, H., Godsk, T., Toftkjær, T., Christensen, D. L. & Grønbæk, K. (2010). Demonstrating Tools and Results of a Measurement Campaign for Indoor GPS Positioning. Poster session presented at The Eight International Conference on Pervasive Computing, Helsinki, Finland.

Bødker, S., Schroll, J. & Groth, K. (2010). Design for Collaboration in Health Care: Experiences from Highly Specialized Surgical Care in Sweden. Paper presented at CSCW Research in Healthcare: Past, Present, and Future, workshop at CSCW 2010, Savannah, United States. http://docs.google.com/viewer?a=v&pid=sites&srcid=ZGVmYXVsdGRvbWFpbnxjc2N3aW5oY3xneDo2NjMwMjllMDU5ZWJiMzdl

Petersen, M. G. & Krogh, P. (2010). Designing for Collective Interaction: Toward Desirable Spaces in Homes and Libraries. In D. Randall & P. Salembier (Eds.), From CSCW to Web 2.0: European Developments in Collaborative Design (pp. 97-113). Springer. https://doi.org/10.1007/978-1-84882-965-7_5

Veerasawmy, R. & Ludvigsen, M. (2010). Designing Technology for Active Spectator Experiences at Sporting Events. Paper presented at OzCHI 2010, Brisbane, Australia.

Caprani, O. & Thestrup, K. (2010). Det Eksperimenterende Fællesskab: Børn og voksnes leg med medier og teknologi. Læring og Medier, (5). http://www.forskningsnettet.dk/sites/default/files/file/LOM/lom5.2010/12_OC_KT_Det_pdf.pdf

Brodal, G. S., Sioutas, S., Tsichlas, K. & Zaroliagis, C. (2010). D²-tree: A new overlay with deterministic bounds. In O. Cheong , K.-Y. Chwa & K. Park (Eds.), Algorithms and Computation: 21st International Symposium, ISAAC 2010, Jeju, Korea, December 15-17, 2010, Proceedings, Part II (pp. 1-12). Springer VS. https://doi.org/10.1007/978-3-642-17514-5_1

Danvy, O. & Talcott, C. (2010). Editorial. Higher-Order and Symbolic Computation, 22(3), 197. https://doi.org/10.1007/s10990-010-9051-y

Danvy, O. & Talcott, C. (2010). Editorial. Higher-Order and Symbolic Computation, 22(4), 293. https://doi.org/10.1007/s10990-010-9052-x

Christensen, B. B. (2010). Efficient Algorithms for Controllable Fluid Simulations and High-Resolution Level Set Deformaties. Department of Computer Science, Aarhus University.

Wichterich, M., Kranen, P., Assent, I. & Seidl, T. (2010). Efficient EMD-based Similarity Search in Medical Image Databases. In C. Plant & C. Böhm (Eds.), Database Technology for Life Sciences and Medicine (pp. 175-202). World Scientific.

Kaporis, A., Papadopoulos, A., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2010). Efficient processing of 3-sided range queries with probabilistic guarantees. In Proceedings of the 13th International Conference on Database Theory (pp. 34-43). Association for Computing Machinery. https://doi.org/10.1145/1804669.1804676

Damgård, I. B. & Mikkelsen, G. L. (2010). Efficient, Robust and Constant-Round Distributed RSA Key Generation. Lecture Notes in Computer Science, 5978, 183-200. https://doi.org/10.1007/978-3-642-11799-2_12

Rasmusson, A. & Ziegler, G. (2010). Efficient Volume Segmentation on the GPU. Pictures, Video and sound recordings (digital), Nvidia Corporation. http://www.nvidia.com/object/gtc2010-presentation-archive.html

Jensen, C. S. (2010). Elements of a Spatial Web. Lecture Notes in Computer Science, 6488, 21-21. https://doi.org/10.1007/978-3-642-17616-6_3

Kristensen, M. D. (2010). Empowering Mobile Devices Through Cyber Foraging: The Development of Scavenger, an Open, Mobile Cyber Foraging System. Department of Computer Science, Aarhus University.

Zhang, W., Hansen, K. M. & Kunz, T. (2010). Enhancing Intelligence of a Product Line Enabled Pervasive Middleware. Pervasive and Mobile Computing, 6(2), 198-217. https://doi.org/10.1016/j.pmcj.2009.07.002

De Fraine, B., Ernst, E. & Südholt, M. (2010). Essential AOP: The A Calculus. Lecture Notes in Computer Science, 6183, 101-125. https://doi.org/10.1007/978-3-642-14107-2_6

Hansen, K. A. & Podolskii, V. V. (2010). Exact Threshold Circuits. I E E E Conference on Computational Complexity. Proceedings, 270-279. https://doi.org/10.1109/CCC.2010.33

Santillan, R. (2010). Existence and Computation of Equilibria in Auction Games. Department of Computer Science, Aarhus University.

Langdal, J., Kjærgaard, M. B., Toftkjær, T. & Schougaard, K. R. (2010). Exposing Position Uncertainty in Middleware. In S. Terzis & L. Veiga (Eds.), Proceedings of the Second International Workshop on Middleware for Pervasive Mobile and Embedded Computing (M-MPAC 2010) (pp. Article no. 1). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890792

Arge, L. & Zeh, N. (2010). External-Memory Algorithms and Data Structures: General concepts and techniques. In M. J. Atallah & M. Blanton (Eds.), Algorithms and Theory of Computation Handbook (second edition) CRC Press.

Christensen, H. B. (2010). Flexible, Reliable Software: Using Patterns and Agile Development. CRC Press. Chapman & Hall/CRC textbooks in computing http://www.baerbak.com/description.html

Christensen, H. B. (2010). Flexible, Reliable Software: Using Patterns and Agile Development. http://www.baerbak.com

Brix, L., Ringgaard, S., Stausbøl-Grøn, B., Berber, Y., Ries, M. & Sørensen, T. S. (2010). Fourfold Increase in Temporal Resolution in Cardiac MR Imaging Compared to Standard Vendor Protocols. Poster session presented at 28. Danske medicotekniske landsmøde, Brædstrup, Denmark.

Displaying results 3101 to 3150 out of 5845

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University