Artificial Intelligence and Machine Learning

A Knowledge-Based Semi-Supervised Crystal Property Prediction Framework with Consistency Regularization
Yu, H., Hu, J., Cheng, Y., Guo, C., Zhu, Y., Yang, B. & Jensen, C. S., 1 Aug 2026, In: IEEE Transactions on Knowledge and Data Engineering. 38, 8, p. 4823-4835 13 p.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access
File
133 Downloads (Pure)
ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Sasaki, S., Wooding, B., Johnson, T. T., Althoff, M., Benet, L., Coogan, S., Forets, M., Harapanahalli, A., Koller, L., Ladner, T., Schilling, C., Zhang, H. & Zhong, X., 2026, Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems. Frehse, G., Althoff, M. & Geretti, L. (eds.). EasyChair, Vol. 110. p. 85-130 46 p. (EPiC Series in Computing, Vol. 110).
Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Open Access
A Selective Multi-View Representation Augmentation Framework for Crystal Property Prediction
Yu, H., Hu, J., Tolborg, K., Guo, C., Saraee, M., Yang, B. & Jensen, C. S., 8 Jul 2026, (E-pub ahead of print) In: ACM Transactions on AI for Science.
Research output: Contribution to journal › Journal article › Research › peer-review

Open Access

Aalborg University Wearable Sleep Study (AAUWSS)
Djanian, S. (Creator), Nielsen, T. D. (Creator), Nielsen, S. H. (Creator) & Bruun, A. (Creator), Zenodo, 21 Aug 2025
DOI: 10.5281/zenodo.16919071
Dataset
Reproducibility Package for "TAPAAL HyperLTL: A Tool for Checking Hyperproperties of Petri Net"
Gonzalez, B. M. R. (Creator), Jensen, P. G. (Creator), Schmid, S. (Creator), Srba, J. (Creator) & Zimmermann, M. (Creator), Zenodo, 10 Jul 2025
DOI: 10.5281/zenodo.15854993
Dataset
TunA Evaluation Data
Tobias, Z. (Creator), Hose, K. (Creator) & Ralf, S. (Creator), Zenodo, 12 Oct 2023
DOI: 10.5281/zenodo.8435902
Dataset

DIS 2026 Honourable Mention
Merritt, T. R. (Recipient), Sørensen, R. B. (Recipient), Møller, R. K. (Recipient), Bahodi, M.-T. (Recipient), Hansen, N. B. (Recipient), Echtler, F. (Recipient) & Aslan, I. (Recipient), 17 Jun 2026
Prize: Conference prizes
Outstanding Paper Award
Wilhelm, A. (Recipient) & Torralba, A. (Recipient), 2025
Prize: Conference prizes
DIS 2024 Honourable Mention
Shalawadi, S. B. (Recipient), Getschmann, C. (Recipient), van Berkel, N. (Recipient) & Echtler, F. (Recipient), 1 Jul 2024
Prize: Conference prizes

9 Conference presentations
6 Membership of committees, commissions, boards, councils, associations, organisations, or similar
2 Organisation or participation in workshops, courses, seminars, exhibitions or similar
2 Board duties in companies, associations, or public organisations

3rd Aalborg Robotics Challenge Workshop
Chrysostomou, D. (Organizer), Heshmati-Alamdari, S. (Organizer), Krummheuer, A. L. (Organizer), Merritt, T. R. (Organizer) & Dosen, S. (Organizer)
8 Dec 2025
Activity: Attending an event › Organisation or participation in workshops, courses, seminars, exhibitions or similar
Advances in Temporal and Spatio-Temporal Data Management and Analytics
Jensen, C. S. (Lecturer)
21 Oct 2025 → 23 Oct 2025
Activity: Talks and presentations › Conference presentations
Improving Transportation in Road Networks Using Big Vehicle Trajectory Data
Jensen, C. S. (Lecturer)
5 Sept 2025
Activity: Talks and presentations › Conference presentations

Fingerprint