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
2003 1
2007 3
2008 1
2011 1
2012 1
2013 1
2016 1
2018 2
2019 1
2022 1
2024 0

Text availability

Article attribute

Article type

Publication date

Search Results

12 results

Results by year

Filters applied: . Clear all
Page 1
The probabilistic termination tool amber.
Moosbrugger M, Bartocci E, Katoen JP, Kovács L. Moosbrugger M, et al. Among authors: bartocci e. Form Methods Syst Des. 2022;61(1):90-109. doi: 10.1007/s10703-023-00424-z. Epub 2023 May 10. Form Methods Syst Des. 2022. PMID: 38046129 Free PMC article.
Quantitative Regular Expressions for Arrhythmia Detection.
Abbas H, Rodionova A, Mamouras K, Bartocci E, Smolka SA, Grosu R. Abbas H, et al. Among authors: bartocci e. IEEE/ACM Trans Comput Biol Bioinform. 2019 Sep-Oct;16(5):1586-1597. doi: 10.1109/TCBB.2018.2885274. Epub 2018 Dec 10. IEEE/ACM Trans Comput Biol Bioinform. 2019. PMID: 30530334
Quantitative monitoring of STL with edit distance.
Jakšić S, Bartocci E, Grosu R, Nguyen T, Ničković D. Jakšić S, et al. Among authors: bartocci e. Form Methods Syst Des. 2018;53(1):83-112. doi: 10.1007/s10703-018-0319-x. Epub 2018 Mar 27. Form Methods Syst Des. 2018. PMID: 30956399 Free PMC article.
An agent-based multilayer architecture for bioinformatics grids.
Bartocci E, Cacciagrano D, Cannata N, Corradini F, Merelli E, Milanesi L, Romano P. Bartocci E, et al. IEEE Trans Nanobioscience. 2007 Jun;6(2):142-8. doi: 10.1109/tnb.2007.897492. IEEE Trans Nanobioscience. 2007. PMID: 17695749
Teaching cardiac electrophysiology modeling to undergraduate students: laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics.
Bartocci E, Singh R, von Stein FB, Amedome A, Caceres AJ, Castillo J, Closser E, Deards G, Goltsev A, Ines RS, Isbilir C, Marc JK, Moore D, Pardi D, Sadhu S, Sanchez S, Sharma P, Singh A, Rogers J, Wolinetz A, Grosso-Applewhite T, Zhao K, Filipski AB, Gilmour RF Jr, Grosu R, Glimm J, Smolka SA, Cherry EM, Clarke EM, Griffeth N, Fenton FH. Bartocci E, et al. Adv Physiol Educ. 2011 Dec;35(4):427-37. doi: 10.1152/advan.00034.2011. Adv Physiol Educ. 2011. PMID: 22139782 Free article.
Biowep: a workflow enactment portal for bioinformatics applications.
Romano P, Bartocci E, Bertolini G, De Paoli F, Marra D, Mauri G, Merelli E, Milanesi L. Romano P, et al. Among authors: bartocci e. BMC Bioinformatics. 2007 Mar 8;8 Suppl 1(Suppl 1):S19. doi: 10.1186/1471-2105-8-S1-S19. BMC Bioinformatics. 2007. PMID: 17430563 Free PMC article.
12 results