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

Wang, X., Deng, K., Li, J., Yu, J. X., Jensen, C. S. & Yang, X. (2018). Targeted influence minimization in social networks. In G. I. Webb, D. Phung, M. Ganji, L. Rashidi, V. S. Tseng & B. Ho (Eds.), Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Proceedings (pp. 689-700). Springer. https://doi.org/10.1007/978-3-319-93040-4_54

Walter, R., Bulling, A., Lindlbauer, D., Schuessler , M. & Müller, J. (2015). Analyzing visual attention during whole body interaction with public displays. In Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '15 (pp. 1263-1267). Association for Computing Machinery. https://doi.org/10.1145/2750858.2804255

Walderveen, F. V. (2012). External Memory Graph Algorithms and Range Searching Data Structures. Department of Computer Science, Aarhus University.

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2011). Increased data quality in home blood pressure monitoring through context awareness. In Pervasive Computing Technologies for Healthcare (PervasiveHealth): 2011 5th International Conference on (pp. 234-237).

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2011). Context assessment during blood pressure self-measurement utilizing the sensor chair. In Ambient Intelligence: Second International Joint Conference on AmI 2011, Proceedings (Vol. 7040, pp. 295-299). Springer. https://doi.org/10.1007/978-3-642-25167-2_40

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2012). Challenges in Blood Pressure Self-Measurement. International Journal of Telemedicine and Applications, 2012. https://doi.org/10.1155/2012/437350

Wagner, S. R., Rasmussen, N. H., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2012). Context classification during blood pressure self-measurement using the sensor seat and the audio classification device. In The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (pp. 201 - 202 ). ICST, The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240390

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2012). Requirements for an evaluation infrastructure for reliable pervasive healthcare research. In The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (pp. 260-267). ICST, The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240390

Wagner, S. R., Arnfast, A. B., Toftegaard, T. S. & Bertelsen, O. W. (2011). Medication Reminder System using Calm Guidance. Paper presented at Danish Human-Computer Interaction Research Symposium, Denmark. http://www.sigchi.dk/sigchi/aktivitet/dhrs/2011/program.html

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2013). Introducing the Adherence Strategy Engineering Framework (ASEF): Support for Developing Technology-based Self-care Solutions. Methods of Information in Medicine, 52(3), 220-230. https://doi.org/10.3414/ME12-01-0027

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

Wagner, S., Buus, N. H., Jespersen, B., Ahrendt, P., Bertelsen, O. W. & Toftegaard, T. S. (2013). Measurement adherence in the blood pressure self-measurement room. Telemedicine and e-Health, 19(11), 826-33. https://doi.org/10.1089/tmj.2013.0032

Wagner, S. R., Bertelsen, O. W. & Toftegaard, T. S. (2015). Applicability of the Reliable Evaluation Infrastructure Toolkit for Facilitating Self-Care Research. Journal of Pervasive Systems Engineering, 4(1). http://pervasivesystems.org/Papers/2015-1/Article%20-%20APPLICABILITY%20OF%20THE%20RELIABLE%20EVALUATION%20INFRASTRUCTURE%20TOOLKIT%20FOR%20FACILITATING%20SELF-CARE%20RESEARCH%20.pdf

Wagner, S., Kamper, C. H., Toftegaard, T. S. & Bertelsen, O. W. (2013). Blood pressure self-measurement in the obstetric waiting room. Telemedicine and e-Health, 19(11), 872-874. https://doi.org/10.1089/tmj.2013.0065

