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

Svendsen, K. & Birkedal, L. (2014). Impredicative concurrent abstract predicates. In Z. Shao (Ed.), Programming Languages and Systems: 23rd European Symposium on Programming, ESOP 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. 149-168 ). Springer. https://doi.org/10.1007/978-3-642-54833-8_9

Hansen, D. C., Bassler, N., Petersen, J. B. B. & Sørensen, T. S. (2014). Improved proton computed tomography by dual modality image reconstruction. Medical Physics, 41(3), Article 031904 . https://doi.org/10.1118/1.4864239

Hansen, T. D., Paterson, M. & Zwick, U. (2014). Improved upper bounds for random-edge and random-jump on abstract cubes. In C. Chekuri (Ed.), Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 874-881). Association for Computing Machinery. http://delivery.acm.org/10.1145/2640000/2634137/p847-hansen.pdf?ip=130.225.0.251&id=2634137&acc=ACTIVE%20SERVICE&key=36332CD97FA87885.318148A04E30A4A4.4D4702B0C3E38B35.4D4702B0C3E38B35&CFID=595831098&CFTOKEN=20714772&__acm__=1415354926_7fe907c24139277eb45011338d13404e

Yi, K., Wang, L. & Wei, Z. (2014). Indexing for summary queries: Theory and practice. A C M Transactions on Database Systems, 39(1), Article 2. https://doi.org/10.1145/2508702

Skovsgaard, A. (2014). Indexing, Query Processing, and Clustering of Spatio-Temporal Text Objects. Department of Computer Science, Aarhus University.

Branzei, S. & Miltersen, P. B. (2014). Indirect Revelation Mechanisms for Cake Cutting. Abstract from Economics and Computational Aspects of Game Theory and Social Choice, Warsaw, Poland. http://ecags.mimuw.edu.pl/?m=programme

Brodal, G. S., Greve, M., Pandy, V. & Satti, S. R. (2014). Integer representations towards efficient counting in the bit probe model. Journal of Discrete Algorithms, 26(May), 34–44. https://doi.org/10.1016/j.jda.2013.11.001

Qu, Q., Liu, S., Yang, B. & Jensen, C. S. (2014). Integrating Non-Spatial Preferences into Spatial Location Queries. In C. S. Jensen, H. Lu, T. B. Pedersen , C. Thomsen & K. T. Torp (Eds.), SSDBM '14 Proceedings of the 26th International Conference on Scientific and Statistical Database Management Article 8 Association for Computing Machinery. https://doi.org/10.1145/2618243.2618247

Jensen, M. M., Grønbæk, K., Thomassen, N., Andersen, J. & Nielsen, J. (2014). Interactive Football-Training Based on Rebounders with Hit Position Sensing and Audio-Visual Feedback. International Journal of Computer Science in Sport, 13(1, part 2), 57-68. http://iacss.org/fileadmin/user_upload/IJCSS_FullPaper/Vol13_2014_Ed1/IJCSS-Volume13_2014_Edition1_Jensen.pdf

Qu, Q., Liu, S., Jensen, C. S., Zhu, F. & Faloutsos, C. (2014). Interestingness-Driven Diffusion Process Summarization in Dynamic Networks. In T. Calders, F. Esposito, E. Hüllermeier & R. Meo (Eds.), Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II (pp. 597-613). Springer VS. https://doi.org/10.1007/978-3-662-44851-9_38

Breinbjerg, M., Fritsch, J. & Bertelsen, O. W. (2014). In through the Archive: Echoes from a local community. Paper presented at International Conference of the European Sound Studies Association, Copenhagen, Denmark. http://essa2014.ku.dk/programme/ESSA2_program_book.pdf

Afshani, P. & Sitchinava, N. (2014). I/O-efficient range minima queries. In R. Ravi & I. L. Gørtz (Eds.), Algorithm Theory – SWAT 2014: 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings (pp. 1-12). Springer VS. https://doi.org/10.1007/978-3-319-08404-6_1

Christensen, H. B., Blunck, H., Bouvin, N. O., Brewer, R. S. & Wüstenberg, M. (2014). Karibu: A Flexible, Highly-Available, and Scalable Architecture for Urban Data Collection. In F. Kawsar, U. Blanke & A. Mashhadi (Eds.), Proceedings of the First International Conference on IoT in Urban Space, URB-IOT '14 (pp. 96-98 ). Association for Computing Machinery. https://doi.org/10.4108/icst.urb-iot.2014.257253

Christensen, H. B. (2014). Karibu-Core. Computer programme, GitHub repository. https://github.com/ecosense-au-dk/karibu-core

Christensen, H. B. (2014). Karibu Tutorials. GitHub repository. https://github.com/ecosense-au-dk/Karibu-tutorial

Pedersen, B. P., Ifrim, G., Liboriussen, P., Axelsen, K. B., Palmgren, M. G., Nissen, P., Wiuf, C. H. & Pedersen, C. N. S. (2014). Large Scale Identification and Categorization of Protein Sequences Using Structured Logistic Regression. PLoS One, 9(1), Article e85139. https://doi.org/10.1371/journal.pone.0085139

Lambertini, M., Magnani, M., Marzolla, M., Montesi, D. & Paolino, C. (2014). Large-Scale Social Network Analysis. In A. Gkoulalas-Divanis & A. Labbi (Eds.), Large scale data analytics (pp. 155-187). Springer. https://doi.org/10.1007/978-1-4614-9242-9

Nielsen, J. B., Venturi, D. & Zottarel, A. (2014). Leakage-resilient signatures with graceful degradation. In H. Krawczyk (Ed.), Public-Key Cryptography – PKC 2014: 17th International Conference on Practice and Theory in Public-Key Cryptography, Buenos Aires, Argentina, March 26-28, 2014. Proceedings (pp. 362-379). Springer. https://doi.org/10.1007/978-3-642-54631-0_21

Micenková, B., McWilliams, B. & Assent, I. (2014). Learning Outlier Ensembles: The Best of Both Worlds–Supervised and Unsupervised. Paper presented at ACM SIGKDD 2014 Workshop ODD2 , New York, United States. http://outlier-analytics.org/odd14kdd/odd-2014-proceedings.pdf

Chattopadhyay, A., Gavaldà, R., Hansen, K. A. & Thérien, D. (2014). Learning Read-Constant Polynomials of Constant Degree Modulo Composites. Theory of Computing Systems, 55(2), 404-420. https://doi.org/10.1007/s00224-013-9488-6

Miltersen, P. B. (2014). Leibniz International Proceedings in Informatics: Invited talk. Leibniz International Proceedings in Informatics, 25, 11-12. https://doi.org/10.4230/LIPIcs.STACS.2014.11

Chan, T. M., Durocher, S., Larsen, K. G., Morrison, J. & Wilkinson, B. T. (2014). Linear-Space Data Structures for Range Mode Query in Arrays. Theory of Computing Systems, 55(4), 719-741. https://doi.org/10.1007/s00224-013-9455-2

Christensen, H. B. (2014). Localizing the HL7 Personal Health Monitoring Record for Danish Telemedicine. In e-Health – For Continuity of Care : Proceedings of MIE2014 IOS Press. https://doi.org/10.3233/978-1-61499-432-9-251

Søndergaard, D., Knudsen, M. & Pedersen, C. N. S. (2014). Machine learning approaches to functional prediction of P-Type ATPases.

Agarwal, P. K., Arge, L., Mølhave, T., Revsbæk, M. & Yang, J. (2014). Maintaining Contour Trees of Dynamic Terrains. Cornell University. http://arxiv.org/abs/1406.4005

Xu, Y., Johnson, P. M., Lee, G. E., Moore, C. A. & Brewer, R. S. (2014). Makahiki: An open source serious game framework for sustainability education and conservation. In P. Kommers, T. Issa, T. Issa, D.-F. Chang & P. Isaías (Eds.), International Conference on Sustainability, Technology, and Education, STE 2014: proceedings (pp. 131-138). International Association for Development, IADIS. http://www.iadisportal.org/digital-library/makahiki-an-open-source-serious-game-framework-for-sustainability-education-and-conservation

Ernst, E., Møller, A., Schwarz, M. R. & Strocco, F. (2014). Managing Gradual Typing with Message-Safety in Dart. Paper presented at International Workshop on Foundations of Object-Oriented Languages , Portland, United States. http://homepages.ecs.vuw.ac.nz/~servetto/Fool2014/

Peternier , A., Binder, W., Ernst, E. & Hirschfeld, R. (Eds.) (2014). MODULARITY 2014 - Proceedings of the 13th International Conference on Modularity (Formerly AOSD). Association for Computing Machinery. http://www.scopus.com/inward/record.url?scp=84900004198&partnerID=8YFLogxK

Birkedal, L. (2014). Modular reasoning about concurrent higher-order imperative programs. Abstract from ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, United States. https://doi.org/10.1145/2535838.2537849

Hachisuka, T., Kaplanyan, A. S. & Dachsbacher, C. (2014). Multiplexed Metropolis Light Transport. A C M Transactions on Graphics, 33(4), Article 100. https://doi.org/10.1145/2601097.2601138

Alstrup, S., Bistrup Halvorsen, E. & Larsen, K. G. (2014). Near-optimal labeling schemes for nearest common ancestors. In Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 972-982). Association for Computing Machinery. http://www.scopus.com/inward/record.url?scp=84902108771&partnerID=8YFLogxK

Gilbert, S., Porat, E., King, V., Saia, J., Pettie, S. & Young, M. (2014). (Near) optimal resource-competitive broadcast with jamming. In G. Blelloch & P. Sanders (Eds.), Annual ACM Symposium on Parallelism in Algorithms and Architectures, SPAA '14 (pp. 257-266). Association for Computing Machinery. https://doi.org/10.1145/2612669.2612679

Antoy, S., Johannsen, J. & Libby, S. (2014). Needed Computations Shortcutting Needed Steps. Paper presented at International Workshop on Computing with Terms and Graphs, Vienna, Austria.

Christensen, H. B. (2014). Net4Care PHMR Library. Computer programme, Bitbucket repository. https://bitbucket.org/4s/net4care-phmr-builder

Christensen, H. B. (2014). Net4Care PHMR Tutorial. Bitbucket repository. https://bitbucket.org/4s/net4care-phmr-tutorial

Tsirogiannis, C., Sandel, B. S. & Kalvisa, A. (2014). New Algorithms for Computing Phylogenetic Biodiversity. In D. Brown & B. Morgenstern (Eds.), Algorithms in Bioinformatics: 14th International Workshop, WABI 2014, Wroclaw, Poland, September 8-10, 2014. Proceedings (pp. 187-203). Springer VS. https://doi.org/10.1007/978-3-662-44753-6_15

Marcedone , A. & Orlandi, C. (2014). Obfuscation ⇒ (IND-CPA Security ⇏ Circular Security). 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. 77-90). Springer VS. https://doi.org/10.1007/978-3-319-10879-7_5

Larsen, K. G., Munro, J. I., Nielsen, J. A. S. & Thankachan, S. V. (2014). On Hardness of Several String Indexing Problems. In A. Kulikov, S. O. Kuznetsov & P. Pevzner (Eds.), Combinatorial Pattern Matching: 23rd European Symposium on Programming, ESOP 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. 242-251 ). Springer VS. https://doi.org/10.1007/978-3-319-07566-2_25

Tan, B., Zhu, F., Qu, Q. & Liu, S. (2014). Online Community Transition Detection. In F. Li, G. Li , S. Hwang, B. Yao & Z. Zhang (Eds.), Web-Age Information Management: 15th International Conference, WAIM 2014, Macau, China, June 16-18, 2014. Proceedings (pp. 633-644). Springer VS. https://doi.org/10.1007/978-3-319-08010-9_68

Larsen, K. G. (2014). ON range searching in the group model and combinatorial discrepancy. S I A M Journal on Computing, 43(2), 673-686. https://doi.org/10.1137/120865240

Cramer, R., Damgård, I. B. & Keller, M. (2014). On the Amortized Complexity of Zero-Knowledge Protocols. Journal of Cryptology, 27(2), 284-316. https://doi.org/10.1007/s00145-013-9145-x

Talebanfard, N. (2014). On the Combinatorics of SAT and the Complexity of Planar Problems. Department of Computer Science, Aarhus University.

Holt, M. K., Johansen, J. & Brodal, G. S. (2014). On the Scalability of Computing Triplet and Quartet Distances. In C. C. McGeoch & U. Meyer (Eds.), 2014 Proceedings of the Sixteenth Workshop on Algorithm Engineering and Experiments (ALENEX) (pp. 9-19). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973198.2

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

Displaying results 2201 to 2250 out of 5776

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University