Publications - latest
- Sandel, B. S., Arge, L. A., Dalsgaard, B., Davies, R. G., Gaston, K. J., Sutherland, W. J., Svenning, J., 20.1.2012, "Response", Science, vol. 335, s. 285-286. Letter
- Verdezoto, N., Olsen, J. W., 28.1.2012, "Personalized Medication Management: Towards a Design of Individualized Support for Elderly Citizens at Home", Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium, ACM, New York, Miami, Florida, USA, s. 813-817. Article in proceedings
- Sandel, B. S., Dangremond, E., 1.2012, "Climate change and the invasion of California by grasses", Global Change Biology, vol. 18, nr. 1, s. 277. Journal article
- Christensen, H. B., 1.2.2012, "En model for programmer". Compendium/lecture notes
- Winther, J., 31.3.2012, "Improving Precision of Generated ASTs". Paper
- Bitsch, J. E., Bouvin, N. O., 3.2012, "Ad-hoc Symbiotic Interactive Displays through DLNA". Paper
- Beaudouin-Lafon, M., Chapuis, O., Eagan, J. R., Gjerlufsen, T., Huot, S., Klokmose, C. N., Mackay, W., Nancel, M., Pietriga, E., Pillias, C., Primet, R., Wagner, J., 4.2012, "Multi-surface Interaction in the WILD Room", Computer (New York), vol. 45, nr. 4, s. 48-56. Journal article
- Anderson, J. W., Tataru, P. C., Stains, J., Hein, J., Lyngsø, R., 4.5.2012, "Evolving stochastic context-free grammars for RNA secondary structure prediction", B M C Bioinformatics, vol. 13, nr. 78. Journal article
- Schaeffter, T., Hansen, M. S., Sørensen, T. S., 5.2012, "Fast Implementation of Iterative Image Reconstruction". Paper
- Verdezoto, N., Grönvall, E., Vincentz, S., Rostgaard Thielsen, S., 5.2012, "Exploring Challenges of Self-Monitoring for Senior Adults". Paper
- Christensen, H. B., Corry, A. V., 1.7.2012, "Lectures Abandoned: Active Learning by Active Seminars". Paper
- Midtgaard, J., 2012, "Control-flow analysis of functional programs", A C M Computing Surveys. Journal article
- Hansen, F. A., Kortbek, K. J., Grønbæk, K., 2012, "Mobile Urban Drama - Interactive Storytelling in Real World Environments", New Review of Hypermedia and Multimedia, vol. 18, nr. 1-2, s. 63-89. Journal article
- Mathiasen, N. R., 2012, "While Working Around Security". Ph.d. thesis
- Rasmusson, A., 2012, "Computational Stereology". Ph.d. thesis
- Jensen, J. L., 2012, "Supporting Seamful Development of Positioning Applications through Model Based Translucent Middleware". Ph.d. thesis
- Toftkjær, T., 2012, "Accurate Positioning of Pedestrians in Mixed Indoor/Outdoor Settings". Ph.d. thesis
- Larsen, K. G., Pagh, R., 2012, "I/O-Efficient Data Structures for Colored Range and Prefix Reporting". Paper
- Godsk, T., Kjærgaard, M. B., 2012, "Real-time Cow Activity Recognition using Position and Inertial Sensor Modalities", Computers and Electronics in Agriculture. Journal article
- Phillips, J., Verbin, E., Zhang, Q., 2012, "Lower Bounds for Number-in-Hand Multiparty Communication Complexity, Made Easy". Paper
- Sergey, I., Clark, D., 2012, "A correspondence between type checking via reduction and type checking via evaluation", Information Processing Letters, vol. 112, nr. 1-2, s. 13-20. Journal article
- Hansen, M. T., 2012, "Low-Power Wireless Sensor Network Infrastructures". Ph.d. thesis
- Hansen, M. S., Sørensen, T. S., Arai, A., Kellman, P., 2012, "Retrospective Reconstruction of High Temporal Resolution Cine Images from Real-Time MRI using Iterative Motion Correction", Magnetic Resonance in Medicine. Journal article
- Toftkjær, T., Kjærgaard, M. B., 2012, "The impact of sensor errors and building structures on particle filter-based inertial positioning", Pervasive and Mobile Computing. Journal article
- Arge, L. A., Brodal, G. S., Satti, S. R., 2012, "External Memory Planar Point Location with Logarithmic Updates", Algorithmica, vol. 63, nr. 1-2, s. 457-475. Journal article
- Brodal, G. S., Davoodi, P., Satti, S. R., 2012, "On Space Efficient Two Dimensional Range Minimum Data Structures", Algorithmica. Journal article
- Brodal, G. S., Moruz, G., Negoescu, A., 2012, "OnlineMin: A Fast Strongly Competitive Randomized Paging Algorithm", Lecture Notes in Computer Science. Conference article
- Brodal, G. S., Sioutas, S., Tsakalidis, K., Tsichlas, K., 2012, "Fully Persistent B-trees", The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings. Conference article
- Deng, X., Zhang, J., 2012, "Equiseparability on Terminal Wiener Index", Applied Mathematics Letters, vol. 25, nr. 3, s. 580-585. Journal article
- Thomsen, J. G., Ernst, E., Brabrand, C., Schwartzbach, M. I., 2012, "WebSelF: A Web Selection Framework". Paper
- Ingesman, M. D., Ernst, E., 2012, "Lifted Java: A Minimal Calculus for Translation Polymorphism", Journal of Object Technology, vol. 11, nr. 1, s. 1-23. Journal article
- De Fraine, B., Ernst, E., Südholt, M., 2012, "Essential AOP: The A Calculus", ACM Transactions on Programming Langauges and Systems (TOPLAS). Journal article
- Winther, J., 2012, "Improving Precision of Types". Ph.d. thesis
- Chan, T. M., Durocher, S., Larsen, K. G., Morrison, J., Wilkinson, B. T., 2012, "Linear-Space Data Structures for Range Mode Query in Arrays". Paper
- Keller, M., 2012, "Theory and Practice of Cryptographic Protocols". Ph.d. thesis
- Jensen, K., Kristensen, L., Mailund, T., 2012, "The sweep-line state space exploration method", Theoretical Computer Science, vol. 429, s. 169-179. Journal article
- Moeller, A., Schwarz, M., 2012, "Automated Detection of Client-State Manipulation Vulnerabilities". Paper
- Larsen, K. G., 2012, "The Cell Probe Complexity of Dynamic Range Counting". Paper
- Funder, J. L., 2012, "Cryptography with Quantum Mechanics". Ph.d. thesis
- Kejlberg-Rasmussen, C., Brodal, G. S., 2012, "Cache-Oblivious Implicit Predecessor Dictionaries with the Working-Set Property". Paper
- Midtgaard, J., Jensen, T. P., 2012, "Control-flow analysis of function calls and returns by abstract interpretation", Information and Computation, vol. 211, s. 49-76. Journal article
- Danvy, O., Zerny, I., 2012, "Three Syntactic Theories for Combinatory Graph Reduction", A C M Transactions on Computational Logic. Journal article
- Danvy, O., Zerny, I., 2012, "On Inter-deriving Small-step and Big-step Semantics", Theoretical Computer Science. Journal article
- Damgård, I. B., Hazay, C., Patra, A., 2012, "Leakage Resilient Secure Two-Party Computation". Working paper
- Urazimbetova, S., 2012, "A Case Study - On Patient Empowerment and Integration of Telemedicine to National Healthcare Services". Paper
- Nielsen, M., Krukow, K., 2012, "Transfer of Trust in Event-based Reputation Systems", Theoretical Computer Science, vol. 429, s. 236-246. Journal article
- Wagner, S., Toftegaard, T. S., Bertelsen, O. W., 2012, "Challenges in Blood Pressure Self-Measurement", International Journal of Telemedicine and Applications, vol. 2012. Journal article
- Larsen, K. G., Nguyen, H. L., 2012, "Improved Range Searching Lower Bounds". Paper
- Arge, L., Afshani, P., Larsen, K. G., 2012, "Higher-dimensional Orthogonal Range Reporting and Rectangle Stabbing in the Pointer Machine Model". Paper
- Eickmeyer, K., Hansen, K. A., Verbin, E., 2012, "Approximating the minmax value of 3-player games within a constant is as hard as detecting planted cliques", Electronic Colloquium on Computational Complexity, vol. 19, nr. 25. Journal article
