Search the dblp DataBase

Publications of Author

1. Philippa Gardner, Sergio Maffeis
   Modelling Dynamic Web Data. [Citation Graph (0, 0)][DBLP]
   DBPL, 2003, pp:130-146 [Conf]
   
2. Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
   A Type Discipline for Authorization Policies. [Citation Graph (0, 0)][DBLP]
   ESOP, 2005, pp:141-156 [Conf]
   
3. Sergio Maffeis, Philippa Gardner
   Behavioural Equivalences for Dynamic Web Data. [Citation Graph (0, 0)][DBLP]
   IFIP TCS, 2004, pp:535-548 [Conf]
   
4. Francesca Levi, Sergio Maffeis
   An Abstract Interpretation Framework for Analysing Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   SAS, 2001, pp:395-411 [Conf]
   
5. Marco Carbone, Sergio Maffeis
   On the Expressive Power of Polyadic Synchronisation in pi-calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:2, pp:- [Journal]
   
6. Sergio Maffeis
   Sequence Types for the pi-calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:136, n:, pp:117-132 [Journal]
   
7. Sergio Maffeis, Iain Phillips
   On the Computational Strength of Pure Ambient Calculi. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:29-49 [Journal]
   
8. Sergio Maffeis
   Process Calculi and Peer-to-peer Web Data Integration. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:233-236 [Journal]
   
9. Francesca Levi, Sergio Maffeis
   On abstract interpretation of Mobile Ambients. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2004, v:188, n:2, pp:179-240 [Journal]
   
10. Marco Carbone, Sergio Maffeis
    On the Expressive Power of Polyadic Synchronisation in pi-calculus. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2003, v:10, n:2, pp:70-98 [Journal]
    
11. Philippa Gardner, Sergio Maffeis
    Modelling dynamic web data. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:342, n:1, pp:104-131 [Journal]
    
12. Sergio Maffeis, Iain Phillips
    On the computational strength of pure ambient calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:330, n:3, pp:501-551 [Journal]
    
13. Cédric Fournet, Andrew D. Gordon, Sergio Maffeis
    A type discipline for authorization policies. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:5, pp:- [Journal]
    
14. 
    An Operational Semantics for JavaScript. [Citation Graph (, )][DBLP]
    
    
15. 
    Refinement Types for Secure Implementations. [Citation Graph (, )][DBLP]
    
    
16. 
    A Type Discipline for Authorization in Distributed Systems. [Citation Graph (, )][DBLP]
    
    
17. 
    Language-Based Isolation of Untrusted JavaScript. [Citation Graph (, )][DBLP]
    
    
18. 
    Code-Carrying Authorization. [Citation Graph (, )][DBLP]
    
    
19. 
    Isolating JavaScript with Filters, Rewriting, and Wrappers. [Citation Graph (, )][DBLP]
    
    
20. 
    Object Capabilities and Isolation of Untrusted Web Applications. [Citation Graph (, )][DBLP]
    
    
21. 
    Matching Systems for Concurrent Calculi. [Citation Graph (, )][DBLP]