last revised 20.04.11
Marco Pedicini
Istituto per le Applicazioni del
Calcolo "M. Picone"
Ricercatore CNR
tel: +39 06 49270953 oppure +39 06 7716482 oppure
06 49766813, fax: +39 06 4404306
Events .
- FSE 2011 14-16
February 2011, Lyngby, Denmark.
- TLCA
2011 1-3 June 2011, Novi Sad, Serbia.
- FOPARA2011, 19 May 2011, Madrid, Spain.
- Crypto
2011 16-20 August 2011, Santa Barbara, California, USA.
Slides
Papers
- V. Komornik, A.C. Lai, M. Pedicini. Generalized golden
ratios of ternary alphabets, in Journal
of the European Mathematical Society, 13(4):1113-1146, (2011).
- E. Cesena, M. Pedicini, L. Roversi. Typing a Core Binary Field Arithmetic in a Light Logic, contributed paper at FOPARA2011, Madrid (2011).
- A.C. Lai, M. Pedicini. On the number of different expansions
with general alphabets, submitted (2011).
- M. Pedicini, M. Piazza: Elementary Complexity and
von Neumann Algebras, CoRR
abs/0912.5342, submitted (2009).
- T. Clancy, M. Pedicini, F. Castiglione, D. Santoni, V.
Nygaard, T. J. Lavelle, M. Benson, E. Hovig. Immunological
network signatures of cancer progression and survival BMC Medical
Genomics, 4:28
(2011).
- A. Agnesse, M. Pedicini. Cube attack in finite fields of
higher order. in Conferences in Research and Practice in
Information Technology (CRPIT), Vol. 116, Colin Boyd and
Josef Pieprzyk, Eds. Australian Computer Society, Inc. Conference
Proceedings of the 9th Australasian Information Security
Conference (AISC 2011), Perth, Australia, (January 2011).
- M. Pedicini, F. Barrenas, T. Clancy, F. Castiglione, E.
Hovig, K. Kanduri, D. Santoni, M. Benson. Combining network
modeling and gene expression microarray analysis to explore
the dynamics of Th1 and Th2 cell regulation, PLOS
Computational Biology 6(12): e1001032
(2010).
- F. Castiglione,
D. Santoni and M. Pedicini. Implementing agent's rules with gene
regulatory networks in mesoscopic-level models of cellular
interactions. In A practical guide to bioinformatics
analysis : pp. 57--68, Editor Gabriel P.C. Fung, iConcept
Press (2010).
- M. Pedicini, M. Piazza, An application of von
Neumann algebras to computational complexity, in M. D'Agostino
et alii (editors), New Essays In Logic and Philosophy of
Science, College Pubblications, London, pp. 183-194, November
2010.
- D. Santoni, M. Pedicini, F. 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)
- M. Pedicini, M. Piazza, Elementary
Complexity into the Hyperfinite II1 Factor contributed
paper at CiE07
- Computation and Logic in the Real World 2007, Siena,
(2007).
- P. Baillot
and M. Pedicini. An
embedding of the BSS model of computation in light affine
lambda-calculus. contributed paper at FLOC - LCC'06, 8th
International Workshop on Logic and Computational Complexity
Seattle, (2006).
- A. Cosentino, M. Pedicini and F. Quaglia.
Supporting Function Calls within PELCR Electronic Notes
in Theoretical Computer Science Volume 135, Issue 3 , 3 March
2006, Pages 107-117 Proceedings of the First International
Workshop on Developments in Computational Models (DCM 2005).
- M. Pedicini and F. Quaglia.
PELCR: Parallel
Environment for Optimal Lambda Calculus Reduction. ACM
Transactions on Computational Logic, 8:3, pp. 1--14
(2007).
- M. Pedicini.
Greedy expansions and sets with deleted digits. Theoretical
Computer Science, 332 (2005) pp. 313-336.
Elsevier, Amsterdam, The Netherlands.
- P. Loreti and M. Pedicini. An
Object-Oriented Approach to Idempotent Analysis: Integral
Equations as Optimal Control Problems. Contemporary
Mathematics, vol. 377, AMS. Proceedings
of the Conference on Idempotent Mathematics and Mathematical
Physics. Editors G.L. Litvinov and V.P. Maslov (2005).
- M. Pedicini and F. Quaglia.
Scheduling
vs Communication in PELCR, Proc. Euro-Par'02, Paderborn
(Germany), LNCS, Spinger-Verlang, August 2002.
- P. Loreti and M. Pedicini. An
idempotent analogue of resolvent kernels for a deterministic
optimal control problem. (traduzione dal russo),
Matematicheskie Zametki, vol. 69, no. 2, 2001, pp.
235-244.
- M. Pedicini and F. Quaglia.
A parallel implementation for optimal lambda-calculus
reduction. ACM Proceedings of the 2nd
International Conference on Principles and Practice of
Declarative Programming, pages 3-14. ACM Press, (2000).
- V. Komornik, P. Loreti,
and M. Pedicini.
An approximation property of Pisot numbers. Journal
of Number Theory, vol. 80 n. 2, 218-237 (2000)
Academic Press.
- P. Baillot and M. Pedicini. Elementary
complexity and geometry of interaction. Annales
Societatis Mathematicae Polonae. Series IV. Fundamenta
Informaticae 45(1-2):1-31, (2000).
- P. Baillot
and M. Pedicini.
Elementary complexity and geometry of interaction (extended
abstract). In J.-Y. Girard, editor, 4th
International Conference, TLCA'99, L'Aquila, number 1581
in Lecture Notes in Computer Science, pages 25-39. Springer
Verlag, Berlin, (1999).
- G. F. Mascari and M. Pedicini.
Types and dynamics in partially additive categories. In
J. Gunawardena, editor, Idempotency,
volume 11 of Publications of the Isaac Newton
Institute, pages 112-132, Cambridge, UK, (1998).
Cambridge University Press.
- V. Danos,
M. Pedicini, and L. Regnier.
Directed virtual reductions. In M. Bezem and
D. van Dalen, editors, Computer Science Logic, 10th
International Workshop, CSL '96, volume 1258 of Lecture
Notes in Computer Science, pages 76-88. EACSL, Springer
Verlag, Berlin, DE (1997).
- M. Pedicini.
Remarks on elementary linear logic. In A Special
Issue on the ``Linear Logic 96, Tokyo Meeting'',
volume 3 of Electronic Notes in Theoretical Computer
Science, Elsevier, Amsterdam, The Netherlands (1996).
- G. F. Mascari and M. Pedicini.
Head linear reduction and pure proof net extraction. Theoret.
Comput. Sci., 135(1):111-137, (1994), Amsterdam,
The Netherlands, Elsevier.
PhD Course: