Recent publications · Crossref
5 total works indexed
- KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
· 2018 · cited 341x
- Adrenocortical Zonation Results from Lineage Conversion of Differentiated Zona Glomerulosa Cells
· 2013 · cited 190x
- Atmospheric escape from the TRAPPIST-1 planets and implications for habitability
· 2017 · cited 183x
- A short translational ramp determines the efficiency of protein synthesis
· 2019 · cited 172x
- Artificial intelligence for cardiovascular disease risk assessment in personalised framework: a scoping review
· 2024 · cited 152x
via Crossref · CC0