| Year |
Citation |
Score |
| 2019 |
Ratasich D, Khalid F, Geissler F, Grosu R, Shafique M, Bartocci E. A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems Ieee Access. 7: 13260-13283. DOI: 10.1109/Access.2019.2891969 |
0.331 |
|
| 2019 |
Gurung A, Ray R, Bartocci E, Bogomolov S, Grosu R. Parallel reachability analysis of hybrid systems in XSpeed International Journal On Software Tools For Technology Transfer. 21: 401-423. DOI: 10.1007/S10009-018-0485-6 |
0.36 |
|
| 2018 |
Bartocci E, Gol EA, Haghighi I, Belta C. A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks Ieee Transactions On Control of Network Systems. 5: 308-320. DOI: 10.1109/Tcns.2016.2609138 |
0.333 |
|
| 2018 |
Jaksic S, Bartocci E, Grosu R, Nickovic D. An Algebraic Framework for Runtime Verification Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 37: 2233-2243. DOI: 10.1109/Tcad.2018.2858460 |
0.372 |
|
| 2018 |
Fan C, Meng Y, Maier J, Bartocci E, Mitra S, Schmid U. Verifying nonlinear analog and mixed-signal circuits with inputs Ifac-Papersonline. 51: 241-246. DOI: 10.1016/J.Ifacol.2018.08.041 |
0.317 |
|
| 2017 |
Bartocci E, Bortolussi L, Brázdil T, Milios D, Sanguinetti G. Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes Performance Evaluation. 116: 84-100. DOI: 10.1016/J.Peva.2017.08.007 |
0.355 |
|
| 2016 |
Bartocci E, Lió P. Computational Modeling, Formal Analysis, and Tools for Systems Biology. Plos Computational Biology. 12: e1004591. PMID 26795950 DOI: 10.1371/Journal.Pcbi.1004591 |
0.413 |
|
| 2016 |
Bartocci E, Ramakrishnan CR. Preface of the special issue on Model Checking of Software: Selected papers of the 20th International SPIN Symposium on Model Checking of Software International Journal On Software Tools For Technology Transfer. 1-3. DOI: 10.1007/S10009-016-0414-5 |
0.344 |
|
| 2015 |
Bartocci E, Bortolussi L, Nenzi L, Sanguinetti G. System design of stochastic models using robustness of temporal properties Theoretical Computer Science. 587: 3-25. DOI: 10.1016/J.Tcs.2015.02.046 |
0.395 |
|
| 2015 |
Ariful Islam M, Murthy A, Bartocci E, Cherry EM, Fenton FH, Glimm J, Smolka SA, Grosu R. Model-order reduction of ion channel dynamics using approximate bisimulation Theoretical Computer Science. 599: 34-46. DOI: 10.1016/J.Tcs.2014.03.018 |
0.303 |
|
| 2015 |
Bartocci E, Bortolussi L, Milios D, Nenzi L, Sanguinetti G. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic Springer International Publishing. 9271: 156-172. DOI: 10.1007/978-3-319-26916-0_9 |
0.358 |
|
| 2014 |
Bartocci E, Bortolussi L, Smolka SA. Hybrid Systems and Biology Information and Computation. 236: 1-2. DOI: 10.1016/J.Ic.2014.01.008 |
0.341 |
|
| 2013 |
Murthy A, Bartocci E, Fenton FH, Glimm J, Gray RA, Cherry EM, Smolka SA, Grosu R. Curvature analysis of cardiac excitation wavefronts. Ieee/Acm Transactions On Computational Biology and Bioinformatics / Ieee, Acm. 10: 323-36. PMID 23929858 DOI: 10.1109/Tcbb.2012.125 |
0.301 |
|
| 2012 |
Bartocci E, Cacciagrano D, Di Berardini MR, Merelli E, Vito L. UBioLab: a web-laboratory for ubiquitous in-silico experiments. Journal of Integrative Bioinformatics. 9: 192. PMID 22773116 DOI: 10.2390/Biecoll-Jib-2012-192 |
0.311 |
|
| 2011 |
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, et al. Teaching cardiac electrophysiology modeling to undergraduate students: laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics. Advances in Physiology Education. 35: 427-37. PMID 22139782 DOI: 10.1152/Advan.00034.2011 |
0.314 |
|
| 2011 |
Alfieri R, Bartocci E, Merelli E, Milanesi L. Modeling the cell cycle: from deterministic models to hybrid systems. Biosystems. 105: 34-40. PMID 21453748 DOI: 10.1016/J.Biosystems.2011.03.002 |
0.396 |
|
| 2010 |
Bartocci E, Corradini F, Merelli E, Tesei L. Detecting synchronisation of biological oscillators by model checking Theoretical Computer Science. 411: 1999-2018. DOI: 10.1016/J.Tcs.2009.12.019 |
0.352 |
|
| 2009 |
Grosu R, Smolka SA, Corradini F, Wasilewska A, Entcheva E, Bartocci E. Learning and detecting emergent behavior in networks of cardiac myocytes Communications of the Acm. 52: 97-105. DOI: 10.1145/1467247.1467271 |
0.356 |
|
| 2009 |
Bartocci E, Corradini F, Di Berardini MR, Entcheva E, Smolka SA, Grosu R. Modeling and simulation of cardiac tissue using hybrid I/O automata Theoretical Computer Science. 410: 3149-3165. DOI: 10.1016/J.Tcs.2009.02.042 |
0.312 |
|
| 2009 |
Bartocci E, Corradini F, Merelli E, Tesei L. Model Checking Biological Oscillators Electronic Notes in Theoretical Computer Science. 229: 41-58. DOI: 10.1016/J.Entcs.2009.02.004 |
0.348 |
|
| 2008 |
Bartocci E, Corradini F, Entcheva E, Grosu R, Smolka SA. CellExcite: an efficient simulation environment for excitable cells. Bmc Bioinformatics. 9: S3. PMID 18387205 DOI: 10.1186/1471-2105-9-S2-S3 |
0.363 |
|
| 2008 |
Bartocci E, Corradini F, Di Berardini MR, Entcheva E, Grosu R, Smolka SA. Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue Electronic Notes in Theoretical Computer Science. 194: 51-67. DOI: 10.1016/J.Entcs.2007.12.005 |
0.343 |
|
| 2007 |
Bartocci E, Cacciagrano D, Cannata N, Corradini F, Merelli E, Milanesi L, Romano P. An agent-based multilayer architecture for bioinformatics grids. Ieee Transactions On Nanobioscience. 6: 142-8. PMID 17695749 DOI: 10.1109/Tnb.2007.897492 |
0.365 |
|
| 2007 |
Bartocci E, Corradini F, Merelli E, Scortichini L. BioWMS: a web-based Workflow Management System for bioinformatics. Bmc Bioinformatics. 8: S2. PMID 17430564 DOI: 10.1186/1471-2105-8-S1-S2 |
0.349 |
|
| 2007 |
Romano P, Bartocci E, Bertolini G, De Paoli F, Marra D, Mauri G, Merelli E, Milanesi L. Biowep: a workflow enactment portal for bioinformatics applications. Bmc Bioinformatics. 8: S19. PMID 17430563 DOI: 10.1186/1471-2105-8-S1-S19 |
0.32 |
|
| Show low-probability matches. |