Projects per year
Fingerprint
Collaborations and top research areas from the last five years
Profiles
-
Collaborative Research: AF: Medium: The Communication Cost of Distributed Computation
Robinson, P. (PI)
7/1/24 → 6/30/28
Project: Research project
-
Collaborative Research: AF: Medium: The Communication Cost of Distributed Computation
Robinson, P. (PI)
7/1/24 → 6/30/28
Project: Research project
-
CRII: SHF: Theoretical Foundations of Verifying Function Values and Reducing Annotation Overhead in Automatic Deductive Verification
Bao, Y. (PI)
5/1/24 → 4/30/27
Project: Research project
-
Comparative analysis of organizational and leadership success factors associated with fast-growing biomedical research
Balas, E. A., Abdelgawad, Y. H., Aubert, C. & Townsend, T., Dec 2026, In: Scientific reports. 16, 1, 8662.Research output: Contribution to journal › Article › peer-review
Open Access -
Survey of uncertainty estimation in LLMs - Sources, methods, applications, and challenges
He, J., Yu, L., Li, C., Yang, R., Chen, F., Li, K., Zhang, M., Lei, S., Zhang, X., Beigi, M., Ding, K., Xiao, B., Huang, L., Chen, F., Jin, M. & Lu, C.-T., Jun 1 2026, In: Information Fusion. 130, p. 104057Research output: Contribution to journal › Article › peer-review
-
Recursive Augmented Fernet (RAF) Token: Alleviating the Pain of Stolen Tokens
Rahaeimehr, R. & Dijk, M. V., Jun 2026, In: Journal of Cybersecurity and Privacy. 6, 3, 88.Research output: Contribution to journal › Article › peer-review
Open Access
Datasets
-
pymwp: MWP analysis in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Mar 5 2025
DOI: 10.5281/zenodo.14969303, https://zenodo.org/records/14969303
Dataset
-
pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, Oct 13 2022
DOI: 10.5281/zenodo.7159134, https://zenodo.org/records/7159134
Dataset
-
pymwp: MWP analysis in Python
Aubert, C. (Creator), Rubiano, T. (Creator), Rusch, N. (Creator) & Seiller, T. (Creator), ZENODO, May 8 2023
DOI: 10.5281/zenodo.7908484, https://zenodo.org/records/7908484
Dataset
Prizes
-
ACM SIGSOFT Distinguished Paper Award
He, S. (Recipient), Aug 30 2019
Prize: Prize (including medals and awards)