Wagealla, W., Carbone, M., English, C., Terzis, S., Lowe, H., Nixon, P., Dimitrakos, T. (Ed.) & Martinelli, F. (Ed.) (2004). A Formal Model for Trust Lifecycle Management. In Proceedings of IEEE International Conference on Software Engineering and Formal Methods (SEFM '03), 2003. (pp. 181-192). IIT-CNR.

Vosough, Z., Hogräfer, M., Royer, L. A., Groh, R. & Schulz, H-J. (2018). Parallel Hierarchies: A Visualization for Cross-tabulating Hierarchical Categories. Computers & Graphics, 76(November), 1-17. https://doi.org/10.1016/j.cag.2018.07.009

Vorum, H., Madsen, P., Rasmussen, H. H., Etzerodt, M., Svendsen, I., Celis, J. E. & Honoré, B. (1996). Expression and divalent cation binding properties of the novel chemotactic inflammatory protein psoriasin. Electrophoresis, 17(11), 1787-96. https://doi.org/10.1002/elps.1150171118

Vollrath, F. & Krink, T. (2020). Spider webs inspiring soft robotics. Journal of the Royal Society, Interface, 17(172). https://doi.org/10.1098/rsif.2020.0569

Vitanov, A., Dupont-Dupuis, F., Tomamichel, M. & Renner, R. (2013). Chain rules for smooth min-and max-entropies. I E E E Transactions on Information Theory, 59(5), 2603-2612. https://doi.org/10.1109/TIT.2013.2238656

Vindum, S. F. & Birkedal, L. (2021). Contextual refinement of the Michael-Scott queue (proof pearl). In C. Hriţcu & A. Popescu (Eds.), CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs (pp. 76-90). Association for Computing Machinery. https://doi.org/10.1145/3437992.3439930

Vindum, S. F., Frumin, D. & Birkedal, L. (2022). Mechanized Verification of a Fine-Grained Concurrent Queue from Meta s Folly Library. In A. Popescu & S. Zdancewic (Eds.), CPP 2022 : Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 2022 (pp. 100-115). Association for Computing Machinery. https://doi.org/10.1145/3497775.3503689

Vindum, S. F. & Birkedal, L. (2023). Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory. Proceedings of the ACM on Programming Languages , 7(OOPSLA2), 632-657. Article 244. https://doi.org/10.1145/3622820

Videbech, P., Ravnkilde, B., Pedersen, T. H., Hartvig, H., Egander, A., Clemmensen, K., Rasmussen, N. A., Andersen, F., Gjedde, A. & Rosenberg, R. (2002). The Danish PET/depression project: clinical symptoms and cerebral blood flow. A regions-of-interest analysis. Acta Psychiatrica Scandinavica, 106(1), 35-44.

Victor Kobbelgaard, F., Bødker, S. & Kanstrup, A. M. (2020). Designing a game to explore human artefact ecologies for assistive robotics: Basing design games on an activity theoretical framework. In NordiCHI '20: Proceedings of the 11th Nordic Conference on Human-Computer Interaction: : Shaping Experiences, Shaping Society (pp. 1-10). Article 27 Elsevier. https://doi.org/10.1145/3419249.3420181

Vicente, C. R., Frenti, D., Bettini, C. & Jensen, C. S. (2011). Location-Related Privacy in Geo-Social Networks. I E E E Internet Computing, 15(3), 20-27. https://doi.org/10.1109/MIC.2011.29

Vicente, C. R., Assent, I. & Jensen, C. S. (2011). Effective Privacy-Preserving Online Route Planning. In 2011 12th IEEE International Conference on Mobile Data Management (MDM) (pp. 119-128). IEEE Computer Society Press. https://doi.org/10.1109/MDM.2011.20

Vesterstrøm, J. S. & Thomsen, R. (2004). A Comparative Study of Differential Evolution, Particle Swarm Optimization, and Evolutionary Algorithms on Numerical Benchmark Problems. In Proceedings of the 2004 Congress on Evolutionary Computation (pp. 1980-1987). IEEE.

Vesterstrøm, J. S. (2003). Physical Mapping Using Simulated Annealing and Evolutionary Algorithms. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2003, 8 -12 December 2003, Canberra, Australien (Vol. 1, pp. 327- 334). IEEE Press.

Vesterstrøm, J. S. & Riget, J. (2002). A Diversity-Guided Particle Swarm Optimizer - the ARPSO. EVALife Technical Report, (2002-02).

Vesterstrøm, J. S., Riget, J., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Division of Labor in Particle Swarm Optimisation. In Ikke angivet (pp. 1570-1575). IEEE Press.

Vesterstrøm, J. S. (2006). Heuristic Algorithms in Bioinformatics. Daimi PhD Dissertation No. PD-06-5

Vestergaard Mogensen, M. (2009). Infrastructure Support for Collaborative Pervasive Computing Systems. Aarhus Universitetsforlag.

Vernica, T., Lipman, R., Kramer, T., Kwon, S. & Bernstein, W. Z. (2022). Visualizing Standardized Model-Based Design and Inspection Data in Augmented Reality. Journal of Computing and Information Science in Engineering, 22(4), Article 041001. https://doi.org/10.1115/1.4053154

Vermeulen, J., Lim, B. Y., Avdic, M., Wang, D. & Abdul, A. (2019). The Curious Case of Providing Intelligibility for Smart Speakers. Abstract from The 2019 ACM CHI Conference on Human Factors in Computing Systems (CHI'19), Glasgow, United Kingdom.

Verdezoto, N. & Olsen, J. W. (2012). Personalized Medication Management: Towards a Design of Individualized Support for Elderly Citizens at Home. In Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (IHI2012) (pp. 813-817). Association for Computing Machinery. https://doi.org/10.1145/2110363.2110463

Verdezoto, N., Grönvall, E., Vincentz, S. & Rostgaard Thielsen, S. (2012). Exploring Challenges of Self-Monitoring for Senior Adults. Paper presented at Bridging Clinical and Non-clinical Health Practices: Opportunities and Challenges, Austin, Texas, United States. http://www.ics.uci.edu/~yunanc/chi2012health/Downloads/Verdezoto.pdf

Verdezoto, N. & Grönvall, E. (2012). Designing a Tablet Touch-Screen Interface for Older Adults. Paper presented at How to Design Touch Interfaces for and with Older Adults: Identification of Challenges and Opportunities, Copenhagen, Denmark. http://workshops.icts.sbg.ac.at/NordiCHI2012/papers/Verdezoto_et_al.pdf

Verdezoto, N. & Grönvall, E. (2012). Opportunities to Support Medication Intake across Boundaries of Care. Paper presented at Designing for Self-Care Acknowledging the Home-Clinic Difference, Copenhagen, Denmark. http://users-cs.au.dk/gronvall/nordichi_rehab2012/accepted.html

Verdezoto, N. (2013). Home-based Healthcare Technology: Understanding and Designing to Support the Care Management Work at Home. Abstract from IEEE International Conference on Healthcare Informatics, Philadelphia, United States.

Verdezoto, N. (2013). Home-based Self-care: Understanding and Designing Pervasive Technology to Support Care Management Work at Home. Department of Computer Science, Aarhus University.

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

Verdezoto, N., Nunes, F., Grönvall, E., Fitzpatrick, G., Storni, C. & Kyng, M. (2014). Designing self-care for everyday life. In V. Roto & J. Häkkilä (Eds.), NordiCHI '14, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational (pp. 821-824 ). Association for Computing Machinery. https://doi.org/10.1145/2639189.2654837

Verdezoto, N. (2015). Exploring Challenges and Opportunities for Eco-Feedback Technology. Paper presented at Workshop on Expanding the Boundaries: A SIGCHI HCI & Sustainability , Seoul, Korea, Republic of. http://wp.lancs.ac.uk/chi15sust/files/2015/04/pp_verdezoto.pdf

Verdezoto, N. & Grönvall, E. (2015). On preventive blood pressure self-monitoring at home. Cognition, Technology and Work, 18(2), 267-285. https://doi.org/10.1007/s10111-015-0358-7

Verbin, E. & Yu, W. (2011). The Streaming Complexity of Cycle Counting, Sorting by Reversals, and Other Problems. In Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms. SODA 2011 (pp. 11-25). Society for Industrial and Applied Mathematics. http://www.siam.org/proceedings/soda/2011/SODA11_002_verbine.pdf

Verbin, E. & Zhang, Q. (2012). Rademacher-Sketch: A Dimensionality-Reducing Embedding for Sum-Product Norms, with an Application to Earth-Mover Distance. Lecture Notes in Computer Science, 7391, 834-845. https://doi.org/10.1007/978-3-642-31594-7_70

Verbin, E. & Yu, W. (2013). Data structure lower bounds on random access to grammar-compressed strings. In J. Fischer & P. Sanders (Eds.), Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings (pp. 247-258). Springer VS. https://doi.org/10.1007/978-3-642-38905-4_24

Venetis, P., Gonzalez, H., Jensen, C. S. & Halevy, A. (2011). Hyper-local, directions-based ranking of places. Proceedings of the VLDB Endowment, 4(5), 290-301. http://www.vldb.org/pvldb/vol4/p290-venetis.pdf

Veje Pedersen, N., Clausen, H. S. & Dissing, C. (2019). Centralizing Pure after 15 years: Experiences forming a library specialist team. Abstract from PURE International Conference 2019, Prag, Czech Republic. https://app.oxfordabstracts.com/events/1125/program-app/submission/143655

Veileborg, O. H., Saioc, G-V. & Møller, A. (2023). Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. In iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings (pp. 1-12). Article 32 Association for Computing Machinery. https://doi.org/10.1145/3551349.3561154

Displaying results 151 to 200 out of 5194

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University