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

Xu, Y., Johnson, P. M., Moore, C. A., Brewer, R. S. & Takayama, J. (2013). SGSEAM: Assessing serious game frameworks from a stakeholder experience perspective. In Gamification 2013: Proceedings of the First International Conference on Gameful Design, Research, and Applications Enterprice Gamification Consultancy. http://csdl.ics.hawaii.edu/techreports/2013/13-03/13-03.pdf

Andersen, E. S., Noe, K. Ø., Sørensen, T. S., Nielsen, S. K., LU, F., Paludan, M., Lindegaard, J. C. & Tanderup, K. (2013). Simple DVH parameter addition as compared to deformable registration for bladder dose accumulation in cervix cancer brachytherapy. Radiotherapy & Oncology, 107(1), 52-57. https://doi.org/10.1016/j.radonc.2013.01.013

Korn, M. (2013). Situating Engagement: Ubiquitous Infrastructures for In-Situ Civic Engagement. Datalogisk Institut, Aahus Universitet.

Magnani, M., Assent, I., Hornbæk, K., Jakobsen, M. R. & Larsen, K. F. (2013). SkyView: a user evaluation of the skyline operator. In Q. He & A. Iyengar (Eds.), Proceedings of the 22nd ACM International Conference on Information & Knowledge Management, CIKM '13 (pp. 2249-2254 ). Association for Computing Machinery. https://doi.org/10.1145/2505515.2505739

Brody, J. E., Chen, S., Papakonstantinou , P. A., Song, H. & Sun, X. (2013). Space-bounded communication complexity. In Proceedings of the 4th conference on Innovations in Theoretical Computer Science , ITCS '13 (pp. 159-172 ). Association for Computing Machinery. https://doi.org/10.1145/2422436.2422456

Chen, L., Jensen, C. S. & Wu, D. (2013). Spatial Keyword Query Processing: An Experimental Evaluation. Proceedings of the VLDB Endowment, 6(3), 217-228. http://www.vldb.org/pvldb/vol6/p217-chen.pdf

Cozza, V., Messina, A., Montesi, D., Arietta, L. & Magnani, M. (2013). Spatio-temporal keyword queries in social networks. In B. Catania, G. Guerrini & J. Pokorný (Eds.), Advances in Databases and Information Systems: 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings (pp. 70-83). Springer Publishing Company. https://doi.org/10.1007/978-3-642-40683-6_6

Hachisuka, T., Jarosz, W., Georgiev, I., Kaplanyan, A., Nowrouzezahrai, D. & Spencer, B. (2013). State of the Art in Photon-Density Estimation: Course notes. In Proceeding, SA '13 SIGGRAPH Asia 2013 Courses Association for Computing Machinery. https://doi.org/10.1145/2542266.2542281

Jensen, S. H. (2013). Static Analysis for JavaScript. Datalogisk Institut, Aarhus Universitet.

Birkedal, L., Bizjak, A. & Schwinghamme, J. (2013). Step-Indexed Relational Reasoning for Countable Nondeterminism. Logical Methods in Computer Science, 9(4), Article 4. https://doi.org/10.2168/LMCS-9(4:4)2013

Ibsen-Jensen, R. & Chatterjee , K. (2013). Strategy Complexity of Finite-Horizon Markov Decision Processes and Simple Stochastic Games. In A. Kučera , T. A. Henzinger, J. Nešetřil, T. Vojnar & D. Antoš (Eds.), Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers (pp. 106-117). Springer VS. https://doi.org/10.1007/978-3-642-36046-6_11

Ibsen-Jensen, R. (2013). Strategy complexity of two-player, zero-sum games. Department of Computer Science, University of Aarhus.

Hansen, T. D., Miltersen, P. B. & Zwick, U. (2013). Strategy Iteration Is Strongly Polynomial for 2-Player Turn-Based Stochastic Games with a Constant Discount Factor. Journal of the ACM, 60(1), Article No. 1 . https://doi.org/10.1145/2432622.2432623

Kjærgaard, M. B. (2013). Studying Sensing-Based Systems: Scaling to Human Crowds in the Real World . I E E E Internet Computing, 17(5), 80 - 84 . https://doi.org/10.1109/MIC.2013.101

Bringmann, K. & Larsen, K. G. (2013). Succinct Sampling from Discrete Distributions. In Proceedings of the 45th annual ACM Symposium on Theory of Computing, STOC '13 (pp. 775-782 ). Association for Computing Machinery. https://doi.org/10.1145/2488608.2488707

Dahl, M. (2013). Symbolic Analysis of Cryptographic Protocols: Models, Methods, and Soundness. Department of Computer Science, Aarhus University.

Nielsen, M. B., Söderström , A. & Bridson, R. (2013). Synthesizing Waves from Animated Height Fields. A C M Transactions on Graphics, 32(1), Article Article 2. https://doi.org/10.1145/2421636.2421638

Damgård, I. B., Faust, S., Mukherjee, P. & Venturi, D. (2013). Tamper Resilient Cryptography Without Self-Destruct. IACR Cryptology ePrint Archive, (2013). http://eprint.iacr.org/2013/124

Pakanen, M., Polli, A. M., Lee, S., Lindley, J. & Goncalves, J. (2013). Tending a Virtual Garden: Exploring Connectivity between Cities. In UbiComp '13 Adjunct Proceedings of the 2013 ACM conference on Pervasive and ubiquitous computing adjunct publication (pp. 761-764 ). Association for Computing Machinery. https://doi.org/10.1145/2494091.2496004

Jensen, C. S., Jerma, C., Lu, J., Tanin, E. & Zhou, X. (Eds.) (2013). The 2013 IEEE 29th International Conference on Data Engineering. IEEE Communications Society. https://doi.org/10.1109/ICDE.2013.6544799

Satyanarayan, A., Strazzulla, D., Klokmose, C. N., Beaudouin-Lafon, M. & Mackay, W. (2013). The CHI 2013 interactive schedule. In W. E. Mackay, S. Brewster & S. Brewster (Eds.), CHI EA '13 CHI '13 Extended Abstracts on Human Factors in Computing Systems (pp. 2987-2990). Association for Computing Machinery. https://doi.org/10.1145/2468356.2479591

Hansen, T. D. & Ibsen-Jensen, R. (2013). The complexity of interior point methods for solving discounted turn-based stochastic games. In The Nature of Computation, Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings (pp. 252-262). Springer VS. https://doi.org/10.1007/978-3-642-39053-1_29

Brodal, G. S., Brodnik, A. & Davoodi, P. (2013). The encoding complexity of two dimensional range minimum data structures. In H. L. Bodlaender & G. F. Italiano (Eds.), Algorithms – ESA 2013: 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings (pp. 229-240). Springer VS. https://doi.org/10.1007/978-3-642-40450-4_20

Dalsgaard, P., Halskov, K. & Klokmose, C. N. (2013). The interplay between personal and collaborative computing at big wall displays. In M. Rester, P. Judmaier, T. De Groeve & A. Annunziato (Eds.), Collaborative Human-Computer Interaction with Big Wall Displays - BigWallHCI 2013 3rd JRC ECML Crisis Management Technology Workshop: 3rd JRC ECML Crisis Management Technology Workshop Publications office of the European Union. http://lunar.jrc.it/critech/Home/tabid/36/Default.aspx

