The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Pedicini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Vincent Danos, Marco Pedicini, Laurent Regnier
    Directed Virtual Reductions. [Citation Graph (0, 0)][DBLP]
    CSL, 1996, pp:76-88 [Conf]
  2. Marco Pedicini, Francesco Quaglia
    Scheduling vs Communication in PELCR. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2002, pp:648-655 [Conf]
  3. Marco Pedicini, Francesco Quaglia
    A parallel implementation for optimal lambda-calculus reduction. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:3-14 [Conf]
  4. Patrick Baillot, Marco Pedicini
    Elementary Complexity and Geometry of Interaction. [Citation Graph (0, 0)][DBLP]
    TLCA, 1999, pp:25-39 [Conf]
  5. Marco Pedicini, Francesco Quaglia
    PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  6. Antonio Cosentino, Marco Pedicini, Francesco Quaglia
    Supporting Function Calls within PELCR. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:107-117 [Journal]
  7. Marco Pedicini
    Remarks on Elementary Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  8. Patrick Baillot, Marco Pedicini
    Elementary Complexity and Geometry of Interaction. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2001, v:45, n:1-2, pp:1-31 [Journal]
  9. Gianfranco Mascari, Marco Pedicini
    Head Linear Reduction and Pure Proof Net Extraction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:1, pp:111-137 [Journal]
  10. Marco Pedicini
    Greedy expansions and sets with deleted digits. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:332, n:1-3, pp:313-336 [Journal]
  11. Patrick Baillot, Marco Pedicini
    An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  12. Marco Pedicini, Francesco Quaglia
    PELCR: Parallel environment for optimal lambda-calculus reduction. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:3, pp:- [Journal]

  13. Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions. [Citation Graph (, )][DBLP]


  14. Elementary Complexity and von Neumann Algebras [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.020secs
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