Madrid / Newcasle / Tehran / Corfu / Paris / Software / Rennes / Toronto / Milan / Vienna / Brno / Taormina / Grenoble / San Jose / Systems / Seattle / Udine / Lucca / Nantes / Control / Berlin / Rome / Klosterneuburg / Bertinoro / London / /
Company
Analyzing Networks / NEC / GPU / RV Core Working Group / Hybrid Autonomous Systems / Hybrid Systems / NVIDIA / Biology / Model Checking Software / IBM / Business Information Systems / Survivable Software / Reliable Distributed Systems / Embedded Systems / Cyber-Physical Production Systems / Genetics Regulatory Networks / Microsoft / Seminar for Students / Doctoral Candidates 16 / Survivable Software Survivable Software / Evaluating Software Verification Systems / /
Country
France / Iceland / Canada / United Kingdom / Germany / Italy / Iran / Austria / United States / Spain / Greece / Czech Republic / /
Currency
USD / EUR / / /
Facility
Lehman College / University of Tubingen / University Camerino / Vienna University of Technology Email / University of Camerino AA / Stony Brook University / University of Camerino / IMT Institute / Masaryk University / Vienna University of Tecnology / Cornell University College of Veterinary Medicine / Institute of Computer Engineering / Institute of Computer Engineering Fax / Vienna University / Courant Institute / Doctoral College / Carnegie Mellon University / Vienna University of Technology / Chateau of Nove Hrady / Camerino University / Luigi Sacco Hospital / University of Cambridge / New York University / University of Milan / University of Oxford / Cornell University / College News / Rostock University / / /
IndustryTerm
self-*systems / web-based operative system / project media / Internet Computing / web-based interface / /
Organization
IMT Institute for Advanced Studies / Second Joint Summer School of Biology / New York University / University of Milan / Systems Biology Summer School / Lehman College / 11th Summer School on Modelling and Verification of Parallel Processes / Institute of Computer Engineering / Doctoral School / School of Advances Studies / University of Oxford / Cornell University / Stony Brook University / Vienna University of Technology Email / University of Camerino / Information and Computation International Journal / University of Tubingen / Italian Ministry of Education / Faculty of Technology and Science / Management Committee / Doctoral College / Carnegie Mellon University / Vienna University of Technology / Faculty of Informatics / Luigi Sacco Hospital / HSCC’14 Repeatability Evaluation Committee / Laboratory for Interdisciplinary Technologies / High School / School of Advanced Studies / National Science Foundation / Rostock University / Courant Institute / Vienna University of Tecnology / University of Camerino AA / Department of Applied Math and Statistics / Cornell University College of Veterinary Medicine / Editorial Board / Department of Computer Science / University of Cambridge / Information / National Aeronautics and Space Administration / Masaryk University / Camerino University / /
Person
Ariful Islam / Emanuela Merelli Visiting / Konstantin Selyunin / Scott A. Smolka / Edmund M. Clarke / Ezio Bartocci / Alessandro Andreani / M. Angeletti / E. Merelli / Abhishek Murthy / Livio Cambi / Ezio Bartocci Curriculum Vitae / Flavio Corradini / Alena V. Rodionovna / Richard De Francisco / Bud Mishra / Kenan Kalajdzic / Lorenzo Scortichini / Nicola Paoletti / Florian Zaruba / Emanuela Merelli / Emilia Entcheva / James Glimm / Radu Grosu / Guodong Wang / Luca Bortolussi / Thang Nguyen (Infineon) / Francesco Pirani / Resto del Carlino / / /
Position
PC co-Chair / Advisor / Local Accomodation Chair / Social Media Chair / Research Associate / Supervisor / Representative / Invited Focus Talk Speaker / co-Advisor / Assistant / Distinguished Young Investigator / Associate Professor / Editor / Research Scientist / Postdoctoral researcher / co-Advisors / Universit¨assistant / Research Assistant / Non-tenure-track Assistant / Keynote Speaker / co-Chair / Assistant Professor / Chair / /
ProgrammingLanguage
XML / php / /
ProvinceOrState
Maryland / /
PublishedMedium
Elsevier / Logical Methods in Computer Science / Theoretical Computer Science / Complex Systems / /
Dr. Ezio Bartocci Curriculum Vitae Personal Information Gender: