Следене
Marco Pedicini
Marco Pedicini
Associate Professor in Computer Science, Roma Tre University
Потвърден имейл адрес: uniroma3.it - Начална страница
Заглавие
Позовавания
Позовавания
Година
Elementary complexity and geometry of interaction
P Baillot, M Pedicini
Fundamenta Informaticae 45 (1-2), 1-31, 2001
722001
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
692008
Greedy expansions and sets with deleted digits
M Pedicini
Theoretical computer science 332 (1-3), 313-336, 2005
562005
Head linear reduction and pure proof net extraction
GF Mascari, M Pedicini
Theoretical Computer Science 135 (1), 111-137, 1994
541994
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
Generalized golden ratios of ternary alphabets
V Komornik, AC Lai, M Pedicini
Journal of the European Mathematical Society 13 (4), 1113-1146, 2011
302011
An approximation property of Pisot numbers
V Komornik, P Loreti, M Pedicini
Journal of Number Theory 80 (2), 218-237, 2000
282000
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-14, 2011
222011
PELCR: Parallel environment for optimal lambda-calculus reduction
M Pedicini, F Quaglia
ACM Transactions on Computational Logic (TOCL) 8 (3), 14, 2007
212007
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
19*2022
Directed virtual reductions
V Danos, M Pedicini, L Regnier
Computer Science Logic: 10th International Workshop, CSL'96 Annual …, 1997
191997
A parallel implementation for optimal lambda-calculus reduction
M Pedicini, F Quaglia
Proceedings of the 2nd ACM SIGPLAN international conference on Principles …, 2000
162000
Cube attack in finite fields of higher order
A Agnesse, M Pedicini
Proceedings of the Ninth Australasian Information Security Conference-Volume …, 2011
122011
Elementary complexity and geometry of interaction
P Baillot, M Pedicini
International Conference on Typed Lambda Calculi and Applications, 25-33, 1999
91999
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
82017
Critical bases for ternary alphabets
V Komornik, M Pedicini
Acta Mathematica Hungarica 152, 25-57, 2017
72017
Types and dynamics in partially additive categories
G Mascari, M Pedicini
Idempotency, in: Publications of the Isaac Newton Institute 11, 1998
71998
Multiple common expansions in non-integer bases
V Komornik, M Pedicini, A Pethő
Acta Scientiarum Mathematicarum 83 (1), 51-60, 2017
62017
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
52014
Remarks on Elementary Linear Logic: Preliminary Report
M Pedicini
Electronic Notes in Theoretical Computer Science 3, 208-219, 1996
51996
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20