Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 2020

    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. (eds.). Springer, p. 412-424 13 p. (Lecture Notes in Computer Science (LNCS), Vol. 12038).

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

    2 Citations (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, p. 973-984 12 p. 9101586. (Proceedings of the International Conference on Data Engineering).

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

    Open Access
    File
    27 Citations (Scopus)
    58 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. (eds.). Springer, p. 109-128 20 p. (Lecture Notes in Computer Science, Vol. 12152).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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, p. 415-416 2 p.

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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, p. 454–461

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

    1 Citation (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, p. 997-1008 12 p. 9101683. (Proceedings of the International Conference on Data Engineering).

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

    Open Access
    39 Citations (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, p. 1-9 3383104

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

    3 Citations (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. (eds.). OpenProceedings.org, p. 447-450 4 p. (Advances in Database Technology - EDBT, Vol. 2020-March).

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

    Open Access
    3 Citations (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, p. 109-120 12 p. (Advances in Database Technology).

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

    Open Access
    File
    3 Citations (Scopus)
    226 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 p.

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

    Open Access

  • 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. (eds.). ML Research Press, p. 281-292 12 p. (The Proceedings of Machine Learning Research, Vol. 138).

    Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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. (eds.). Springer, p. 259-271 13 p. (Lecture Notes in Computer Science, Vol. 12388).

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

    Open Access
    File
    2 Citations (Scopus)
    126 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. (eds.). Springer, p. 70-88 19 p. (Lecture Notes in Computer Science, Vol. 12153).

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

    Open Access
    File
    1 Citation (Scopus)
    227 Downloads (Pure)

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

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

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

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

    Encinas, E., Raptis, D., Kjeldskov, J. & 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

  • 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, p. 87–97 11 p. 3391556

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

    3 Citations (Scopus)

  • Scalable Unsupervised Multi-Criteria Trajectory Segmentation and Driving Preference Mining

    Barth, F., Funke, S., Skovgaard Jepsen, T. & Proissl, C., 3 Nov 2020, BIGSPATIAL '20: Proceedings of the 9th ACM SIGSPATIAL International Workshop on Analytics for Big Geospatial Data. Chandola, V., Vatsavai, R. R. & Shashidharan, A. (eds.). Association for Computing Machinery, p. 1-10 10 p. 6

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

    File
    4 Citations (Scopus)
    33 Downloads (Pure)

  • Secrecy and authenticity properties of the lightning network protocol

    Hüttel, H. & Staroveski, V., 2020, ICISSP 2020 - Proceedings of the 6th International Conference on Information Systems Security and Privacy. Furnell, S., Mori, P., Weippl, E. & Camp, O. (eds.). SCITEPRESS Digital Library, p. 119-130 12 p.

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

    2 Citations (Scopus)

  • Semantic Region Retrieval from Spatial RDF Data

    Wu, D., Hou, C., Xiao, E. & Jensen, C. S., 2020, DASFAA 2020: Database Systems for Advanced Applications. Nah, Y., Cui, B., Lee, S-W., Yu, J. X., Moon, Y-S. & Whang, S. E. (eds.). Springer, p. 415-431 17 p. (Lecture Notes in Computer Science, Vol. 12113).

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

    3 Citations (Scopus)

  • SETLBI: An Integrated Platform for Semantic Business Intelligence

    Nath, R. P., Hose, K., Pedersen, T. B., Romero, O. & Bhattacharjee, A., 24 Apr 2020, The Web Conference 2020 - Companion of the World Wide Web Conference, WWW 2020. Taipei: Association for Computing Machinery, Vol. 2020. p. 167-171 5 p.

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

    6 Citations (Scopus)

  • Shield Synthesis for Reinforcement Learning

    Könighofer, B., Lorber, F., Jansen, N. & Bloem, R., 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. (eds.). Springer Science+Business Media, p. 290-306 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12476 LNCS).

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

    22 Citations (Scopus)

  • Shortest Path Queries for Indoor Venues with Temporal Variations

    Liu, T., Feng, Z., Li, H., Lu, H., Cheema, M. A., Cheng, H. & Xu, J., Apr 2020, The 36th IEEE International Conference on Data Engineering (ICDE 2020). IEEE, p. 2014-2017 4 p. 9101764. (Proceedings of the International Conference on Data Engineering).

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

    15 Citations (Scopus)
    54 Downloads (Pure)

  • SIGTYP 2020 Shared Task: Prediction of Typological Features

    Bjerva, J., Salesky, E., Mielke, S. J., Chaudhary, A., Giuseppe, C., Ponti, E. M., Vylomova, E., Cotterell, R. & Augenstein, I., 1 Nov 2020, Proceedings of the Second Workshop on Computational Research in Linguistic Typology. Online: Association for Computational Linguistics, p. 1-11 11 p.

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

    Open Access

  • skyex: an R Package for Entity Linkage

    Isaj, S. & Pedersen, T. B., 30 Mar 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. (eds.). OpenProceedings.org, p. 587-590 4 p. (Advances in Database Technology).

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

    Open Access
    1 Citation (Scopus)

  • SoundSculpt: A Design Framework for 3D Modelling and Digitally Fabricating Sound Patterns

    Horvath, A-S., Rühse, V. & Raptis, D., 2020, OzCHI 2020: 32nd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, p. 572-581

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

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

  • Speculative and Critical Design in Education: Practice and Perspectives

    Helgason, I., Smyth, M., Encinas, E. & Mitrovic, I., 2020, DIS 2020 Companion - Companion Publication of the 2020 ACM Designing Interactive Systems Conference. Association for Computing Machinery, p. 385-388 4 p.

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

    12 Citations (Scopus)

  • Stochastic Origin-Destination Matrix Forecasting Using Dual-Stage Graph Convolutional, Recurrent Neural Networks

    Hu, J., Yang, B., Guo, C., Jensen, C. S. & Xiong, H., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, p. 1417-1428 12 p. 9101647. (Proceedings of the International Conference on Data Engineering).

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

    69 Citations (Scopus)

  • SubjQA: A Dataset for Subjectivity and Review Comprehension

    Bjerva, J., Bhutani, N., Golshan, B., Tan, W-C. & Augenstein, I., 1 Nov 2020, Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP). Online: Association for Computational Linguistics, p. 5480-5494 15 p.

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

    Open Access

  • Supporting Anxiety Patients' Self-Reflection through Visualization of Physiological Data

    Elsborg, M., Bruun, A. R. & Jensen, R. H., 10 Dec 2020, 32nd Australian conference on Human-Computer Interaction. Association for Computing Machinery, p. 742–747

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

    3 Citations (Scopus)

  • Synthesis for Multi-weighted Games with Branching-Time Winning Conditions

    Kaufmann, I., Larsen, K. G. & Srba, J., 2020, Application and Theory of Petri Nets and Concurrency - 41st International Conference, PETRI NETS 2020, Proceedings. Janicki, R., Sidorova, N. & Chatain, T. (eds.). Springer VS, p. 46-66 21 p. (Lecture Notes in Computer Science, Vol. 12152).

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

  • Temporal Impact on Cognitive Distraction Detection for Car Drivers using EEG

    Schneiders, E., Kristensen, M. R. B., Svangren, M. K. & Skov, M. B., Dec 2020, Australian Conference on Human-Computer Interaction. Association for Computing Machinery, p. 564-601 8 p.

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

    Open Access
    File
    3 Citations (Scopus)
    161 Downloads (Pure)

  • The Danish National Energy Data Lake: Requirements, Technical Architecture, and Tool Selection

    Ben Hamadou, H., Pedersen, T. B. & Thomsen, C., 13 Dec 2020, 2020 IEEE International Conference on Big Data (IEEE BigData 2020). IEEE, 9378368

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

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

  • The Power of String Solving: Simplicity of Comparison

    Kulczynski, M., Manea, F., Nowotka, D. & Poulsen, D. B., 2020, AST '20: Proceedings of the IEEE/ACM 1st International Conference on Automation of Software Test. Association for Computing Machinery, p. 85–88 4 p.

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

    9 Citations (Scopus)

  • The Social Acceptability of Peripheral Interaction with 3D Gestures in a Simulated Setting

    Nielsen, S., Nellemann, L. J., Larsen, L. B. & Stec, K., Jun 2020, Human-Computer Interaction. Multimodal and Natural Interaction - Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Proceedings: Human-Computer Interaction: Multimodal and Natural Interaction (Part II). Kurosu, M. (ed.). LNCS 12182 ed. Springer, p. 77-95 19 p. (Lecture Notes in Computer Science, Vol. LNCS 12182).

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

    1 Citation (Scopus)

  • The Strategic Technical Debt Management Model: An Empirical Proposal

    Ciancarini, P. & Russo, D., 1 Jan 2020, Open Source Systems - 16th IFIP WG 2.13 International Conference, OSS 2020, Proceedings. Ivanov, V., Kruglov, A., Masyagin, S., Sillitti, A. & Succi, G. (eds.). Springer VS, p. 131-140 10 p. (I F I P Advances in Information and Communication Technology, Vol. 582 ).

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

    Open Access
    4 Citations (Scopus)

  • The Web of Data is partially unavailable, so what?

    Hose, K., 2020, GRADES-NDA'20: Proceedings of the 3rd Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA). Association for Computing Machinery, 1 p. 2

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

  • Towards Adversarial Phishing Detection

    Panum, T. K., Hageman, K., Hansen, R. R. & Pedersen, J. M., Aug 2020, 13th USENIX Workshop on Cyber Security Experimentation and Test. USENIX - The Advanced Computing Systems Association, 10 p.

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

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

  • Towards Assigning Diagnosis Codes Using Medication History

    Sagi, T., Hansen, E. R., Hose, K., Lip, G. Y. H., Larsen, T. B. & Skjøth, F., 26 Sept 2020, Artificial Intelligence in Medicine: 18th International Conference on Artificial Intelligence in Medicine, AIME 2020, Minneapolis, MN, USA, August 25-28, 2020, Proceedings. Springer, p. 203-213 11 p. (Lecture Notes in Computer Science, Vol. 12299).

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

    4 Citations (Scopus)

  • Transit-based Task Assignment in Spatial Crowdsourcing

    Gummidi, B., Pedersen, T. B. & Xie, X., 7 Jul 2020, SSDBM 2020: 32nd International Conference on Scientific and Statistical Database Management. Pourabbas, E., Sacharidis, D., Stockinger, K. & Vergoulis, T. (eds.). Association for Computing Machinery, p. 1-12 12 p. 13

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

    Open Access
    File
    1 Citation (Scopus)
    74 Downloads (Pure)

  • Transparent Integration and Sharing of Life Cycle Sustainability Data with Provenance

    Hansen, E. R., Lissandrini, M., Ghose, A., Løkke, S., Thomsen, C. & Hose, K., 2020, The Semantic Web – ISWC 2020 - 19th International Semantic Web Conference, 2020, Proceedings. Pan, J. Z., Tamma, V., d’Amato, C., Janowicz, K., Fu, B., Polleres, A., Seneviratne, O. & Kagal, L. (eds.). Springer, p. 378-394 17 p. (Lecture Notes in Computer Science, Vol. 12507).

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

    Open Access
    File
    8 Citations (Scopus)
    67 Downloads (Pure)

  • Travel-Time Computation Based on GPS Data

    Torp, K., Andersen, O. & Thomsen, C., 2020, Big Data Management and Analytics - 9th European Summer School, eBISS 2019, Revised Selected Papers. Kutsche, R-D. & Zimányi, E. (eds.). Springer Science+Business Media, p. 70-92 23 p. (Lecture Notes in Business Information Processing, Vol. 390).

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

    1 Citation (Scopus)

  • UbiTtention 2020: 5th International Workshop on Smart & Ambient Notification and Attention Management

    Van Berkel, N., Exler, A., Gjoreski, M., Kolenik, T., Okoshi, T., Pejovic, V., Visuri, A. & Voit, A., 10 Sept 2020, UbiComp/ISWC 2020 Adjunct - Proceedings of the 2020 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2020 ACM International Symposium on Wearable Computers. Association for Computing Machinery, p. 431-435 5 p. (UbiComp/ISWC 2020 Adjunct - Proceedings of the 2020 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2020 ACM International Symposium on Wearable Computers).

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

    3 Citations (Scopus)

  • Unsupervised Evaluation for Question Answering with Transformers

    Muttenthaler, L., Augenstein, I. & Bjerva, J., 1 Nov 2020, Proceedings of the Third BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP. Online: Association for Computational Linguistics, p. 83-90 8 p.

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

    Open Access

  • Urgent Partial Order Reduction for Extended Timed Automata

    Larsen, K. G., Mikučionis, M., Rodriguez, M. A. M. & Srba, J., 2020, Automated Technology for Verification and Analysis - 18th International Symposium, ATVA 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Springer, p. 179-195 17 p. (Lecture Notes in Computer Science, Vol. 12302).

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

    3 Citations (Scopus)

  • Verification of Multiplayer Stochastic Games via Abstract Dependency Graphs

    Enevoldsen, S., Jensen, M. C., Larsen, K. G., Mariegaard, A. & Srba, J., 2020, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'20). Springer, p. 249-268 20 p. (Lecture Notes in Computer Science).

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

    1 Citation (Scopus)

  • 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

    6 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

  • 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)
  • 2019

    Abstract Dependency Graphs and Their Application to Model Checking

    Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (eds.). Springer, p. 316-333 18 p. (Lecture Notes in Computer Science, Vol. 11427).

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

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

  • A charging scheduling system for electric vehicles using vehicle-To-grid

    Breum, N. K., Joergensen, M. N., Knudsen, C. A., Kristensen, L. B. & Yang, B., Jun 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, p. 351-352 2 p. 8788738. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2019-June).

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

    3 Citations (Scopus)