Maria Grazia Vigliotti

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