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

Hornbæk, K., Oulasvirta, A., Reeves, S. & Bødker, S. (2015). What to Study in HCI? In B. Begole & J. Kim (Eds.), Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (pp. 2385-2388). Association for Computing Machinery. https://doi.org/10.1145/2702613.2702648

Horelli, L., Saad-Sulonen, J., Wallin, S. & Botero, A. (2015). When Self-Organization intersects with Urban Planning: Two Cases from Helsinki. Planning Practice and Research, 30(3), 286. https://doi.org/10.1080/02697459.2015.1052941

Müller, A., Bøcher, P. K. & Svenning, J.-C. (2015). Where are the wilder parts of anthropogenic landscapes? A mapping case study for Denmark. Landscape and Urban Planning, 144(Dec.), 90-102. https://doi.org/10.1016/j.landurbplan.2015.08.016

Bøgh, K. S., Chester, S. & Assent, I. (2015). Work-Efficient Parallel Skyline Computation for the GPU. Proceedings of the VLDB Endowment, 8(9), 962-973. https://doi.org/10.14778/2777598.2777605

Botero, A., Van Amste, F., Seravalli, A. & Saad-Sulonen, J. (2015). WS co-designing and commoning. Nordic Design Research, 2015(6). http://www.nordes.org/opj/index.php/n13/article/view/422

Xue, H., Kelmann, P., Inati, S., Sørensen, T. S. & Hansen, M. (2014). 3D High Resolution l1-SPIRiT Reconstruction on Gadgetron based Cloud: no. 1882. Abstract from Joint Annual Meeting ISMRM-ESMRMB, Milan, Italy. http://www.ismrm.org/14/

Prentow, T. S., Blunck, H., Stisen, A., Kjærgaard, M. B. & Grønbæk, K. (2014). Accurate estimation of indoor travel times: learned unsupervised from position traces. In M. Youssef , C. Mascolo & F. Kawsar (Eds.), MOBIQUITOUS '14. Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (pp. 90-99). Association for Computing Machinery. https://doi.org/10.4108/icst.mobiquitous.2014.258020

Clausen, C., Danvy, O. & Masuko, M. (2014). A Characterization of Moessner's Sieve. Theoretical Computer Science, 546(August), 244–256. https://doi.org/10.1016/j.tcs.2014.03.012

Skovsgaard, A., Sidlauskas, D. & Jensen, C. S. (2014). A Clustering Approach to the Discovery of Points of Interest from Geo-Tagged Microblog Posts. In J. E. Guerrero (Ed.), 15th IEEE International Conference on Mobile Data Management (MDM), 2014 : Proceedings (pp. 178-189 (vol. 1)). IEEE Computer Society Press. https://doi.org/10.1109/MDM.2014.28

Damgård, I. B. & Nielsen, J. B. (2014). Adaptive versus static security in the UC Model. In S. S. M. Chow , J. K. Liu, L. C. K. Hui & S. M. Yiu (Eds.), Provable Security: 8th International Conference, ProvSec 2014, Hong Kong, China, October 9-10, 2014. Proceedings (pp. 10-28). Springer VS. https://doi.org/10.1007/978-3-319-12475-9_2

Dupont-Dupuis, F., Szehr, O. & Tomamichel, M. (2014). A decoupling approach to classical data transmission over quantum channels. I E E E Transactions on Information Theory, 60(3), 1562 - 1572 . https://doi.org/10.1109/TIT.2013.2295330

Bizjak, A., Birkedal, L. & Miculan, M. (2014). A model of countable nondeterminism in guarded type theory. In G. Dowek (Ed.), Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings (pp. 108-123). Springer VS. https://doi.org/10.1007/978-3-319-08918-8_8

Wilkinson, B. T. (2014). Amortized bounds for dynamic orthogonal range reporting. In A. S. Schulz & D. Wagner (Eds.), Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings (pp. 842-856). Springer. https://doi.org/10.1007/978-3-662-44777-2_69

Christensen, H. B., Hansen, K. M., Kyng, M. & Manikas, K. (2014). Analysis and design of software ecosystem architectures – Towards the 4S telemedicine ecosystem. Information and Software Technology, 56(11), 1476–1492. https://doi.org/10.1016/j.infsof.2014.05.002

