Computing Publications

Publications Home » Authors » Dr Maria Vigliotti

Authors

Dr Maria Vigliotti

26 publications for this author.

Journal Articles

Probabilistic Mobile Ambients [PDF]
Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Vigliotti
Volume 410, Issues 12–13, pp.1272–1309
Theoretical Computer Science, Elsevier
2009
Symmetric Electoral Systems for Ambient Calculi
Iain Phillips, Maria Vigliotti
Information and Computation
Volume 206, Issue 1, pp.34–72
Elsevier
January, 2008
Tutorial on separation results in process calculi via leader election problems
Maria Vigliotti, Iain Phillips, Catuscia Palamidessi
Theoretical Computer Science
Volume 388, Issues 1–3, pp.267–289
Elsevier
December, 2007
Leader election in rings of ambient processes
Iain Phillips, Maria Vigliotti
Theoretical Computer Science
Volume 356, Issue 3, pp.468–494
Elsevier
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
Volume 39, Issue 4, p.36
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
ACM International Conference Proceedings, ACM
2010
CoBiC: Context-dependent Bioambient Calculus
Luca Borlolussi, Maria Vigliotti
international Workshop on Quantitative Aspects of Programming Languages
Volume 253, pp.187–201
Electronic Notes in Theoretical Computer Science, Elsevier
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
A Logical Interpretation of the Lambda-Calculus into the Pi-Calculus, Preserving Spine Reduction and Types [PDF]
Steffen van Bakel, Maria Vigliotti
0th International Conference on Concurrency Theory ( CONCUR'09)
Volume 5710
Lecture Notes in Computer Science, Elsevier
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
Modelling intracellular fate of FGF receptors with BioAmbients [PDF]
John Heath, Ikra Khan, Steffen van Bakel, Maria Vigliotti
nternational Workshop on Quantitative Aspects of Programming Languages (QAPL'08)
Volume 220, pp.181–187
Electronic Notes in Theoretical Computer Science, Elsevier
2008
BAM: BioAmbient Machine [PDF]
Vinod Muganthan, Andrew Phillips, Maria Vigliotti
8th International Conference on Application of Concurrency to System (ACDS'08)
IEEE Computer Society Press, IEEE
2008
Response time distributions via reversed processes. [PDF]
Peter G. Harrison, Maria Vigliotti
Imperial College
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)
Volume 164, pp.169–186
ENTCS, Elsevier
2006
Leader Election in Rings of Ambient Processes
Iain Phillips, Maria Vigliotti
Electronic Notes in Theoretical Computer Science
Volume 128, Issue 2, pp.185–199
Elsevier
April, 2005
Electoral systems in ambient calculi
Iain Phillips, Maria Vigliotti
7th International Conference on Foundations of Software Science and Computation Structures, Barcelona, Spain
Volume 2987, pp.408–422
Lecture Notes in Computer Science, Springer-Verlag
2004
Barbs and congruences for safe mobile ambients
Maria Vigliotti, Iain Phillips
Electronic Notes in Theoretical Computer Science
Volume 66, Issue 3, pp.37–51
Elsevier
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
pp.550–562
Kluwer Academic Publishers
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
Volume 4111, pp.172–194
Lecture Notes in Computer Science, Springer-Verlag
September, 2006

National Workshop Paper

Spatial extension of stochastic pi calculus [PDF]
Anton Stefanek, Maria Vigliotti, Jeremy T. Bradley
8th Workshop on Process Algebra and Stochastically Timed Activities
pp.109–117
August, 2009

PhD Thesis

Reduction Semantics for Ambient Calculi [PDF]
Maria Vigliotti
Imperial College
Ph.D. Thesis, Department of Computing, Imperial College London
2004

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

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.