Scholarly Works per year
Scholarly Works per year
Research activity per year
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Research output: Contribution to conference › Paper › peer-review
Dillig, I. (Contributor), Collberg, C. S. (Contributor), Pailoor, S. (Contributor), Mariano, B. (Contributor) & Wang, Z. (Contributor), ZENODO, Aug 18 2024
DOI: 10.5281/zenodo.13863694, https://zenodo.org/records/13863694
Dataset