Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Maria Grazia Vigliotti
2010 – today
- 2012
[j11]Andrea Marin, Maria Grazia Vigliotti: Algorithmic product-form approximations of interacting stochastic models. Computers & Mathematics with Applications 64(12): 3852-3868 (2012)- [j10]Giuliano Casale, Peter G. Harrison, Maria Grazia Vigliotti: Product-form approximation of queueing networks with phase-type service. SIGMETRICS Performance Evaluation Review 39(4): 36 (2012)
- [c11]
- [c10]Steffen van Bakel, Maria Grazia Vigliotti: An Output-Based Semantics of Λμ with Explicit Substitution in the π-Calculus - Extended Abstract. IFIP TCS 2012: 372-387
- [i3]
- 2011
- [i2]Steffen van Bakel, Luca Cardelli, Maria Grazia Vigliotti: From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus. CoRR abs/1109.4817 (2011)
- [i1]Steffen van Bakel, Maria Grazia Vigliotti: Note on a simple type system for non-interference. CoRR abs/1109.4843 (2011)
- 2010
- [c9]Andrea Marin, Maria Grazia Vigliotti: On product-form approximations of cooperating stochastic models. ISCIS 2010: 65-70
- [c8]Andrea Marin, Maria Grazia Vigliotti: From Systems to Components: Constructive Methods for Product-Form Solutions. QEST 2010: 305
- [c7]Andrea Marin, Maria Grazia Vigliotti: A general result for deriving product-form solutions in markovian models. WOSP/SIPEW 2010: 165-176
2000 – 2009
- 2009
- [j9]Luca Bortolussi, Maria Grazia Vigliotti: CoBiC: Context-dependent Bioambient Calculus. Electr. Notes Theor. Comput. Sci. 253(3): 187-201 (2009)
- [j8]Marta Z. Kwiatkowska, Gethin Norman, David Parker, Maria Grazia Vigliotti: Probabilistic Mobile Ambients. Theor. Comput. Sci. 410(12-13): 1272-1303 (2009)
- [c6]Steffen van Bakel, Maria Grazia Vigliotti: A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. CONCUR 2009: 84-98
- [c5]Peter G. Harrison, Maria Grazia Vigliotti: Response time distributions and network perturbation into product-form. VALUETOOLS 2009: 49
- 2008
- [j7]Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath: Modelling Intracellular Fate of FGF Receptors With BioAmbients. Electr. Notes Theor. Comput. Sci. 220(3): 181-197 (2008)
- [j6]Iain Phillips, Maria Grazia Vigliotti: Symmetric electoral systems for ambient calculi. Inf. Comput. 206(1): 34-72 (2008)
- [c4]Vinod A. Muganthan, Andrew Phillips, Maria Grazia Vigliotti: BAM: BioAmbient machine. ACSD 2008: 45-49
- 2007
- [j5]Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi: Tutorial on separation results in process calculi via leader election problems. Theor. Comput. Sci. 388(1-3): 267-289 (2007)
- 2006
- [j4]Maria Grazia Vigliotti, Peter G. Harrison: Stochastic Ambient Calculus. Electr. Notes Theor. Comput. Sci. 164(3): 169-186 (2006)
- [j3]Iain Phillips, Maria Grazia Vigliotti: Leader election in rings of ambient processes. Theor. Comput. Sci. 356(3): 468-494 (2006)
- 2005
- [j2]Iain Phillips, Maria Grazia Vigliotti: Leader Election in Rings of Ambient Processes. Electr. Notes Theor. Comput. Sci. 128(2): 185-199 (2005)
- [c3]Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi: Separation Results Via Leader Election Problems. FMCO 2005: 172-194
- 2004
- [c2]
- 2002
- [j1]Maria Grazia Vigliotti, Iain Phillips: Barbs and Congruences for Safe Mobile Ambients. Electr. Notes Theor. Comput. Sci. 66(3): 37-51 (2002)
- [c1]Iain Phillips, Maria Grazia Vigliotti: On Reduction Semantics for the Push and Pull Ambitent Calculus. IFIP TCS 2002: 550-562
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-09 20:45 CET by the dblp team