Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Konferenceartikel i proceeding

    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, s. 441-446 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    469 Downloads (Pure)

  • 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). s. 63-75 13 s. (Electronic Proceedings in Theoretical Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    2 Citationer (Scopus)

  • 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. (red.). Springer, s. 145-161 17 s. (Lecture Notes in Computer Science, Bind 11022 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • 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, s. 95-105 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    237 Downloads (Pure)

  • 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.) (red.). Morgan Kaufmann, s. 502-511

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 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 s. (Lecture Notes in Computer Science; Nr. 4365).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

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

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    12 Citationer (Scopus)
    877 Downloads (Pure)

  • 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. (red.). Association for Computing Machinery, s. 1405-1414

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    138 Citationer (Scopus)

  • 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 okt. 2018, Proceedings - IEEE 34th International Conference on Data Engineering, ICDE 2018. IEEE, s. 89-100 12 s. 8509239

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (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. (red.). Dagstuhl, Germany: Schloss Dagstuhl. Leibniz-Zentrum für Informatik, Bind 23. s. 1-12 12 s. (OpenAccess Series in Informatics).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    10 Citationer (Scopus)
    169 Downloads (Pure)

  • 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. (red.). Springer, s. 16-27 12 s. (Lecture Notes in Computer Science, Bind 10809).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    161 Citationer (Scopus)

  • 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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    4 Citationer (Scopus)
    235 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 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 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. (red.). IEEE, s. 221-229 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    6 Citationer (Scopus)
    424 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, s. 2-16 (Lecture Notes in Informatics; Nr. 103).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (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, s. 765-772

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    2 Citationer (Scopus)
    298 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, s. 127-142 16 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 4691 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    34 Citationer (Scopus)

  • 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, s. 15-29 (I F I P, Bind 533).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    9 Citationer (Scopus)
    531 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>

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 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. (red.). Springer, s. 209-227 18 s. (Lecture Notes in Computer Science; Nr. 8997).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    11 Citationer (Scopus)
    320 Downloads (Pure)

  • 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. s. 668-671 4 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Formidling

    5 Citationer (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, Bind 10641).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    9 Citationer (Scopus)

  • Wireless Smartphone Mirroring in Video Calls

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (Scopus)

  • 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, s. 352-354 3 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    18 Citationer (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 udg. IEEE Computer Society Press, s. 167-175

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 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, s. 1422-1434 13 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    10 Citationer (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; Nr. 70).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (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, s. 1186-1197 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    30 Citationer (Scopus)

  • 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, s. 2372-2384 13 s. (Proceedings - International Conference on Data Engineering, Bind 2022-May).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (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.) (red.). Department of Computer Science, Aarhus University, s. 45-46

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 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, s. 2-10 9 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • Writing Internal Documentation

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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 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

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (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, Bind 10460).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • 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, s. 1-6 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    1 Citationer (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, s. 43-52 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • 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.) (red.). IEEE Computer Society Press, s. 195-206

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    43 Citationer (Scopus)

  • XML transformation in Scheme with LAML - a minimalistic approach

    Bidragets oversatte titel: {XML} transformation in {Scheme} with {LAML} - a minimalistic approachNørmark, K., 2003, Association of Lisp Users. Association of Lisp Users

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

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

    Bidragets oversatte titel: XP i en lille softwareorganisation: Tilpasning til lokale betingelserBabb, 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, Bind 186. s. 14-29 (Lecture Notes in Business Information Processing).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • 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. s. 1139-1148 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    92 Citationer (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, s. 1139-1148

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › 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, s. 4547-4562 16 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    56 Citationer (Scopus)

  • 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. s. 199-204 6 s. (19th International Conference on Computer Applications in Industry and Engineering, CAINE 2006).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • AalWiNes: A fast and quantitative what-if analysis tool for MPLS networks

    Jensen, P. G., Kristiansen, D., Schmid, S., Schou, M. K., Schrenk, B. C. & Srba, J., 23 nov. 2020, CoNEXT '20: Proceedings of the 16th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, s. 474-481 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    12 Citationer (Scopus)