Klokmose, C. N. & Bertelsen, O. W. (2013). The Mysterious Whiteboard. In P. Kotzé , G. Marsden , G. Lindgaard, J. Wesson & M. Winckler (Eds.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part II (pp. 37-54 ). Springer VS. https://doi.org/10.1007/978-3-642-40480-1_3

Afshani, P., Agrawal, M., Benjamin, D., Doerr, C., Larsen, K. G. & Mehlhorn, K. (2013). The Query Complexity of Finding a Hidden Permutation. In A. Brodnik, A. López-Ortiz, V. Raman & A. Viola (Eds.), Space-Efficient Data Structures, Streams, and Algorithms: Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday (pp. 1-11). Springer VS. https://doi.org/10.1007/978-3-642-40273-9_1

Atzeni, P., Jensen, C. S. ., Orsi, G., Ram, S., Tanca, L. Z. I. & Torlone, R. (2013). The relational model is dead, SQL is dead, and i don't feel so good myself. SIGMOD Record, 42(2), 64-68. https://doi.org/10.1145/2503792.2503808

Andersen, M. S., Kjærgaard, M. B. & Grønbæk, K. (2013). The SITA principle for Location Privacy: Conceptual model and architecture . In 2013 International Conference on Privacy and Security in Mobile Systems (PRISMS) (pp. 1 - 8 ). IEEE. https://doi.org/10.1109/PRISMS.2013.6927184

Andersen, M. S., Kjærgaard, M. B. & Grønbæk, K. (2013). The SITA principle for Location Privacy – Conceptual Model and Architecture. Paper presented at International Conference on Privacy and Security in Mobile Systems, Atlantic City, NJ, United States.

Wei, Z. & Yi, K. (2013). The Space Complexity of 2-Dimensional Approximate Range Counting. In S. Sanjeev Khanna (Ed.), Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA (pp. 252-264). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973105.19

Rasmusson, A., Hahn, U., Larsen, J. O., Gundersen, H. J. G., Jensen, E. B. V. & Nyengaard, J. R. (2013). The spatial rotator. Journal of Microscopy, 250(2), 88-100. https://doi.org/10.1111/jmi.12022

Sand, A. & Steel, M. (2013). The standard lateral gene transfer model is statistically consistent for pectinate four-taxon trees. Journal of Theoretical Biology, 335, 295-298. https://doi.org/10.1016/j.jtbi.2013.07.002

Brewer, R. S., Xu, Y., Lee, G. E., Katchuck, M., Moore, C. A. & Johnson, P. M. (2013). Three Principles for the Design of Energy Feedback Visualizations. International Journal On Advances in Intelligent Systems, 6(3 & 4), 188-198. http://csdl.ics.hawaii.edu/techreports/2013/13-05/13-05.pdf

Danvy, O. & Zerny, I. (2013). Three Syntactic Theories for Combinatory Graph Reduction. A C M Transactions on Computational Logic, 14(4), Article 29. https://doi.org/10.1145/2528932

Gal, A., Hansen, K. A., Koucky, M., Pudlak, P. & Viola, E. (2013). Tight bounds on computing error-correcting codes by bounded-depth circuits with arbitrary gates. I E E E Transactions on Information Theory, 59(10), 6611-6627. https://doi.org/10.1109/TIT.2013.2270275

Kjærgaard, M. B., Blunck, H., Wüstenberg, M., Grønbæk, K., Wirz, M., Roggen, D. & Tröster, G. (2013). Time-lag Method for Detecting Following and Leadership Behavior of Pedestrians from Mobile Sensing Data. In IEEE International Conference on Pervasive Computing and Communications (PerCom), 2013 (pp. 56 - 64 ). IEEE. https://doi.org/10.1109/PerCom.2013.6526714

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T., Ejrnæs, R., Odgaard, M. V. & Svenning, J.-C. (2013). Topographically controlled soil moisture drives plant diversity patterns within grasslands. Biodiversity and Conservation, 22(10), 2151-2166. https://doi.org/10.1007/s10531-013-0442-3

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T., Odgaard, M. V., Nygaard, B. & Svenning, J.-C. (2013). Topographically controlled soil moisture is the primary driver of local vegetation patterns across a lowland region. Ecosphere (Washington, D.C.), 4(7), Article 91. https://doi.org/10.1890/ES13-00134.1

Moeslund, J. E., Arge, L., Bøcher, P. K., Dalgaard, T. & Svenning, J.-C. (2013). Topography as a driver of local terrestrial vascular plant diversity patterns. Nordic Journal of Botany, 31(2), 129-144. https://doi.org/10.1111/j.1756-1051.2013.00082.x

Aehnelt, M., Schulz, H.-J. & Urban, B. (2013). Towards a Contextualized Visual Analysis of Heterogeneous Manufacturing Data. In Advances in Visual Computing : 9th International Symposium, ISVC 2013, Rethymnon, Crete, Greece, July 29-31, 2013. Proceedings, Part II (pp. 76-85). Springer. https://doi.org/10.1007/978-3-642-41939-3_8

Derczynski, L., Yang, B. & Jensen, C. S. (2013). Towards Context-Aware Search and Analysis on Social Media Data. In G. Guerrini & N. W. Paton (Eds.), Proceedings of The 16th International Conference on Extending Database Technology: EDBT 2013 (pp. 137-142 ). Association for Computing Machinery. https://doi.org/10.1145/2452376.2452393

Radaelli, L. & Jensen, C. S. (2013). Towards Fully Organic Indoor Positioning. In Proceedings of the Fifth ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness (pp. 16-20). Association for Computing Machinery.

Picozzi, M., Verdezoto, N., Pouke, M., Vatjus-Anttila, J. & Quigley, A. (2013). Traffic Visualization: Applying Information Visualization Techniques to Enhance Traffic Planning. In GRAPP 2013 IVAPP 2013 : Proceedings of the 8thInternational Conference on Computer Graphics Theory and Applications (pp. 554-557). SCITEPRESS Digital Library. https://doi.org/10.5220/0004291605540557

Li, X., Ceikute, V., Jensen, C. S. & Tan, K.-L. (2013). Trajectory Based Optimal Segment Computation in Road Network Databases. (1303.2310v1 ed.) arxiv.org. http://arxiv.org/abs/1303.2310

Li, X., Ceikute, V., Jensen, C. S. & Tan, K.-L. (2013). Trajectory Based Optimal Segment Computation in Road Network Databases. In C. Knoblock & M. Schneider (Eds.), Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL'13 (pp. 396-399 ). Association for Computing Machinery. https://doi.org/10.1145/2525314.2525444

Jensen, K., Aalst, W. M. V. D., Balbo, G., Koutny, M. & Wolf, K. (Eds.) (2013). Transactions on Petri Nets and Other Models of Concurrency VII: ToPNoC. Springer VS. Lecture Notes in Computer Science Vol. 7480 https://doi.org/10.1007/978-3-642-38143-0

Yang, B., Guo, C. & Jensen, C. S. (2013). Travel cost inference from sparse, spatio-temporally correlated time series using markov models. Proceedings of the VLDB Endowment, 6(9), 769-780. http://dl.acm.org/citation.cfm?id=2536360.2536375&coll=DL&dl=ACM&CFID=383343957&CFTOKEN=67321284

Scheder, D. (2013). Trivial, tractable, hard. A not so sudden complexity jump in neighborhood restricted CNF formulas. In L. Cai, S.-W. Cheng & A.-W. Lam (Eds.), Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (pp. 251-261). Springer VS. https://doi.org/10.1007/978-3-642-45030-3_24

Filos-Ratsika, A. & Miltersen, P. B. (2013). Truthful approximations to range voting. (1307.1766v1 ed.) arxiv.org. http://arxiv.org/pdf/1307.1766v1.pdf

Damgård, I. B. & Scafuro, A. (2013). Unconditionally Secure and Universally Composable Commitments from Physical Assumptions. In K. Sako & P. Sarkar (Eds.), Advances in Cryptology - ASIACRYPT 2013: 19th International Conference on the Theory and Application of Cryptology and Information Security, Bengaluru, India, December 1-5, 2013, Proceedings, Part II (pp. 100-119 ). Springer VS. https://doi.org/10.1007/978-3-642-42045-0_6

Displaying results 2501 to 2550 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