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

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation. In C. Frydman, F. Longo & K. Mekouar (Eds.), 21st European Modeling and Simulation Symposium: International Mediterranean and Latin American Modelling Multiconference (pp. 47-53). Universidad De La Laguna.

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). A Prototype for Cosimulating SystemC and Coloured Petri Net Models. D A I M I P B, (590), 1-20.

Westergaard, M., Henningsen, J., Svendsen, M. L., Johansen, C., Jensen, U. B., Schrøder, H. D., Kratchmarova - Blagoeva, I. H., Berge, R. K., Iversen, L., Bolund, L., Kragballe, K. & Kristiansen, K. (2001). Modulation of keratinocyte gene expression and differentiation by PPAR-selective ligands and tetradecylthioacetic acid. Journal of Investigative Dermatology, 116(5), 702-12. https://doi.org/10.1046/j.0022-202x.2001.doc.x

Westergaard, M. (2007). Looking Good, Behaving Well - Behavioural Verification and Visualisation of Formal Models of Concurrent Systems.

Wernersson, R., Schierup, M. H., Jørgensen, F. G., Gorodkin, J., Panitz, F., Staerfeldt, HH., Christensen, O. F., Mailund, T., Hornshøj, H., Klein, A., Jun, W., Liu, B., Hu, S., Dong, W., Li, W., Wong, GK.-S., Yu, J., Wang, J., Bendixen, C. ... Bolund, L. (2005). Pigs in Sequence Space: A 0.66X Coverage Pig Genome Survey based on Shotgun Sequencing. B M C Genomics, 6(70). http://www.biomedcentral.com/1471-2164/6/70

Wells, L. M., Boukerche, A. (Ed.), Das, S. K. (Ed.) & Majumdar, S. (Ed.) (2002). Performance Analysis Using Coloured Petri Nets. In Proceedings, 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, 2002 (pp. 217-221). IEEE Computer Society Press.

Wells, L., Christensen, S., Kristensen, L. M., Mortensen, K. H., German, R. (Ed.) & Haverkort, B. (Ed.) (2001). Simulation Based Performance Analysis of Web Servers. In Proceedings of 9th International Workshop on Petri Nets and Performance Models (pp. 59-68). IEEE Computer Society Press.

Wells, L. M. (2005). Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. In G. Ciardo & P. Darondeau (Eds.), ICATPN 2005 (pp. 403-423). Springer LNCS.

Wells, L. M. (2006). Performance Analysis using CPN Tools. In Valuetools '06: Proceedings of the 1st International Conference On Performance Evaluation Methodolgies And Tools Association for Computing Machinery.

Wells, L. M. (2002). Performance Analysis using Coloured Petri Nets (DAIMI PB-563 ed.). Datalogisk Institut, Aarhus Universitet.

Weinberg, M. S., Villeneuve, L. M., Ehsani, A., Amarzguioui, M., Aagaard, L., Chen, Z.-X., Riggs, A. D., Rossi, J. J. & Morris, K. V. (2006). The antisense strand of small interfering RNAs directs histone methylation and transcriptional gene silencing in human cells. RNA, 12(2), 256–262. https://doi.org/10.1261/rna.2235106

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

Wei, Z. & Yi, K. (2011). Beyond simple aggregates: Indexing for summary queries. In Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (pp. 117-128). Association for Computing Machinery. https://doi.org/10.1145/1989284.1989299

Wei, Z. & Yi, K. (2014). Equivalence between priority queues and sorting in external memory. In A. S. Schulz & D. Wagner (Eds.), Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings (Vol. 8737 , pp. 830-841). Springer. https://doi.org/10.1007/978-3-662-44777-2_68

Watt, D. A. & Madsen, O. L. (1983). Extended Attribute Grammars. The Computer Journal. http://comjnl.oxfordjournals.org/content/26/2/142.full.pdf

Wang, H., Schwefel, H.-P. & Toftegaard, T. S. (2008). History-based Adaptive Modulation for a Downlink Multicast Channel in OFDMA systems. In IEEE Wireless Communications and Networking Conference, WCNC '08. Conference proceedings (pp. 1588 - 1592). IEEE Communications Society. https://doi.org/10.1109/WCNC.2008.284

