Concepedia

Mirco Tribastone

MT

Statistics

Publications

45

Citations

1.4K

H-Index

24

Active since

2005

Affiliations

IMT School for Advanced Studies Lucca(Current)

University of Edinburgh

Ludwig-Maximilians-Universität München

University of Oxford

Microsoft Research (United Kingdom)

Mirco Tribastone is an author at IMT School for Advanced Studies Lucca specializing in computer science, engineering, and process algebra.

Publications per year

2005–2024

45

Publications

45

Scalable Differential Analysis of Process Algebra Models

Mirco Tribastone, Stephen Gilmore, Jane Hillston · IEEE Transactions on Software Engineering · 2010 · 114 citations · Full text

Engineering, Computer Science, Computer Systems +15

The PEPA eclipse plugin

Mirco Tribastone, Adam Duguid, Stephen Gilmore · ACM SIGMETRICS Performance Evaluation Review · 2009 · 85 citations · Full text

Engineering, Computer Science, Performance Measurement +16

Maximal aggregation of polynomial dynamical systems

Luca Cardelli, Mirco Tribastone, Max Tschaikowski et al. · Proceedings of the National Academy of Sciences · 2017 · 81 citations · Full text

Natural Sciences, Mathematics, Physics +15

The PEPA Plug-in Project

Mirco Tribastone · 2007 · 69 citations

Engineering, Computer Science, Systems Engineering +16

Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning

Nicolas Gast, Guillaume Massonnet, Daniël Reijsbergen et al. · 2015 · 61 citations · Full text

Business, Transportation Planning, Queuing Theory +15

1–5 of 45