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

Search the dblp DataBase

Title:
Author:
Pascal Fradet: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rémi Douence, Pascal Fradet, Mario Südholt
    Composition, reuse and interaction analysis of stateful aspects. [Citation Graph (0, 0)][DBLP]
    AOSD, 2004, pp:141-150 [Conf]
  2. Pascal Fradet, Stéphane Hong Tuan Ha
    Network Fusion. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:21-40 [Conf]
  3. Pascal Fradet, Mario Südholt
    Fowards a Generic Framework for AOP. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1998, pp:394-397 [Conf]
  4. Pascal Fradet, Mario Südholt
    An Aspect Language for Robust Programming. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:291-292 [Conf]
  5. Tolga Ayav, Pascal Fradet, Alain Girault
    Implementing fault-tolerance in real-time systems by automatic program transformations. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:205-214 [Conf]
  6. Pascal Fradet, Daniel Le Métayer, Michaël Périn
    Consistency Checking for Multiple View Software Architectures. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1999, pp:410-428 [Conf]
  7. Pascal Fradet
    Compilation of Head and Strong Reduction. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:211-224 [Conf]
  8. Pascal Fradet, Ronan Caugne, Daniel Le Métayer
    Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:125-140 [Conf]
  9. Pascal Fradet, Valérie Issarny, Siegfried Rouvrais
    Analyzing Non-functional Properties of Mobile Agents. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:319-333 [Conf]
  10. Pascal Fradet
    Syntactic Detection of Single-Threading Using Continuations. [Citation Graph (0, 0)][DBLP]
    FPCA, 1991, pp:241-258 [Conf]
  11. Rémi Douence, Pascal Fradet, Mario Südholt
    A Framework for the Detection and Resolution of Aspect Interactions. [Citation Graph (0, 0)][DBLP]
    GPCE, 2002, pp:173-188 [Conf]
  12. Jean-Pierre Banâtre, Yann Radenac, Pascal Fradet
    Chemical Specification of Autonomic Systems. [Citation Graph (0, 0)][DBLP]
    IASSE, 2004, pp:72-79 [Conf]
  13. Pascal Fradet
    Collecting More Garbage. [Citation Graph (0, 0)][DBLP]
    LISP and Functional Programming, 1994, pp:24-33 [Conf]
  14. Pascal Fradet, Daniel Le Métayer
    Type Checking for a Multiset Rewriting Language. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:126-140 [Conf]
  15. Rémi Douence, Pascal Fradet
    Towards a Taxonomy of Functional Languages Implementations [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:27-44 [Conf]
  16. Thomas Colcombet, Pascal Fradet
    Enforcing Trace Properties by Program Transformation. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:54-66 [Conf]
  17. Pascal Fradet, Daniel Le Métayer
    Shape Types. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:27-39 [Conf]
  18. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
    Towards chemical coordination for grids. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:445-446 [Conf]
  19. Pascal Fradet, Daniel Le Métayer
    Compilation of Lambda-Calculus into Functional Machine Code. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1989, pp:155-166 [Conf]
  20. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
    Higher-Order Chemical Programming Style. [Citation Graph (0, 0)][DBLP]
    UPP, 2004, pp:84-95 [Conf]
  21. Jean-Pierre Banâtre, Pascal Fradet, Daniel Le Métayer
    Gamma and the Chemical Reaction Model: Fifteen Years After. [Citation Graph (0, 0)][DBLP]
    WMP, 2000, pp:17-44 [Conf]
  22. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
    Principles of Chemical Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:124, n:1, pp:133-147 [Journal]
  23. Jean-Pierre Banâtre, Pascal Fradet, Yann Radenac
    A Generalized Higher-Order Chemical Computation Model. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:3-13 [Journal]
  24. Pascal Fradet, Julien Mallet
    Compilation of a specialized functional language for massively parallel computers. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2000, v:10, n:6, pp:561-605 [Journal]
  25. Pascal Fradet, Ralf Lämmel
    Special issue on foundations of aspect-oriented programming. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:3, pp:203-206 [Journal]
  26. Pascal Fradet, Daniel Le Métayer
    Structured Gamma. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:31, n:2-3, pp:263-289 [Journal]
  27. Rémi Douence, Pascal Fradet
    A Systematic Study of Functional Language Implementations. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:2, pp:344-387 [Journal]
  28. Pascal Fradet, Daniel Le Métayer
    Compilation of Functional Languages by Program Transformation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1991, v:13, n:1, pp:21-51 [Journal]
  29. Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Gößler
    Adaptor Synthesis for Real-Time Components. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:185-200 [Conf]

  30. Aspects of availability. [Citation Graph (, )][DBLP]


  31. Aspects preserving properties. [Citation Graph (, )][DBLP]


  32. Specialized Aspect Languages Preserving Classes of Properties. [Citation Graph (, )][DBLP]


  33. Systèmes de gestion de ressources et aspects de disponibilité. [Citation Graph (, )][DBLP]


Search in 0.067secs, Finished in 0.069secs
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