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

Wilkinson, B. T. (2015). Exploring the Problem Space of Orthogonal Range Searching. Department of Computer Science, Aarhus University.

Wigard, J., Nielsen, T. T., Mogensen, P. E. & Michaelsen, P-H. (1998). Frequency Planning for Frequency Hopping GSM Networks. Paper presented at COST 259 Workshop, Duisburg, Germany.

Wigard, J., Nielsen, T. T. & Mogensen, P. E. (1997). Improved Intelligent Underlay-Overlay Combined with Frequency Hopping in GSM. In The 8th IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, 1997. 'Waves of the Year 2000'. PIMRC '97. : 'Waves of the Year 2000'. PIMRC '97. IEEE Computer Society Press. https://doi.org/10.1109/PIMRC.1997.630948

Wigard, J., Nielsen, T. T., Michaelsen, P. H. & Mogensen, P. E. (1998). BER and FER Prediction of Control and Traffic Channels for a GSM type of interface. In 48th IEEE Vehicular Technology Conference, 1998. VTC 98. IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1998.686557

Wigard, J., Nielsen, T. T., Michaelsen, P-H. & Mogensen, P. E. (1999). On a handover algorithm in a PCS1900/ GSM/DCS1800 Network. In 1999 IEEE 49th Vehicular Technology Conference (Vol. 3, pp. 2510-2514). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1999.778536

Wigard, J., Nielsen, T. T., Skjærris, S. & Mogensen, P. E. (1999). The influence of Discontinuous Transmission on RXQUAL statistics in GSM. In 1999 IEEE 49th Vehicular Technology Conference (pp. 2505-2509). IEEE Computer Society Press. https://doi.org/10.1109/VETEC.1999.778534

Wickremesinghe, R., Arge, L. A., Chase, J. S. & Vitter, J. S. (2002). Efficient sorting using registers and caches. Journal of Experimental Algorithmics, 7, 9. https://doi.org/10.1145/944618.944627

Wichterich, M., Kranen, P., Assent, I. & Seidl, T. (2010). Efficient EMD-based Similarity Search in Medical Image Databases. In C. Plant & C. Böhm (Eds.), Database Technology for Life Sciences and Medicine (pp. 175-202). World Scientific. Science, Engineering and Biology Informatics Vol. 6

Westergaard, M. & Kindler, E. (Ed.) (2004). Towards a High-level Petri Net Type Type Definition. In Proceeding of the Workshop on the Definition, Implementation and Application of a Standard Interchange Format for Petri Nets

Westergaard, M. & Lassen, K. B. (2006). Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools. In Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (pp. 119-136)

Westergaard, M. & Lassen, K. B. (2006). The BRITNeY Suite Animation Tool. In Petri Nets and Other Models of Concurrency ICATPN 2006 (Vol. 4024, pp. 331-340). Springer.

Westergaard, M., Kristensen, L. M., Brodal, G. S. & Arge, L. (2007). The ComBack Method - Extending Hash Compaction with Backtracking. In Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings (pp. 455-464). Springer. Lecture Notes in Computer Science Vol. 4546 https://doi.org/10.1007/978-3-540-73094-1_26

Westergaard, M. (2007). Looking Good, Behaving Well - Behavioural Verification and Visualisation of Formal Models of Concurrent Systems. Daimi PhD Dissertation No. PD-07-10

Westergaard, M. & Kristensen, L. M. (2008). Two Interfaces to the CPN Tools Simulator. In Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 83-102). Department of Computer Science. DAIMI No. PB-588

Westergaard, M. & Kristensen, L. M. (2008). JoSEL: A Job Specification and Execution Language for Model Checking. In Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 7-26). Department of Computer Science. DAIMI No. PB-588

Westergaard, M. (2007). A Game-theoretic View on Behavioural Visualisation. In A. Cerone & P. Curzon (Eds.), Electronic Notes in Theoretical Computer Science: Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) (Vol. 208, pp. 113-129). Pergamon Press.

Westergaard, M. (2006). Game Coloured Petri Nets. In K. Jensen (Ed.), Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (Vol. PB-579, pp. 281-301). Aarhus Universitetsforlag.

Westergaard, M. (2006). The BRITNeY Suite: A Platfor for Experiments. In K. Jensen (Ed.), Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: CPN'06 workshop (pp. 97-116). Aarhus Universitetsforlag. D A I M I P B Vol. 579

Westergaard, M. (2002). Supporting Multiple Pointing Devices in Microsoft Windows. In L. Cardelli (Ed.), Proceedings of Microsoft Summer Workshop for Faculty and PhDs.: Supporting Multiple Pointing Devices in Microsoft Windows (pp. 11. Talk). Microsoft Press.

Westergaard, M. (2007). Hvorfor det er smart at have arbitrært mange hænder. Prosabladet, Artikel 6.

Westergaard, M., Evangelista, S. & Kristensen, L. M. (2009). ASAP: An Extensible Platform for State Space Analysis. Lecture Notes in Computer Science, 303-312. https://doi.org/10.1007/978-3-642-02424-5_18

Westergaard, M. & Kristensen, L. M. (2009). The Access/CPN Framework: A Tool for Interacting With the CPN Tools Simulator. Lecture Notes in Computer Science, 313-322. https://doi.org/10.1007/978-3-642-02424-5_19

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

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. M. (2002). Performance Analysis using Coloured Petri Nets. (DAIMI PB-563 ed.) Datalogisk Institut, Aarhus Universitet.

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

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.

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. The Annual A C M - S I A M Symposium on Discrete Algorithms. Proceedings 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. Lecture Notes in Computer Science Vol. 8737 https://doi.org/10.1007/978-3-662-44777-2_68

Watt, D. A. & Madsen, O. L. (1983). Extended Attribute Grammars. 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. Lecture Notes in Computer Science Vol. 10939 https://doi.org/10.1007/978-3-319-93040-4_54

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. Lecture Notes in Computer Science LNCS Vol. 7040 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

Displaying results 151 to 200 out of 5127

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University