Skip to content

Scientist · Computer Science

Ezio Bartocci

AIT Austrian Institute of Technology GmbH, Vienna, Austria

iD0000-0002-8004-6601

Citations, last 5 years: 357
Works, last 5 years: 89
h-index: 39
Citations, all time: 4 731
In Computer Science: #30,480

Research topics

Formal Methods in Verification215Computer Science
Logic, programming, and type systems90Computer Science
Software Testing and Debugging Techniques58Computer Science
Logic, Reasoning, and Knowledge48Computer Science
Gene Regulatory Network Analysis41Biochemistry, Genetics and Molecular Biology

Recent works

Discussion

Ask Ezio about their research. When the scientist claims this card, they will see your question.

Start a discussion