Skip to main page content
U.S. flag

An official website of the United States government

Dot gov

The .gov means it’s official.
Federal government websites often end in .gov or .mil. Before sharing sensitive information, make sure you’re on a federal government site.

Https

The site is secure.
The https:// ensures that you are connecting to the official website and that any information you provide is encrypted and transmitted securely.

Access keys NCBI Homepage MyNCBI Homepage Main Content Main Navigation

Search Page

Filters

My NCBI Filters

Text availability

Article attribute

Article type

Publication date

Search Results

19 results

Filters applied: . Clear all
Results are displayed in a computed author sort order. The Results By Year timeline is not available.
Page 1
Formal reasoning about systems biology using theorem proving.
Rashid A, Hasan O, Siddique U, Tahar S. Rashid A, et al. Among authors: tahar s. PLoS One. 2017 Jul 3;12(7):e0180179. doi: 10.1371/journal.pone.0180179. eCollection 2017. PLoS One. 2017. PMID: 28671950 Free PMC article.
Detection of serum hemolysins in autoimmune hemolytic anemia.
Znazen R, Kaabi H, Hmida S, Ben Abid H, Ben Tahar S, Zammit I, Hafsia A, Boukef K. Znazen R, et al. Among authors: ben tahar s. Transfus Clin Biol. 2006 Dec;13(6):341-5. doi: 10.1016/j.tracli.2006.12.004. Epub 2007 Feb 15. Transfus Clin Biol. 2006. PMID: 17306584
19 results