A Translation of Beta-binders in a Prioritized Pi-calculus. - Igor Cappello; Paola Quaglia (FBTC@ICALP, 2008)

A Tool for Checking Probabilistic Properties of COWS Services. - Igor Cappello; Paola Quaglia (TGC, 2010)

Quantitative Analysis of Services. - Igor Cappello; Allan Clark; Stephen Gilmore; Diego Latella; Michele Loreti; Paola Quaglia; Stefano Schivo (Results of the SENSORIA Project, 2011)

Expressing global priorities by best-matching. - Igor Cappello; Paola Quaglia (SAC, 2012)

Communication Priorities and Stochastic Measures for Web Services Modeling. - Igor Cappello (2012)