Wang, H., Schwefel, H.-P., Chu, X. & Toftegaard, T. S. (2010). Joint NWC-ARQ and AMC for QoS-Guaranteed Mobile Multicast. EURASIP Journal on Wireless Communications and Networking, 2010(Article ID 807691). https://doi.org/10.1155/2010/807691

Wang, H., Schwefel, H.-P. & Toftegaard, T. S. (2008). The Optimal Joint Power and Rate Adaption for Mobile Multicast: A Theoretical Approach. In 2008 IEEE Sarnoff Symposium IEEE Computer Society Press. https://doi.org/10.1109/SARNOF.2008.4520061

Wang, H., Schwefel, H.-P. & Toftegaard, T. S. (2007). Adaptive Modulation for a Downlink Multicast Channel in OFDMA Systems. In IEEE Wireless Communications and Networking Conference. WCNC 2007. (pp. 650-655). IEEE Computer Society Press. https://doi.org/10.1109/WCNC.2007.125

Wang, Q., Kaul, M., Long, C. & Wong, R. (2014). Terrain-Toolkit: A Multi-Functional Tool for Terrain Data. Proceedings of the VLDB Endowment, 7(13), 1645 - 1648. http://www.vldb.org/pvldb/vol7/p1645-wang.pdf

Wang, Q., Kaul, M., Long, C. & Wong, R. C. W. (2014). Terrain-Toolkit: A multi-functional tool for terrain data. Proceedings of the VLDB Endowment, 7(13), 1645-1648. http://www.scopus.com/inward/record.url?scp=84905856022&partnerID=8YFLogxK

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

Wang, H., Sidenmark, L., Weidner, F., Newn, J. & Gellersen, H. (2025). HeadShift: Head Pointing with Dynamic Control-Display Gain. ACM Transactions on Computer-Human Interaction, 32(1), Article 2. https://doi.org/10.1145/3689434

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., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2012). Audio Context Classification for Determining Blood Pressure Self-Measurement Adherence. 105 - 114. Paper presented at IADIS International Conference on e-Health , Lisbon, Portugal. http://www.conferencealerts.com/show-event?id=97140

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-833. https://doi.org/10.1089/tmj.2013.0032, 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

Wagner, U., Lystbæk, M. N., Manakhov, P., Grønbæk, J. E., Pfeuffer, K. & Gellersen, H. (2023). A Fitts’ Law Study of Gaze-Hand Alignment for Selection in 3D User Interfaces. In A. Schmidt, K. Väänänen, T. Goyal, P. O. Kristensson, A. Peters, S. Mueller, J. R. Williamson & M. L. Wilson (Eds.), CHI '23: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems Article 252 Association for Computing Machinery. https://doi.org/10.1145/3544548.3581423

Wagner, U., Albrecht, M., Jacobsen, A. A., Wang, H., Gellersen, H. & Pfeuffer, K. (2024). Gaze, Wall, and Racket: Combining Gaze and Hand-Controlled Plane for 3D Selection in Virtual Reality. Proceedings of the ACM on Human-Computer Interaction, 8(ISS), 189-213. https://doi.org/10.1145/3698134

Wagner, U., Jacobsen, A. A., Feuchtner, T., Gellersen, H. & Pfeuffer, K. (2024). Eye-Hand Movement of Objects in Near Space. In B. Ens & S. Carpendale (Eds.), ISS Companion 2024 - Companion Proceedings of the Conference on Interactive Surfaces and Spaces (pp. 18-21). Association for Computing Machinery. https://doi.org/10.1145/3696762.3698044

Wagner, U., Jacobsen, A. A., Feuchtner, T., Gellersen, H. & Pfeuffer, K. (2024). Eye-Hand Movement of Objects in Near Space Extended Reality. In UIST 2024 - Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology Article 84 Association for Computing Machinery, Inc.. https://doi.org/10.1145/3654777.3676446

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

Vindum, S. F., Georges, A. L. & Birkedal, L. (2025). The Nextgen Modality: A Modality for Non-Frame-Preserving Updates in Separation Logic. In K. Stark, A. Timany, S. Blazy & N. Tabareau (Eds.), Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with: POPL 2025 (pp. 83-97). Association for Computing Machinery, Inc.. https://doi.org/10.1145/3703595.3705876

Displaying results 151 to 200 out of 5710

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University