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

Sort by: Date | Author | Title

Zander, P-O., Bødker, S. & Borchorst, N. G. (2009). Executive Summary - Barselsorlov.

Zander, P-O. & Bohøj, M. (2009). Experiencing Democracy: a Research Proposal. D A I M I P B, (591), 63-66.

Zander, P-O. (2009). Verksamhetsteori. In S. Hrastinski (Ed.), Nätbaserad utbildning: en introduktion Studentlitteratur.

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

Zakarias, R. W. & Damgård, I. B. (2015). Fast Oblivious AES A Dedicated application of the MiniMac protocol. https://eprint.iacr.org/2015/989.pdf

Zakarias, R. W. (2016). Practical Secure Computation with Pre-Processing. Department of Computer Science, Aarhus University.

Zagermann, J., Pfeil, U., Rädle, R., Jetter, H-C., Klokmose, C. N. & Reiterer, H. (2016). When Tablets meet Tabletops: The Effect of Tabletop Size on Around-the-Table Collaboration with Personal Tablets. In CHI '16: Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (pp. 5470-5481). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858224

Yon, J., Won, S. B., Cheng, S. W., Cheong, O. & Wilkinson, B. T. (2016). Approximating convex shapes with respect to symmetric difference under homotheties. In S. Fekete & A. Lubiw (Eds.), 32nd International Symposium on Computational Geometry, SoCG 2016 (Vol. 51, pp. 63.1-63.15). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.SoCG.2016.63

Yiu, M. L., Assent, I. & Jensen, C. S. (2012). Outsourced Similarity Search on Metric Data Assets. I E E E Transactions on Knowledge & Data Engineering, 24(2), 338-352. https://doi.org/10.1109/TKDE.2010.222

Yiu, M. L., Jensen, C. S., Møller, J. & Lu, H. (2011). Design and analysis of a ranking approach to private location-based services. A C M Transactions on Database Systems, 36(2), Article 10, p.1 - 42. https://doi.org/10.1145/1966385.1966388

Yi, K. & Zhang, Q. (2013). Optimal Tracking of Distributed Heavy Hitters and Quantiles. Algorithmica, 65(1), 206-223 . https://doi.org/10.1007/s00453-011-9584-4

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

Yang, B., Fantini, E. N. & Jensen, C. S. (2013). iPark: Identifying Parking Spaces from Trajectories. In G. Guerrini & N. W. Paton (Eds.), Proceedings of The 16th International Conference on Extending Database Technology: EDBT 2013 (pp. 705-708 ). Association for Computing Machinery. https://doi.org/10.1145/2452376.2452459

Yang, B., Kaul, M. & Jensen, C. S. (2014). Using Incomplete Information for Complete Weight Annotation of Road Networks. I E E E Transactions on Knowledge & Data Engineering, 26(5), 1267-1279. https://doi.org/10.1109/TKDE.2013.89

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

Yang, J. (2015). Efficient Algorithms for HandlingMassive Terrains. Department of Computer Science, University of Aarhus.

Yang, B., Guo, C., Ma, Y. & Jensen, C. S. (2015). Toward personalized, context-aware routing. V L D B Journal, 24(2), 297-318. https://doi.org/10.1007/s00778-015-0378-1

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

Yang, Y., Li, Y., Karras, P. & Tung, A. K. H. (2021). Context-aware Outstanding Fact Mining from Knowledge Graphs. In KDD 2021 - Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (pp. 2006-2016). Association for Computing Machinery. https://doi.org/10.1145/3447548.3467272

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/

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

Xue, H., Inati, S., Sangild, T., Kellman, P. & Hansen, M. (2015). Distributed MRI Reconstruction using Gadgetron based Cloud Computing. Magnetic Resonance in Medicine, 73(3), 1015–1025. https://doi.org/10.1002/mrm.25213

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

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

Xu, Z., Anderson, K., Lawson, R., Brooks, D. J. & Pavese, N. (2018). Progression of sleep disorders spectrum in Parkinson's Disease: A 5 year clinical longitudinal study. Movement Disorders, 33, S761-S762.

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

Wu, D., Yiu, M. L., Jensen, C. S. & Cong, G. (2011). Efficient continuously moving top-k spatial keyword query processing. Proceedings of the International Conference on Data Engineering, 541-552. https://doi.org/10.1109/ICDE.2011.5767861

Wu, D., Yiu, M. L., Cong, G. & Jensen, C. S. (2012). Joint Top-K Spatial Keyword Query Processing. I E E E Transactions on Knowledge & Data Engineering, 24(10), 1889 - 1903 . https://doi.org/10.1109/TKDE.2011.172

Wu, D., Cong, G. & Jensen, C. S. (2012). A framework for efficient spatial web object retrieval. V L D B Journal, 21(6), 797-822 . https://doi.org/10.1007/s00778-012-0271-0

Wu, D., Yiu, M. L. & Jensen, C. S. (2013). Moving Spatial Keyword Queries: Formulation, Methods, and Analysis. A C M Transactions on Database Systems, 38(1), Article 7. https://doi.org/10.1145/2445583.2445590

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

Workspace & Mogensen, P. H. (Ed.) (2003). Documentation of Infrastructure. In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments IST-2000-25290 (17 - WS-UAA-21 ed., Vol. WS-D17-v1-0, pp. 1-28). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D17-v1-0.pdf

Workspace & Mogensen, P. H. (Ed.) (2003). Final Demonstrator Status: Deliverable 5: Status report, month 36. In EU,IST, FET, DC project, Workspace: IST-2000-25290:Distributed Work support through component based SPAtial Computing Environments (Deliverable 5 ed., Vol. WS-D5-v1, pp. 1-46). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D5-v1.0.pdf

Workspace & Mogensen, P. H. (Ed.) (2003). Final Evaluations: Deliverable 18; In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Deliverable 18 ed., Vol. WS-UAA-22, pp. 1-29). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D18-v1-0.pdf

Workspace & Mogensen, P. H. (Ed.) (2003). Final Project Report. In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Final Report ed., Vol. WS-UAA-23, pp. 1-7). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-FinalReportV1-0.pdf

Woodruff, D. P. & Zhang, Q. (2011). Tight Bounds for Distributed Functional Monitoring. http://arxiv.org/abs/1112.5153

Wolff, S., Larsen, P. G., Lausdahl, K., Ribeiro, A. & Toftegaard, T. S. (2009). Facilitating Home Automation Through Wireless Protocol Interoperability. Proceedings of the Wireless Personal Multimedia Communications Symposia.

Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010). Optimizing Energy Usage in Private Households. In R. Prasad, S. Ohmori & D. Šimunić (Eds.), Towards Green ICT (pp. 185-210). River Pulishers.

Wölfel, C. & Merritt, T. (2013). Method card design dimensions: A survey of card-based design tools. In P. Kotzé et al. (Ed.), Human-Computer Interaction – INTERACT 2013: 14th IFIP TC 13 International Conference, Cape Town, South Africa, September 2-6, 2013, Proceedings, Part I (pp. 479-486). Springer VS. https://doi.org/10.1007/978-3-642-40483-2_34

Winthereik, B., Grønbæk, K., Glæsel, J. & Larsen, K. G. (2019). Vi må ikke lade skandaler om datamisbrug bremse vores brug af data i samfundets tjeneste. Berlingske. https://www.berlingske.dk/kronikker/vi-maa-ikke-lade-skandaler-om-datamisbrug-bremse-vores-brug-af-data-i

Winther, J. (2012). Improving Precision of Generated ASTs. Paper presented at 12th International Workshop on Language Descriptions, Tools, and Applications, Tallinn, Estonia.

Winther, J. (2012). Improving Precision of Types. Department of Computer Science, Aarhus University.

Winther, J. (2011). Guarded Type Promotion: Eliminating Redundant Casts in Java. In Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs Association for Computing Machinery. https://doi.org/10.1145/2076674.2076680

Winther, J. & Schwartzbach, M. I. (2011). Related Types. Lecture Notes in Computer Science, 6813, 434-458. https://doi.org/10.1007/978-3-642-22655-7_21

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance. In CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems (pp. CS16 1-8). Article 3375213 Association for Computing Machinery. https://doi.org/10.1145/3334480.3375213

Winther, F., Ravindran, L., Svendsen, K. P. & Feuchtner, T. (2020). Design and Evaluation of a VR Training Simulation for Pump Maintenance Based on a Use Case at Grundfos. In Proceedings - 2020 IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2020 (pp. 738-746). Article 9089646 IEEE. https://doi.org/10.1109/VR46266.2020.1580939036664

Winter, S., Jensen, C. S. & Li, K-J. (Eds.) (2010). Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness. Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1865885&coll=DL&dl=GUIDE&CFID=7605094&CFTOKEN=94044110

Winskel, G., Ésik, Z. (Ed.) & Ingólfsdóttir, A. (Ed.) (2002). Calculus for Categories. In Fixed Points in Computer Science (NS-02-2 of Notes Series ed., pp. 20-21).

Winskel, G., Ehrhard, T. (Ed.), Girard, J. (Ed.), Ruet, P. (Ed.) & Scot, P. (Ed.) (2004). Linearity and Nonlinearity in Distributed Computation. In Linear Logic in Computer Science (316 of London Math. Soc. Lecture Note Series ed., pp. 151-188). Cambridge University Press.

Winskel, G. (2003). Presheaf models for CCS-like languages. Theoretical Computer Science, 300(1-3), 47-89.

Displaying results 51 to 100 out of 5193

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University