Maria Grazia Vigliotti

Publication Activity (10 Years)

Years Active: 2002-2016
Publications (10 Years): 1

Top Topics

State Dependent

Queueing Networks

Stochastic Models

Operational Semantics

Top Venues

SIGMETRICS Perform. Evaluation Rev.

J. Complex Networks

Publications

Florent Pépin, Maria Grazia Vigliotti
Risk Assessment of the 3Des in ERTMS. RSSRail (2016)
Maria Grazia Vigliotti, Chris Hankin
Discovery of anomalous behaviour in temporal networks. Soc. Networks 41 (2015)
Gianfranco Balbo, Maria Grazia Vigliotti
On the Analysis of a M/M/1 Queue with Bulk Services. Comput. J. 58 (1) (2015)
Donal Stephen Simmie, Maria Grazia Vigliotti, Chris Hankin
Ranking twitter influence by combining network centrality and influence observables in an evolutionary model. J. Complex Networks 2 (4) (2014)
Steffen van Bakel, Maria Grazia Vigliotti
A fully-abstract semantics of lambda-mu in the pi-calculus. CL&C (2014)
Donal Stephen Simmie, Maria Grazia Vigliotti, Chris Hankin
Ranking Twitter Influence by Combining Network Centrality and Influence Observables in an Evolutionary Model. SITIS (2013)
Giuliano Casale, Peter G. Harrison, Maria Grazia Vigliotti
Product-form approximation of queueing networks with phase-type service. SIGMETRICS Perform. Evaluation Rev. 39 (4) (2012)
Andrea Marin, Maria Grazia Vigliotti
Algorithmic product-form approximations of interacting stochastic models. Comput. Math. Appl. 64 (12) (2012)
Maria Grazia Vigliotti
Operational semantics for product-form solution CoRR (2012)
Maria Grazia Vigliotti
Operational Semantics for Product-Form Solution. EPEW/UKPEW (2012)
Steffen van Bakel, Maria Grazia Vigliotti
An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract. IFIP TCS (2012)
Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti
From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus CoRR (2011)
Steffen van Bakel, Maria Grazia Vigliotti
Note on a simple type system for non-interference CoRR (2011)
Andrea Marin, Maria Grazia Vigliotti
On product-form approximations of cooperating stochastic models. ISCIS (2010)
Andrea Marin, Maria Grazia Vigliotti
From Systems to Components: Constructive Methods for Product-Form Solutions. QEST (2010)
Andrea Marin, Maria Grazia Vigliotti
A general result for deriving product-form solutions in markovian models. WOSP/SIPEW (2010)
Luca Bortolussi, Maria Grazia Vigliotti
CoBiC: Context-dependent Bioambient Calculus. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Steffen van Bakel, Maria Grazia Vigliotti
A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. CONCUR (2009)
Peter G. Harrison, Maria Grazia Vigliotti
Response time distributions and network perturbation into product-form. VALUETOOLS (2009)
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti
Probabilistic Mobile Ambients. Theor. Comput. Sci. 410 (12-13) (2009)
Vinod A. Muganthan, Andrew Phillips, Maria Grazia Vigliotti
BAM: BioAmbient machine. ACSD (2008)
Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath
Modelling Intracellular Fate of FGF Receptors With BioAmbients. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Iain Phillips, Maria Grazia Vigliotti
Symmetric electoral systems for ambient calculi. Inf. Comput. 206 (1) (2008)
Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
Tutorial on separation results in process calculi via leader election problems. Theor. Comput. Sci. 388 (1-3) (2007)
Iain Phillips, Maria Grazia Vigliotti
Leader election in rings of ambient processes. Theor. Comput. Sci. 356 (3) (2006)
Maria Grazia Vigliotti, Peter G. Harrison
Stochastic Ambient Calculus. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
Separation Results Via Leader Election Problems. FMCO (2005)
Iain Phillips, Maria Grazia Vigliotti
Leader Election in Rings of Ambient Processes. EXPRESS (2004)
Iain Phillips, Maria Grazia Vigliotti
Electoral Systems in Ambient Calculi. FoSSaCS (2004)
Iain Phillips, Maria Grazia Vigliotti
On Reduction Semantics for the Push and Pull Ambitent Calculus. IFIP TCS (2002)
Maria Grazia Vigliotti, Iain Phillips
Barbs and Congruences for Safe Mobile Ambients. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)