×

zbMATH — the first resource for mathematics

Edit Profile

Bartocci, Ezio

Compute Distance To:
Author ID: bartocci.ezio
Published as: Bartocci, E.; Bartocci, Ezio
External Links: ORCID
Documents Indexed: 31 Publications since 2008, including 2 Books
all top 5

Co-Authors

1 single-authored
11 Grosu, Radu
8 Smolka, Scott A.
7 Corradini, Flavio
6 Merelli, Emanuela
5 Nickovic, Dejan
4 Bortolussi, Luca
4 Di Berardini, Maria Rita
4 Sanguinetti, Guido
4 Tesei, Luca
3 Entcheva, Emilia
2 Belta, Calin
2 Haghighi, Iman
2 Henzinger, Thomas A.
2 Jiang, Yu
2 Kong, Hui
2 Liò, Pietro
2 Milios, Dimitrios
2 Nenzi, Laura
2 Paoletti, Nicola
2 Ramakrishnan, C. R.
2 Rodionova, Alena
1 Abbas, Houssam
1 Ahrendt, Wolfgang
1 Aydin Gol, Ebru
1 Baldi, Marco
1 Bianculli, Domenico
1 Bogomolov, Sergiy
1 Brázdil, Tomáš
1 Cacciagrano, Diletta Romana
1 Cherry, Elizabeth M.
1 Chiaraluce, Franco
1 Colombo, Christian
1 Cucchiarelli, Alessandro
1 Donzé, Alexandre
1 Falcone, Yliès
1 Fenton, Flavio H.
1 Ferrère, Thomas
1 Francalanza, Adrian
1 Glimm, James G.
1 Gros, Radu
1 Hillston, Jane
1 Islam, Md. Ariful
1 Jakšić, Stefan
1 Jones, Austin H.
1 Katsaros, Panagiotis
1 Kong, Zhaodan
1 Krstić, Srđan
1 Lourenço, João M.
1 Majumdar, Rupak
1 Maler, Oded
1 Manjunath, Niveditha
1 Margetiny, Filip
1 Murthy, Abhishek
1 Nguyen, Thang Trung
1 Pace, Gordon J.
1 Piho, Paul
1 Ribchester, Richard R.
1 Riganelli, Oliviero
1 Rufino, José
1 Sánchez, César
1 Schilling, Christian
1 Schneider, Gerardo
1 Senigagliesi, Linda
1 Signoles, Julien
1 Spalazzi, Luca
1 Spegni, Francesco
1 Traytel, Dmitry
1 Wasilewska, Anna E.
1 Weiss, Alexander
all top 5

Serials

4 Theoretical Computer Science
3 Formal Methods in System Design
2 Lecture Notes in Computer Science
2 Scientific Annals of Computer Science
1 Information and Computation
1 IEEE Transactions on Control of Network Systems
all top 5

Fields

21 Computer science (68-XX)
17 Biology and other natural sciences (92-XX)
5 Mathematical logic and foundations (03-XX)
5 Systems theory; control (93-XX)
4 General and overarching topics; collections (00-XX)
3 Operations research, mathematical programming (90-XX)
2 Information and communication theory, circuits (94-XX)
1 Commutative algebra (13-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Statistics (62-XX)
1 Numerical analysis (65-XX)
1 Mechanics of deformable solids (74-XX)

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription