Ricerca nel sito con Google: | English version

Università degli Studi Roma Tre

Dipartimento di Matematica e Fisica

  Didattica Ricerca Persone
dipartimento di matematica e fisica
Didattica interattiva
Corsi e Programmi
Regolamenti
Scuola e Orientamento
Borse di Studio || Erasmus
Area riservata
Sezione di Matematica
Programmi di Ricerca
Attività Scientifica e Notizie
Dottorato
Area riservata
Docenti
Docenti esterni
Personale non docente (TAB)
Assegni e Contratti di Ricerca
Studenti del dottorato
Visitatori
Contatti&Rubrica Dove Siamo Biblioteca WebMail

Dipartimento di Matematica e Fisica

Pagine personali

CV e Ricerca

 

Marco Pedicini

Qualifica :Professore Associato
email :pedicini@mat.uniroma3.it
Area di ricerca:Informatica Teorica
Temi di interesse: Theoretical Computer Science, Cryptography, Computer Security, Distributed Computation, Computational Number Theory, Pisot Numbers and Applications, Computational Methods in Systems Biology.

Breve Curriculum

1991 Laurea in Matematica
Università degli Studi di Roma La Sapienza
1992 DEA Logique et Fondements de l’Informatique
Universitè de Paris 7 (France)
1999 Ph.D. in Logic and Computer Science
Universitè de Paris 7 (France)
1992 - 2012 Ricercatore CNR
Istituto per le Applicazioni del Calcolo Mauro Picone, Roma
2012 - oggi Professore di seconda fascia
Universita' Roma TRE

Articoli su rivista

2011 
Komornik, Vilmos and Lai, Anna Chiara and Pedicini, Marco, Generalized golden ratios of ternary alphabets, JOURNAL OF THE EUROPEAN MATHEMATICAL SOCIETY (JEMS), num. 13, pp. 4, 1113--1146 , MR2800486
2011 
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
2010 
Pedicini, Marco and Barrenas, Fredrik and Clancy, Trevor and Castiglione, Filippo and Hovig, Eivind and Kanduri, Kartiek and Santoni, Daniele and Benson, Mikael, Combining network modeling and gene expression microarray analysis to explore the dynamics of Th1 and Th2 cell regulation, PLOS COMPUTATIONAL BIOLOGY, num. 6, pp. 12, e1001032, 8 , MR2770716
2008 
F. Castiglione, M. Pedicini and D. Santoni., Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions., BIOINFORMATICS, num. 24, pp. 11, 1374-1380
2007 
Pedicini, Marco and Quaglia, Francesco, PELCR: parallel environment for optimal lambda-calculus reduction, ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, num. 8, pp. 3, Art. 14, 36 , MR2340551
2005 
Pedicini, Marco, Greedy expansions and sets with deleted digits, THEORETICAL COMPUTER SCIENCE, num. 332, pp. 1-3, 313--336
2001 
Baillot, Patrick and Pedicini, Marco, Elementary complexity and geometry of interaction, FUNDAMENTA INFORMATICAE, num. 45, pp. 1-2, 1--31
2001 
Loreti, P. and Pedichini, M., Idempotent analogue of resolvent kernels for a deterministic optimal control problem, ROSSI\U\I SKAYA AKADEMIYA NAUK. MATEMATICHESKIE ZAMETKI, num. 69, pp. 2, 235--244
2000 
Komornik, Vilmos and Loreti, Paola and Pedicini, Marco, An approximation property of Pisot numbers, JOURNAL OF NUMBER THEORY, num. 80, pp. 2, 218--237
1994 
Mascari, G. F. and Pedicini, M., Head linear reduction and pure proof net extraction, THEORETICAL COMPUTER SCIENCE, num. 135, pp. 1, 111--137

Proceedings

2013 
Daniele Canavese, Emanuele Cesena, Rachid Ouchary, Marco Pedicini, Luca Roversi, Can a light typing discipline be compatible with efficient implementation of finite field inversion ?, Proceedings FOPARA 2013
2012 
E. Cesena, M. Pedicini, L. Roversi, Typing a Core Binary-Field Arithmetic in a Light Logic, FOPARA 2011 - R. Peña, M. van Eekelen, and O. Shkaravska (Eds.), vol. 7177, num. Lecture Notes in Computer Science, Springer-Verlag Berlin Heidelberg
2011 
Agnesse, A. and Pedicini, M., Cube attack in finite fields of higher order, Conference Proceedings of the 9th Australasian Information Security Conference (AISC 2011), vol. 116, 9-14
2010 
Pedicini, M. and Piazza, M., An application of von Neumann Algebras to computational complexity, New Essays In Logic and Philosophy of Science, 183-194, College Publications, London
2007 
Pedicini, M. and Piazza, M., Elementary Complexity into the Hyperfinite II_1 Factor, Local Proceedings of CiE07
2006 
Baillot, P. and Pedicini, M., An embedding of the BSS model of computation in light affine lambda-calculus, 8th International Workshop on Logic and Computational Complexity (LCC'06)
2006 
Cosentino, A. and Pedicini, M. and Quaglia, F., Supporting function calls within PELCR, Proceedings of DCM2005, vol. 135, num. ENTCS, pp. 3, 107-117, Elsevier Science
2002 
Marco Pedicini, Francesco Quaglia, Scheduling vs. Communication in PELCR, EUROPAR2002 - Parallel Processing, vol. LNCS 2400, num. Lecture Notes in Computer Science, 648–654, Springer-Verlag
2000 
Pedicini, M. and Quaglia, F., A parallel implementation for optimal lambda-calculus reduction, ACM Proceedings of the 2nd International Conference on Principles and Practice of Declarative Programming (PPDP 2000), 3-14, ACM Press, Best Paper of PPDP2000
1999 
Baillot, Patrick and Pedicini, Marco, Elementary complexity and geometry of interaction (extended abstract), Typed lambda calculi and applications ({L}'{A}quila, 1999), vol. 1581, num. Lecture Notes in Comput. Sci., 25--39, Springer, Berlin
1999 
Komornik, Vilmos and Loreti, Paola and Pedicini, Marco, A property of the Golden number, Paul {E}rd{\H o}s and his mathematics ({B}udapest, 1999), 130--133, J\'anos Bolyai Math. Soc., Budapest
1998 
Mascari, Gianfranco and Pedicini, Marco, Types and dynamics in partially additive categories, Idempotency ({B}ristol, 1994), vol. 11, num. Publ. Newton Inst., 112--132, Cambridge Univ. Press, Cambridge
1998 
Loreti, P. and Pedicini, M., Idempotent analogue of resolvent kernels for a deterministic optimal control problem, International Conference Dedicated to th 90th Anniversary of L.S. Pontryagin
1997 
Danos, Vincent and Pedicini, Marco and Regnier, Laurent, Directed virtual reductions, Computer science logic ({U}trecht, 1996), vol. 1258, num. Lecture Notes in Comput. Sci., 76--88, Springer, Berlin
1996 
Pedicini, Marco, Remarks on elementary linear logic (preliminary report), Linear logic 96 ({T}okyo), vol. 3, num. Electron. Notes Theor. Comput. Sci., 12 pp. (electronic), Elsevier, Amsterdam

Books

2010 
F. Castiglione, D. Santoni and M. Pedicini, Implementing agent’s rules with gene regulatory networks in mesoscopic-level models of cellular interactions., booktitle: A practical guide to bioinformatics analysis, pp.: 57–68, Editore: Editor Gabriel P.C. Fung, Publisher iConcept Press.

Conferenze

2011 
Perth, Australia, Australasian Information Security Conference ( speaker )
2011 
Madrid, Spagna, Foundational and Practical Aspects of Resource Analysis - Second International Workshop, FOPARA 2011 ( speaker )
2008 
Marseille, CIRM, Workshop Discrete models of biological networks : from structure to dynamics ( speaker )
2008 
Praga, Workshop Journées Numération ( speaker )
2007 
Roma, International Workshop “Dynamical Aspects in Number Systems” ( speaker, organizzatore, comitato scientifico )
2007 
Siena, Conference of Computation and Logic in the Real World, CiE 2007 ( speaker )
2005 
Lisbona, Portogallo, presso Univ. Lisbona, Workshop Developments in Computational Models (DCM 2005), satellite event of ICALP 2005, ( speaker )
2004 
Manchester, Univ. of Manchester, Manchester Institute of Mathematical Sciences and Alan Turing Inst., Workshop on Bernoulli Convolutions and Beta-Expansions ( speaker )
2004 
Paris, LIPN, Université de Paris 13, Workshop on Implicit Complexity and Logic ( speaker )
2003 
Wien, Erwin Schrödinger International Institute of Mathematical Physics, Conference Idempotent Mathematics and Mathematical Physics ( speaker )
2001 
Rome, International Workshop “Pisot Numbers and Real Numbers Computations” ( organizzatore, comitato scientifico )

Programmi di Ricerca




Copyright Dipartimento di Matematica e Fisica, Roma Tre 2006
Statistiche | Credits