[Elsevier] [Single chapter]Verification of MPI programs via compilation into Petri nets |
| |
20
A review on cellular ferroptosis in traumatic brain injury: Mechanisms and therapeutic implications
20
Proximal tubular EZH2 inhibits diabetic kidney disease by suppressing SHC1-mediated oxidative stress
20
Collagen- and glycosaminoglycan-enriched polymeric scaffolds incorporating perinatal-derived biomaterials for tissue regeneration
10
One-step method for stain proofing finishing of polyester fabric in supercritical carbon dioxide
10
The carbon footprint and wastage of intravitreal injections