1.6K
Publications
34.4K
Citations
54
Authors
Storrs
United States
Other names
ASL
Association for Symbolic Logic is a other institution in Storrs, United States known for medicine, engineering, and education.
1.6K
Formal Verification of Smart Contracts
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet et al. · 2016 · 607 citations · Full text
Marco Seri, Alessandro Pecci, Filomena Di Bari et al. · Medicine · 2003 · 307 citations · Full text
Mild Macrothrombocytopenia, Autoimmune Disease, Mendelian Disorder +14
Object-oriented programming with flavors
David A. Moon · ACM SIGPLAN Notices · 1986 · 302 citations
Software Maintenance, Symbolics Common Lisp, Engineering +18
Studies on human platelet granules and membranes.
Aaron J. Marcus, D Zucker-Franklin, L B Safier et al. · Journal of Clinical Investigation · 1966 · 278 citations · Full text
Rows per page
1–5 of 1.6K
54
| Publications | Citations | H-Index | |
|---|---|---|---|
DA Association for Symbolic Logic | 31 | 1.4K | 11 |
IM Association for Symbolic Logic | 21 | 135 | 8 |
PM Association for Symbolic Logic | 64 | 166 | 7 |
RR Association for Symbolic Logic | 8 | 204 | 5 |
DW Association for Symbolic Logic | 12 | 353 | 5 |
Rows per page
1–5 of 54