Department of Computer Science

  • Postal addressShow on map

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Denmark

Filter
Article in proceeding

Search results

  • 2022

    Postphenomenological Dimensions of Digitally Mediated Domestic Heating

    Svangren, M. K., Raptis, D., Ananjeva, A., Persson, J. S. & Nielsen, P. A., 8 Oct 2022, Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022: Participative Computing for Sustainable Futures. Association for Computing Machinery, 13 p. 3546692. (ACM International Conference Proceeding Series).

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

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

  • Power to the Electric Car People: The Infrastructuring of Charging

    Svangren, M. K., Persson, J. S., Nielsen, P. A. & Skov, M. B., 8 Oct 2022, NordiCHI'22 - Proceedings of the 12th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, p. 1-12 15

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

    Open Access
    File
    31 Downloads (Pure)

  • Quantifying Synthesis and Fusion and their Impact on Machine Translation

    Oncevay, A., Ataman, D., van Berkel, N., Haddow, B., Birch, A. & Bjerva, J., 2022, NAACL 2022 - 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. Association for Computational Linguistics, p. 1308-1321 14 p. (NAACL 2022 - 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference).

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

    Open Access
    2 Citations (Scopus)

  • QuoGNN: Quotient Graph Neural Network for Urban Flow Forecasting

    Gou, X., Han, P. & Zhang, X., 20 Dec 2022, 2022 IEEE International Conference on Big Data (Big Data). IEEE, p. 727-733 7 p. 10020795

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

    Open Access

  • REGROW: Reimagining Global Crowdsourcing for Beter Human-AI Collaboration

    Alorwu, A., Savage, S., van Berkel, N., Ustalov, D., Drutsa, A., Oppenlaender, J., Bates, O., Hettiachchi, D., Gadiraju, U., Goncalves, J. & Hosio, S., Apr 2022, CHI 2022 - Extended Abstracts of the 2022 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-7 88. (Conference on Human Factors in Computing Systems - Proceedings).

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

    2 Citations (Scopus)

  • Resilience-Focused Monitoring Framework for Edge Systems.

    Klitgaard, A. S., Sønderby, A. A., Jørgensen, H. S., Petersen, K. W., Dongo, J. & Albano, M., 2022, 2022 IEEE International Conference on Edge Computing and Communications (EDGE). IEEE, p. 153-158 6 p. (IEEE International Conference on Edge Computing and Communications (EDGE)).

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

    2 Citations (Scopus)

  • RetroGraph: Retrosynthetic Planning with Graph Search

    Xie, S., Yan, R., Han, P., Xia, Y., Wu, L., Guo, C., Yang, B. & Qin, T., 14 Aug 2022, KDD 2022 - Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 2120-2129 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

    11 Citations (Scopus)

  • R-MPLS: Recursive Protection for Highly Dependable MPLS Networks

    Schmid, S., Schou, M. K., Srba, J. & Vanerio, J., 30 Nov 2022, CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies. Association for Computing Machinery, p. 276-292 17 p. (CoNEXT 2022 - Proceedings of the 18th International Conference on emerging Networking EXperiments and Technologies).

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

    Open Access
    File
    20 Downloads (Pure)

  • Roadmapping in the Digital Transformation Literature

    Zada, A. M., Persson, J. S. & Nielsen, P. A., 2022, Software Business 13th International Conference. Carroll, N., Nguyen-Duc, A., Wang, X. & Stray, V. (eds.). Springer, Vol. 463. p. 35-50 16 p. (Lecture Notes in Business Information Processing).

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

    Open Access
    File
    134 Downloads (Pure)

  • Robust and Explainable Autoencoders for Unsupervised Time Series Outlier Detection

    Kieu, T., Yang, B., Guo, C., Jensen, C. S., Zhao, Y., Huang, F. & Zheng, K., 2022, Proceeding of the 38th IEEE International Conference on Data Engineering, ICDE 2022. IEEE, p. 3038-3050 13 p.

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

    20 Citations (Scopus)

  • Robust Computation Tree Logic

    Nayak, S. P., Neider, D., Roy, R. & Zimmermann, M., 2022, NASA Formal Methods, NFM 2022: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 538-556 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

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

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

  • Robustness-by-Construction Synthesis: Adapting to the Environment at Runtime

    Nayak, S. P., Neider, D. & Zimmermann, M., 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 149-173 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13701 LNCS).

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

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

  • Runtime Verification as Documentation

    Dams, D., Havelund, K. & Kauffman, S., Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022. Margaria, T. & Steffen, B. (eds.). Springer, p. 157-173 17 p. (Lecture Notes in Computer Science, Vol. 13702).

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

    2 Citations (Scopus)

  • Scene Re-ranking for Recommendation

    Han, P. & Shang, S., 2022, 2022 IEEE 24th International Workshop on Multimedia Signal Processing, MMSP 2022. IEEE, (2022 IEEE 24th International Workshop on Multimedia Signal Processing, MMSP 2022).

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

    3 Citations (Scopus)

  • Scheduling Energy Flexible Devices Under Constrained Peak Load Consumption in Smart Grid

    Chakraborty, N., Chakraborty, R. & Kalaimannan, E., 2022, Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022. IEEE Signal Processing Society, p. 316-317 2 p. (Proceedings - 13th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2022).

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

  • Semantic Segmentation of AIS Trajectories for Detecting Complete Fishing Activities

    Wu, S., Zimanyi, E., Sakr, M. & Torp, K., 25 Aug 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE, p. 419-424 6 p. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2022-June).

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

    3 Citations (Scopus)

  • Setting Goals in a Digital Transformation of Environmental Assessment: A Case Study

    Zada, A. M., Nielsen, P. A. & Persson, J. S., 2022, Co-Creating for Context in Prospective Transfer & Diffusion of IT: Proceedings of IFIP WG 8.6 Conference. Elbanna, A., McLoughlin, S., Dwivedi, Y. K., Donnellan, B. & Wastell, D. (eds.). Springer, p. 145-162 18 p. (Lecture Notes in Business Information Processing).

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

    Open Access
    File
    57 Downloads (Pure)

  • SHACL and ShEx in the Wild: A Community Survey on Validating Shapes Generation and Adoption

    Rabbani, K., Lissandrini, M. & Hose, K., 25 Apr 2022, WWW 2022 - Companion Proceedings of the Web Conference 2022. Association for Computing Machinery, p. 260-263 4 p. (WWW 2022 - Companion Proceedings of the Web Conference 2022).

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

    8 Citations (Scopus)

  • ShaderNet: Graph-based Shader Code Analysis to Accelerate GPU's Performance Improvement

    Zhao, L., Khan, A. & Luo, R., 12 Jun 2022, Proceedings of the 5th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences and Systems (GRADES) and Network Data Analytics (NDA), GRADES-NDA 2022. Kalavri, V. & Salihoglu, S. (eds.). GRADES-NDA '22: Proceedings of the 5th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), Philadelphia, Pennsylvania, USA, 12 June 2022: Association for Computing Machinery, 3

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

  • Shaping Romance: Mediating Intimacy for Co-located Couples

    Christensen, A. E., Magnussen, M. H., Seindal, T. S. & Raptis, D., 15 Sept 2022, Proceedings of the 33rd Australian Conference on Human-Computer Interaction, OzCHI 2021. Buchanan, G., Davis, H., Al Mahmud, A., Sarsenbayeva, Z., Soro, A., Munoz, D., Potter, L. E., Taylor, J. L. & Tsimeris, J. (eds.). Association for Computing Machinery, p. 86-98 13 p.

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

    File
    100 Downloads (Pure)

  • SKILLSPAN: Hard and Soft Skill Extraction from English Job Postings

    Zhang, M., Jensen, K. N., Sonniks, S. D. & Plank, B., 2022, NAACL 2022 - 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference. Association for Computational Linguistics, ACL Anthology, p. 4962-4984 23 p. (NAACL 2022 - 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference).

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

    13 Citations (Scopus)

  • Solving String Theories Involving Regular Membership Predicates Using SAT

    Kulczynski, M., Lotz, K., Nowotka, D. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). 1 ed. Springer, Vol. 13255. p. 134-151 18 p. (Lecture Notes in Computer Science, Vol. 13255).

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

    2 Citations (Scopus)

  • Spatial Data Quality in the IoT Era: Management and Exploitation

    Li, H., Tang, B., Lu, H., Cheema, M. A. & Jensen, C. S., 2022, SIGMOD 2022 - Proceedings of the 2022 International Conference on Management of Data. Association for Computing Machinery, p. 2474-2482 9 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

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

  • Spatial Queries for Indoor Location-based Services

    Liu, T., 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE, p. 322-324 3 p. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2022-June).

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

  • Spatio-temporal graph convolutional network for stochastic traffic speed imputation

    Cuza, C. E. M., Ho, N., Zacharatou, E. T., Pedersen, T. B. & Yang, B., 1 Nov 2022, 30th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, ACM SIGSPATIAL GIS 2022. Renz, M., Sarwat, M., Nascimento, M. A., Shekhar, S. & Xie, X. (eds.). Association for Computing Machinery, p. 1-12 14. (GIS: Proceedings of the ACM International Symposium on Advances in Geographic Information Systems).

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

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

  • Spatio-Temporal Trajectory Similarity Learning in Road Networks

    Fang, Z., Du, Y., Zhu, X., Hu, D., Chen, L., Gao, Y. & Jensen, C. S., 2022, Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. p. 347-356 10 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

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

    14 Citations (Scopus)

  • SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks

    Bauer-Marquart, F., Boetius, D., Leue, S. & Schilling, C., 2022, Model Checking Software: 28th International Symposium, SPIN 2022. Legunsen, O. & Rosu, G. (eds.). Springer, p. 79-96 18 p. (Lecture Notes in Computer Science, Vol. 13255).

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

    Open Access
    2 Citations (Scopus)

  • Speed and energy consumption for electrical vehicles

    David, R. S., Zimányi, E., Torp, K. & Sakr, M., 1 Nov 2022, Proceedings of the 15th ACM SIGSPATIAL International Workshop on Computational Transportation Science, IWCTS 2022. Berres, A., Kurte, K. & Xu, H. (eds.). Association for Computing Machinery, p. 80-89 10 p. (Proceedings of the 15th ACM SIGSPATIAL International Workshop on Computational Transportation Science, IWCTS 2022).

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

    1 Citation (Scopus)

  • Spicing It Up: From Ubiquitous Devices to Tangible Things Through Provocation

    Jensen, R. H., Encinas, E. & Raptis, D., 13 Feb 2022, TEI 2022 - Proceedings of the 16th International Conference on Tangible, Embedded, and Embodied Interaction: TEI '22. Association for Computing Machinery, p. 1-15 33

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

    Open Access
    File
    7 Citations (Scopus)
    123 Downloads (Pure)

  • Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals

    Arora, S., Hansen, R. R., Larsen, K. G., Legay, A. & Poulsen, D. B., 23 Aug 2022, Model Checking Software, SPIN 2022: 28th International Symposium, SPIN 2022, Proceedings. Legunsen, O. & Rosu, G. (eds.). Springer, p. 61-78 18 p. (Lecture Notes in Computer Science, Vol. 13255).

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

  • Statistical Performance Verification of the FS-MPC Algorithm Applied to the Matrix Converter

    Novak, M., Grobelna, I., Nyman, U., Szcześniak, P. & Blaabjerg, F., 1 Jul 2022, 2022 International Power Electronics Conference (IPEC-Himeji 2022- ECCE Asia). IEEE Press, p. 76-82 7 p.

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

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

  • STOMPC: Stochastic Model-Predictive Control with Uppaal Stratego

    Goorden, M., Jensen, P. G., Larsen, K. G., Samusev, M., Srba, J. & Zhao, G., 2022, International Symposium on Automated Technology for Verification and Analysis: Automated Technology for Verification and Analysis . Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 327-333 7 p. (Lecture Notes in Computer Science).

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

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

  • Sustainable Foodtures: Exploring Roles of Future Technology in Sustainable Food Shopping

    Lindrup, M., Cheon, E., Skov, M. B., Raptis, D. & Comber, R., 8 Oct 2022, Participative Computing for Sustainable Futures - Proceedings of the 12th Nordic Conference on Human-Computer Interaction, NordiCHI 2022. Association for Computing Machinery, 3546641

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

    3 Citations (Scopus)

  • Synthesis of Parametric Hybrid Automata from Time Series

    García Soto, M., Henzinger, T. A. & Schilling, C., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 337-353 17 p. (Lecture Notes in Computer Science, Vol. 13505).

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

    Open Access
    1 Citation (Scopus)

  • Tangible Self-Report Devices: Accuracy and Resolution of Participant Input

    van Berkel, N., Merritt, T., Bruun, A. & Skov, M. B., 13 Feb 2022, TEI 2022 - Proceedings of the 16th International Conference on Tangible, Embedded, and Embodied Interaction. Association for Computing Machinery, 3501309. (ACM International Conference Proceeding Series).

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

    Open Access
    3 Citations (Scopus)

  • Task Assignment with Federated Preference Learning in Spatial Crowdsourcing

    Liu, J., Deng, L., Miao, H., Zhao, Y. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, p. 1279-1288

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

    8 Citations (Scopus)

  • Task Publication Time Recommendation in Spatial Crowdsourcing

    Chen, X., Zhao, Y. & Zheng, K., 2022, CIKM '22: Proceedings of the 31st ACM International Conference on Information & Knowledge Management. Association for Computing Machinery, p. 232–241

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

    3 Citations (Scopus)

  • The Complexity of Evaluating Nfer

    Kauffman, S. & Zimmermann, M., Jul 2022, Theoretical Aspects of Software Engineering, TASE 2022: 16th International Symposium, TASE 2022, Proceedings. Aït-Ameur, Y. & Crăciun, F. (eds.). Springer, p. 388-405 18 p. (Lecture Notes in Computer Science, Vol. 13299).

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

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

  • The Hazard Value: A Quantitative Network Connectivity Measure Accounting for Failures

    Cuijpers, P. J. L., Schmid, S., Schnepf, N. & Srba, J., 2022, 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'22). IEEE, p. 239-250

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

    1 Citation (Scopus)

  • The HERD Project: Human-Multi-Robot Interaction in Search & Rescue and in Farming

    Christensen, A. L., Grøntved, K. A. R., Oanh Hoang, M-T., van Berkel, N., Skov, M., Scovill, A., Edwards, G., Geipel, K. R., Dalgaard, L., Lundquist, U. P. S., Constantiou, I., Lehrer, C. & Merritt, T., 2022, Adjunct Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 1-4 4 p.

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

    Open Access

  • The Troubling Cups: Making Trouble at Work about Inequalities in Pay

    Als, N. K. K., Corlin Mikkelsen, J. & Raptis, D., 8 Oct 2022, Participative Computing for Sustainable Futures, NordiCHI 2022: Proceedings of the 12th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, p. 1-12 45

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

    File
    103 Downloads (Pure)

  • Timed Automata Learning via SMT Solving

    Tappler, M., Aichernig, B. K. & Lorber, F., 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (eds.). Springer, p. 489-507 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13260 LNCS).

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

    4 Citations (Scopus)

  • Transforming RDF-star to Property Graphs: A Preliminary Analysis of Transformation Approaches

    Abuoda, G., Dell'Aglio, D., Keen, A. & Hose, K., Nov 2022, QuWeDa 2022: 6th Workshop on Storing, Querying and Benchmarking Knowledge Graphs. CEUR Workshop Proceedings, Vol. 3279. p. 17-32 16 p. (CEUR Workshop Proceedings).

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

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

  • Transportation and Technology in Rural Denmark: Communities of Mobility

    Kjærup, M. & Skov, M. B., 15 Sept 2022, Proceedings of the 33rd Australian Conference on Human-Computer Interaction. Association for Computing Machinery, p. 119-129

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

    1 Citation (Scopus)

  • Understanding the Challenges of Blocking Unnamed Network Traffic.

    Hageman, K., Kidmose, E., Hansen, R. R. & Pedersen, J. M., 2022, NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium: Network and Service Management in the Era of Cloudification, Softwarization and Artificial Intelligence, NOMS 2022. Varga, P., Granville, L. Z., Galis, A., Godor, I., Limam, N., Chemouil, P., Francois, J. & Pahl, M-O. (eds.). IEEE, p. 1-5 9789854. (IEEE/IFIP Network Operations and Management Symposium).

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

    Open Access
    File
    8 Downloads (Pure)

  • UrbanGen: Generating Combined In- and Outdoor Trajectories

    Sun, Y., Nielsen, N., Xie, X., Pedersen, T. B., Simonsen, U., Lu, H. & Ainciburu, M., 2022, Proceedings - 2022 23rd IEEE International Conference on Mobile Data Management, MDM 2022. IEEE, Vol. 2022-June. p. 270-273 4 p. (Proceedings - IEEE International Conference on Mobile Data Management, Vol. 2022-June).

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

    Open Access
    File
    32 Downloads (Pure)

  • Using Signals to Support Trust Building in Clinical Human-AI Collaboration

    Kollerup, N. K., Skov, M. B. & van Berkel, N., 2022, Adjunct Proceedings of the EUSSET ECSCW European Conference on Computer-Supported Cooperative Work. 4 p.

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

    Open Access

  • Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes

    Schilling, C., Forets, M. & Guadalupe, S., 2022, Proceedings of the AAAI Conference on Artificial Intelligence. Palo Alto: AAAI Press, p. 8169-8177 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; No. 7, Vol. 36).

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

    Open Access
    17 Citations (Scopus)

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

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