Ruiz-Ruiz, A., Blunck, H., Prentow, T. S., Stisen, A. & Kjærgaard, M. B. (2014). Analysis Methods for Extracting Knowledge from Large-Scale WiFi Monitoring to Inform Building Facility Planning. In G. Záruba & K. Farkas (Eds.), Proceedings of the 2013 IEEE International Conference on Pervasive Computing and Communications (PerCom 2013) (pp. 130 - 138 ). IEEE Communications Society. https://doi.org/10.1109/PerCom.2014.6813953

Damgård, I. B., Lauritsen, R. & Toft, T. (2014). An Empirical Study and some Improvements of the MiniMac Protocol for Secure Computation. In M. Abdalla & R. D. Prisco (Eds.), Security and Cryptography for Networks: 9th International Conference, SCN 2014, Amalfi, Italy, September 3-5, 2014. Proceedings (pp. 398-415 ). Springer. https://doi.org/10.1007/978-3-319-10879-7_23

Gupta, V. (2014). Applied bioinformatics: Genome annotation and transcriptome analysis. Department of Computer Science, Aarhus University.

Toft, T. (2014). A secure priority queue; or: On secure datastructures from multiparty computation. In H.-S. Lee & D.-G. Han (Eds.), Information Security and Cryptology -- ICISC 2013: 16th International Conference, Seoul, Korea, November 27-29, 2013, Revised Selected Papers (Vol. 8565, pp. 20-33). Springer. https://doi.org/10.1007/978-3-319-12160-4_2

Møller, A. & Schwarz, M. R. (2014). Automated Detection of Client-State Manipulation Vulnerabilities. A C M Transactions on Software Engineering and Methodology, 23/4, Article 29. https://doi.org/10.1145/2531921

Bødker, S. & Polli, A. M. (2014). Between initial familiarity and future use – a case of Collocated Collaborative Writing. In C. Rossitta, L. Ciolfi, D. M. & B. Conein (Eds.), COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France) Springer. http://www.springer.com/computer/hci/book/978-3-319-06497-0

Wriedt Larsen, R., Obel, C., Skovgård Jensen, T. & Grønbæk, K. (2014). Big data giver gladere børn og bedre busruter. Videnskab.dk [online].

Madsen, O. L. (2014). Building Safe Concurrency Abstractions. In G. Agha, A. Igarashi, N. Kobayashi , H. Masuhara, S. Matsuoka , E. Shibayama & K. Taura (Eds.), Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday (pp. 66-104). Springer VS. https://doi.org/10.1007/978-3-662-44471-9_4

Klokmose, C. N., Kristensen, J. B., Bagge, R. & Halskov, K. (2014). BullsEye: High-Precision Fiducial Tracking for Table-based Tangible Interaction. In R. Dachselt, N. Graham, K. Hornbæk & M. Nacenta (Eds.), Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces, ITS '14 (pp. 269-278 ). Association for Computing Machinery. https://doi.org/10.1145/2669485.2669503

Pagh, R., Wei, Z., Yi, K. & Zhang , Q. (2014). Cache-Oblivious Hashing. Algorithmica, 69(4), 864-883. https://doi.org/10.1007/s00453-013-9763-6

Grönvall, E., Kinch, S., Petersen, M. G. & Rasmussen, M. K. (2014). Causing Commotion with a Shape-changing Bench: Experiencing Shape-Changing Interfaces in Use. In M. Jones, P. Palanque, A. Schmidt & T. Grossman (Eds.), CHI'14, SIGCHIConference on Human Factors in Computing Systems : Proceedings (pp. 2559-2568). Association for Computing Machinery. https://doi.org/10.1145/2556288.2557360

Feldthaus, A. & Møller, A. (2014). Checking Correctness of TypeScript Interfaces for JavaScript Libraries. In OOPSLA '14 Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications Association for Computing Machinery. https://doi.org/10.1145/2660193.2660215

