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

Christensen, H. B. (2010). Another Example of Test-Driven Development: The Hotel Safe: "Flexible, Reliable Software" / Supplementary Material. http://www.baerbak.com

Emiris, I. Z., Malamatos, T. & Tsigaridas, E. (2010). Approximate Nearest Neighbor Queries among Parallel Segments. In J. Vahrenhold (Ed.), 26th European Workshop on Computational Geometry. : Workshop Proceedings (pp. 141-144). Technische Universität, Dortmund. http://2010.eurocg.org/

Andersen, M. S. (2010). Architectural mismatch issues in identity management deployment. In C. E. Cuesta (Ed.), Proceedings of the 4th European Conference on Software Architecture. ECSA '10 (pp. 31-33). Association for Computing Machinery. https://doi.org/10.1145/1842752.1842761

Madsen, J. K., Karstoft, H., Hansen, F. O. & Toftegaard, T. S. (2010). ASE-BAN, a Wireless Body Area Network Testbed. In EMERGING 2010 : The Second International Conference on Emerging Network Intelligence. Proceedings (pp. 120-124). Xpert Publishing Service. http://www.thinkmind.org/index.php?view=article&articleid=emerging_2010_5_40_40059

Bødker, S. & Pekkola, S. (2010). A short review to the past and present of participatory design – introduction to debate section. Scandinavian Journal of Information Systems, 22(1). http://aisel.aisnet.org/sjis/vol22/iss1/4

Roune, B. H. (2010). A Slice Algorithm for Corners and Hilbert-Poincaré Series of Monomial Ideals. International Symposium on Symbolic and Algebraic Computation, 115-122. https://doi.org/10.1145/1837934.1837961

Christensen, H. B., Hansen, K. M. & Lindstrøm, B. (2010). aSQA: Architectural Software Quality Assurance: Software Architecture at Work - Technical Report # 5: . Department of Computer Science, Aarhus University.

Grønbæk, L. J., Schwefel, H.-P., Kjærgaard, J. K. & Toftegaard, T. S. (2010). Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model Approach. In Proceedings of the 8th European Dependable Computing Conference (pp. 165-174). IEEE. https://doi.org/10.1109/EDCC.2010.28

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2010). A tree-based method for the rapid screening of chemical fingerprints. Algorithms for Molecular Biology, 5(9). https://doi.org/10.1186/1748-7188-5-9

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.

Displaying results 2951 to 3000 out of 5707

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University