Projects per year
Fingerprint
Collaborations from the last five years
Profiles
-
Giovanni Bacci
- The Technical Faculty of IT and Design
- Department of Computer Science
- Section for Distributed, Embedded and Intelligent Systems
- Automated System Verification and Validation
- Distributed, Embedded and Intelligent Systems
- Foundations for Interacting and Computing Systems
- Artificial Intelligence and Machine Learning
Person: VIP
-
Flexible AI Planning for Proactive Agents in Scenarios with Multiple Possible Goals
Torralba, A. (PI)
01/12/2025 → 30/11/2026
Project: Research
-
Artificial Development? Adolescents’ Psychological Development in the Age of AI
Frederiksen, P. (PI), Lind, M. (Supervisor), van Berkel, N. (Supervisor) & Kiel, L. (Supervisor)
01/09/2025 → 31/08/2028
Project: PhD Project
-
PERSIST: Persistent Drone Operations at Critical Infrastructure
Merritt, T. R. (CoPI) & Christensen, A. L. (PI)
01/08/2025 → 31/12/2027
Project: Research
Research output
-
Compressing High-Frequency Time Series Through Multiple Models and Stealing from Residuals
Abduvakhobov, A., Jensen, S. K., Thomsen, C. & Pedersen, T. B., 2026, (Accepted/In press) 42nd IEEE International Conference on Data Engineering (ICDE).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Safe and infinite resource scheduling using energy timed automata
Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., Jan 2026, In: Science of Computer Programming. 247, 103358.Research output: Contribution to journal › Journal article › Research › peer-review
Open Access -
The Impact of Graph Structure, Cluster Centroid and Text Review Embeddings on Recommendation Methods
Dolog, P., Torres, S. D. R., Velaj, Y., Sadikaj, Y., Stephan, A., Roth, B. & Plant, C., Jun 2026, In: ACM Transactions on Recommender Systems. 4, 2, 28 p., 24.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile9 Downloads (Pure)
Datasets
-
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
Dataset
-
TunA Evaluation Data
Tobias, Z. (Creator), Hose, K. (Creator) & Ralf, S. (Creator), Zenodo, 12 Oct 2023
Dataset
-
Models and data for "Guaranteed safe controller synthesis for switched systems using analytical solutions"
Goorden, M. A. (Creator), Larsen, K. G. (Creator), Nielsen, J. E. (Creator), Nielsen, T. D. (Creator), Qian, W. (Creator), Rasmussen, M. R. (Creator) & Zhao, G. (Creator), Zenodo, 12 Jun 2023
DOI: 10.5281/zenodo.8026422, https://zenodo.org/record/8026422
Dataset
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
-
NLP4KGC Best Paper Award
Sagi, T. (Recipient), Zaitoun, A. (Recipient) & Hose, K. (Recipient), 30 Apr 2023
Prize: Conference prizes
Activities
-
Aalborg Robotics Challenge Workshop 2024
Chrysostomou, D. (Organizer), Heshmati-Alamdari, S. (Organizer), Krummheuer, A. L. (Organizer), Dosen, S. (Organizer) & Merritt, T. R. (Organizer)
24 Sept 2024Activity: Attending an event › Organisation or participation in workshops, courses, seminars, exhibitions or similar
-
Norwegian Research Center for AI Innovation (External organisation)
Jensen, C. S. (Chairperson)
2020 → …Activity: Memberships › Board duties in companies, associations, or public organisations
-
Max Planck Institute for Informatics (External organisation)
Jensen, C. S. (Member)
2019 → 2023Activity: Memberships › Membership of committees, commissions, boards, councils, associations, organisations, or similar
Press/Media
-
Opråb fra danske dronefolk: Vi kan beskytte Danmark mod angreb - men vilkårene halter alvorligt
04/11/2025
1 item of Media coverage
Press/Media: Press / Media
-
ChatGPT var den perfekte kærlighedscoach – lige indtil det gik op for mig, hvad den gjorde
07/09/2025
1 item of Media coverage
Press/Media: Press / Media
-
Jeg brugte ChatGPT som kærlighedscoach - og endte med at narre mig selv
22/08/2025
1 item of Media coverage
Press/Media: Press / Media
Impacts
-
The HERD project: Human and robot swarm interaction
Skov, M. B. (Participant), Merritt, T. R. (Participant) & van Berkel, N. (Participant)
Impact: Economic impact