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

Danvy, O. (2011). Pragmatics for formal semantics. In Proceedings of the 10th ACM International Conference on Generative Programming and Component Engineering (pp. 93-94). Association for Computing Machinery. https://doi.org/10.1145/2047862.2047878
Bohøj, M., Borchorst, N. G., Bødker, S., Korn, M. & Zander, P.-O. (2011). Public deliberation in municipal planning: supporting action and reflection with mobile technology. In Proceedings of the 5th International Conference on Communities and Technologies (pp. 88-97). Association for Computing Machinery. https://doi.org/10.1145/2103354.2103367
Damgård, I. B. (2011). Quantum Communication Attacks on Classical Cryptographic Protocols. Abstract from 5th International Conference on Information Theoretic Security, Amsterdam, Netherlands. https://doi.org/10.1007/978-3-642-20728-0_16
Jørgensen, A. G. & Larsen, K. G. (2011). Range Selection and Median: Tight Cell Probe Lower Bounds and Adaptive Data Structures . In Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA 2011 (pp. 805-813). Society for Industrial and Applied Mathematics. http://www.siam.org/proceedings/soda/2011/SODA11_062_jorgensena.pdf
Simonsen, M. & Pedersen, C. N. S. (2011). Rapid Computation of Distance Estimators from Nucleotide and Amino Acid Alignments. In Proceedings of the 26th Annual ACM Symposium on Applied Computing Association for Computing Machinery.
Feldthaus, A., Millstein, T., Møller, A., Schäfer, M. & Tip, F. (2011). Refactoring towards the good parts of JavaScript. Poster session presented at SPLASH 2011, Portland, Oregon, United States. https://doi.org/10.1145/2048147.2048200
Winther, J. & Schwartzbach, M. I. (2011). Related Types. Lecture Notes in Computer Science, 6813, 434-458. https://doi.org/10.1007/978-3-642-22655-7_21
Grönvall, E., Ingstrup, M., Pløger, M. & Rasmussen, M. (2011). REST based service composition: Exemplified in a care network scenario. In 2011 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (pp. 251-252). IEEE Computer Society Press. https://doi.org/10.1109/VLHCC.2011.6070417
Hachisuka, T. & Jensen, H. W. (2011). Robust Adaptive Photon Tracing using Photon Path Visibility. A C M Transactions on Graphics, 30(5), 114:1 - 114:11. https://doi.org/10.1145/2019627.2019633
Müller, E., Assent, I., Günnemann, S. & Seidl, T. (2011). Scalable Density-Based Subspace Clustering. In Proceedings of the 20th ACM international conference on Information and knowledge management (pp. 1077-1086). Association for Computing Machinery. https://doi.org/10.1145/2063576.2063733
Orlandi, C. (2011). Secure Computation in Untrusted Environments. Department of Computer Science, Aarhus University.
Toft, T. (2011). Secure data structures based on multi-party computation. In Proceedings of the 30th Annual ACM SIGACT-SIGOPS ACM Symposium on Principles of Distributed Computing, PODC 2011 (pp. 291-292). Association for Computing Machinery. https://doi.org/10.1145/1993806.1993859
Choudhury, A., Patra, A., Ashwinkumar, B. V., Srinathan, K. & Pandu Rangan, C. (2011). Secure message transmission in asynchronous networks. Journal of Parallel and Distributed Computing, 71(8), 1067-1074. https://doi.org/10.1016/j.jpdc.2011.03.004
Hansen, K. A., Koucky, M., Lauritzen, N. & Tsigaridas, E. (2011). Separation bounds for real roots of polynomial systems. Paper presented at MEGA 2011: Effective Methods in Algebraic Geometry, Stockholm, Sweden.
Gjerlufsen, T., Klokmose, C. N., Eagan, J., Pillias, C. & Beaudouin-Lafon, M. (2011). Shared Substance: Developing Flexible Multi-Surface Applications. In D. S. Ten, S. Amershi, B. Begole, W. A. Kellogg & M. Tungare (Eds.), Proceedings of the International Conference on Human Factors in Computing Systems, CHI 2011 (pp. 3383-3392). Association for Computing Machinery. https://doi.org/10.1145/1978942.1979446
Chan, S.-H., Lam, T.-W., Lee, L. K., Liu, C.-M. & Ting, H.-F. (2011). Sleep Management on Multiple Machines for Energy and Flow Time. Lecture Notes in Computer Science, 6755, 219-231. https://doi.org/10.1007/978-3-642-22006-7_19
Daskalakis, C., Karp, R. M., Mossel, E., Riesenfeld, S. & Verbin, E. (2011). Sorting and selection in posets. S I A M Journal on Computing, 40(3), 597-622. https://doi.org/10.1137/070697720
Lu, H., Yang, B. & Jensen, C. S. (2011). Spatio-temporal joins on symbolic indoor tracking data. Proceedings of the International Conference on Data Engineering, 816-827. https://doi.org/10.1109/ICDE.2011.5767902
Dalsgaard, B., Magård, E., Fjeldså, J., Martín González, A. M., Rahbek, C., Olesen, J. M., Ollerton, J., Alarcón, R., Cardoso Araujo, A., A. Cotton, P., Lara, C., Graco Machado, C., Sazima, I., Sazima, M., Timmermann, A., Watts, S., Sandel, B. S., J. Sutherland, W. & Svenning, J.-C. (2011). Specialization in Plant-Hummingbird Networks Is Associated with Species Richness, Contemporary Precipitation and Quaternary Climate-Change Velocity. PLoS One, 6(10). https://doi.org/10.1371/journal.pone.0025891
Micenkova, B. & van Beusekom, J. (2011). Stamp Detection in Color Document Images. In 2011 International Conference on Document Analysis and Recognition (ICDAR) (pp. 1125-1129). IEEE Computer Society Press. https://doi.org/10.1109/ICDAR.2011.227
Hansen, T. D., Miltersen, P. B. & Zwick, U. (2011). Strategy iteration is strongly polynomial for 2-player turn-based stochastic games with a constant discount factor. In Proceedings of the Second Symposium on Innovations in Computer Science (pp. 253-263). Tsinghua University Press, Beijing. http://conference.itcs.tsinghua.edu.cn/ICS2011/content/papers/7.html
Svenning, J.-C., Dalsgaard, B., Kissling, W. D., Lenoir, J. R. M. H. & Sandel, B. S. (2011). Strong paleoclimatic imprints on ecological patterns and function across scales. Abstract from 12th European Ecological Federation Congress, Avila, Spain.
Friedmann, O., Hansen, T. D. & Zwick, U. (2011). Subexponential lower bounds for randomized pivoting rules for the simplex algorithm. In Proceedings of the 43rd annual ACM symposium on Theory of computing (pp. 283-292). Association for Computing Machinery. https://doi.org/10.1145/1993636.1993675
Faust, S., Pietrzak, K. & Venturi, D. (2011). Tamper-Proof Circuits : : How to Trade Leakage for Tamper-Resilience. Lecture Notes in Computer Science, 6755, 391-402 . https://doi.org/10.1007/978-3-642-22006-7_33
Petersen, M. G. & Rasmussen, M. K. (2011). The Ambiguity of Shape Changing Interfaces. Paper presented at Organic User Interface Workshop, Funchal, Portugal.
Kranen, P., Assent, I., Baldauf, C. & Seidl, T. (2011). The ClusTree : indexing micro-clusters for anytime stream mining. Knowledge and Information Systems, 29(2), 249-272. https://doi.org/10.1007/s10115-010-0342-8
Bender, M. A., Brodal, G. S., Fagerberg, R., Ge, D., He, S., Hu, H., Iacono, J. & López-Ortiz, A. (2011). The Cost of Cache-Oblivious Searching. Algorithmica, 61(2), 463-505. https://doi.org/10.1007/s00453-010-9394-0