Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ezio Bartocci
2010 – today
- 2013
[j14]Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth Cherry, Scott A. Smolka, Radu Grosu: Curvature Analysis of Cardiac Excitation Wavefronts. IEEE/ACM Trans. Comput. Biology Bioinform. 10(2): 323-336 (2013)- [c18]Ezio Bartocci, Luca Bortolussi, Laura Nenzi: A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. CMSB 2013: 164-177
- [c17]Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu: Runtime Verification with Particle Filtering. RV 2013: 149-166
- [e2]Ezio Bartocci, C. R. Ramakrishnan (Eds.): Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings. Lecture Notes in Computer Science 7976, Springer 2013, ISBN 978-3-642-39175-0
- [i5]Ezio Bartocci, Luca Bortolussi, Laura Nenzi: A temporal logic approach to modular design of synthetic biological circuits. CoRR abs/1306.4493 (2013)
- [i4]
- [i3]Ezio Bartocci: Sampling-based Decentralized Monitoring for Networked Embedded Systems. CoRR abs/1308.5337 (2013)
- [i2]Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti: On the Robustness of Temporal Properties for Stochastic Models. CoRR abs/1309.0866 (2013)
- 2012
- [j13]Ezio Bartocci, Diletta Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito: UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. J. Integrative Bioinformatics 9(1) (2012)
- [j12]Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti: Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. T. Comp. Sys. Biology 14: 53-76 (2012)
- [c16]Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka: On Temporal Logic and Signal Processing. ATVA 2012: 92-106
- [c15]Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu: Approximate Bisimulations for Sodium Channel Dynamics. CMSB 2012: 267-287
- [c14]Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster: Adaptive Runtime Verification. RV 2012: 168-182
- [e1]Ezio Bartocci, Luca Bortolussi (Eds.): Proceedings First International Workshop on Hybrid Systems and Biology. EPTCS 92, 2012
- 2011
- [j11]Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi: Modeling the cell cycle: From deterministic models to hybrid systems. Biosystems 105(1): 34-40 (2011)
- [c13]Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci: From Cardiac Cells to Genetic Regulatory Networks. CAV 2011: 396-411
- [c12]Ezio Bartocci, Elizabeth Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton: Toward real-time simulation of cardiac dynamics. CMSB 2011: 103-112
- [c11]Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu: Curvature analysis of cardiac excitation wavefronts. CMSB 2011: 151-160
- [c10]Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok: Runtime Verification with State Estimation. RV 2011: 193-207
- [c9]Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci: A Change of Perspective Yields Formal Analysis. SEW 2011: 69-76
- [c8]Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka: Model Repair for Probabilistic Systems. TACAS 2011: 326-340
- 2010
- [j10]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. Sci. Ann. Comp. Sci. 20: 1-31 (2010)
- [j9]Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Timed Operational Semantics and Well-Formedness of Shape Calculus. Sci. Ann. Comp. Sci. 20: 32-52 (2010)
- [j8]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Detecting synchronisation of biological oscillators by model checking. Theor. Comput. Sci. 411(20): 1999-2018 (2010)
- [i1]Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: Shape Calculus: Timed Operational Semantics and Well-formedness. CoRR abs/1011.2488 (2010)
2000 – 2009
- 2009
- [j7]Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci: Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3): 97-105 (2009)
- [j6]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei: Model Checking Biological Oscillators. Electr. Notes Theor. Comput. Sci. 229(1): 41-58 (2009)
- [j5]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu: Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. 410(33-34): 3149-3165 (2009)
- [c7]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei: A Shape Calculus for Biological Processes. ICTCS 2009: 30-33
- 2008
- [j4]Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: CellExcite: an efficient simulation environment for excitable cells. BMC Bioinformatics 9(S-2) (2008)
- [j3]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008)
- [c6]Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka: StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502
- [c5]Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska: Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC 2008: 229-243
- 2007
- [j2]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini: BioWMS: a web-based Workflow Management System for bioinformatics. BMC Bioinformatics 8(S-1) (2007)
- [j1]Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi: Biowep: a workflow enactment portal for bioinformatics applications. BMC Bioinformatics 8(S-1) (2007)
- 2006
- [c4]Ezio Bartocci, Flavio Corradini, Emanuela Merelli: Enacting Proactive Workflows Engine in e-Science. International Conference on Computational Science (3) 2006: 1012-1015
- [c3]Ezio Bartocci, Flavio Corradini, Emanuela Merelli: Building a MultiAgent System from a User Workflow Specification. WOA 2006
- [c2]Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito: Model driven design and implementation of activity-based applications in Hermes. WOA 2006
- 2003
- [c1]Ezio Bartocci, Emanuela Merelli, Leonardo Mariani: An XML View of the "World". ICEIS (1) 2003: 19-27
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17 21:26 CEST by the dblp team