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

Wigard, J., Nielsen, T. T., Michaelsen, P.-H. & Mogensen, P. E. (1999). On a handover algorithm in a PCS1900/ GSM/DCS1800 Network. I 1999 IEEE 49th Vehicular Technology Conference (Bind 3, s. 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. I 1999 IEEE 49th Vehicular Technology Conference (s. 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. I C. Plant & C. Böhm (red.), Database Technology for Life Sciences and Medicine (s. 175-202). World Scientific.

Whiffing, J., Langlotz, T., Lutteroth, C., Sharma, A. & Clarke, C. (2026). Understanding Freehand Cursorless Pointing Variability and Its Impact on Selection Performance. ACM Transactions on Computer-Human Interaction, 33(1), Artikel 11. https://doi.org/10.1145/3770583

Westergaard, M. & Kindler, E. (red.) (2004). Towards a High-level Petri Net Type Type Definition. I 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. I Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (s. 119-136)

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

Westergaard, M., Kristensen, L. M., Brodal, G. S. & Arge, L. (2007). The ComBack Method - Extending Hash Compaction with Backtracking. I 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 (s. 455-464). Springer. https://doi.org/10.1007/978-3-540-73094-1_26

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

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

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

Westergaard, M. (2006). Game Coloured Petri Nets. I K. Jensen (red.), Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (Bind PB-579, s. 281-301). Aarhus Universitetsforlag.

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

Westergaard, M. (2002). Supporting Multiple Pointing Devices in Microsoft Windows. I L. Cardelli (red.), Proceedings of Microsoft Summer Workshop for Faculty and PhDs.: Supporting Multiple Pointing Devices in Microsoft Windows (s. 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. I C. Frydman, F. Longo & K. Mekouar (red.), 21st European Modeling and Simulation Symposium: International Mediterranean and Latin American Modelling Multiconference (s. 47-53). Universidad De La Laguna.

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). A Prototype for Cosimulating SystemC and Coloured Petri Net Models. Daimi Report Series (DAIMI PB), (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. BMC Genomics, 6(70). http://www.biomedcentral.com/1471-2164/6/70

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

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

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

Wells, L. M. (2006). Performance Analysis using CPN Tools. I 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 udg.). 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. I S. Sanjeev Khanna (red.), Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA (s. 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. I Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (s. 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. I A. S. Schulz & D. Wagner (red.), Algorithms - ESA 2014: 22th Annual European Symposium, Wroclaw, Poland, September 8-10, 2014. Proceedings (Bind 8737 , s. 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. I IEEE Wireless Communications and Networking Conference, WCNC '08. Conference proceedings (s. 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. I 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. I IEEE Wireless Communications and Networking Conference. WCNC 2007. (s. 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. I G. I. Webb, D. Phung, M. Ganji, L. Rashidi, V. S. Tseng & B. Ho (red.), Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Proceedings (s. 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), Artikel 2. https://doi.org/10.1145/3689434

Wang, H., Weidner, F., Abdrabou, Y., Pfeuffer, K. & Gellersen, H. (2025). HeadDepth: Gaze Raycasting with Head Pitch for Depth Control. I U. Eck, G. Lee, A. Plopski, M. Smith, Q. Sun & M. Tatzgern (red.), Proceedings - 2025 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2025 (s. 370-380). IEEE. https://doi.org/10.1109/ISMAR67309.2025.00048

Wang, L., Meng, F., Liu, W., Zhao, Q., Zhang, J., Xie, Y., Zhang, Y., Duan, S., Li, Y., Cao, L. & Fox, A. D. (2026). Extreme drought affects exploratory behaviour and use of agricultural habitat in wintering Greater White-fronted Geese (Anser albifrons). Ibis, 168(3), 890-904. https://doi.org/10.1111/ibi.70033

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

The Baboon Genome Analysis Consortium (2017). Papio baboon species indicative Alu elements. Genome Biology and Evolution, 9(6), 1788-1796. https://doi.org/10.1093/gbe/evx130

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. I Pervasive Computing Technologies for Healthcare (PervasiveHealth): 2011 5th International Conference on (s. 234-237).

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2011). Context assessment during blood pressure self-measurement utilizing the sensor chair. I Ambient Intelligence: Second International Joint Conference on AmI 2011, Proceedings (Bind 7040, s. 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. I The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (s. 201 - 202 ). ICST, The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240390

Viser resultater 151 til 200 ud af 6136

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series