Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Saurabh Joshi

Characteristics of Elderly Listed for Heart Transplantation: An Analysis of the Scientific Registry of Transplant Recipients

Journal of Cardiac Failure
Cardiovascular MedicineCardiology
2019English

Pinaka: Symbolic Execution Meets Incremental Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Property-Driven Fence Insertion Using Reorder Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

On the Tractability of (K, I)-Coloring

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Preoperative Embolization to Improve Surgical Management and Outcome of Pulmonary Sequestration

International Journal of Recent Surgical and Medical Sciences
2018English

Isolation of Left Common Carotid Artery With Its Origin Proximal to Patent Ductus Arteriosus Presenting in Adult Age

Case Reports in Radiology
2016English

Refractory Vasospastic Angina: When Typical Medications Don't Work

Cureus
2019English

Ovarian Gene Expression in the Absence of FIGLA, an Oocyte-Specific Transcription Factor

BMC Developmental Biology
Developmental Biology
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy