| 2008 |
|---|
| 13 | EE | Daniele Santoni,
Marco Pedicini,
Filippo Castiglione:
Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions.
Bioinformatics 24(11): 1374-1380 (2008) |
| 2007 |
|---|
| 12 | EE | Marco Pedicini,
Francesco Quaglia:
PELCR: Parallel environment for optimal lambda-calculus reduction.
ACM Trans. Comput. Log. 8(3): (2007) |
| 2006 |
|---|
| 11 | EE | Patrick Baillot,
Marco Pedicini:
An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
CoRR abs/cs/0608040: (2006) |
| 10 | EE | Antonio Cosentino,
Marco Pedicini,
Francesco Quaglia:
Supporting Function Calls within PELCR.
Electr. Notes Theor. Comput. Sci. 135(3): 107-117 (2006) |
| 2005 |
|---|
| 9 | EE | Marco Pedicini:
Greedy expansions and sets with deleted digits.
Theor. Comput. Sci. 332(1-3): 313-336 (2005) |
| 2004 |
|---|
| 8 | EE | Marco Pedicini,
Francesco Quaglia:
PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction
CoRR cs.LO/0407055: (2004) |
| 2002 |
|---|
| 7 | EE | Marco Pedicini,
Francesco Quaglia:
Scheduling vs Communication in PELCR.
Euro-Par 2002: 648-655 |
| 2001 |
|---|
| 6 | | Patrick Baillot,
Marco Pedicini:
Elementary Complexity and Geometry of Interaction.
Fundam. Inform. 45(1-2): 1-31 (2001) |
| 2000 |
|---|
| 5 | EE | Marco Pedicini,
Francesco Quaglia:
A parallel implementation for optimal lambda-calculus reduction.
PPDP 2000: 3-14 |
| 1999 |
|---|
| 4 | EE | Patrick Baillot,
Marco Pedicini:
Elementary Complexity and Geometry of Interaction.
TLCA 1999: 25-39 |
| 1996 |
|---|
| 3 | | Vincent Danos,
Marco Pedicini,
Laurent Regnier:
Directed Virtual Reductions.
CSL 1996: 76-88 |
| 2 | EE | Marco Pedicini:
Remarks on Elementary Linear Logic.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 1994 |
|---|
| 1 | | Gianfranco Mascari,
Marco Pedicini:
Head Linear Reduction and Pure Proof Net Extraction.
Theor. Comput. Sci. 135(1): 111-137 (1994) |
