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

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. P L o S 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

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 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

Displaying results 2101 to 2150 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