Marco Pedicini
Marco Pedicini
Associate Professor in Computer Science, Roma Tre University
Verifierad e-postadress på uniroma3.it - Startsida
TitelCiteras avÅr
Elementary complexity and geometry of interaction
P Baillot, M Pedicini
Fundamenta Informaticae 45 (1-2), 1-31, 2001
622001
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
592008
Greedy expansions and sets with deleted digits
M Pedicini
Theoretical Computer Science 332 (1-3), 313-336, 2005
432005
Head linear reduction and pure proof net extraction
GF Mascari, M Pedicini
Theoretical Computer Science 135 (1), 111-137, 1994
431994
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
252010
An approximation property of Pisot numbers
V Komornik, P Loreti, M Pedicini
Journal of Number Theory 80 (2), 218-237, 2000
242000
Directed virtual reductions
V Danos, M Pedicini, L Regnier
International Workshop on Computer Science Logic, 76-88, 1996
211996
Generalized golden ratios of ternary alphabets
V Komornik, AC Lai, M Pedicini
arXiv preprint arXiv:0901.1114, 2009
182009
PELCR: Parallel environment for optimal lambda-calculus reduction
M Pedicini, F Quaglia
ACM Transactions on Computational Logic (TOCL) 8 (3), 14, 2007
172007
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), 28, 2011
162011
A parallel implementation for optimal lambda-calculus reduction
M Pedicini, F Quaglia
International Conference on Principles and Practice of Declarative …, 2000
152000
Elementary complexity and geometry of interaction
P Baillot, M Pedicini
International Conference on Typed Lambda Calculi and Applications, 25-33, 1999
91999
Types and dynamics in partially additive categories
G Mascari, M Pedicini
Idempotency 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
Cube attack in finite fields of higher order
A Agnesse, M Pedicini
Proceedings of the Ninth Australasian Information Security Conference-Volume …, 2011
52011
Remarks on Elementary Linear Logic: Preliminary Report
M Pedicini
Electronic Notes in Theoretical Computer Science 3, 208-219, 1996
51996
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
42017
Critical bases for ternary alphabets
V Komornik, M Pedicini
Acta Mathematica Hungarica 152 (1), 25-57, 2017
42017
Typing a core binary-field arithmetic in a light logic
E Cesena, M Pedicini, L Roversi
International Workshop on Foundational and Practical Aspects of Resource …, 2011
42011
An embedding of the bss model of computation in light affine lambda-calculus
P Baillot, M Pedicini
arXiv preprint cs/0608040, 2006
32006
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20