Projects 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.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
CNS Core: Small: Fast or Dynamic Websites? Eliminating the Need to Choose
NSF - National Science Foundation
10/1/21 → 9/30/24
Project: Research project
-
RI: Medium: Improving grounding, generalization and contextual reasoning in vision and language models
NSF - National Science Foundation
9/1/21 → 8/31/25
Project: Research project
-
X-CELLENT: X-Compiler Extending LLVM for Enhanced Natural Translation
9/1/21 → 8/31/22
Project: Research project
-
Abstraction and subsumption in modular verification of C programs
Beringer, L. & Appel, A. W., 2021, (Accepted/In press) In: Formal Methods in System Design.Research output: Contribution to journal › Article › peer-review
-
A multimodal and integrated approach to interrogate human kidney biopsies with rigor and reproducibility: Guidelines from the kidney precision medicine project
Kidney Precision Medicine Project, 2021, In: Physiological Genomics. 53, 1, p. 1-11 11 p.Research output: Contribution to journal › Article › peer-review
Open Access4 Scopus citations -
Analysis of smooth heaps and slim heaps
Hartmann, M., Kozma, L., Sinnamon, C. & Tarjan, R. E., Jul 1 2021, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021. Bansal, N., Merelli, E. & Worrell, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 79. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 198).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution