![]() |
Proc. of HSCC 2022![]() |
![]() |
Havelund Festschrift (LNCS 13065), 2021 |
![]() |
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 |
Citation Statistics according to Google Scholar | ||||||||||||||||
Number of citations = 4053, h-index = 36 | ||||||||||||||||
DBLP, PubMed, Google Scholar, Scopus, ResearchGate |
All (155), Journals (38), Conferences (76), Workshops (12), Edited Books (12), Book Chapters (2), Invited (15) |
2022 [Another year] | |
---|---|
155) | Edited
Preface ![]() Ezio Bartocci, Sylvie Putot In Proceedings of HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, 2022 |
2021 [Another year] | |
154) | Edited
Preface Ezio Bartocci, Ylies Falcone, Martin Leucker In Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, vol. 13085, 2021 |
2019 [Another year] | |
153) | 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 |
2018 [Another year] | |
152) | 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 |
151) | Edited
Preface Ezio Bartocci, Ylies Falcone In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, 2018 |
2017 [Another year] | |
150) | 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 |
2016 [Another year] | |
149) | 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 |
148) | 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 ![]() |
2015 [Another year] | |
147) | 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 ![]() |
2014 [Another year] | |
146) | Edited
Hybrid Systems and Biology (Preface) Ezio Bartocci, Luca Bortolussi, Scott A. Smolka In Information and Computation, vol. 236, pp. 1-2, 2014 ![]() |
2013 [Another year] | |
145) | Edited
Preface (HSB 2012) Ezio Bartocci, Luca Bortolussi In Proc. of the First International Workshop on Hybrid Systems and Biology, vol. 92, 2013 ![]() |
144) | 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 ![]() |