The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Claudia Faggian: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pierre-Louis Curien, Claudia Faggian
    L-Nets, Strategies and Proof-Nets. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:167-183 [Conf]
  2. Claudia Faggian
    Travelling on Designs. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:427-441 [Conf]
  3. Claudia Faggian
    Classical Proofs via Basic Logic. [Citation Graph (0, 0)][DBLP]
    CSL, 1997, pp:203-219 [Conf]
  4. Claudia Faggian, Martin Hyland
    Designs, Disputes and Strategies. [Citation Graph (0, 0)][DBLP]
    CSL, 2002, pp:442-457 [Conf]
  5. Paolo Di Giamberardino, Claudia Faggian
    Jump from Parallel to Sequential Proofs: Multiplicatives. [Citation Graph (0, 0)][DBLP]
    CSL, 2006, pp:319-333 [Conf]
  6. Claudia Faggian
    Interactive Observability in Ludics. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:506-518 [Conf]
  7. Claudia Faggian
    A Term Calculus for Unitary Approach to Nomalization. [Citation Graph (0, 0)][DBLP]
    ICFP, 1998, pp:347- [Conf]
  8. Claudia Faggian, François Maurel
    Ludics Nets, a game Model of Concurrent Interaction. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:376-385 [Conf]
  9. Claudia Faggian
    Proof construction and non-commutativity: a cluster calculus. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:80-91 [Conf]
  10. Giovanni Sambin, Giulia Battilotti, Claudia Faggian
    Basic Logic: Reflection, Symmetry, Visibility. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2000, v:65, n:3, pp:979-1013 [Journal]
  11. Claudia Faggian
    Interactive observability in Ludics: The geometry of tests. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:350, n:2-3, pp:213-233 [Journal]
  12. Claudia Faggian, Mauro Piccolo
    Ludics is a Model for the Finitary Linear Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 2007, pp:148-162 [Conf]
  13. Claudia Faggian, Mauro Piccolo
    A Graph Abstract Machine Describing Event Structure Composition. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:21-36 [Journal]

  14. Ludics with Repetitions (Exponentials, Interactive Types and Completeness). [Citation Graph (, )][DBLP]


  15. Partial Orders, Event Structures and Linear Strategies. [Citation Graph (, )][DBLP]


  16. Proof nets sequentialisation in multiplicative linear logic. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002