Skip to content
Computer Science

Mirco Tribastone

IMT School for Advanced Studies Lucca

Back to the university

Research

Specialisations

  • Computational Theory and Mathematics
  • Molecular Biology
  • Computer Networks and Communications
  • Artificial Intelligence

Research topics

  • Formal Methods in Verification
  • Gene Regulatory Network Analysis
  • Software System Performance and Reliability
  • Advanced Software Engineering Methodologies
  • Petri Nets in System Modeling
Publications
209
Citations
2.7K
h-index
29
Papers, last 3 years
40

Members only · Free to join

Sign in to see the full profile

See their grants, open positions in their group, career history and colleagues — everything you need before you write to them.

  • Research funding
  • Affiliations
  • Similar professors

Free forever No credit card 30-second sign-up

Mirco Tribastone — IMT School for Advanced Studies Lucca