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

Møller, A. & Schwartzbach, M. I. (2011). XML Graphs in Program Analysis. Science of Computer Programming, 76(6), 492-515. https://doi.org/10.1016/j.scico.2009.11.007

Borchorst, N. G. & Bødker, S. (2011). “You probably shouldn’t give them too much information” – Supporting Citizen-Government Collaboration. In S. Bødker, N. O. Bouvin, W. Lutters, V. Wulf & L. Ciolfi (Eds.), ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work (pp. 173-192). Springer. https://doi.org/10.1007/978-0-85729-913-0_10

Brodal, G. S., Kejlberg-Rasmussen, C. & Truelsen, J. (2010). A Cache-Oblivious Implicit Dictionary with the Working Set Property. Lecture Notes in Computer Science, 6507, 37-48. https://doi.org/10.1007/978-3-642-17514-5_4

Sørensen, T. S., Noe, K. Ø., Christoffersen, C. P. V., Kristiansen, M., Mouridsen, K., Østerby, O. & Brix, L. (2010). Active Contours in Optical Flow Fields for Image Sequence Segmentation. International Symposium on Biomedical Imaging. Proceedings, 916 - 919. https://doi.org/10.1109/ISBI.2010.5490136

Engholm, R. (2010). Adaptive picture enhancement. Department of Computer Science, Aarhus University.

Afshani, P., Hamilton, C. & Zeh, N. (2010). A general approach for cache-oblivious range reporting and approximate range counting. Computational Geometry, 43(8), 700-712. https://doi.org/10.1016/j.comgeo.2010.04.003

Damgård, I. B., Jurik, M. J. & Nielsen, J. B. (2010). A generalization of Paillier's public-key system with applications to electronic voting. International Journal of Information Security, 9(6), 371-385. https://doi.org/10.1007/s10207-010-0119-9

Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B. (2010). Algorithmic strategies for adapting to environmental changes in 802.11 location fingerprinting. In 2010 International Conference on Indoor Positioning and Indoor Navigation (IPIN) (pp. 1-10). IEEE Computer Society Press. https://doi.org/10.1109/IPIN.2010.5648270

Brabrand, C., Giegerich, R. & Møller, A. (2010). Analyzing Ambiguity of Context-Free Grammars. Science of Computer Programming, 75(3), 176-191. https://doi.org/10.1016/j.scico.2009.11.002

Christensen, H. B. & Hansen, K. M. (2010). An Empirical Investigation of Architectural Prototyping. Journal of Systems and Software, 83(1), 133-142. https://doi.org/10.1016/j.jss.2009.07.049

Achenbach, M. (2010). An Engineering Approach to Dynamic Program Analysis by Layering Language Abstractions. Department of Computer Science, Aarhus University.

Hansen, K. A. & Koucký, M. (2010). A New Characterization of ACC⁰ and Probabilistic CC⁰. Computational Complexity, 19(2), 211-234. https://doi.org/10.1007/s00037-010-0287-z

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

Displaying results 3151 to 3200 out of 5916

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University