Research output per year
Research output per year
Fingerprint
Dive into the research topics where 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
Profiles
-
Accelerating multi-coil MR image reconstruction using weak supervision
Atalık, A., Chopra, S. & Sodickson, D. K., Feb 2025, In: Magnetic Resonance Materials in Physics, Biology and Medicine. 38, 1, p. 37-51 15 p.Research output: Contribution to journal › Article › peer-review
-
Accumulation Without Homomorphism
Bünz, B., Mishra, P., Nguyen, W. & Wang, W., Feb 11 2025, 16th Innovations in Theoretical Computer Science Conference, ITCS 2025. Meka, R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 23. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 325).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A Demonic Outcome Logic for Randomized Nondeterminism
Zilberstein, N., Kozen, D., Silva, A. & Tassarotti, J., Jan 7 2025, In: Proceedings of the ACM on Programming Languages. 9, 19.Research output: Contribution to journal › Article › peer-review
Open Access