Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2020

    Designing Ambient Multisensory Notification Devices: Managing Disruptions in the Home

    Papachristos, E., Merritt, T. R., Jacobsen, T. & Bagger, J., 1 okt. 2020, 19th International Conference on Mobile and Ubiquitous Multimedia. Association for Computing Machinery, s. 59-70

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

    4 Citationer (Scopus)

  • Designing Community Technology Initiatives: A Literature Review

    Klerks, G., Hansen, N. B., O'Neill, D. & Schouten, B., 2020, OzCHI '20: 32nd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, s. 99-111

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

    6 Citationer (Scopus)

  • Digital-Enabled Last Mile: A Study of Passenger Trips in Rural, Low-density Populated Areas

    Kjærup, M., Skov, M. B. & Agerholm, N., 2020, CHI 2020 - Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1-12 12 s. 3376509

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

    3 Citationer (Scopus)

  • Does Smartphone Use Drive our Emotions or vice versa? A Causal Analysis

    Sarsenbayeva, Z., Marini, G., van Berkel, N., Luo, C., Jiang, W., Yang, K., Wadley, G., Dingler, T., Kostakos, V. & Goncalves, J., 2020, Proceedings of ACM SIGCHI Conference on Human Factors in Computing Systems. s. 1-15 15 s. 3376163

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

    41 Citationer (Scopus)

  • Efficient Attribute-Constrained Co-Located Community Search

    Luo, J., Cao, X., Xie, X., Qu, Q., Xu, Z. & Jensen, C. S., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, s. 1201-1212 12 s. 9101525. (Proceedings of the International Conference on Data Engineering).

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

    18 Citationer (Scopus)

  • Efficient Continuous Multi-Query Processing over Graph Streams

    Zervakis, E., Setty, V., Tryfonopoulos, C. & Hose, K., 2020, Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings. Bonifati, A., Zhou, Y., Vaz Salles, M. A., Bohm, A., Olteanu, D., Fletcher, G., Khan, A. & Yang, B. (red.). OpenProceedings.org, s. 13-24 12 s. (Advances in Database Technology).

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

    Åben adgang
    Fil
    9 Citationer (Scopus)
    158 Downloads (Pure)

  • Efficient Group Processing for Multiple Reverse Top-k Geo-Social Keyword Queries

    Jin, P., Gao, Y., Chen, L. & Zhao, J., 2020, Database Systems for Advanced Applications: 25th International Conference, DASFAA 2020, Proceedings. Nah, Y., Cui, B., Lee, S-W., Yu, J. X., Moon, Y-S. & Whang, S. E. (red.). Springer Science+Business Media, s. 279-287 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12112 LNCS).

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

    3 Citationer (Scopus)

  • Efficient Search for Multi-Scale Time Delay Correlations in Big Time Series

    Ho, N. T. T., Pedersen, T. B., Ho, L. V. & Vu, M., 2 apr. 2020, Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings. Bonifati, A., Zhou, Y., Vaz Salles, M. A., Bohm, A., Olteanu, D., Fletcher, G. & Khan, A. (red.). OpenProceedings.org, s. 37-48 12 s. (Advances in Database Technology).

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

    Åben adgang
    Fil
    8 Citationer (Scopus)
    129 Downloads (Pure)

  • Empowerment Approaches in Digital Civics

    Cazacu, S., Hansen, N. B. & Schouten, B., 2020, OzCHI '20: 32nd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, s. 692-699

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

    11 Citationer (Scopus)

  • Estimating travel speed distributions of paths in road networks using dual-input LSTMs

    Nielsen, C. H., Randers, S. M., Yang, B. & Agerholm, N., 3 nov. 2020, Proceedings of the 13th ACM SIGSPATIAL International Workshop on Computational Transportation Science, IWCTS 2020. Berres, A. & Kurte, K. (red.). Association for Computing Machinery, 4 s.

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

    Åben adgang
    1 Citationer (Scopus)

  • Exploiting Agile Practices to Teach Computational Thinking

    Ciancarini, P., Missiroli, M. & Russo, D., 1 jan. 2020, Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment - 2nd International Workshop, DEVOPS 2019, Revised Selected Papers. Bruel, J-M., Mazzara, M. & Meyer, B. (red.). Springer VS, s. 63-83 21 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12055).

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

    1 Citationer (Scopus)

  • Exploring the Non-Use of Mobile Devices in Families through Provocative Design

    Bruun, A. R., Jensen, R. H., Kjeldskov, J., Paay, J., Hansen, C. M., Sakacova, K. L. & Larsen, M. H., 6 jul. 2020, Proceedings of the 2020 Conference on Designing Interactive Systems: DIS '20. Association for Computing Machinery, s. 813-826 14 s.

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

    Fil
    7 Citationer (Scopus)
    309 Downloads (Pure)

  • Fluid Model-Checking in UPPAAL for Covid-19

    Jensen, P. G., Jørgensen, K. Y., Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Poulsen, D. B., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (red.). Springer, s. 385-403 19 s. (Lecture Notes in Computer Science, Bind 12476).

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

    3 Citationer (Scopus)

  • Flying LEGO Bricks: Observations of Children Constructing and Playing with Programmable Matter

    Rubens, C., Braley, S., Torpegaard, J., Lind, N., Vertegaal, R. & Merritt, T. R., feb. 2020, TEI '20: Proceedings of the Fourteenth International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, s. 193-205 13 s.

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

    14 Citationer (Scopus)

  • From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach

    Jaeger, M., Larsen, K. G. & Tibo, A., 2020, Runtime Verification - 20th International Conference, RV 2020, Proceedings. Deshmukh, J. & Nickovic, D. (red.). Springer Science+Business Media, s. 517-535 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12399 LNCS).

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

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

  • Generating Instructions at Different Levels of Abstraction

    Köhn, A., Wichlacz, J., Torralba, A., Höller, D., Hoffmann, J. & Koller, A., 2020, Proceedings of the 28th International Conference on Computational Linguistics. International Committee on Computational Linguistics, s. 2802-2813

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

    Åben adgang
    Fil
    4 Citationer (Scopus)
    35 Downloads (Pure)

  • Generation of Realistic Activity Scenarios for SUMO

    Carlsen, F. B. Ø., Jenner Rasmussen, J., Sørensen, M. M., Jensen, N. Ø. & Albano, M., 7 dec. 2020, MobiQuitous '20: MobiQuitous 2020 - 17th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Association for Computing Machinery, s. 357–365

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

    Åben adgang

  • Geolocating Traffic Signs using Crowd-Sourced Imagery

    Bidragets oversatte titel: Placering af trafikskilte fra crowd-sourced billederPedersen, K. F. & Torp, K., 3 nov. 2020, SIGSPATIAL '20: Proceedings of the 28th International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, s. 199-202 4 s.

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

    2 Citationer (Scopus)

  • Graph-Query Suggestions for Knowledge Graph Exploration

    Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y., 20 apr. 2020, The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020. Association for Computing Machinery, s. 2549-2555 7 s.

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

    Åben adgang
    Fil
    22 Citationer (Scopus)
    245 Downloads (Pure)

  • Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction

    Coent, A. C. L. & Fribourg, L., 2020, Cyber Physical Systems. Model-Based Design: 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. Chamberlain, R., Edin Grimheden, M. & Taha, W. (red.). Springer, s. 181-202 22 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11971 LNCS).

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

    2 Citationer (Scopus)

  • "Hi! I am the Crowd Tasker" - Crowdsourcing through Digital Voice Assistants

    Hettiachchi, D., Sarsenbayeva, Z., Allison, F., van Berkel, N., Dingler, T., Marini, G., Kostakos, V. & Goncalves, J., 2020, Proceedings of ACM SIGCHI Conference on Human Factors in Computing Systems. s. 1-14 3376320

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

    17 Citationer (Scopus)

  • How higher education adapted to online teaching at aalborg university after COVID-19: Experiences and perspectives

    Hüttel, H. & Gnaur, D., 2020, Proceedings of the 19th European Conference on e-Learning, ECEL 2020. Busch, C., Steinicke, M. & Wendler, T. (red.). Academic Conferences and Publishing International, s. 243-251 9 s. (Proceedings of the European Conference on e-Learning, ECEL, Bind 2020-October).

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

    2 Citationer (Scopus)

  • Indoor Mobility Semantics Annotation Using Coupled Conditional Markov Networks

    Li, H., Lu, H., Cheema, M. A., Shou, L. & Chen, G., apr. 2020, The 36th IEEE International Conference on Data Engineering (ICDE 2020). IEEE, s. 1441-1452 12 s. 9101369. (Proceedings of the International Conference on Data Engineering).

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

    8 Citationer (Scopus)
    56 Downloads (Pure)

  • Indoor Top-k Keyword-aware Routing Query

    Feng, Z., Liu, T., LI, HUAN., Lu, H., Shou, L. & Xu, J., apr. 2020, 2020 IEEE 36th International Conference on Data Engineering (ICDE). IEEE, s. 1213-1224 12 s. 9101652. (Proceedings of the International Conference on Data Engineering).

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

    24 Citationer (Scopus)
    55 Downloads (Pure)

  • Interoperability by construction: code generation for Arrowhead Clients

    Albano, M. & Nielsen, B., 12 jun. 2020, Proceedings of 3rd IEEE International Conference on Industrial Cyber-Physical Systems. Tampere, Finland: IEEE

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

    6 Citationer (Scopus)

  • Investigating One-Time Actions for Domestic Energy Reduction: The Case of District Heating

    Svangren, M. K., Jensen, L. K., Ananjeva, A., Persson, J. S., Nielsen, P. A., Brunsgaard, C. & Sperling, K., okt. 2020, NordiCHI '20 Proceedings of the 11th Nordic Conference on Human-Computer Interaction : Shaping Experiences, Shaping Society. Association for Computing Machinery, s. 1–11 10 s. 47. (ACM International Conference Proceeding Series).

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

    1 Citationer (Scopus)

  • Learning to Rank Paths in Spatial Networks

    Yang, S. B. & Yang, B., apr. 2020, Proceedings - 2020 IEEE 36th International Conference on Data Engineering, ICDE 2020. IEEE, s. 2006-2009 4 s. 9101780. (Proceedings of the International Conference on Data Engineering).

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

    11 Citationer (Scopus)

  • Link prediction in signed networks

    Chakraborty, R., Das, R. & Chakraborty, N., 13 jul. 2020, Proceedings of the 31st ACM Conference on Hypertext and Social Media, HT 2020. Association for Computing Machinery, s. 235-236 2 s.

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

    1 Citationer (Scopus)

  • Low Power Web: Legacy Design and the Path to Sustainable Net Futures

    Willis, M., Hanna, J., Encinas, E. & Auger, J., apr. 2020, CHI EA '20: Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1-14 3381829

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

    2 Citationer (Scopus)

  • Lumen: A Case Study of Designing for Sustainable Energy Communities through Ambient Feedback

    Hansen, A. H., Jensen, R. H., Stausgaard Jensen, L., Guldager, E. K., Winkel Sigsgaard, A., Dalgaard Moroder, F., Raptis, D., Siksnys, L., Pedersen, T. B. & Skov, M. B., 3 dec. 2020, Proceedings of the 32nd Australian Conference on Human-Computer-Interaction. Association for Computing Machinery, s. 724-729 6 s.

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

    Åben adgang
    Fil
    7 Citationer (Scopus)
    205 Downloads (Pure)

  • Metaprobes, Metaphysical Workshops and Sketchy Philosophy

    Encinas, E., C. Durrant, A., Mitchell, R. & Blythe, M., apr. 2020, CHI '20: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems. s. 1-13 13 s. 3376453

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

    9 Citationer (Scopus)

  • MindReader: Recommendation over Knowledge Graph Entities with Explicit User Ratings

    Brams, A. H., Jakobsen, A. L., Jendal, T. E., Lissandrini, M., Dolog, P. & Hose, K., 19 okt. 2020, CIKM 2020 - Proceedings of the 29th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 2975-2982 8 s.

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

    14 Citationer (Scopus)

  • Multi-modal Knowledge Graphs for Recommender Systems

    Sun, R., Cao, X., Zhao, Y., Wan, J., Zhou, K., Zhang, F., Wang, Z. & Zheng, K., 19 okt. 2020, CIKM 2020 - Proceedings of the 29th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, s. 1405-1414 10 s.

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

    139 Citationer (Scopus)

  • Numerical simulation of boiling in a cavity

    Yahyaee, A., Haervig, J., Bahman, A. S. & Sorensen, H., 14 sep. 2020, 2020 26th International Workshop on Thermal Investigations of ICs and Systems (THERMINIC). IEEE, s. 1-5 5 s. 9420524. (International Workshop on Thermal Investigations of ICs and Systems).

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

    2 Citationer (Scopus)

  • On Collapsing Prefix Normal Words

    Fleischmann, P., Kulczynski, M., Nowotka, D. & Poulsen, D. B., 2020, Language and Automata Theory and Applications: 14th International Conference, LATA 2020, Milan, Italy, March 4–6, 2020, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (red.). Springer, s. 412-424 13 s. (Lecture Notes in Computer Science (LNCS), Bind 12038).

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

    2 Citationer (Scopus)

  • Online Trichromatic Pickup and Delivery Scheduling in Spatial Crowdsourcing

    Zheng, B., Huang, C., Jensen, C. S., Chen, L., Hung, N. Q. V., Liu, G., Li, G. & Zheng, K., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, s. 973-984 12 s. 9101586. (Proceedings of the International Conference on Data Engineering).

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

    Åben adgang
    Fil
    26 Citationer (Scopus)
    53 Downloads (Pure)

  • On-the-Fly Synthesis for Strictly Alternating Games

    Karra, S. L., Larsen, K. G., Rodriguez, M. A. M. & Srba, J., 2020, Proceedings of the 41st International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'20). Janicki, R., Sidorova, N. & Chatain, T. (red.). Springer, s. 109-128 20 s. (Lecture Notes in Computer Science, Bind 12152).

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

  • Optimal Sizing of Hybrid Renewable Energy Sources via Efficient Demand Response in Microgrid

    Chakraborty, N. & Kalaimannan, E., 12 jun. 2020, e-Energy 2020 - Proceedings of the 11th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 415-416 2 s.

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

  • Page-Turning Techniques for Reading Interfaces in Virtual Environments

    Dingler, T., Li, S., van Berkel, N. & Kostakos, V., 2020, Proceedings of the Australian Conference on Human-Computer Interaction. Association for Computing Machinery, s. 454–461

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

    1 Citationer (Scopus)

  • Parallel Semantic Trajectory Similarity Join

    Chen, L., Shang, S., Jensen, C. S., Yao, B. & Kalnis, P., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, s. 997-1008 12 s. 9101683. (Proceedings of the International Conference on Data Engineering).

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

    Åben adgang
    39 Citationer (Scopus)

  • Perceived and Measured Task Effectiveness in Human-AI Collaboration

    Jacobsen, R. M., Bysted, L. B. L., Johansen, P. S., Papachristos, E. & Skov, M. B., 2020, CHI EA 2020 - Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 1-9 3383104

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

    3 Citationer (Scopus)

  • Personalized page rank on knowledge graphs: Particle Filtering is all you need!

    Gallo, D., Lissandrini, M. & Velegrakis, Y., 1 jan. 2020, Advances in Database Technology - EDBT 2020: 23rd International Conference on Extending Database Technology, Proceedings. Bonifati, A., Zhou, Y., Vaz Salles, M. A., Bohm, A., Olteanu, D., Fletcher, G., Khan, A. & Yang, B. (red.). OpenProceedings.org, s. 447-450 4 s. (Advances in Database Technology - EDBT, Bind 2020-March).

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

    Åben adgang
    3 Citationer (Scopus)

  • pgFMU: Integrating Data Management with Physical System Modelling

    Rybnytska, O., Siksnys, L., Pedersen, T. B. & Neupane, B., 30 mar. 2020, Proceedings of the 23rd International Conference on Extending Database Technology, EDBT 2020, Copenhagen, Denmark, March 30 - April 02, 2020. OpenProceedings.org, s. 109-120 12 s. (Advances in Database Technology).

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

    Åben adgang
    Fil
    3 Citationer (Scopus)
    220 Downloads (Pure)

  • Planning in the Browser

    Tran, N., Speicher, P., Kuennemann, R., Backes, M., Torralba, A. & Hoffmann, J., 2020, System Demonstration at the 30th International Conference on Automated Planning and Scheduling (ICAPS'20), October 2020. 3 s.

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

    Åben adgang

  • Prediction of High Risk of Deviations in Home Care Deliveries

    Madsen, A. L., Olesen, K. G., Løvschall, H. L., Søndberg-Jeppesen, N., Jensen, F., Lindblad, M., Mogensen, M. L. & Christensen, T. S., 2020, Proceedings of the 10th International Conference on Probabilistic Graphical Models, PMLR. Jaeger, M. & Dyhre Nielsen, T. (red.). ML Research Press, s. 281-292 12 s. (The Proceedings of Machine Learning Research, Bind 138).

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

  • Problematizing in IS Design Research

    Nielsen, P. A., dec. 2020, Designing for Digital Transformation. Co-Creating Services with Citizens and Industry: DESRIST 2020. Hoffmann, S., Rossi, M. & Müller, O. (red.). Springer, s. 259-271 13 s. (Lecture Notes in Computer Science, Bind 12388).

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

    Åben adgang
    Fil
    123 Downloads (Pure)

  • Randomized Refinement Checking of Timed I/O Automata

    Kiviriga, A., Larsen, K. G. & Nyman, U., 9 nov. 2020, Proceedings of SETTA 2020: Dependable Software Engineering. Theories, Tools, and Applications. Pang, J. & Zhang, L. (red.). Springer, s. 70-88 19 s. (Lecture Notes in Computer Science, Bind 12153).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    218 Downloads (Pure)

  • Readiness, Seamlessness and Connectedness: Understanding Business Travellers’ Door to Door Journeys

    Encinas, E., Raptis, D., Kjeldskov, J. & Skov, M. B., 25 okt. 2020, Proceedings of the 11th Nordic Conference on Human-Computer Interaction: Shaping Experiences, Shaping Society. Association for Computing Machinery, s. 1-11 66

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

  • Readiness, Seamlessness and Connectedness Understanding Business Travellers' Door to Door Journeys

    Encinas, E., Raptis, D., Kjeldskov, J. & Skov, M. B., 25 okt. 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).

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

  • Rule-based Word Equation Solving

    Day, J., Kulczynski, M., Manea, F., Nowotka, D. & Poulsen, D. B., 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software . Association for Computing Machinery, s. 87–97 11 s. 3391556

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

    3 Citationer (Scopus)