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

Results by year

Table representation of search results timeline featuring number of search results per year.

Year Number of Results
1987 1
1988 2
1989 1
1990 1
1992 1
1993 1
1994 2
1995 5
1996 5
1997 6
1998 10
1999 15
2000 17
2001 11
2002 12
2003 11
2004 12
2005 26
2006 19
2007 15
2008 18
2009 20
2010 24
2011 17
2012 22
2013 26
2014 26
2015 31
2016 25
2017 22
2018 22
2019 21
2020 12
2021 17
2022 9
2023 3
2024 1

Text availability

Article attribute

Article type

Publication date

Search Results

436 results

Results by year

Filters applied: . Clear all
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: tinelli c. 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.
436 results