Maria Grazia Vigliotti (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

20 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)

19 Steffen van Bakel, Maria Grazia Vigliotti: Note on a simple type system for non-interference CoRR abs/1109.4843: (2011)

15 Steffen van Bakel, Maria Grazia Vigliotti: A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. CONCUR 2009: 84-98

10 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)

Selection of 4 from 21 records - Maria Grazia Vigliotti has 15 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

20		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)
19		Steffen van Bakel, Maria Grazia Vigliotti: Note on a simple type system for non-interference CoRR abs/1109.4843: (2011)
15		Steffen van Bakel, Maria Grazia Vigliotti: A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types. CONCUR 2009: 84-98
10		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)