AESOP home

People

Dr Maria Vigliotti

Left AESOP in September 2013.

Past member
DoC Home page
Office
Room 429 Huxley
Telephone
Within College 48242
In the UK 020 7594 8242
International +44 20 7594 8242

22 Publications with AESOP

Journal Articles
Probabilistic Mobile Ambients [PDF]
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Vigliotti
2009
Symmetric Electoral Systems for Ambient Calculi
Iain Phillips, Maria Vigliotti
Information and Computation
January, 2008
Tutorial on separation results in process calculi via leader election problems
Maria Vigliotti, Iain Phillips, Catuscia Palamidessi
Theoretical Computer Science
December, 2007
Leader election in rings of ambient processes
Iain Phillips, Maria Vigliotti
Theoretical Computer Science
2006
Journal Special Issue Article
Product-form approximation of queueing networks with phase-type service
Giuliano Casale, Peter G. Harrison, Maria Vigliotti
SIGMETRICS Performance Evaluation Review
April, 2012
Conference and Workshop Papers
Product-Form Approximation of Tandem Queues via Matrix Geometric Methods [PDF]
Giuliano Casale, Peter G. Harrison, Maria Vigliotti
6th International Workshop on the Numerical Solution of Markov Chains (NSMC 2010)
September, 2010
A general result for deriving product-form solutions in Markovian models [PDF]
Andrea Marin, Maria Vigliotti
First Joint WOSP/SIPEW International
2010
CoBiC: Context-dependent Bioambient Calculus
Luca Borlolussi, Maria Vigliotti
international Workshop on Quantitative Aspects of Programming Languages
2009
Response time distributions and network perturbation into product-form [PDF]
Peter G. Harrison, Maria Vigliotti
4th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2009).
October, 2009
From X to Pi: Representing Classical Sequent Calculus in Pi-calculus [PDF]
Luca Cardelli, Steffen van Bakel, Maria Vigliotti
International Workshop on Classical Logic and Computation (CL&C'08)
2009
BAM: BioAmbient Machine [PDF]
Vinod Muganthan, Andrew Phillips, Maria Vigliotti
8th International Conference on Application of Concurrency to System (ACDS'08)
2008
Response time distributions via reversed processes. [PDF]
Peter G. Harrison, Maria Vigliotti
Imperial College
2008
Note on a simple type system for non-interference. [PDF]
Steffen van Bakel, Maria Vigliotti
Nordic Workshop on Programming Theory (NWPT'07), Oslo, October 10-12, 2007.
2007
Stochastic Ambient Logic [PDF]
Maria Vigliotti
international Workshop on Quantitative Aspects of Programming Languages (QAPL'07)
2007
Stochastic Ambient Calculus
Maria Vigliotti, Peter G. Harrison
International Workshop on Quantitative Aspects of Programming Languages (QAPL'06)
2006
Leader Election in Rings of Ambient Processes
Iain Phillips, Maria Vigliotti
Electronic Notes in Theoretical Computer Science
April, 2005
Electoral systems in ambient calculi
Iain Phillips, Maria Vigliotti
7th International Conference on Foundations of Software Science and Computation Structures, Barcelona, Spain
2004
Barbs and congruences for safe mobile ambients
Maria Vigliotti, Iain Phillips
Electronic Notes in Theoretical Computer Science
September, 2002
On reduction semantics for the push and pull ambient calculus
Iain Phillips, Maria Vigliotti
2nd IFIP international conference on theoretical computer science (TCS 2002) held in conjunction with the 17th world computer congress, Montreal, Canada, 2002
2002
Tutorial
Separation Results via Leader Election Problems
Maria Vigliotti, Iain Phillips, Catuscia Palamidessi
4th International Symposium on Formal Methods for Objects and Components (FMCO 2005), 1-4 November 2005, CWI, Amsterdam, The Netherlands
September, 2006
Posters
Sojourn time distributions in networks of queues with batches
Peter G. Harrison, Maria Vigliotti
IFIP WG 7.3 International Symposium on Computer Performance, Modeling, Measurements and Evaluation (Performance 2010)
November, 2010
Intracellular Fate of FGFRs with BioAmbients [PDF]
Maria Vigliotti, Steffen van Bakel, John Heath
Spatial 2009 - Overcoming Distance in Signaling Networks.
2009

Information from pubs.doc.ic.ac.uk/authors/mgv98.