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

11 results

Filters applied: . Clear all
Results are displayed in a computed author sort order. The Results By Year timeline is not available.
Page 1
Synthesising Programs with Non-trivial Constants.
Abate A, Barbosa H, Barrett C, David C, Kesseli P, Kroening D, Polgreen E, Reynolds A, Tinelli C. Abate A, et al. Among authors: kroening d. J Autom Reason. 2023;67(2):19. doi: 10.1007/s10817-023-09664-4. Epub 2023 May 13. J Autom Reason. 2023. PMID: 37193313 Free PMC article.
Program synthesis: challenges and opportunities.
David C, Kroening D. David C, et al. Among authors: kroening d. Philos Trans A Math Phys Eng Sci. 2017 Oct 13;375(2104):20150403. doi: 10.1098/rsta.2015.0403. Philos Trans A Math Phys Eng Sci. 2017. PMID: 28871052 Free PMC article. Review.
A 61-year-old patient with activity-related wide complex tachycardia.
Aktas MK, Kroening D, Ling FS, Calkins H, Goldenberg I, Huang DT. Aktas MK, et al. Among authors: kroening d. Ann Noninvasive Electrocardiol. 2011 Apr;16(2):208-12. doi: 10.1111/j.1542-474X.2011.00431.x. Ann Noninvasive Electrocardiol. 2011. PMID: 21496173 Free PMC article.
11 results