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

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. In 2010 IEEE 25th Annual Conference on Computational Complexity (pp. 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. 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.

Damgård, I. B., Geisler, M. & Nielsen, J. B. (2010). From Passive to Covert Security at Low Cost. Lecture Notes in Computer Science, 5978, 128-145. https://doi.org/10.1007/978-3-642-11799-2_9

Korn, M. & Zander, P.-O. (2010). From Workshops to Walkshops: Evaluating Mobile Locastion-Based Applications in Realistic Settings. In Proceedings of the 1st International Workshop on Observing the Mobile User Experience (pp. 29-32). University of Trento e-books. http://mkorn.binaervarianz.de/pub/nordichi2010-ws.pdf

Dang, X.-H. & Bailey, J. (2010). Generation of Alternative Clusterings Using the CAMI Approach. In S. Parthasarathy (Ed.), Proceedings of the Tenth SIAM International Conference on Data Mining (pp. 118-129). Society for Industrial and Applied Mathematics. http://www.siam.org/proceedings/datamining/2010/dm10_011_dangx.pdf

Ajwani, D., Sitchinava, N. & Zeh, N. (2010). Geometric Algorithms for Private-Cache Chip Multiprocessors. Lecture Notes in Computer Science, 6347, 75-86. https://doi.org/10.1007/978-3-642-15781-3_7

Sørensen, T. S., Prieto, C., Atkinson, D., Hansen, M. S. & Schaeffter, T. (2010). GPU accelerated iterative SENSE reconstruction of radial phase encoded whole-heart MRI. In Proceedings of the 18th ISMRM Scientific Meeting and Exhibition: International Society for Magnetic Resonance in Medicine ISMRM/SMRT Central Office, Berkeley, CA.

Achenbach, M. & Ostermann, K. (2010). Growing a Dynamic Aspect Language in Ruby. Paper presented at 9th International Conference on Aspect-Oriented Software Development, Rennes and Saint Malo, France.

ElSalamouny, E., Nielsen, M. & Sassone, V. (2010). HMM-based Trust Model. Lecture Notes in Computer Science, 5983, 21-35. https://doi.org/10.1007/978-3-642-12459-4_3

Sand, A., Brask, A. T., Pedersen, C. N. S., Mailund, T. & Brask, A. T. (2010). HMMlib: A C++ Library for General Hidden Markov Models Exploiting Modern CPUs. In 2010 Ninth International Workshop on Parallel and Distributed Methods in Verification and Second International Workshop on High Performance Computational Systems Biology (pp. 126 - 134 ). IEEE.

Lynggaard, A. B., Petersen, M. G., Gude, R. & Mortensen, M. B. (2010). Home awareness - connecting people sensuously to places. In O. W. Bertelsen, P. Krogh, K. Halskov & M. G. Petersen (Eds.), Proceedings of the 8th ACM Conference on Designing Interactive Systems, DIS '10 (pp. 416-418). Association for Computing Machinery. https://doi.org/10.1145/1858171.1858251

Arge, L. A., Bøcher, P. K. & Heckrath, G. J. (2010). Hvor løber vandet hen? Terrænanalyse på store højdemodeller. Abstract from Workshop om Telemåling i Arealforvaltningen, Aarhus Universitet, Denmark.

Lucas, C., Raub, D. & Maurer, U. (2010). Hybrid-secure MPC : trading information-theoretic robustness for computational privacy. In Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. PODC '10 (pp. 219-228). Association for Computing Machinery. https://doi.org/10.1145/1835698.1835747

Andersen, M. S. & Christensen, H. B. (2010). Identity Management Mismatch Challenges in the Danish Municipality Administration System. Lecture Notes in Computer Science, 6285, 476-479. https://doi.org/10.1007/978-3-642-15114-9_44

Displaying results 3201 to 3250 out of 5933

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University