The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sergio Maffeis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002