Ezio Bartocci - Technische Universität Wien (TU Wien)

Edited Books & Special Issues

Smolka Festschrift (LNCS 11500), 2019

IEEE/ACM TCBB vol. 15(4), 2018

LNCS Vol. 10457, 2018

Vol 51 (1), FMSD, 2017

LNBI Vol. 9859, CMSB 2016

Vol. 4, STTT 2016

LNCS Vol. 9333, RV 2015

Vol. 236, Inf & Comp 2014

LNCS Vol. 7976, SPIN 2013

News about me !!

Cronache Maceratesi 2018:

UNICAM news 2018:

March 2015 - Rigorous Systems Engineering continues to rise and shine

December 2014 - "Laufbahnstelle" for Ezio Bartocci

January 2014 - Habilitation as Associate Professor in Italy

March-April 2013 - My GPU simulations featured on Cover of Transactions on Computational Biology and Bioinformatics

Nov. 2011 - Post Doc of the Month (Interview)

Sep. 2011 - Best Paper Award (RV 2011)

July 2011 - From chaos to cures (Cornell University)

Jan. 2011 - CMACS Researchers Perform First Automated Formal Analysis of Realistic Cardiac Cell Model

UNICAM news:

Counter and browser compatibility

Citation Statistics according to Google Scholar

Number of citations = 2480, h-index = 30

DBLP, PubMed, Google Scholar, Scopus, ResearchGate

All (118), Journals (28), Conferences (54), Workshops (12), Edited Books (10), Book Chapters (2), Invited (12)

2019 (1)	2018 (2)	2017 (1)	2016 (2)	2015 (1)	2014 (1)	2013 (2)

2019 [Another year]
118)	Edited Preface Ezio Bartocci, Radu Grosu, Rance Cleaveland, Oleg Sokolsky In From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, vol. 11500, 2019 Show Citations [+]
2018 [Another year]
117)	Edited Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016) Ezio Bartocci, Pietro Liò, Nicola Paoletti In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 15(4), pp. 1122-1123 , 2018 Show Citations [+] Show Abstract [+]
116)	Edited Preface Ezio Bartocci, Ylies Falcone In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, 2018 Show Citations [+] Show Abstract [+]
2017 [Another year]
115)	Edited Introduction to the Special Issue on Runtime Verification Ezio Bartocci, Rupak Majumdar In Formal Methods in System Design, vol. 51(1), pp. 1--4, 2017 Show Citations [+] Show Abstract [+]
2016 [Another year]
114)	Edited Preface (CMSB 2016) Ezio Bartocci, Pietro Liò, Nicola Paoletti In Proc. of CMSB 2016: the 14th conference on Computational Methods in Systems Biology, Cambridge, UK, vol. 9859, pp. V-VI, 2016 Show Citations [+]
113)	Edited Preface of the Special Issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software Ezio Bartocci, C. R. Ramakrishnan In Software Tools for Technology Transfer (STTT), vol. 18(4), pp. 355--357, 2016 Show Citations [+]
2015 [Another year]
112)	Edited Preface (RV 2015) Ezio Bartocci, Rupak Majumdar In Proc. of RV 2015: the 15th International Conference on Runtime Verification, Vienna, Austria, vol. 9333, pp. V-VI, 2015 Show Citations [+]
2014 [Another year]
111)	Edited Hybrid Systems and Biology (Preface) Ezio Bartocci, Luca Bortolussi, Scott A. Smolka In Information and Computation, vol. 236, pp. 1-2, 2014 Show Citations [+]
2013 [Another year]
110)	Edited Preface (HSB 2012) Ezio Bartocci, Luca Bortolussi In Proc. of the First International Workshop on Hybrid Systems and Biology, vol. 92, 2013 Show Citations [+] Show Abstract [+]
109)	Edited Preface (SPIN 2013) Ezio Bartocci, C. R. Ramakrishnan In Proc. of SPIN 2013: the 20th International Symposium of SPIN Model Checking Software, Stony Brook, NY, USA, vol. 7976, pp. V-VI, 2013 Show Citations [+]