Projects per year
Fingerprint
Dive into the research topics where Department of Computer Science is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
SaTC: CORE: Small: Auto-active Hyperproperty Verification for Security
Naumann, D. (PI)
1/10/24 → 30/09/27
Project: Research project
-
EAGER: A Domain-Informed Generative Framework for Joint Learning of Public Medical Knowledge and Individual Health Records
Ning, Y. (PI)
1/10/24 → 30/09/26
Project: Research project
-
CAREER: Learning Hierarchical Generative Models for Expressive, Controllable, and Cross-domain Representations
Han, T. (PI)
1/07/24 → 30/06/29
Project: Research project
-
Exploring the hierarchical structure of human plans via program generation
Correa, C. G., Sanborn, S., Ho, M. K., Callaway, F., Daw, N. D. & Griffiths, T. L., Feb 2025, In: Cognition. 255, 105990.Research output: Contribution to journal › Article › peer-review
Open Access -
Hybrid and Non-minimal Planar Motion Estimation from Point Correspondences
Dibene, J. C. & Dunn, E., 2025, Computer Vision – ACCV 2024 - 17th Asian Conference on Computer Vision, Proceedings. Cho, M., Laptev, I., Tran, D., Yao, A. & Zha, H. (eds.). p. 333-349 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15480 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Large-Scale Dense 3-D Mapping Using Submaps Derived From Orthogonal Imaging Sonars
Mcconnell, J., Collado-Gonzalez, I., Szenher, P. & Englot, B., 2025, In: IEEE Journal of Oceanic Engineering. 50, 1, p. 354-369 16 p.Research output: Contribution to journal › Article › peer-review
Open Access