Artificial Intelligence and Machine Learning

Filter
Article in proceeding

Search results

  • 2024

    Comparative Analysis of Uppaal SMC, ns-3 and MATLAB/Simulink

    Naeem, M., Albano, M., Larsen, K. G. & Nielsen, B., 2024, Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Proceedings. Kofroň, J., Margaria, T. & Seceleanu, C. (eds.). Springer Science+Business Media, p. 153-169 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14390 LNCS).

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

  • Compositional Control Synthesis for Water Management System

    Kim, E. H., Larsen, K. G., Nielsen, T. D. & Goorden, M., 28 Feb 2024, (Accepted/In press) ECC. p. 1-8 8 p.

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

  • Multi-scale Transformers with Adaptive Pathways for Time Series Forecasting

    Chen, P., Zhang, Y., Cheng, Y., Shu, Y., Wang, Y., Wen, Q., Yang, B. & Guo, C., 16 Jan 2024, International Conference on Learning Representations. 18 p.

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

  • Shielded Reinforcement Learning for Hybrid Systems

    Brorholt, A. H., Jensen, P. G., Larsen, K. G., Lorber, F. & Schilling, C., 2024, Bridging the Gap Between AI and Reality - 1st International Conference, AISoLA 2023, Proceedings. Steffen, B. (ed.). Springer, p. 33-54 22 p. (Lecture Notes in Computer Science, Vol. 14380).

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

    File
    1 Citation (Scopus)
    20 Downloads (Pure)
  • 2023

    Adaptation of AI Explanations to Users' Roles

    Delaunay, J., Galárraga, L., Largouët, C. & van Berkel, N., 2023, Adjunct Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems - Workshop on Human-Centered Explainable AI. p. 1-7 7 p.

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

  • A Modeling Concept for Formal Verification of OS-Based Compositional Software

    Ribeiro, L. B., Lorber, F., Nyman, U., Larsen, K. G. & Baunach, M., 2023, 26th International Conference (FASE 2023): Fundamental Approaches to Software Engineering, Proceedings. Lambers, L., Uchitel, S. & Uchitel, S. (eds.). Springer, p. 26-46 21 p. (Lecture Notes in Computer Science, Vol. 13991 LNCS).

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

    Open Access
    File

  • An MM Algorithm to Estimate Parameters in Continuous-Time Markov Chains

    Bacci, G., Ingolfsdottir, A., Larsen, K. G. & Reynouard, R., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). Springer, p. 82-100 19 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 14287).

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

  • A Re-evaluation of Deep Learning Methods for Attributed Graph Clustering.

    Lai, X., Wu, D., Jensen, C. S. & Lu, K., 21 Oct 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 1168-1177 10 p.

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

  • A Review on Mood Assessment Using Smartphones

    Sarsenbayeva, Z., Fleming, C., Tag, B., Withana, A., van Berkel, N. & McEwan, A., 2023, Human-Computer Interaction – INTERACT 2023: 19th IFIP TC13 International Conference, York, UK, August 28 – September 1, 2023, Proceedings, Part II. Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Springer, p. 385-413 29 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14143 LNCS).

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

    1 Citation (Scopus)

  • A Theory of Merge-and-Shrink for Stochastic Shortest Path Problems

    Klößner, T., Torralba, Á., Steinmetz, M. & Sievers, S., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 203-211 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

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

    1 Citation (Scopus)

  • Automated Ontology Evaluation: Evaluating Coverage and Correctness using a Domain Corpus

    Zaitoun, A., Sagi, T. & Hose, K., 30 Apr 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, p. 1127-1137 11 p.

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

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

  • Automatic Metamorphic Test Oracles for Action-Policy Testing

    Eisenhut, J., Torralba, Á., Christakis, M. & Hoffmann, J., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. AAAI Press, p. 109-117 9 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS; No. 1, Vol. 33).

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

  • "Briefly Entertaining but Pointless": Perceived Benefits & Risks of Social Robots in the Home

    Schneiders, E., Papachristos, E., van Berkel, N. & Jacobsen, R. M., 19 Apr 2023, Proceedings of ACM SIGCHI Conference on Human Factors in Computing Systems - Late Breaking Work. Association for Computing Machinery, p. 1-6 61. (Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems (CHI EA ’23)).

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

    Open Access
    1 Citation (Scopus)

  • Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning

    Pham, F. & Torralba, Á., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (ed.). International Joint Conferences on Artificial Intelligence, p. 5420-5428 9 p. (IJCAI International Joint Conference on Artificial Intelligence, Vol. 2023-August).

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

  • CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

    Carlsen, F. B. Ø., Frydenskov, L. B. P., Jensen, N. Ø., Jenner Rasmussen, J., Sørensen, M. M., Geel Weirsøe, A., Jensen, M. C. & Larsen, K. G., 30 Sept 2023, Proceedings af the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023). Italien: Open Publishing Association, Vol. 390. p. 99-114 16 p. (Electronic Proceedings in Theoretical Computer Science).

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

    Open Access
    File
    10 Downloads (Pure)

  • Challenges and Requirements in Multi-Drone Interfaces

    Oanh Hoang, M-T., van Berkel, N., Skov, M. B. & Merritt, T., 19 Apr 2023, CHI EA '23: Extended Abstracts of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-9 9 p. 65

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

    2 Citations (Scopus)

  • Databases and Information Systems: Contributions from ADBIS 2023 Workshops and Doctoral Consortium

    Przybyłek, A., Karpus, A., Hadjali, A., Dignös, A., Hara, C. S., Karidi, D. P., Zumpano, E., Persia, F., Vargas-Solar, G., Papastefanatos, G., Sperlì, G., Giannopoulos, G., Luković, I., Aligon, J., Terrovitis, M., Grzegorowski, M., Bonomo, M., Ferrari, M. H., Labroche, N., Monsarrat, P., & 9 othersChbeir, R., Sellami, S., Tirupathi, S., Rombo, S. E., Kordić, S., Ristić, S., Di Noia, T., Pedersen, T. B. & Moscato, V., 2023, New Trends in Database and Information Systems: ADBIS 2023 Short Papers, Doctoral Consortium and Workshops: AIDMA, DOING, K-Gals, MADEISD, PeRS, Proceedings. Abelló, A., Romero, O., Vassiliadis, P., Wrembel, R., Bugiotti, F., Gamper, J., Vargas Solar, G. & Zumpano, E. (eds.). Springer, p. 293-311 19 p. (Communications in Computer and Information Science, Vol. 1850 CCIS).

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

  • Data Imputation for Sparse Radio Maps in Indoor Positioning

    Li, X., Li, H., Chan, H. K. H., Lu, H. & Jensen, C. S., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, p. 2235-2248 14 p. (Proceedings of the International Conference on Data Engineering).

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

    1 Citation (Scopus)

  • Do bridges dream of water pollutants? Towards DreamsKG, a knowledge graph to make digital access for sustainable environmental assessment come true

    Garigliotti, D., Bjerva, J., Nielsen, F. Å., Butzbach, A., Lyhne, I., Kørnøv, L. & Hose, K., 30 Apr 2023, ACM Web Conference 2023 - Proceedings of the Comopanion of the : 2023 World Wide Web Conference . Association for Computing Machinery, p. 724-730 7 p.

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

    2 Citations (Scopus)
    14 Downloads (Pure)

  • Dual Balancing of SoC/SoT in Smart Batteries using Reinforcement Learning in Uppaal Stratego

    Kristjansen, M., Kulkarni, A., Jensen, P. G., Teodorescu, R. & Larsen, K. G., 16 Nov 2023, IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society. IEEE, 10311828. (Proceedings of the Annual Conference of the IEEE Industrial Electronics Society).

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

    Open Access
    File
    22 Downloads (Pure)

  • Dynamic Extrapolation in Extended Timed Automata

    Jensen, N. Ø., Jensen, P. G. & Larsen, K. G., 9 Nov 2023, Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings. Li, Y. & Tahar, S. (eds.). Springer, p. 83-99 17 p. (Lecture Notes in Computer Science, Vol. 14308).

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

    3 Downloads (Pure)

  • Efficient Evaluation of Large Abstractions for Decoupled Search: Merge-and-Shrink and Symbolic Pattern Databases

    Gnad, D., Sievers, S. & Torralba, Á., 2023, Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling. Koenig, S., Stern, R. & Vallati, M. (eds.). AAAI Press, p. 138-147 10 p. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Vol. 33).

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

  • Efficiently Learning Spatial Indices

    Liu, G., Qi, J., Jensen, C. S., Bailey, J. & Kulik, L., 2023, Proceedings - 2023 IEEE 39th International Conference on Data Engineering, ICDE 2023. IEEE Computer Society Press, Vol. 2023-april. p. 1572-1584 13 p. (Proceedings - International Conference on Data Engineering, Vol. 2023-April).

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

    2 Citations (Scopus)

  • Eliciting Empathy towards Urban Accessibility Issues

    Paananen, V., Visuri, A., Van Berkel, N. & Hosio, S., 20 Sept 2023, CHItaly '23: Proceedings of the 15th Biannual Conference of the Italian SIGCHI Chapter. Association for Computing Machinery, p. 1-13 14

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

    Open Access
    File
    16 Downloads (Pure)

  • Elimination of Detached Regions in Dependency Graph Verification

    Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer, Vol. LNCS 13872. p. 163-179 17 p. (Lecture Notes in Computer Science).

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

  • Example-Driven Exploratory Analytics over Knowledge Graphs

    Lissandrini, M., Hose, K. & Pedersen, T. B., 2023, Proceedings of the 26th International Conference on Extending Database Technology, EDBT 2023. OpenProceedings.org, p. 105-117 13 p. (Advances in Database Technology, Vol. 26).

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

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

  • EXOGEM: Extending OpenAPI Generator for monitoring of RESTful APIs

    Holtebo, D. F., Sommer, J. L., Mølgaard Lund, M., Tibo, A., Dongo, J. & Albano, M., 2023, Service-Oriented Computing – ICSOC 2022 Workshops: ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings. Troya, J., Mirandola, R., Navarro, E., Delgado, A., Segura, S., Fernández, P., Ortiz, G., Pautasso, C., Zirpins, C. & Ruiz-Cortés, A. (eds.). Springer, p. 118-129 12 p. (Lecture Notes in Computer Science, Vol. 13821).

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

  • FDA-HeatFlex: Scalable Privacy-Preserving Temperature and Flexibility Prediction for Heat Pumps using Federated Domain Adaptation

    Khanal, S., Ho, N. & Pedersen, T. B., 20 Jun 2023, e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 172-183 12 p.

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

  • GInRec: A Gated Architecture for Inductive Recommendation using Knowledge Graphs

    Jendal, T. E., Lissandrini, M., Dolog, P. & Hose, K., 23 Nov 2023, KaRS 2023 Knowledge-aware and Conversational Recommender Systems 2023: Proceedings of the Fifth Knowledge-aware and Conversational Recommender Systems Workshop co-located with 17th ACM Conference on Recommender Systems (RecSys 2023). Anelli, V. W., Basile, P., De Melo, G., Donini, F. M., Ferrara, A., Musto, C., Narducci, F., Ragone, A. & Zanker, M. (eds.). CEUR Workshop Proceedings, p. 80-89 10 p. (CEUR Workshop Proceedings, Vol. 3560).

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

    Open Access
    File
    16 Downloads (Pure)

  • GLENDA: Querying RDF Archives with Full SPARQL

    Pelgrin, O., Taelman, R., Galárraga, L. & Hose, K., 2023, The Semantic Web: ESWC 2023 Satellite Events, Proceedings. Pesquita, C., Skaf-Molli, H., Efthymiou, V., Kirrane, S., Ngonga, A., Collarana, D., Cerqueira, R., Alam, M., Trojahn, C. & Hertling, S. (eds.). Springer Science+Business Media, p. 75-80 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13998 LNCS).

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

  • Graph Neural Networks for Metagenomic Binning

    Lamurias, A., Tibo, A., Hose, K., Albertsen, M. & Nielsen, T. D., 2023, The 2023 ICML Workshop on Computational Biology. 7 p. 81

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

    Open Access

  • Guaranteed safe controller synthesis for switched systems using analytical solutions

    Goorden, M., Larsen, K. G., Nielsen, J. E., Nielsen, T. D., Qian, W., Rasmussen, M. R. & Zhao, G., 2023, 2023 IEEE Conference on Control Technology and Applications, CCTA 2023. IEEE, p. 784-790 7 p. (IEEE Conference on Control Technology and Applications (CCTA) - Proceedings).

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

    Open Access
    File
    37 Downloads (Pure)

  • Heat FlexOffers: a device-independent and scalable representation of electricity-heat flexibility

    Lilliu, F., Pedersen, T. B. & Siksnys, L., 20 Jun 2023, e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems. Association for Computing Machinery, p. 374-385 12 p. (e-Energy 2023 - Proceedings of the 2023 14th ACM International Conference on Future Energy Systems).

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

    Open Access
    File
    6 Downloads (Pure)

  • Holistic Analytics of Sensor Data from Renewable Energy Sources: A Vision Paper

    Jensen, S. K. & Thomsen, C., 31 Aug 2023, New Trends in Database and Information Systems, ADBIS 2023 Proceedings. Abelló, A., Romero, O., Vassiliadis, P., Wrembel, R., Bugiotti, F., Gamper, J., Vargas Solar, G. & Zumpano, E. (eds.). Springer, p. 360-366 7 p. (Communications in Computer and Information Science, Vol. 1850 CCIS).

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

    Open Access
    File

  • "If I Had All the Time in the World": Ophthalmologists' Perceptions of Anchoring Bias Mitigation in Clinical AI Support

    Bach, A., Munch Nørgaard, T., Christian Brok, J. & van Berkel, N., 19 Apr 2023, CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, p. 1-14 14 p. 16

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

    4 Citations (Scopus)

  • Jajapy: A Learning Library for Stochastic Models

    Reynouard, R., Ingolfsdottir, A. & Bacci, G., 2023, Quantitative Evaluation of Systems: 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Jansen, N. & Tribastone, M. (eds.). Springer, p. 30-46 17 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 14287).

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

    1 Citation (Scopus)

  • Joint Link Prediction Via Inference from a Model

    Naddaf, P., Nejad, E. M. A., Zahirnia, K., Jaeger, M. & Schulte, O., 21 Oct 2023, CIKM 2023 - Proceedings of the 32nd ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 1877-1886 10 p.

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

  • Learned Probing Cardinality Estimation for High-Dimensional Approximate NN Search

    Zheng, B., Yue, Z., Hu, Q., Yi, X., Luan, X., Xie, C., Zhou, X. & Jensen, C. S., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, p. 3209-3221 13 p. (Proceedings of the International Conference on Data Engineering).

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

    1 Citation (Scopus)

  • Learning Symbolic Timed Models from Concrete Timed Data

    Dierl, S., Howar, F. M., Kauffman, S., Kristjansen, M., Guldstrand Larsen, K., Lorber, F. & Mauritz, M., 16 May 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (eds.). Springer Science+Business Media, p. 104-121 18 p. (Lecture Notes in Computer Science (LNCS), Vol. 13903 LNCS).

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

    1 Citation (Scopus)

  • LightPath: Lightweight and Scalable Path Representation Learning

    Yang, S. B., Hu, J., Guo, C., Yang, B. & Jensen, C. S., 6 Aug 2023, Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 2999-3010 12 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

  • Metagenomic Binning using Connectivity-constrained Variational Autoencoders

    Lamurias, A., Tibo, A., Hose, K., Nielsen, T. D. & Albertsen, M., 2023, Proceedings of the 40th International Conference on Machine Learning. Krause, A. & Brunskill, E. (eds.). p. 18471–18481 762. (The Proceedings of Machine Learning Research, Vol. 202).

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

    Open Access
    File
    1 Downloads (Pure)

  • Mining Seasonal Temporal Patterns in Time Series

    Ho, V. L., Ho, N. & Pedersen, T. B., 7 Apr 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE Communications Society, p. 2249-2261 13 p. 10184527. (Proceedings of the International Conference on Data Engineering).

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

  • Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control

    Riaz, I., Jensen, P. G., Larsen, K. G. & Srba, J., 17 Sept 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Nature Switzerland AG, p. 113-130 18 p. (Lecture Notes in Computer Science; No. 14290).

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

  • Moral Transparency as a Mitigator of Moral Bias in Conversational User Interfaces

    Wester, J., Lee, M. & van Berkel, N., 19 Jul 2023, Proceedings of the 5th International Conference on Conversational User Interfaces (CUI ’23). Lee, M., Munteanu, C., Porcheron, M., Trippas, J. & Völkel, S. T. (eds.). Association for Computing Machinery, 6 p. 12

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

    1 Citation (Scopus)

  • OntoEval: an Automated Ontology Evaluation System

    Zaitoun, A., Sagi, T. & Hose, K., 30 Apr 2023, ACM Web Conference 2023 - Companion of the World Wide Web Conference, WWW 2023. Association for Computing Machinery, p. 82–85 4 p.

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

    1 Citation (Scopus)

  • Patient Event Sequences for Predicting Hospitalization Length of Stay

    Hansen, E. R., Nielsen, T. D., Larsen, T. M., Strausholm, M. N., Sagi, T. & Hose, K., 7 Jun 2023, Artificial Intelligence in Medicine: 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12–15, 2023, Proceedings. Juarez, J. M., Marcos, M., Stiglic, G. & Tucker, A. (eds.). Springer, p. 51-56 6 p. (Lecture Notes in Computer Science (LNCS), Vol. LNCS 13897).

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

  • Refinement of Systems with an Attacker Focus

    Larsen, K. G., Legay, A. & Poulsen, D. B., 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Nature Switzerland AG, p. 96-112 17 p. (Lecture Notes in Computer Science; No. 14290).

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

  • Reinforcement Learning based Tree Decomposition for Distance Querying in Road Networks

    Zheng, B., Ma, Y., Wan, J., Gao, Y., Huang, K., Zhou, X. & Jensen, C. S., 2023, 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, p. 1678-1690 13 p. (Proceedings of the International Conference on Data Engineering).

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

  • RHB-Net: A Relation-aware Historical Bridging Network for Text2SQL Auto-Completion

    Zheng, B., Bi, L., Xi, R., Chen, L., Gao, Y., Zhou, X. & Jensen, C. S., 19 Jul 2023, Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '23). Association for Computing Machinery, p. 1458-1467 10 p.

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

  • Safety verification of decision-tree policies in continuous time

    Schilling, C., Lukina, A., Demirović, E. & Larsen, K. G., 2023, 37th Conference on Neural Information Processing Systems (NeurIPS 2023). 20 p.

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

    Open Access