Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • ZoneLib: A simulink library for modeling zone divided climate dynamics

    Jessen, J. J. & Schiøler, H., 2006, 19th International Conference on Computer Applications in Industry and Engineering, CAINE 2006. p. 199-204 6 p. (19th International Conference on Computer Applications in Industry and Engineering, CAINE 2006).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Zero-Shot Cross-Lingual Transfer with Meta Learning

    Nooralahzadeh, F., Bekoulis, G., Bjerva, J. & Augenstein, I., 1 Nov 2020, Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP). Online: Association for Computational Linguistics, p. 4547-4562 16 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    56 Citations (Scopus)

  • You Can Touch, but You Can’t Look: Interacting with In-Vehicle Systems

    Bach, K. M., Jæger, M. G., Skov, M. B. & Thomassen, N. G., 2008, ACM Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1139-1148

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • You can touch, but you can't look: Interactina with in-vehicle systems

    Jaeger, M. G., Skov, M. B., Majlund, K. & Thomassen, N. M. Y., 22 Dec 2008, 26th Annual CHI Conference on Human Factors in Computing Systems, Conference Proceedings, CHI 2008. p. 1139-1148 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    92 Citations (Scopus)

  • XP in a Small Software Development Business: Adapting to Local Constraints

    Babb, J., Hoda, R. & Nørbjerg, J., Aug 2014, Nordic Contributions in IS Research: 5th Scandinavian Conference on Information Systems, SCIS 2014, Ringsted, Denmark August 10-13, Proceedings. Springer Publishing Company, Vol. 186. p. 14-29 (Lecture Notes in Business Information Processing).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • XML transformation in Scheme with LAML - a minimalistic approach

    Nørmark, K., 2003, Association of Lisp Users. Association of Lisp Users

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • XML-Extended OLAP Querying

    Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Proceedings of the Fourteenth International Conference on Scientific and Statistical Database Management. Kennedy, J. (ed.) (ed.). IEEE Computer Society Press, p. 195-206

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    43 Citations (Scopus)

  • WYSIWYB: A Declarative Approach to Finding API Protocols and Bugs in Linux Code

    Lawall, J., Lawall, J., Palix, N., Hansen, R. R. & Muller, G., 2009, Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'09). IEEE Computer Society Press, p. 43-52 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • WUppaal: A web-service for the Uppaal model-checker

    Fogh, P., Cano Hald, T. & Nielsen, B., 11 Apr 2016, 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data). IEEE, p. 1-6 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL

    Cassez, F., Gonzalez de Aledo, P. & Jensen, P. G., 2017, Models, Algorithms, Logics and Tools. Springer, (Lecture Notes in Computer Science, Vol. 10460).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    6 Citations (Scopus)

  • WS10A - Workshop on Social Web and Knowledge Management (SWKM2008)

    Dolog, P., Kroetzsch, M., Schaffert, S. & Vrandecic, D., 2008, International World Wide Web Conference: Proceeding of the 17th international conference on World Wide Web. Association for Computing Machinery

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Writing Internal Documentation

    Vestdam, T., 2001, Eckstein, Jutta (Hrsg.) : Rüping, Andreas (Hrsg.) : Schwanninger, Christa (Hrsg.). Stollfuß Medien

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Worst-Case Memory Consumption Analysis for SCJ

    Andersen, J. L., Todberg, M., Dalsgaard, A. E. & Hansen, R. R., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery, p. 2-10 9 p. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • Work Practices for Usability Testing of Computerized Systems and Mobile Devices

    Kjeldskov, J., Skov, M. & Stage, J., 2001, Proceedings of the First Danish Human-Computer Interaction Research Symposium : 27. November 2001, Aarhus Denmark. Bertelsen, O. W. (ed.) (ed.). Department of Computer Science, Aarhus University, p. 45-46

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Workload-Aware Shortest Path Distance Querying in Road Networks

    Wan, J., Gao, Y., Ma, Y., Huang, K., Zhou, X., Jensen, C. S. & Zheng, B., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE, p. 2372-2384 13 p. (Proceedings - International Conference on Data Engineering, Vol. 2022-May).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Workload-Aware Indexing of Continuously Moving Objects

    Tzoumas, K., Yiu, M. L. & Jensen, C. S., 2009, Proceedings of the VLDB Endowment. Association for Computing Machinery, p. 1186-1197 12 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    30 Citations (Scopus)

  • WNetKAT: A Weighted SDN Programming and Verification Language

    Larsen, K. G., Schmid, S. & Xue, B., 2017, 20th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics; No. 70).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • WiseKG: Balanced Access to Web Knowledge Graphs

    Azzam, A., Aebeloe, C., Montoya, G., Keles, I., Polleres, A. & Hose, K., 19 Apr 2021, The Web Conference 2021 - Proceedings of the World Wide Web Conference, WWW 2021. Association for Computing Machinery, p. 1422-1434 13 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    10 Citations (Scopus)

  • WISECON: An Intelligent Assistant for Buying Computers on the Internet

    Kroupa, T., Berka, P. & Kocka, T., 2002, Hacid, Mohand-Said (ed.): Lecture notes in artificial intelligence. 2366 ed. IEEE Computer Society Press, p. 167-175

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Wisdom of the local crowd: Detecting local events using social media data

    Ranneries, S. B., Kalør, M. E., Nielsen, S. A., Dalgaard, L. N., Christensen, L. D. & Kanhabua, N., 2016, Proceedings of the 8th ACM Conference on Web Science. Association for Computing Machinery, p. 352-354 3 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    18 Citations (Scopus)

  • Wireless Smartphone Mirroring in Video Calls

    Sørensen, H., O'Hara, K., Gosset, P. & Kjeldskov, J., Sept 2015, Human-Computer Interaction – INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III. Springer, p. 410-417 (Lecture Notes in Computer Science, Vol. 9298).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Wireless Evacuation on m Rays with k Searchers

    Brandt, S., Förster, K-T., Richner, B. & Wattenhofer, R., Dec 2017, Proceedings of the 24th International Colloquium on Structural Information and Communication Complexity (SIROCCO). Springer, (Lecture Notes in Computer Science, Vol. 10641).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    9 Citations (Scopus)

  • Wine and interaction design

    Paay, J., Robertson, T., Brereton, M. & Rogers, Y., 29 Nov 2016, Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016. p. 668-671 4 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Communication

    5 Citations (Scopus)

  • Widening the Schedulability Hierarchical Scheduling Systems

    Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Mikučionis, M., Nyman, U. & Skou, A., 2015, Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lanese, I. & Madelaine, E. (eds.). Springer, p. 209-227 18 p. (Lecture Notes in Computer Science; No. 8997).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    11 Citations (Scopus)
    320 Downloads (Pure)

  • Widening the Configuration Management Perspective

    Bendix, L. G., 2002, Metainformatics Symposium 2002, 7-10 august, Esbjerg, Denmark: Lecture Notes in Computer Science. <Forlag uden navn>

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

  • Why governing data is difficult: Findings from Danish Local Government

    Benfeldt, O., Persson, J. S. & Madsen, S., 25 Jun 2018, Smart Working, Living and Organising: IFIP WG 8.6 International Conference on Transfer and Diffusion of IT, TDIT 2018, Portsmouth, UK, June 25, 2018, Proceedings. Springer, p. 15-29 (I F I P, Vol. 533).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    9 Citations (Scopus)
    530 Downloads (Pure)

  • Where can an insider attack?

    Probst, C. W., Hansen, R. R. & Nielson, F., 2007, Formal Aspects in Security and Trust - Fourth International Workshop, FAST 2006, Revised Selected Papers. Springer, p. 127-142 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 4691 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    34 Citations (Scopus)

  • When Value is Greater than Money: a Micropayment System in Uganda

    Prentow, R. V., Steiniche, R., Johansen, S. D., Paay, J., Aaen, I. & Kjeldskov, J., 18 Apr 2015, Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems, CHI EA '15. Association for Computing Machinery, p. 765-772

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    File
    2 Citations (Scopus)
    298 Downloads (Pure)

  • When the Internet Hits the Road

    Jensen, C. S., 2007, Proceedings of the Twelfth GI-Fachtagung für Datenbanksysteme in Business, Technologie und Web. Koellen Verlag, p. 2-16 (Lecture Notes in Informatics; No. 103).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    2 Citations (Scopus)

  • When Process Is Getting in the Way of Creativity and Innovation

    Mûller, S. D., Ulrich, F. & Nielsen, P. A., 2014, Proceedings of the 47th Annual Hawaii International Conference on System Sciences (HICSS 47). Sprague, Jr, R. H. (ed.). IEEE, p. 221-229 8 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    6 Citations (Scopus)
    421 Downloads (Pure)

  • When Attitudes Don't Predict Behavior: A Study of Attitude Strength

    Bhattacherjee, A. & Sanford, C. C., 2006, Proceedings of the Twelfth Americas Conference on Information Systems. Universidad Autónoma Metropolitana, 5 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • What to Study in HCI: Beyond, Beyond, Beyond

    Kjeldskov, J., Skov, M. B. & Paay, J., 18 Apr 2015, Proceedings of the Workshop on What to Study in HCI at CHI 2015 Conference on Human Factors in Computing Systems. Association for Computing Machinery

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    4 Citations (Scopus)
    235 Downloads (Pure)

  • What's Wrong with the Diffusion of Innovation Theory: The Case of a Complex and Networked Technology

    Lyytinen, K. & Damsgaard, J., 2001, Proceedings of the IFIP Working Group 8.6 Conference, Banff, Canada, April 2001.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

    161 Citations (Scopus)

  • What makes it persuasive?

    Hansen, S. B. G., Rabjerg, M. F. & Hovedskou, E. K. B., 18 Apr 2018, Persuasive 2018 : 13th international conference on Persuasive Technology. Ham, J., Karapanos, E., Morita, P. P. & Burns, C. M. (eds.). Springer, p. 16-27 12 p. (Lecture Notes in Computer Science, Vol. 10809).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • What is a Timing Anomaly?

    Cassez, F., Hansen, R. R. & Olesen, M. C., 2012, Proceedings of the 12th International Workshop on Worst-Case Execution-Time Analysis. Vardanega, T. (ed.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Vol. 23. p. 1-12 12 p. (OpenAccess Series in Informatics).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    10 Citations (Scopus)
    169 Downloads (Pure)

  • What-if Analysis with Conflicting Goals: Recommending Data Ranges for Exploration

    Nguyen, Q. V. H., Zheng, K., Weidlich, M., Zheng, B., Yin, H., Nguyen, T. T. & Stantic, B., 24 Oct 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, p. 89-100 12 p. 8509239

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)

  • What Happened to Remote Usability Testing? An Empirical Study of Three Methods

    Stage, J., Andreasen, M. S., Nielsen, H. V. & Schrøder, S. O., 2007, Proceedings of Conference on Human Factors in Computing Systems 2007 (CHI 2007): . Begole, B. & al, E. (eds.). Association for Computing Machinery, p. 1405-1414

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    138 Citations (Scopus)

  • What Do Hackathons Do? Understanding Participation in Hackathons Through Program Theory Analysis

    Falk Olesen, J., Kannabiran, G. & Hansen, N. B., May 2021, CHI'21: Proceedings of 2021 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-16 147

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    12 Citations (Scopus)
    873 Downloads (Pure)

  • What Can Hierarchies Do for Data Streams?

    Yin, X. & Pedersen, T. B., 2007, Proceedings of First International Workshop on Business Intelligence for the Real Time Enterprise. Springer, 16 p. (Lecture Notes in Computer Science; No. 4365).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • Well-Defined Decision Scenarios

    Nielsen, T. D. & Jensen, F. V., 1999, Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence. Laskey, K. B. : Prade, H. (eds.) (ed.). Morgan Kaufmann, p. 502-511

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Weight-Mate: Adaptive Training Support for Weight Lifting

    Paay, J. M., Kjeldskov, J., Sørensen, F., Jensen, T. G. & Tirosh, O., 2 Dec 2019, Proceedings of the 31st Australian Conference on Human-Computer-Interaction, OzCHI 2019. Association for Computing Machinery, p. 95-105 11 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    2 Citations (Scopus)
    235 Downloads (Pure)

  • Weighted branching systems: Behavioural equivalence, behavioural distance, and their logical characterisations

    Jensen, M. C., Larsen, K. G. & Mardare, R., 1 Jan 2018, Formal Modeling and Analysis of Timed Systems: FORMATS 2018. Jansen, D. N. & Prabhakar, P. (eds.). Springer, p. 145-161 17 p. (Lecture Notes in Computer Science, Vol. 11022 LNCS).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    1 Citation (Scopus)

  • Weighted Branching Simulation Distance for Parametric Weighted Kripke Structures

    Foshammer, L., Larsen, K. G. & Mariegaard, A., 2016, Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting'16/SynCoP'16). p. 63-75 13 p. (Electronic Proceedings in Theoretical Computer Science).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    2 Citations (Scopus)

  • Web Services for the Management of Persistent Online Game Factions

    Deliege, F. & Zimanyi, E., 2006, 2nd Int. Conf. on Web Information Systems and Technologies. Institute for Systems and Technologies of Information, Control and Communication, p. 441-446 6 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    Open Access
    File
    469 Downloads (Pure)

  • Web of Things Interoperability for the Arrowhead Framework

    Dongo, J., Albano, M., Skou, A. & Nielsen, B., 13 Oct 2021, IECON 2021 - 47th Annual Conference of the IEEE Industrial Electronics Society. IEEE, p. 1-6 6 p. 9589941. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Weakly-supervised Temporal Path Representation Learning with Contrastive Curriculum Learning

    Yang, S. B., Guo, C., Hu, J., Yang, B., Tang, J. & Jensen, C. S., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. 38th International Conference on Data Engineering, p. 2873-2885 13 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    3 Citations (Scopus)

  • WCET tool challenge 2011: Report

    Von Hanxleden, R., Holsti, N., Lisper, B., Ploedereder, E., Wilhelm, R., Bonenfant, A., Cassé, H., Bünte, S., Fellger, W., Gepperth, S., Gustafsson, J., Huber, B., Islam, N. M., Kästner, D., Kirner, R., Kovács, L., Krause, F., De Michiel, M., Olesen, M. C., Prantl, A., & 6 othersPuffitsch, W., Rochange, C., Schoeberl, M., Wegener, S., Zolda, M. & Zwirchmayr, J., 2011, 11th International Workshop on Worst-Case Execution Time Analysis, WCET 2011, Held in Conjunction with the 23rd Euromicro Conference on Real-Time Systems, ECRTS 2011. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 104-138 35 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    7 Citations (Scopus)

  • WCET Analysis of Java Bytecode Featuring Common Execution Environments

    Luckow, K. S., Thomsen, B., Frost, C. & Jensen, C. S., 2011, JTRES '11 Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems . Association for Computing Machinery, Vol. 11. p. 30-39 10 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    8 Citations (Scopus)

  • Waste Wizard: Exploring Waste Sorting using AI in Public Spaces

    Jacobsen, R. M., Johansen, P. S., Bysted, L. B. L. & Skov, M. B., 2020, Proceedings of the 11th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, p. 1-11 86

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

  • Waste Wizard: Exploring Waste Sorting using AI in Public Spaces

    Jacobsen, R. M., Johansen, P. S., Bysted, L. B. L. & Skov, M. B., 25 Oct 2020, NordiCHI 2020 - Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. Association for Computing Machinery, (ACM International Conference Proceeding Series).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

    5 Citations (Scopus)