Marco Pedicini

According to our database1, Marco Pedicini authored at least 23 papers between 1994 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Quantitative Modelling Approaches.
Proceedings of the Encyclopedia of Bioinformatics and Computational Biology - Volume 2, 2019

Abstract machines, optimal reduction, and streams.
Math. Struct. Comput. Sci., 2019

Kite attack: reshaping the cube attack for a flexible GPU-based maxterm search.
J. Cryptogr. Eng., 2019

2017
Computing Hierarchical Transition Graphs of Asynchronous Genetic Regulatory Networks.
Proceedings of the Artificial Life and Evolutionary Computation - 12th Italian Workshop, 2017

A Novel GPU-Based Implementation of the Cube Attack - Preliminary Results Against Trivium.
Proceedings of the Applied Cryptography and Network Security, 2017

2016
Quantum entanglement and the Bell matrix.
Quantum Inf. Process., 2016

2015
Light combinators for finite fields arithmetic.
Sci. Comput. Program., 2015

2013
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2011
Typing a Core Binary-Field Arithmetic in a Light Logic.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

Cube Attack in Finite Fields of Higher Order.
Proceedings of the Ninth Australasian Information Security Conference, 2011

2010
Combining Network Modeling and Gene Expression Microarray Analysis to Explore the Dynamics of Th1 and Th2 Cell Regulation.
PLoS Comput. Biol., 2010

2009
Elementary Complexity and von Neumann Algebras
CoRR, 2009

2008
Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions.
Bioinform., 2008

2007
PELCR: Parallel environment for optimal lambda-calculus reduction.
ACM Trans. Comput. Log., 2007

2006
Supporting Function Calls within PELCR.
Electron. Notes Theor. Comput. Sci., 2006

An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus
CoRR, 2006

2005
Greedy expansions and sets with deleted digits.
Theor. Comput. Sci., 2005

2002
Scheduling vs Communication in PELCR.
Proceedings of the Euro-Par 2002, 2002

2001
Elementary Complexity and Geometry of Interaction.
Fundam. Informaticae, 2001

2000
A parallel implementation for optimal lambda-calculus reduction.
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

1996
Remarks on Elementary Linear Logic.
Electron. Notes Theor. Comput. Sci., 1996

Directed Virtual Reductions.
Proceedings of the Computer Science Logic, 10th International Workshop, 1996

1994
Head Linear Reduction and Pure Proof Net Extraction.
Theor. Comput. Sci., 1994


  Loading...