The SCEAS System
| |||||||

## Search the dblp DataBase
Marco Pedicini:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Vincent Danos, Marco Pedicini, Laurent Regnier
**Directed Virtual Reductions.**[Citation Graph (0, 0)][DBLP] CSL, 1996, pp:76-88 [Conf] - Marco Pedicini, Francesco Quaglia
**Scheduling vs Communication in PELCR.**[Citation Graph (0, 0)][DBLP] Euro-Par, 2002, pp:648-655 [Conf] - Marco Pedicini, Francesco Quaglia
**A parallel implementation for optimal lambda-calculus reduction.**[Citation Graph (0, 0)][DBLP] PPDP, 2000, pp:3-14 [Conf] - Patrick Baillot, Marco Pedicini
**Elementary Complexity and Geometry of Interaction.**[Citation Graph (0, 0)][DBLP] TLCA, 1999, pp:25-39 [Conf] - Marco Pedicini, Francesco Quaglia
**PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction**[Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal] - 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] - Marco Pedicini
**Remarks on Elementary Linear Logic.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal] - 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] - 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] - 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] - 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] - 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] **Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions.**[Citation Graph (, )][DBLP]**Elementary Complexity and von Neumann Algebras**[Citation Graph (, )][DBLP]
Search in 0.019secs, Finished in 0.020secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |