Follow
Marco Pedicini
Marco Pedicini
Associate Professor in Computer Science, Roma Tre University
Verified email at uniroma3.it - Homepage
Title
Cited by
Cited by
Year
Elementary complexity and geometry of interaction
P Baillot, M Pedicini
Fundamenta Informaticae 45 (1-2), 1-31, 2001
732001
Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions
D Santoni, M Pedicini, F Castiglione
Bioinformatics 24 (11), 1374-1380, 2008
672008
Greedy expansions and sets with deleted digits
M Pedicini
Theoretical Computer Science 332 (1-3), 313-336, 2005
532005
Head linear reduction and pure proof net extraction
GF Mascari, M Pedicini
Theoretical Computer Science 135 (1), 111-137, 1994
521994
Combining network modeling and gene expression microarray analysis to explore the dynamics of Th1 and Th2 cell regulation
M Pedicini, F Barrenäs, T Clancy, F Castiglione, E Hovig, K Kanduri, ...
PLoS computational biology 6 (12), e1001032, 2010
312010
An approximation property of Pisot numbers
V Komornik, P Loreti, M Pedicini
Journal of Number Theory 80 (2), 218-237, 2000
282000
Generalized golden ratios of ternary alphabets
V Komornik, AC Lai, M Pedicini
Journal of the European Mathematical Society 13 (4), 1113-1146, 2011
272011
PELCR: Parallel environment for optimal lambda-calculus reduction
M Pedicini, F Quaglia
ACM Transactions on Computational Logic (TOCL) 8 (3), 14, 2007
212007
Directed virtual reductions
V Danos, M Pedicini, L Regnier
International Workshop on Computer Science Logic, 76-88, 1996
211996
Immunological network signatures of cancer progression and survival
T Clancy, M Pedicini, F Castiglione, D Santoni, V Nygaard, TJ Lavelle, ...
BMC medical genomics 4 (1), 1-14, 2011
172011
A parallel implementation for optimal lambda-calculus reduction
M Pedicini, F Quaglia
Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000
152000
Elementary complexity and geometry of interaction
P Baillot, M Pedicini
International Conference on Typed Lambda Calculi and Applications, 25-33, 1999
101999
Cube attack in finite fields of higher order
A Agnesse, M Pedicini
Proceedings of the Ninth Australasian Information Security Conference-Volume …, 2011
82011
Types and dynamics in partially additive categories
G Mascari, M Pedicini
Idempotency, in: Publications of the Isaac Newton Institute 11, 1998
71998
Sequential and parallel abstract machines for optimal reduction
M Pedicini, G Pellitta, M Piazza
Preproceedings of the 15th Symposium on Trends in Functional Programming …, 2014
62014
A novel GPU-based implementation of the cube attack
M Cianfriglia, S Guarino, M Bernaschi, F Lombardi, M Pedicini
International Conference on Applied Cryptography and Network Security, 184-207, 2017
52017
Multiple common expansions in non-integer bases
V Komornik, M Pedicini, A Pethő
Acta Scientiarum Mathematicarum 83 (1), 51-60, 2017
52017
Critical bases for ternary alphabets
V Komornik, M Pedicini
Acta Mathematica Hungarica 152 (1), 25-57, 2017
52017
An embedding of the BSS model of computation in light affine lambda-calculus
P Baillot, M Pedicini
arXiv preprint cs/0608040, 2006
52006
Remarks on Elementary Linear Logic: Preliminary Report
M Pedicini
Electronic Notes in Theoretical Computer Science 3, 208-219, 1996
51996
The system can't perform the operation now. Try again later.
Articles 1–20