Skip to content

Scientist · Computer Science

Mirco Tribastone

IMT School for Advanced Studies Lucca, Lucca, Italy

iD0000-0002-6018-5989

Citations, last 5 years: 216
Works, last 5 years: 72
h-index: 29
Citations, all time: 2 642
In Computer Science: #53,187

Research topics

Formal Methods in Verification97Computer Science
Petri Nets in System Modeling65Computer Science
Logic, programming, and type systems48Computer Science
Gene Regulatory Network Analysis48Biochemistry, Genetics and Molecular Biology
Software System Performance and Reliability46Computer Science

Recent works

Discussion

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

Start a discussion