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

Chester, S., Mortensen, M. L. & Assent, I. (2014). On the Suitability of Skyline Queries for Data Exploration. In K. S. Candan et al. (Ed.), Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference: 1st International Workshop on Exploratory Search in Databases and the Web (ExploreDB 2014) (pp. 161-166). CEUR-WS.org. http://ceur-ws.org/Vol-1133/paper-27.pdf

Afshani, P. & Tsakalidis, K. (2014). Optimal deterministic shallow cuttings for 3D dominance ranges. 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. 1389-1398 ). Association for Computing Machinery. http://www.scopus.com/inward/record.url?scp=84902105500&partnerID=8YFLogxK

Brodal, G. S. & Larsen, K. G. (2014). Optimal Planar Orthogonal Skyline Counting Queries. In R. Ravi & I. L. Gørtz (Eds.), Algorithm Theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Denmark. Proceedings (pp. 110-121). Springer VS. https://doi.org/10.1007/978-3-319-08404-6_10

Bertelsen, O. W. (2014). Overcoming Residents Opportunity Apathy in Danish Social Housing Democracy. International Reports on Socio-Informatics, 11(1), 45-54. http://www.iisi.de/fileadmin/IISI/upload/IRSI/IRSI_Vol11-Iss1_2014-Collaborative-Technologies-in-Democratic-ProcessesFinal.pdf

Eiserhardt, W. L., Balslev, H., Barfod, A. S., Borchsenius, F., Göldel, B., Sandel, B. S. & Svenning, J.-C. (2014). Palm Functional Traits: which traits matter and how do we measure them?. Abstract from EUNOPS XIV, Valencia, Spain. http://eunops.org/content/eunops-2014-valencia-spain

Bødker, S., Klokmose, C. N., Korn, M. & Polli, A. M. (2014). Participatory IT in semi-public spaces. In V. Roto, J. Häkkilä, K. Väänänen-Vainio-Mattila & O. Juhlin (Eds.), Proceedings of the 8th Nordic Conference on Human-Computer Interaction, NordiCHI '14: Fun, Fast, Foundational (pp. 765-774). Association for Computing Machinery. https://doi.org/10.1145/2639189.2639212

Mogensen, P. H. & Wollsen, S. (2014). Participatory Realisation? PD in a complex, large-scale, and commercial context. In O. S. Iversen, H. Winschiers-Theophilus, V. D'Andrea, A. Clement, A. Botero & K. Bødker (Eds.), Proceedings of the 13th Participatory Design Conference, PDC '14 : Research Papers (pp. 21-30 (Vol. 1)). Association for Computing Machinery. https://doi.org/10.1145/2661435.2661443

Frederiksen, T. K., Nielsen, J. B. & Orlandi, C. (2014). Privacy-Free Garbled Circuits with Applications To Efficient Zero-Knowledge. (pp. 30). Cryptology ePrint Archive. http://eprint.iacr.org/2014/598.pdf

Verdezoto, N., Nunes, F., Grönvall, E., Fitzpatrick, G., Storni, C. & Kyng, M. (Eds.) (2014). Proceedings of Designing Self-care for Everyday Life. Workshop in conjunction with NordiCHI 2014, 27th October 2014, Helsinki, Finland. Department of Computer Science, Aarhus University. Daimi Report Series (DAIMI PB) No. 597 http://ojs.statsbiblioteket.dk/index.php/daimipb/issue/view/2772

Binder, W., Peternier , A., Ernst, E. & Hirschfeld, R. (Eds.) (2014). Proceedings of the Companion Publication of the 13th international Conference on Modularity, MODULARITY '14. Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2584469&coll=DL&dl=ACM&CFID=459579300&CFTOKEN=22059359

Sidlauskas, D., Saltenis, S. & Jensen, C. S. (2014). Processing of extreme moving-object update and query workloads in main memory. V L D B Journal, 23(5), 817-841. https://doi.org/10.1007/s00778-014-0353-2

Baum, C., Damgård, I. B. & Orlandi, C. (2014). Publicly Auditable Secure Multi-Party 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. 175-196 ). Springer VS. https://doi.org/10.1007/978-3-319-10879-7_11

Sonne, T. & Jensen, M. M. (2014). Race By Hearts. In Y. Pisan , N. M. Sgouros & T. Marsh (Eds.), Entertainment Computing – ICEC 2014: 13th International Conference, Sydney, Australia, October 1-3, 2014. Proceedings (pp. 125-132 ). Springer. https://doi.org/10.1007/978-3-662-45212-7_16

Guo, S., Hubacek, P., Rosen, A. & Vald, M. (2014). Rational Arguments: Single Round Delegation with Sublinear Verification. In M. Naor (Ed.), Proceedings of the 5th Conference on Innovations in Theoretical Computer Science, ITCS '14 (pp. 523-540 ). Association for Computing Machinery. https://doi.org/10.1145/2554797.2554845

Hubacek, P. (2014). Rationality in the Cryptographic Model. Department of Computer Science, Aarhus University.

Alexander, C., Bøcher, P. K., Arge, L. & Svenning, J.-C. (2014). Regional-scale mapping of tree cover, height and main phenological tree types using airborne laser scanning data. Remote Sensing of Environment, 147, 156-172. https://doi.org/10.1016/j.rse.2014.02.013

Feng, G., Mi, X., Bøcher, P. K., Mao, L. F., Sandel, B. S., Cao, M., Ye, W. H., Hao, Z. Q., Gong, H. D., Zhang, Y. T., Zhao, X. H., Jin, G. Z., Ma, K. & Svenning, J.-C. (2014). Relative roles of local disturbance, current climate and palaeoclimate in determining phylogenetic and functional diversity in Chinese forests. Biogeosciences, 11, 1361-1370. https://doi.org/10.5194/bg-11-1361-2014

Wagner, S., Kamper, C. H., Rasmussen, N. H., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2014). Reliable blood pressure self-measurement in the obstetric waiting room. Methods of Information in Medicine, 53(3), 225-234. https://doi.org/10.3414/ME13-01-0032

Chen, D., Konrad, C., Yi, K., Yu, W. & Zhang, Q. (2014). Robust set reconciliation. In Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD '14 (pp. 135-146). Association for Computing Machinery. https://doi.org/10.1145/2588555.2610528

Jensen, E. B. V. & Rasmusson, A. (2014). Rotational integral geometry and local stereology - with a view to image analysis. In V. Schmidt (Ed.), Stochastic Geometry, Spatial Statistics and Random Fields: Models and Algorithms (pp. 233-255). Springer Publishing Company. https://doi.org/10.1007/978-3-319-10064-7_8

Jensen, M. M. & Mueller, F. F. (2014). Running with technology: Where are we heading? In T. Leong (Ed.), Proceedings of the 26th Australian Computer-Human Interaction Conference on Designing Futures: the Future of Design (pp. 527-530). Association for Computing Machinery. https://doi.org/10.1145/2686612.2686696

Skovsgaard, A., Sidlauskas, D. & Jensen, C. S. (2014). Scalable Top-k Spatio-Temporal Term Querying. ICDE, 148-159. https://doi.org/10.1109/ICDE.2014.6816647

Zakarias, S. N. H. (2014). Secure Computation in the Preprocessing Model. Department of Computer Science, Aarhus University.

Damgård, I. B., Fehr, S., Salvail, L. & Schaffner, C. (2014). Secure identification and QKD in the bounded-quantum-storage model. Theoretical Computer Science, 560(1), 12-26. https://doi.org/10.1016/j.tcs.2014.09.014

Miltersen, P. B. (2014). Semi-algebraic geometry in computational game theory - A consumer's perspective: Invited Talk. In E. W. Mayr & N. Portier (Eds.), 31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014) (pp. 11-12). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2014.11

Pettie, S. (2014). Sensitivity analysis of minimum spanning trees in sub-inverse-ackermann time. (arXiv:1407.1910v1 ed.) arxiv.org. http://arxiv.org/abs/1407.1910

Cascudo Pueyo, I., Damgård, I. B. & Ranellucci, S. (2014). Server-Aided Two-Party Computation with Simultaneous Corruption. (pp. 18). Cryptology ePrint Archive. http://eprint.iacr.org/2014/809.pdf

Arge, L., Truelsen, J. & Yang, J. (2014). Simplifying massive planar subdivisions. In C. C. McGeoch & U. Meyer (Eds.), 2014 Proceedings of the Sixteenth Workshop on Algorithm Engineering and Experiments (ALENEX) (pp. 20-30). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973198.3

Balkanski, E., Branzei, S., Kurokawa, D. & Procaccia, A. D. (2014). Simultaneous Cake Cutting. In Proceedings of the 28th AAAI Conference on Artificial Intelligence AAAI Press. http://www.aaai.org/ocs/index.php/AAAI/AAAI14/schedConf/presentations

Filos-Ratsikas, A., Frederiksen, S. K. S. & Zhang, J. (2014). Social welfare in one-sided matchings: Random priority and beyond. In R. Lavi (Ed.), Algorithmic Game Theory: 7th International Symposium, SAGT 2014, Proceedings (pp. 1-12). Springer VS. https://doi.org/10.1007/978-3-662-44803-8_1

Madsen, M. & Møller, A. (2014). Sparse Dataflow Analysis with Pointers and Reachability. In M. Müller-Olm & H. Seidl (Eds.), Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings (pp. 201-218). Springer VS. https://doi.org/10.1007/978-3-319-10936-7_13

Sidlauskas, D. & Jensen, C. S. (2014). Spatial joins in main memory: Implementation matters! Proceedings of the VLDB Endowment, 8(1), 97-100. http://www.vldb.org/pvldb/vol8/p97-sidlauskas.pdf

Sanggaard, K. W., Bechsgaard, J. S., Fang, X., Duan, J., Dyrlund, T. F., Gupta, V., Jiang, X., Cheng, L., Fan, D., Feng, Y., Han, L., Huang, Z., Wu, Z., Liao, L., Settepani, V., Thøgersen, I. B., Vanthournout, B., Wang, T., Zhu, Y. ... Wang, J. (2014). Spider genomes provide insight into composition and evolution of venom and silk. Nature Communications, 5, Article 3765. https://doi.org/10.1038/ncomms4765

Orlandi, C., Ostrovsky, R., Rao, V., Sahai, A. & Visconti, I. (2014). Statistical Concurrent Non-malleable Zero Knowledge. In Y. Lindell (Ed.), Theory of Cryptography: 11th Theory of Cryptography Conference, TCC 2014, 2014. Proceedings (pp. 167-191). Springer Publishing Company. https://doi.org/10.1007/978-3-642-54242-8_8

Yang, B., Guo, C., Jensen, C. S., Kaul, M. & Shang, S. (2014). Stochastic skyline route planning under time-varying uncertainty. In 2014 IEEE 30th International Conference on Data Engineering (ICDE), (pp. 136-147). IEEE. https://doi.org/10.1109/ICDE.2014.6816646

Madsen, M. & Andreasen, E. (2014). String Analysis for Dynamic Field Access. In A. Cohen (Ed.), Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (pp. 197-217). Springer. https://doi.org/10.1007/978-3-642-54807-9_12

Bertelsen, O. W. (2014). Suffering Beyond Negotiation: Towards a Biographic Perspective on Cooperative Design for Therapy. In C. Rossitto, L. Ciolfi, D. Martin & B. C. (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

Damgård, I. B., Funder, J., Nielsen, J. B. & Salvail, L. (2014). Superposition attacks on cryptographic protocols. In C. Padró (Ed.), Information Theoretic Security: 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings (pp. 142-161). Springer. https://doi.org/10.1007/978-3-319-04268-8_9

Andreasen, E., Li, G. & Ghosh, I. (2014). SymJS: Automatic Symbolic Testing of JavaScript Web Applications. In S.-C. Cheung , A. Orso & M.-A. Storey (Eds.), Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014 (pp. 449-459 ). Association for Computing Machinery.

Midtgaard, J., Brabrand, C. & Wasowski , A. (2014). Systematic Derivation of Static Analyses for Software Product Lines. In W. Binder (Ed.), MODULARITY '14 Proceedings of the 13th international conference on Modularity (pp. 181-192 ). Association for Computing Machinery. https://doi.org/10.1145/2577080.2577091

Da Rocha Pinto, P., Dinsdale-Young, T. & Gardner, P. (2014). TaDA: A logic for time and data abstraction. In R. Jones (Ed.), ECOOP 2014 – Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings (pp. 207-231). Springer. https://doi.org/10.1007/978-3-662-44202-9_9

Magnani, M., Assent, I. & Mortensen, M. L. (2014). Taking the Big Picture: representative skylines based on significance and diversity. V L D B Journal, 23(5), 795-815. https://doi.org/10.1007/s00778-014-0352-3

Wang, Q., Kaul, M., Long, C. & Wong, R. (2014). Terrain-Toolkit: A Multi-Functional Tool for Terrain Data. Proceedings of the VLDB Endowment, 7(13), 1645 - 1648. http://www.vldb.org/pvldb/vol7/p1645-wang.pdf

Wang, Q., Kaul, M., Long, C. & Wong, R. C. W. (2014). Terrain-Toolkit: A multi-functional tool for terrain data. Proceedings of the VLDB Endowment, 7(13), 1645-1648. http://www.scopus.com/inward/record.url?scp=84905856022&partnerID=8YFLogxK

Ackerman, M. & Branzei, S. (2014). The Authorship Dilemma: Alphabetical or Contribution? In A. Bazzan & M. Huhns (Eds.), Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems : AAMAS '14 (pp. 1487-1488). Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2616025&bnc=1

Huang, Z. & Yi, K. (2014). The communication complexity of distributed epsilon-approximations. In D. Shmoys (Ed.), 2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS) Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS (pp. 591-600). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2014.69

Etessami, K., Hansen, K. A., Miltersen, P. B. & Sørensen , T. B. (2014). The Complexity of Approximating a Trembling Hand Perfect Equilibrium of a Multi-player Game in Strategic Form. In R. Lavi (Ed.), Algorithmic Game Theory: 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 – October 2, 2014. Proceedings (pp. 231-243 ). Springer VS. https://doi.org/10.1007/978-3-662-44803-8_20

Hansen, K. A., Ibsen-Jensen, R. & Miltersen, P. B. (2014). The Complexity of Solving Reachability Games Using Value and Strategy Iteration. Theory of Computing Systems, 55(2), 380-403. https://doi.org/10.1007/s00224-013-9524-6

Gambs, S., Ranellucci, S. & Tapp, A. (2014). The Crypto-democracy and the Trustworthy. Paper presented at Data Privacy Management, Wroclaw, Poland. http://arxiv.org/pdf/1409.2432v1.pdf

Branzei, S., Chen, Y., Deng, X., Filos-Ratsikas, A., Frederiksen, S. K. S. & Zhang, J. (2014). The Fisher Market Game: Equilibrium and Welfare. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (pp. 587-593). AAAI Press. http://www.aaai.org/Library/AAAI/aaai14contents.php

Displaying results 2401 to 2450 out of 5933