Aarhus University Seal

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

Sort by: Date | Author | Title

Andersen, J. (2010). Medical Sensor Network Infrastructures. Department of Computer Science. Aarhus University.
Buscher, M., Coulton, P., Hemmet, D. & Mogensen, P. H. (2010). Mobile, experimental, public. In M. Buscher, J. Urry & K. Witchger (Eds.), Mobile Methos (pp. 119-137). Routledge.
Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2010). Mobile Urban Drama for Multimedia-Based Out-of-School Learning. In M. Angelides & L. Lambrinos (Eds.), Proceedings of the 9th International Conference on Mobile and Ubiquitous Multimedia. MUM '10 (pp. Article no. 17). Association for Computing Machinery. https://doi.org/10.1145/1899475.1899492
Schougaard, K. R. & Langdal, J. (2010). Model-based Translucency in Middleware: Supporting Seamful Development. In S. Terzis & L. Veiga (Eds.), Proceedings of the 2nd International Workshop on Middleware for Pervasive Mobile and Embedded Computing : M-MPAC'10 (pp. Article No. 6 ). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890797
Hansen, K. M. & Ingstrup, M. (2010). Modeling and analyzing architectural change with alloy. In Proceedings of the 2010 ACM Symposium on Applied Computing (pp. 2257-2264). Association for Computing Machinery. https://doi.org/10.1145/1774088.1774560
Hofer, C. & Ostermann, K. (2010). Modular Domain-Specific Language Components in Scala. In Proceedings of the ninth International Conference on Generative Programming and Component Engineering (pp. 83-92). Association for Computing Machinery. https://doi.org/10.1145/1868294.1868307
Klose, K. & Ostermann, K. (2010). Modular Logic Metaprogramming. In W. R. Cook & S. Clarke (Eds.), Proceedings of the ACM international conference on Object oriented programming systems languages and applications. OOPSLA '10 (pp. 484-503). Association for Computing Machinery. https://doi.org/10.1145/1869459.1869499
Castric, V., Bechsgaard, J. S., Grenier, S., Noureddine, R., Schierup, M. H. & Vekemans, X. (2010). Molecular evolution within and between self-incompatibility specificities. Molecular Biology and Evolution, 27(1), 11-20. https://doi.org/10.1093/molbev/msp224
Jensen, C. S., Pedersen, T. B. & Thomsen, C. (2010). Multidimensional Databases and Data Warehousing. Morgan & Claypool Publishers. Synthesis Lectures on Data Management Vol. 1 No. 9 https://doi.org/10.2200/S00299ED1V01Y201009DTM009
Aarhus, R. & Ballegaard, S. A. (2010). Negotiating boundaries: managing disease at home. In E. Mynatt (Ed.), Proceedings of the 28th international conference on human factors in computing systems. CHI '10 (pp. 1223-1232). Association for Computing Machinery. https://doi.org/10.1145/1753326.1753509
Andersson, K. O. D., Hansen, T. D. & Gurvich, V. (2010). On acyclicity of games with cycles. Discrete Applied Mathematics, 158(10), 1049-1063. https://doi.org/10.1016/j.dam.2010.02.006
Zerny, I. (2010). On Graph Rewriting, Reduction and Evaluation. In Z. Horváth, V. Zsók, P. Achten & P. Koopman (Eds.), Trends in Functional Programming 10: Selected Papers from the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, 2-4 June 2009 (pp. 1-16). Intellect Books. http://www.zerny.dk/zerny-tfp09.pdf
Kjærgaard, M. B. (2010). On Improving the Energy Efficiency and Robustness of Position Tracking for Mobile Devices. Paper presented at The 7th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2010), Sydney, Australia.
Krøigaard, M. (2010). On the Computational Overhead of Secure Multiparty computation. Department of Computer Science, Aarhus University.
Klose, K. (2010). On the Expressiveness of Declarative Meta-Languages. Department of Computer Science, Aarhus University.
Beerliová-Trubíniová, Z., Hirt, M. & Nielsen, J. B. (2010). On the theoretical gap between synchronous and asynchronous MPC protocols. In A. Richa & R. Guerraoui (Eds.), Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. PODC '10 (pp. 211-218). Association for Computing Machinery. https://doi.org/10.1145/1835698.1835746
Cheng, J., Lazard, S., Peñaranda, L., Pouget, M., Roullier, F. & Tsigaridas, E. (2010). On the topology of real algebraic plane curves. Mathematics in Computer Science, 4(1), 113-137. https://doi.org/10.1007/s11786-010-0044-3
Bender, M. A., Brodal, G. S., Fagerberg, R., Jacob, R. & Vicari, E. (2010). Optimal Sparse Matrix Dense Vector Multiplication in the I/O-Model. Theory of Computing Systems, 47(4), 934-962. https://doi.org/10.1007/s00224-010-9285-4
Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010). Optimizing Energy Usage in Private Households. In R. Prasad, S. Ohmori & D. Šimunić (Eds.), Towards Green ICT (pp. 185-210). River Pulishers.
Kramp, G., Nielsen, P. & Møller, A. S. (2010). Particapatory Interaction in Therapeutical Strategies. Daimi Report Series (DAIMI PB), (593), 34-37.
Bertelsen, O. W., Kramp, G., Thielsen, S. R., Dobers, R. & Høybye, U. (2010). Participatory Design of IT-support for Anxiety Therapy. Daimi Report Series (DAIMI PB), (593), 5-8.
Madsen, A. B. & Ernst, E. (2010). Pass-by-Subclass Parameters. In Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance.MASPEGHI '10 (pp. Article No.: 6). Association for Computing Machinery. https://doi.org/10.1145/1929999.1930005
Christensen, L. R. & Grönvall, E. (2010). Patient 2.0 Revisited: Towards Empowering Networked Care. Abstract from EASST2010, The shaping of patient 2.0 - Exploring agencies, technologies and discourses in new healthcare practices, Trento, Italy.
Blunck, H., Godsk, T., Grønbæk, K., Kjærgaard, M. B., Jensen, J. L., Scharling, T., Schougaard, K. R. & Toftkjær, T. (2010). PerPos: A Platform Providing Cloud Services for Pervasive Positioning. In L. Liao (Ed.), Proceedings of the 1st International Conference on Computing for Geospatial Research and Application. COM.Geo '10 (pp. Article no.: 11). Association for Computing Machinery. https://doi.org/10.1145/1823854.1823869
Grönvall, E., Aarhus, R. & Larsen, S. B. (Eds.) (2010). Pervasive healthcare in the home Supporting patient motivation and engagement: Supporting patient motivation and engagement. Workshop. In 2010 4th International Conference on Pervasive Computing Technologies for Healthcare (PervasiveHealth) IEEE Computer Society Press. http://www.ph-home.org/PH-HOME2010_CFP.pdf
Kannabiran, G. & Petersen, M. G. (2010). Politics at the interface: a Foucauldian power analysis. In E. T. Hvannberg & M. K. Lárusdóttir (Eds.), Proceedings of the 6th Nordic Conference on Human-Computer Interaction. NordiCHI '10: Extending Boundaries (pp. 695-698). Association for Computing Machinery. https://doi.org/10.1145/1868914.1869007
Kjærgaard, M. B. & Weckemann, K. (2010). PosQ: Unsupervised Fingerprinting and Visualization of GPS Positioning Quality. Paper presented at The Second International Conference on Mobile Computing, Applications, and Services.
Justesen, P. & Ursem, R. K. (2010). Preference-Based Multi-Objective Distinct Candidates Optimization. In B. Filipic & J. Silc (Eds.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (pp. 117-130). Ljublana: Jozef Stefan Institute.
Freni, D., Vicente, C. R., Mascetti, S., Bettini, C. & Jensen, C. S. (2010). Preserving location and absence privacy in geo-social networks. In J. Huang (Ed.), Proceedings of the 19th ACM international conference on Information and knowledge management. CIKM '10 (pp. 309-318). Association for Computing Machinery. https://doi.org/10.1145/1871437.1871480
Paschos, V. T., Telelis, O. & Zissimopoulos, V. (2010). Probabilistic models for the Steiner Tree problem. Networks (New York), 56(1), 39-49. https://doi.org/10.1002/net.20346
Emiris, I. Z., Galligo, A. & Tsigaridas, E. (2010). Random polynomials and expected complexity of bisection methods for real solving. International Symposium on Symbolic and Algebraic Computation, 235-242. https://doi.org/10.1145/1837934.1837980
Sørensen, T. S. & Hansen, M. S. (2010). Real-time Non-Cartesian Magnetic Resonance Imaging. Abstract from Dansk Selskab for Medicinsk Fysik - årsmøde symposium, Odense, Denmark.