Ecosyste.ms: Papers

An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.

Projects: pypi: CoSA

https://packages.ecosyste.ms/registries/pypi.org/packages/CoSA

CoreIR Symbolic Analyzer
14 versions
Latest release: over 5 years ago
270 downloads last month

Papers Mentioning CoSA 4

10.1007/978-3-030-53288-8_19
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components
Cited by: 5
Author(s): Lenny Truong, Steven Herbst, Rajsekhar Setaluri, Makai Mann, Ross Daly, Keyi Zhang, Caleb Donovick, Daniel Stanley, Mark Horowitz, Clark Barrett, Pat Hanrahan
Software Mentions: 3
Published: almost 5 years ago
10.17179/excli2018-1417
Towards understanding aromatase inhibitory activity via QSAR modeling.
Cited by: 9
Author(s): Watshara Shoombuatong, Nalini Schaduangrat, Chanin Nantasenamat
Software Mentions: 1
Published: almost 7 years ago
10.3390/e23020187
Information Theoretic Metagenome Assembly Allows the Discovery of Disease Biomarkers in Human Microbiome
Cited by: 1
Author(s): Ufuk Nalbantoğlu
Software Mentions: 1
Published: almost 4 years ago