Hansen, K. A., Komarath, B., Sarma M. N., J., Talebanfard, N. & Skyum, S. (2014). Circuit Complexity of Properties of Graphs with Constant Planar Cutwidth. In E. Csuhaj-Varjú, M. Dietzfelbinger & Z. Ésik (Eds.), Mathematical Foundations of Computer Science 2014: 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II (pp. 336-347 ). Springer VS. https://doi.org/10.1007/978-3-662-44465-8_29

Korsgaard, H. & Brynskov, M. (2014). City Bug Report: Urban prototyping as participatory process and practice. In M. Brynskov, P. Dalsgaard & A. F. G. Schiec (Eds.), MAB14, Proceedings of the 2nd Media Architecture Biennale Conference : World Cities (pp. 21-29). Association for Computing Machinery. https://doi.org/10.1145/2682884.2682896

Knudsen, M., Søndergaard, D. & Pedersen, C. N. S. (2014). Combinatorics of Non-Ribosomal Peptide Synthetases.

Huang, Z., Radunović, B., Vojnović, M. & Zhang, Q. (2014). Communication Complexity of Approximate Matching in Distributed Graphs. Paper presented at Symposium on Theoretical Aspects of Computer Science, München, Germany. http://www.cse.ust.hk/~huangzf/stacs15-matching.pdf

Damgård, I. B., David, B. M., Giacomelli, I. & Nielsen, J. B. (2014). Compact VSS and Efficient Homomorphic UC Commitments. In P. Sarkar & T. Iwata (Eds.), Advances in Cryptology – ASIACRYPT 2014: 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014, Proceedings, Part II (pp. 213-232 ). Springer VS. https://doi.org/10.1007/978-3-662-45608-8_12

Hazay, C. & Toft, T. (2014). Computationally Secure Pattern Matching in the Presence of Malicious Adversaries. Journal of Cryptology, 27(2), 358-395. https://doi.org/10.1007/s00145-013-9147-8

Abam, M. A., Daneshpajouh, S., Deleuran, L., Ehsani, S. & Ghodsi, M. (2014). Computing homotopic line simplification. Computational Geometry, 47(7), 728-739. https://doi.org/10.1016/j.comgeo.2014.02.002

Tsirogiannis, C. & Sandel, B. S. (2014). Computing the Skewness of the Phylogenetic Mean Pairwise Distance in Linear Time. Algorithms for Molecular Biology, 9(1), Article 15. https://doi.org/10.1186/1748-7188-9-15

Afshani, P., Sheng, C., Tao, Y. & Wilkinson, B. T. (2014). Concurrent range reporting in two-dimensional space. In C. Chekuri (Ed.), Proceedings of the 25th Annual ACM-SIAM Symposium on Discrete Algorithms: SODA 2014; Portland, OR; United States; 5 January 2014 through 7 January 2014 (pp. 983-994). Association for Computing Machinery. http://www.scopus.com/inward/record.url?scp=84902105500&partnerID=8YFLogxK

Faust, S., Mukherjee, P., Nielsen, J. B. & Venturi, D. (2014). Continuous Non-malleable Codes. In Y. Lindell (Ed.), Theory of Cryptography: 11th Theory of Cryptography Conference, TCC 2014, San Diego, CA, USA, February 24-26, 2014. Proceedings (pp. 465-488). Springer. https://doi.org/10.1007/978-3-642-54242-8_20

Hubacek, P. & Park, S. (2014). Cryptographically Blinded Games: Leveraging Players' Limitations for Equilibria and Profit. In M. Babaioff (Ed.), 15th ACM Conference on Economics and Computation, EC '14 (pp. 207-208). Association for Computing Machinery. https://doi.org/10.1145/2600057.2602903

Hansen, T. D., Kaplan, H. & Zwick, U. (2014). Dantzig's pivoting rule for shortest paths, deterministic MDPs, and minimum cost to time ratio cycles. In C. Chekuri (Ed.), Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 847-860). Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2634074.2634137&coll=DL&dl=ACM&CFID=595831098&CFTOKEN=20714772

