Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Sortér efter: Dato | Forfatter | Titel

Zhang, W., Hansen, K. M. & Kunz, T. (2010). Enhancing Intelligence of a Product Line Enabled Pervasive Middleware. Pervasive and Mobile Computing, 6(2), 198-217. https://doi.org/10.1016/j.pmcj.2009.07.002

Zhang, W. & Hansen, K. M. (2009). An Evaluation of the NSGA-II and MOCell Genetic Algorithms for Self-management Planning in a Pervasive Service Middleware. I Proceedings of the 14th IEEE International Conference on Enginerring of Complex Computer Systems (ICECCS 2009) (s. 192-201). IEEE Press. https://doi.org/10.1109/ICECCS.2009.17

Zhang, Y., Chong, M. K., Müller, J., Bulling, A. & Gellersen, H. (2015). Eye tracking for public displays in the wild. Personal and Ubiquitous Computing, 19(5-6), 967-981. https://doi.org/10.1007/s00779-015-0866-8

Zhang, Y., Li, Y., Tan, T. & Xue, J. (2018). Ripple: Reflection analysis for Android apps in incomplete information environments. Software - Practice and Experience, 48(8), 1419-1437. https://doi.org/10.1002/spe.2577

Zhang, K., Zhou, J., Tao, D., Karras, P., Li, Q. & Xiong, H. (2020). Geodemographic Influence Maximization. I KDD '20: Proceedings of the 26th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining (s. 2764-2774). Association for Computing Machinery. https://doi.org/10.1145/3394486.3403327

Zhang, P., Cao, C., Zaporojets, K. & Groth, P. (2024). CYCLE: Cross-Year Contrastive Learning in Entity-Linking. I CIKM 2024 - Proceedings of the 33rd ACM International Conference on Information and Knowledge Management (s. 3197-3206). Association for Computing Machinery. https://doi.org/10.1145/3627673.3679702

Zhang, W. (2001). Reusability of Information System with UML. Northwestern Polytechnical University.

Zhang, Z., Sun, B. & An, P. (2025). Breaking Barriers or Building Dependency? Exploring Team-LLM Collaboration in AI-infused Classroom Debate. I CHI 2025 - Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems Artikel 137 Association for Computing Machinery. https://doi.org/10.1145/3706598.3713853

Zhang, C., Zhang, Z., Zhang, W., Zeng, T., Sun, B. & An, P. (2025). Anger Speaks Louder? Exploring the Effects of AI Nonverbal Emotional Cues on Human Decision Certainty in Moral Dilemmas. I M. Beigl, G. Jacucci, S. Sigg, Y. Xiao, J. E. Bardram, E. E. Tsiropoulou & C. Xu (red.), UbiComp Companion 2025 - Companion of the 2025 ACM International Joint Conference on Pervasive and Ubiquitous Computing (s. 40-44). Association for Computing Machinery. https://doi.org/10.1145/3714394.3754387

Zerny, I. (2009). On Graph Rewriting, Reduction and Evaluation. I Z. Horváth, V. Zsók, P. Achten & P. Koopman (red.), Tenth Symposium on Trends in Functional Programming, TFP. Proceedings (2009 udg., s. 164-178). Selye János University.

Zerny, I. (2010). On Graph Rewriting, Reduction and Evaluation. I Z. Horváth, V. Zsók, P. Achten & P. Koopman (red.), Trends in Functional Programming 10: Selected Papers from the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, 2-4 June 2009 (s. 1-16). Intellect Books. http://www.zerny.dk/zerny-tfp09.pdf

Zerny, I. (2013). On Graph Rewriting, Reduction, and Evaluation in the Presence of Cycles. Higher-Order and Symbolic Computation, 26(1), 63–84. https://doi.org/10.1007/s10990-014-9103-9

Zerny, I. & Danvy, O. (2013). A synthetic operational account of call-by-need evaluation. I R. Peña & T. Schrijvers (red.), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP '13 (s. 97-108). Association for Computing Machinery. https://doi.org/10.1145/2505879.2505898

Zerny, I. (2014). The interpretation and inter-derivation of small-step and big-step specifications. Department of Computer Science, University of Aarhus.

Zengfeng, H., Ke, Y. & Zhang, Q. (2012). Randomized algorithms for tracking distributed count, frequencies, and ranks. I K. Markus , B. Michael & L. Maurizio (red.), PODS '12 Proceedings of the 31st symposium on Principles of Database Systems (s. 295-306 ). Association for Computing Machinery. https://doi.org/10.1145/2213556.2213596

