| Elementary complexity and geometry of interaction P Baillot, M Pedicini Fundamenta Informaticae 45 (1-2), 1-31, 2001 | 72 | 2001 |
| 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 | 69 | 2008 |
| Greedy expansions and sets with deleted digits M Pedicini Theoretical computer science 332 (1-3), 313-336, 2005 | 56 | 2005 |
| Head linear reduction and pure proof net extraction GF Mascari, M Pedicini Theoretical Computer Science 135 (1), 111-137, 1994 | 54 | 1994 |
| Generalized golden ratios of ternary alphabets V Komornik, AC Lai, M Pedicini Journal of the European Mathematical Society 13 (4), 1113-1146, 2011 | 30 | 2011 |
| 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 | 30 | 2010 |
| An approximation property of Pisot numbers V Komornik, P Loreti, M Pedicini Journal of Number Theory 80 (2), 218-237, 2000 | 27 | 2000 |
| 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 | 20 | 2011 |
| PELCR: Parallel environment for optimal lambda-calculus reduction M Pedicini, F Quaglia ACM Transactions on Computational Logic (TOCL) 8 (3), 14, 2007 | 20 | 2007 |
| Directed virtual reductions V Danos, M Pedicini, L Regnier Computer Science Logic: 10th International Workshop, CSL'96 Annual …, 1997 | 20 | 1997 |
| Invertible Quadratic Non-Linear Layers for MPC-/FHE-/ZK-Friendly Schemes over Fnp: Application to Poseidon L Grassi, S Onofri, M Pedicini, L Sozzi IACR Transactions on Symmetric Cryptology, 20-72, 2022 | 16* | 2022 |
| A parallel implementation for optimal lambda-calculus reduction M Pedicini, F Quaglia Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000 | 16 | 2000 |
| Cube attack in finite fields of higher order A Agnesse, M Pedicini Proceedings of the Ninth Australasian Information Security Conference-Volume …, 2011 | 12 | 2011 |
| Elementary complexity and geometry of interaction P Baillot, M Pedicini International Conference on Typed Lambda Calculi and Applications, 25-33, 1999 | 9 | 1999 |
| Critical bases for ternary alphabets V Komornik, M Pedicini Acta Mathematica Hungarica 152, 25-57, 2017 | 7 | 2017 |
| A Novel GPU-Based Implementation of the Cube Attack: Preliminary Results Against Trivium M Cianfriglia, S Guarino, M Bernaschi, F Lombardi, M Pedicini Applied Cryptography and Network Security: 15th International Conference …, 2017 | 7 | 2017 |
| Types and dynamics in partially additive categories G Mascari, M Pedicini Idempotency, in: Publications of the Isaac Newton Institute 11, 1998 | 7 | 1998 |
| Multiple common expansions in non-integer bases V Komornik, M Pedicini, A Pethõ Acta Scientiarum Mathematicarum 83 (1-2), 51-60, 2017 | 6 | 2017 |
| 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 | 5 | 2014 |
| Remarks on Elementary Linear Logic: Preliminary Report M Pedicini Electronic Notes in Theoretical Computer Science 3, 208-219, 1996 | 5 | 1996 |
Filippo CastiglioneExecutive Director, Bioinformatics, Biotech Research Center, Technology Innovation Institute UAEVerified email at iac.cnr.it
