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

Sidlauskas, D., Ross, K. A., Jensen, C. S. & Saltenis, S. (2011). Thread-Level Parallel Indexing of Update Intensive Moving-Object Workloads. Lecture Notes in Computer Science, 6849, 186-204. https://doi.org/10.1007/978-3-642-22922-0_12

Danvy, O. & Zerny, I. (2011). Three Syntactic Theories for Combinatory Graph Reduction. Lecture Notes in Computer Science, 6564, 1-20. https://doi.org/10.1007/978-3-642-20551-4_1

Woodruff, D. P. & Zhang, Q. (2011). Tight Bounds for Distributed Functional Monitoring. http://arxiv.org/abs/1112.5153

Gál, A., Hansen, K. A., Koucký, M., Pudlák, P. & Viola, E. (2011). Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates. Electronic Colloquium on Computational Complexity, 18(150). http://eccc.hpi-web.de/report/2011/150/

Hansen, M. T. (2011). TinyDebug: Multi-Purpose Passive Debugging Framework for Embedded Wireless Systems. D A I M I P B, (595).

Hansen, M. T. & Kusy, B. (2011). TinyInventor: A Holistic Approach to Sensor Network Application Development. Paper presented at Extending the Internet to Low power and Lossy Networks. IP+SN 2011 , Chicago, IL, United States.

Feldthaus, A., Millstein, T., Møller, A., Schäfer, M. & Tip, F. (2011). Tool-supported Refactoring for JavaScript. In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications (pp. 119-138). Association for Computing Machinery. https://doi.org/10.1145/2048066.2048078

Asharov, G., Canetti, R. & Hazay, C. (2011). Towards a Game Theoretic View of Secure Computation. Lecture Notes in Computer Science, 426-445. https://doi.org/10.1007/978-3-642-20465-4_24

Christensen, H. B. & Hansen, K. M. (2011). Towards Architectural Information in Implementation. In R. Taylor, H. Gall & N. Medvidocvic (Eds.), Proceedings of 33rd International Conference on Software Engineering: ICSE 2011 (pp. 928-931). Association for Computing Machinery. https://doi.org/10.1145/1985793.1985948

Hansen, K. M., Ingstrup, M., Kyng, M. & Olsen, J. W. (2011). Towards a Software Ecosystem of Healthcare Services. In Proceedings of the 3rd International Workshop on Infrastructures for Healthcare: Global Healthcare (pp. 27-30) http://www.itu.dk/people/lrc/ProcInfraHealth2011.PDF

Brodal, G. S., Gfeller, B., Jørgensen, A. G. & Sanders, P. (2011). Towards optimal range medians. Theoretical Computer Science, 412(24), 2588-2601. https://doi.org/10.1016/j.tcs.2010.05.003

Jeung, H., Yiu, M. L. & Jensen, C. S. (2011). Trajectory Pattern Mining. In Y. Zheng & X. Zhou (Eds.), Computing with Spatial Trajectories (pp. 143-177). Springer. https://doi.org/10.1007/978-1-4614-1629-6

Aarhus, R., Grönvall, E., Larsen, S. B. & Wollsen, S. (2011). Turning training into play: embodied gaming, seniors, physical training and motivation. Gerontechnology, 10(2), 110-120. https://doi.org/10.4017/gt.2011.10.2.005.00

Hansen, M. T., Jurdak, R. & Kusy, B. (2011). Unified broadcast in sensor networks. In 10th International Conference on Information Processing in Sensor Networks (IPSN), 2011 (pp. 306-317). IEEE Computer Society Press. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5779047

Strzebonski, A. & Tsigaridas, E. (2011). Univariate real root isolation in an extension field. In Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation (pp. 321-328). Association for Computing Machinery. https://doi.org/10.1145/1993886.1993934

Kjærgaard, M. B. & Blunck, H. (2011). Unsupervised Power Profiling for Mobile Devices. Paper presented at The 8th Annual International Conference on Mobile and Ubiquitous Systems:Computing, Networking and Services, København, Denmark.

Hansen, F. A. & Grønbæk, K. (2011). UrbanWeb: a Platform for Mobile, Context-aware Web Services. In S. Ahson & M. Ilyas (Eds.), Mobile Web 2.0: Developing and Delivering Services to Mobile Devices (pp. 137-162). CRC Press/Taylor. http://www.taylorandfrancis.com/books/details/9781439800829/

Bødker, S. (2011). Use is everywhere and changing: Analysis and design with the Human-Artifact Model. In Proceedings of the 29th Annual European Conference on Cognitive Ergonomics (pp. 3-10). Association for Computing Machinery. https://doi.org/10.1145/2074712.2074714

Zhang, W. & Hansen, K. M. (2011). Using Context Awareness for Self Management in Pervasive Service Middleware. In F. Mastrogiovanni & N.-Y. Chong (Eds.), Handbook of Research on Ambient Intelligence and Smart Environments Trends and Perspectives (pp. 248-271). Idea Group Publishing. http://www.igi-global.com/book/handbook-research-ambient-intelligence-smart/41775#table-of-contents

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2011). Using Inverted Indices for Accelerating LINGO Calculations. Journal of Chemical Information and Modeling, 51(3), 597-600. https://doi.org/10.1021/ci100437e

Sandel, B. S., Corbin, J. & Krupa, M. (2011). Using plant functional traits to guide restoration: A case study in California coastal grassland. Ecosphere, 2(2), 1-16.

Petersen, M. G. & Rasmussen, M. K. (2011). Value representations: a value based dialogue tool. In making Design Matter! : Proceedings Nordes '11 : the Nordic 4th Nordic Design Research Conference (pp. 284-287). School of Art & Design, Aalto University . http://ocs.sfu.ca/nordes/index.php/nordes/2011/paper/view/445

Kristensen, T. G. (2011). Virtual screening algorithms. Department of Computer Science, Aarhus University.

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B. & Bouabdallah, N. (2011). WETX: A Weighted Expected Transmission Routing Metric for Diversity in Wireless Sensor Networks. In Wireless Days (WD), 2011 IFIP (pp. 1-7). IEEE. https://doi.org/10.1109/WD.2011.6098162

Mathiasen, N. R., Bødker, S. & Petersen, M. G. (2011). While working around security. Paper presented at 3rd International Conference on Human Computer Interaction. HCI 2011, Bangalore, India.

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

Displaying results 2951 to 3000 out of 5740

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University