Zellweger, P. T., Bouvin, N. O., Jehøj, H. & Mackinlay, J. D. (2001). Fluid Annotations in a Open World. I K. Grønbæk, H. Davis & Y. Douglas (red.), Proceedings of the twelfth ACM conference on Hypertext and Hypermedia (s. 9-18). Association for Computing Machinery. https://doi.org/10.1145/504216.504224

Zardbani, F., Afshani, P. & Karras, P. (2020). Revisiting the theory and practice of database cracking. I A. Bonifati, Y. Zhou, M. A. Vaz Salles, A. Bohm, D. Olteanu, G. Fletcher, A. Khan & B. Yang (red.), Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings (s. 415-418). openproceedings.org. https://doi.org/10.5441/002/edbt.2020.46

Zardbani, F., Mamoulis, N., Idreos, S. & Karras, P. (2023). Adaptive Indexing of Objects with Spatial Extent. Proceedings of the VLDB Endowment, 16(9), 2248-2260. https://doi.org/10.14778/3598581.3598596

Zardbani, F. (2025). Incremental Management of Multi-dimensional Data’. [Ph.d.-afhandling, Aarhus Universitet].

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. Daimi Report Series (DAIMI PB), (591), 63-66.

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

Zander, P.-O. (2008). Collaborative Process Change by Inscription: A Contested Terrain for Interaction Designers. KFS i Lund AB.

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, S. N. H. (2014). Secure Computation in the Preprocessing Model. Department of Computer Science, Aarhus University.

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. I CHI '16: Proceedings of the 2016 CHI Conference on Human Factors in Computing Systems (s. 5470-5481). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858224

Yu, H., Larsen, K. G. & Christiansen, O. (2025). Optimization methods for tensor decomposition: A comparison of new algorithms for fitting the CP(CANDECOMP/PARAFAC) model. Chemometrics and Intelligent Laboratory Systems, 257, Artikel 105290. https://doi.org/10.1016/j.chemolab.2024.105290

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), Artikel 2. https://doi.org/10.1145/2508702

Yen, R., Pollock, J., Berger, C. P. & Satyanarayan, A. (2026). Something In Between Formal Spec and Informal Representation. https://vis.csail.mit.edu/pubs/between-formal-informal.pdf

Yang, B., Fantini, E. N. & Jensen, C. S. (2013). iPark: Identifying Parking Spaces from Trajectories. I G. Guerrini & N. W. Paton (red.), Proceedings of The 16th International Conference on Extending Database Technology: EDBT 2013 (s. 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. I 2014 IEEE 30th International Conference on Data Engineering (ICDE), (s. 136-147). IEEE. https://doi.org/10.1109/ICDE.2014.6816646

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. I KDD 2021 - Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (s. 2006-2016). Association for Computing Machinery. https://doi.org/10.1145/3447548.3467272

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

Yamasaki, S., Sasaki, Y., Karras, P. & Onizuka, M. (2023). Holistic Prediction on a Time-Evolving Attributed Graph. Proceedings of the Annual Meeting of the Association for Computational Linguistics, 61(1), 13676-13694. https://doi.org/10.18653/v1/2023.acl-long.765

Yakoubov, S. (2020). Universally Composable Accumulators.

Yakoubov, S., Pagnin, E. & Kolby, S. (2024). Multi Designated Verifier Ring Signatures. IACR Communications in Cryptology, 1(3). https://doi.org/10.62056/a33zivrzn

Yakoubov, S., Damgård, I. B., Siniscalchi, L., Ravi, D. & Ciampi, M. (2026). Information-Theoretic Broadcast-Optimal MPC. I B. Applebaum & H. Lin (red.), Theory of Cryptography Conference (TCC 2025) (s. 152-181) https://doi.org/10.1007/978-3-032-12287-2_6

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 fra Joint Annual Meeting ISMRM-ESMRMB, Milan, Italien. 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 præsenteret på Joint Annual Meeting ISMRM-ESMRMB, Milan, Italien. 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. I 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. I P. Kommers, T. Issa, T. Issa, D.-F. Chang & P. Isaías (red.), International Conference on Sustainability, Technology, and Education, STE 2014: proceedings (s. 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(5), S761-S762. https://doi.org/10.1002/mds.27399

Viser resultater 51 til 100 ud af 6152

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series