Verdezoto, N., Nunes, F., Grönvall, E., Fitzpatrick, G., Storni, C. & Kyng, M. (2014). Designing self-care for everyday life. In V. Roto & J. Häkkilä (Eds.), NordiCHI '14, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational (pp. 821-824 ). Association for Computing Machinery. https://doi.org/10.1145/2639189.2654837

Jensen, M. M., Rasmussen, M. K. & Grønbæk, K. (2014). Design sensitivities for interactive sport-training games. In R. Wakkary & S. Harrison (Eds.), Proceedings of the 2014 Conference on Designing Interactive Systems, DIS '14 (pp. 685-694). Association for Computing Machinery. https://doi.org/10.1145/2598510.2598560

Andreasen, E. & Møller, A. (2014). Determinacy in Static Analysis of jQuery. In A. Black & T. Millstein (Eds.), Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA '14 (pp. 17-31 ). Association for Computing Machinery. https://doi.org/10.1145/2660193.2660214

Dalsgaard, B., Carstensen, D. W., Fjeldså, J., Maruyama, P., Rahbek, C., Sandel, B. S., Sonne, J., Svenning, J.-C., Wang, Z. & Sutherland, W. (2014). Determinants of bird species richness, endemism, and island network roles in Wallacea and the West Indies: is geography sufficient or does current and historical climate matter? Ecology and Evolution, 4(20), 4019-4031. https://doi.org/10.1002/ece3.1276

Afshani, P., Chan, T. M. & Tsakalidis, K. (2014). Deterministic Rectangle Enclosure and Offline Dominance Reporting on the RAM. In J. Esparza , P. Fraigniaud, T. Husfeldt & E. Koutsoupias (Eds.), Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I (pp. 77-88 ). Springer VS. https://doi.org/10.1007/978-3-662-43948-7_7

Tataru, P., Nirody, J. A. & Song, Y. S. (2014). diCal-IBD: demography-aware inference of identity-by-descent tracts in unrelated individuals. Bioinformatics, 30(23), 3430-3431. https://doi.org/10.1093/bioinformatics/btu563

Frisvad, J. R., Hachisuka, T. & Kjeldsen, T. K. (2014). Directional dipole model for subsurface scattering. A C M Transactions on Graphics, 34(1), Article 5. https://doi.org/10.1145/2682629

Dang, X.-H., Assent, I., Ng, R. T., Zimek, A. & Schubert, E. (2014). Discriminative features for identifying and interpreting outliers. In Proceedings, 2014 IEEE 30th International Conference on Data Engineering (ICDE) (pp. 88-99). Article 6816642 IEEE Computer Society Press. https://doi.org/10.1109/ICDE.2014.6816642

Wüstenberg, M., Blunck, H., Grønbæk, K. & Kjærgaard, M. B. (2014). Distinguishing Electric Vehicles from Fossil-Fueled Vehicles with Mobile Sensing. In M. Gabor & R. Zhang (Eds.), 15th IEEE International Conference on Mobile Data Management (MDM): Proceedings (pp. 211 - 220 (vol.1)). IEEE. https://doi.org/10.1109/MDM.2014.32

Chung, K. M., Pettie, S. & Su, H. H. (2014). Distributed algorithms for the Lovász Local Lemma and graph coloring. In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing (pp. 134-143). Association for Computing Machinery. https://doi.org/10.1145/2611462.2611465

Xue, H., Kelmann, P., Inati, S., Sørensen, T. S. & Hansen, M. (2014). Distributed Computing on Gadgetron: A new paradigm for MRI reconstruction: no. 1579. Poster session presented at Joint Annual Meeting ISMRM-ESMRMB, Milan, Italy. http://www.ismrm.org/14/program_files/TP05.htm

Derczynski, L., Field, C. V. & Bøgh, K. S. (2014). DKIE: Open Source Information Extraction for Danish. In S. Wintner, M. Tadia & B. Babych (Eds.), Proceedings of the Demonstrations at the 14th Conference of the European Chapter of the Association for Computational Linguistics (pp. 61-64). Association for Computational Linguistics. http://anthology.aclweb.org/E/E14/E14-2.pdf#page=75

Displaying results 2001 to 2050 out of 5664

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University