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

34 results

Filters applied: . Clear all
Results are displayed in a computed author sort order. The Results By Year timeline is not available.
Page 1
Empirical software metrics for benchmarking of verification tools.
Demyanova Y, Pani T, Veith H, Zuleger F. Demyanova Y, et al. Among authors: veith h. Form Methods Syst Des. 2017;50(2):289-316. doi: 10.1007/s10703-016-0264-5. Epub 2017 Jan 10. Form Methods Syst Des. 2017. PMID: 32103858 Free PMC article.
Parameterized model checking of rendezvous systems.
Aminof B, Kotek T, Rubin S, Spegni F, Veith H. Aminof B, et al. Among authors: veith h. Distrib Comput. 2018;31(3):187-222. doi: 10.1007/s00446-017-0302-6. Epub 2017 Jun 6. Distrib Comput. 2018. PMID: 31258231 Free PMC article.
ML265: A potent PKM2 activator induces tetramerization and reduces tumor formation and size in a mouse xenograft model.
Jiang JK, Walsh MJ, Brimacombe KR, Anastasiou D, Yu Y, Israelsen WJ, Hong BS, Tempel W, Dimov S, Veith H, Yang H, Kung C, Yen KE, Dang L, Salituro F, Auld DS, Park HW, Vander Heiden MG, Thomas CJ, Shen M, Boxer MB. Jiang JK, et al. Among authors: veith h. 2012 Mar 16 [updated 2013 May 8]. In: Probe Reports from the NIH Molecular Libraries Program [Internet]. Bethesda (MD): National Center for Biotechnology Information (US); 2010–. 2012 Mar 16 [updated 2013 May 8]. In: Probe Reports from the NIH Molecular Libraries Program [Internet]. Bethesda (MD): National Center for Biotechnology Information (US); 2010–. PMID: 23905203 Free Books & Documents. Review.
ML285 affects reactive oxygen species’ inhibition of pyruvate kinase M2.
Brimacombe KR, Anastasiou D, Hong BS, Tempel W, Dimov S, Veith H, Auld DS, Vander Heiden MG, Thomas CJ, Park HW, Shen M, Cantley LC, Boxer MB. Brimacombe KR, et al. Among authors: veith h. 2012 Aug 3 [updated 2013 May 8]. In: Probe Reports from the NIH Molecular Libraries Program [Internet]. Bethesda (MD): National Center for Biotechnology Information (US); 2010–. 2012 Aug 3 [updated 2013 May 8]. In: Probe Reports from the NIH Molecular Libraries Program [Internet]. Bethesda (MD): National Center for Biotechnology Information (US); 2010–. PMID: 23885364 Free Books & Documents. Review.
34 results