On Reduction Semantics for the Push and Pull Ambitent Calculus. - Iain Phillips 001; Maria Grazia Vigliotti (IFIP TCS, 2002)

Barbs and Congruences for Safe Mobile Ambients. - Maria Grazia Vigliotti; Iain Phillips 001 (F-WAN@ICALP, 2002)

Electoral Systems in Ambient Calculi. - Iain Phillips 001; Maria Grazia Vigliotti (FoSSaCS, 2004)

Separation Results Via Leader Election Problems. - Maria Grazia Vigliotti; Iain Phillips 001; Catuscia Palamidessi (FMCO, 2005)

Stochastic Ambient Calculus. - Maria Grazia Vigliotti; Peter G. Harrison (QAPL, 2006)

Leader election in rings of ambient processes. - Iain Phillips 001; Maria Grazia Vigliotti (Theor. Comput. Sci., 2006)

Tutorial on separation results in process calculi via leader election problems. - Maria Grazia Vigliotti; Iain Phillips 001; Catuscia Palamidessi (Theor. Comput. Sci., 2007)

BAM: BioAmbient machine. - Vinod A. Muganthan; Andrew Phillips; Maria Grazia Vigliotti (ACSD, 2008)

Modelling Intracellular Fate of FGF Receptors With BioAmbients. - Steffen van Bakel; Ikra Khan; Maria Grazia Vigliotti; John K. Heath (QAPL, 2008)

Symmetric electoral systems for ambient calculi. - Iain Phillips 001; Maria Grazia Vigliotti (Inf. Comput., 2008)

A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. - Steffen van Bakel; Maria Grazia Vigliotti (CONCUR, 2009)

Response time distributions and network perturbation into product-form. - Peter G. Harrison; Maria Grazia Vigliotti (VALUETOOLS, 2009)

CoBiC: Context-dependent Bioambient Calculus. - Luca Bortolussi; Maria Grazia Vigliotti (QAPL, 2009)

Probabilistic Mobile Ambients. - Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Maria Grazia Vigliotti (Theor. Comput. Sci., 2009)

On product-form approximations of cooperating stochastic models. - Andrea Marin; Maria Grazia Vigliotti (ISCIS, 2010)

From Systems to Components: Constructive Methods for Product-Form Solutions. - Andrea Marin; Maria Grazia Vigliotti (QEST, 2010)

A general result for deriving product-form solutions in markovian models. - Andrea Marin; Maria Grazia Vigliotti (WOSP/SIPEW, 2010)

From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus - Steffen van Bakel; Luca Cardelli; Maria Grazia Vigliotti (CoRR, 2011)

Note on a simple type system for non-interference - Steffen van Bakel; Maria Grazia Vigliotti (CoRR, 2011)

Operational Semantics for Product-Form Solution. - Maria Grazia Vigliotti (EPEW/UKPEW, 2012)

An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract. - Steffen van Bakel; Maria Grazia Vigliotti (IFIP TCS, 2012)

Algorithmic product-form approximations of interacting stochastic models. - Andrea Marin; Maria Grazia Vigliotti (Comput. Math. Appl., 2012)

Product-form approximation of queueing networks with phase-type service. - Giuliano Casale; Peter G. Harrison; Maria Grazia Vigliotti (SIGMETRICS Perform. Evaluation Rev., 2012)

Ranking twitter influence by combining network centrality and influence observables in an evolutionary model. - Donal Stephen Simmie; Maria Grazia Vigliotti; Chris Hankin (J. Complex Networks, 2014)

A fully-abstract semantics of lambda-mu in the pi-calculus. - Steffen van Bakel; Maria Grazia Vigliotti (CL&C, 2014)

On the Analysis of a M/M/1 Queue with Bulk Services. - Gianfranco Balbo; Maria Grazia Vigliotti (Comput. J., 2015)

Discovery of anomalous behaviour in temporal networks. - Maria Grazia Vigliotti; Chris Hankin (Soc. Networks, 2015)

Risk Assessment of the 3Des in ERTMS. - Florent Pépin; Maria Grazia Vigliotti (RSSRail, 2016)