dblp.uni-trier.dewww.uni-trier.de

Sergio Maffeis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
19EESergio Maffeis, John C. Mitchell, Ankur Taly: An Operational Semantics for JavaScript. APLAS 2008: 307-325
18EEJesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis: Refinement Types for Secure Implementations. CSF 2008: 17-32
17EESergio Maffeis, Martín Abadi, Cédric Fournet, Andrew D. Gordon: Code-Carrying Authorization. ESORICS 2008: 563-579
16EEBjørn Haagensen, Sergio Maffeis, Iain Phillips: Matching Systems for Concurrent Calculi. Electr. Notes Theor. Comput. Sci. 194(2): 85-99 (2008)
15EESergio Maffeis, Philippa Gardner: Behavioural equivalences for dynamic Web data. J. Log. Algebr. Program. 75(1): 86-138 (2008)
2007
14EECédric Fournet, Andy Gordon, Sergio Maffeis: A Type Discipline for Authorization in Distributed Systems. CSF 2007: 31-48
13EECédric Fournet, Andrew D. Gordon, Sergio Maffeis: A type discipline for authorization policies. ACM Trans. Program. Lang. Syst. 29(5): (2007)
2006
12EESergio Maffeis: Process Calculi and Peer-to-peer Web Data Integration. Electr. Notes Theor. Comput. Sci. 162: 233-236 (2006)
2005
11EECédric Fournet, Andrew D. Gordon, Sergio Maffeis: A Type Discipline for Authorization Policies. ESOP 2005: 141-156
10EESergio Maffeis: Sequence Types for the pi-calculus. Electr. Notes Theor. Comput. Sci. 136: 117-132 (2005)
9EESergio Maffeis, Iain Phillips: On the computational strength of pure ambient calculi. Theor. Comput. Sci. 330(3): 501-551 (2005)
8EEPhilippa Gardner, Sergio Maffeis: Modelling dynamic web data. Theor. Comput. Sci. 342(1): 104-131 (2005)
2004
7 Sergio Maffeis, Philippa Gardner: Behavioural Equivalences for Dynamic Web Data. IFIP TCS 2004: 535-548
6EESergio Maffeis, Iain Phillips: On the Computational Strength of Pure Ambient Calculi. Electr. Notes Theor. Comput. Sci. 96: 29-49 (2004)
5EEFrancesca Levi, Sergio Maffeis: On abstract interpretation of Mobile Ambients. Inf. Comput. 188(2): 179-240 (2004)
2003
4EEPhilippa Gardner, Sergio Maffeis: Modelling Dynamic Web Data. DBPL 2003: 130-146
3 Marco Carbone, Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nord. J. Comput. 10(2): 70-98 (2003)
2002
2EEMarco Carbone, Sergio Maffeis: On the Expressive Power of Polyadic Synchronisation in pi-calculus. Electr. Notes Theor. Comput. Sci. 68(2): (2002)
2001
1EEFrancesca Levi, Sergio Maffeis: An Abstract Interpretation Framework for Analysing Mobile Ambients. SAS 2001: 395-411

Coauthor Index

1Martín Abadi [17]
2Jesper Bengtson [18]
3Karthikeyan Bhargavan [18]
4Marco Carbone [2] [3]
5Cédric Fournet [11] [13] [14] [17] [18]
6Philippa Gardner [4] [7] [8] [15]
7Andrew D. Gordon (Andy Gordon) [11] [13] [14] [17] [18]
8Bjørn Haagensen [16]
9Francesca Levi [1] [5]
10John C. Mitchell [19]
11Iain C. C. Phillips (Iain Phillips) [6] [9] [16]
12Ankur Taly [19]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)