Prof. MARCO PEDICINI

QualificaProfessore Associato
Settore Scientifico DisciplinareINF/01
Telefono0657338519
Cellulare aziendale81801
Emailmarco.pedicini@uniroma3.it
IndirizzoLargo San Leonardo Murialdo 1
Struttura/Afferenza
  • Dipartimento di Matematica e Fisica
Altre informazioniSito web personale
Curriculum
Qualora le informazioni riportate a lato risultino assenti, incomplete o errate leggi le seguenti istruzioni
Per telefonare da un edificio dell'Ateneo all'altro SE il numero unico inizia con "06 5733xxxx" basta comporre le ultime quattro cifre del numero esteso.

Profilo INSEGNAMENTI Prodotti della ricerca Avvisi Ricevimento e materiale didattico

Contributo in Rivista

  • Abstract machines, optimal reduction, and streams, LAI, ANNA CHIARA; PEDICINI, MARCO, , 2019Link identifier #identifier_person_162065-1 Dettaglio
  • Kite attack: reshaping the cube attack for a flexible GPU-based maxterm search, CIANFRIGLIA, MARCO; GUARINO, STEFANO; LOMBARDI, FLAVIO; PEDICINI, MARCO, , 2019Link identifier #identifier_person_179174-2 Dettaglio
  • Kalmar elementary complexity and von neumann algebras, PEDICINI, MARCO, , 2018Link identifier #identifier_person_32318-3 Dettaglio
  • Critical bases for ternary alphabets, PEDICINI, MARCO, , 2017Link identifier #identifier_person_172574-4 Dettaglio
  • Multiple common expansions in non-integer bases, PEDICINI, MARCO; PETHO, ATTILA TAMAS, , 2017Link identifier #identifier_person_171373-5 Dettaglio
  • Quantum entanglement and the Bell matrix, LAI, ANNA CHIARA; PEDICINI, MARCO, , 2016Link identifier #identifier_person_159739-6 Dettaglio
  • Light combinators for finite fields arithmetic, CESENA, EMANUELE; PEDICINI, MARCO, , 2015Link identifier #identifier_person_180253-7 Dettaglio
  • Generalized Golden Ratios of ternary alphabets, LAI, ANNA CHIARA; PEDICINI, MARCO, , 2011Link identifier #identifier_person_46486-8 Dettaglio
  • Immunological network signatures of cancer progression and survival, PEDICINI, MARCO; CASTIGLIONE, FILIPPO; SANTONI, DANIELE, , 2011Link identifier #identifier_person_191399-9 Dettaglio
  • Combining network modeling and gene expression microarray analysis to explore the dynamics of Th1 and Th2 cell regulation, PEDICINI, MARCO, , 2010Link identifier #identifier_person_112531-10 Dettaglio
  • Implementation of a regulatory gene network to simulate the TH1/2 differentiation in an agent-based model of hypersensitivity reactions, PEDICINI, MARCO, , 2008Link identifier #identifier_person_55514-11 Dettaglio
  • PELCR: Parallel Environment for Optimal Lambda-Calculus Reduction, PEDICINI, MARCO, , 2007Link identifier #identifier_person_43801-12 Dettaglio
  • Supporting Function Calls within PELCR, PEDICINI, MARCO, , 2006Link identifier #identifier_person_137583-13 Dettaglio
  • Greedy expansions and sets with deleted digits, PEDICINI, MARCO, , 2005Link identifier #identifier_person_83156-14 Dettaglio
  • An idempotent analogue of resolvent kernels for a deterministic optimal control problem, PEDICINI, MARCO, , 2001Link identifier #identifier_person_146986-15 Dettaglio
  • An approximation property of Pisot numbers, PEDICINI, MARCO, , 2000Link identifier #identifier_person_85099-16 Dettaglio
  • Elementary complexity and geometry of interaction, PEDICINI, MARCO, , 2000Link identifier #identifier_person_193869-17 Dettaglio
  • Head linear reduction and pure proof net extraction, PEDICINI, MARCO, , 1994Link identifier #identifier_person_113065-18 Dettaglio

Libro

  • PEDICINI, MARCO, An object-oriented approach to idempotent analysis: Integral equations as optimal control problems, CONTEMPORARY MATHEMATICS, issn 0271-4132, vol. 377, 2005 Link identifier #identifier_person_173332-19Dettaglio

Contributo in volume e atti di convegno

  • PEDICINI, MARCO; ONOFRI, ELIA, Novel Notation on Cube Attack, pp. 25 30, 2022 Link identifier #identifier_person_84621-20Dettaglio
  • CIANFRIGLIA, MARCO; PEDICINI, MARCO, Unboxing the Kite-Attack, vol. 2, pp. 31 36, 2022 Link identifier #identifier_person_4586-21Dettaglio
  • PEDICINI, MARCO, On the number of provable formulas, vol. 19, pp. 145 166, 2021 Link identifier #identifier_person_14243-22Dettaglio
  • CASTIGLIONE, FILIPPO; PEDICINI, MARCO; JARRAH, ABDUL SALAM MOHAMMAD AREF, Quantitative Modelling Approaches, pp. 874 883, 2019 Link identifier #identifier_person_89035-23Dettaglio
  • PEDICINI, MARCO, What Arrow’s Information Paradox Says (to Philosophers), pp. 83 94, 2019 Link identifier #identifier_person_19864-24Dettaglio
  • PEDICINI, MARCO; CASTIGLIONE, FILIPPO, Computing hierarchical transition graphs of asynchronous genetic regulatory networks, issn 1865-0929, vol. 830, pp. 88 103, 2018 Link identifier #identifier_person_108179-25Dettaglio
  • CIANFRIGLIA, MARCO; GUARINO, STEFANO; LOMBARDI, FLAVIO; PEDICINI, MARCO, A novel GPU-based implementation of the cube attack preliminary results against trivium, vol. 10355, pp. 184 207, 2017 Link identifier #identifier_person_175316-26Dettaglio
  • PEDICINI, MARCO, Can a light typing discipline be compatible with an efficient implementation of finite fields inversion?, LECTURE NOTES IN COMPUTER SCIENCE, issn 0302-9743, vol. 8552, pp. 38 57, 2014 Link identifier #identifier_person_107846-27Dettaglio
  • PEDICINI, MARCO, Typing a Core Binary-Field Arithmetic in a Light Logic, LECTURE NOTES IN COMPUTER SCIENCE, issn 0302-9743, vol. 7177/2012, pp. 19 35, 2012 Link identifier #identifier_person_53843-28Dettaglio
  • PEDICINI, MARCO, Cube attack in finite fields of higher order, vol. 116, 2011 Link identifier #identifier_person_171017-29Dettaglio
  • PEDICINI, MARCO, An application of von Neumann Algebras to computational complexity, vol. 1, pp. 183 194, 2010 Link identifier #identifier_person_57814-30Dettaglio
  • PEDICINI, MARCO, Implementing agent's rules with gene regulatory networks in mesoscopic-level models of cellular interactions, 2010 Link identifier #identifier_person_101399-31Dettaglio
  • PEDICINI, MARCO, Elementary Complexity into the Hyperfinite II1 Factor, 2007 Link identifier #identifier_person_133091-32Dettaglio
  • PEDICINI, MARCO, An embedding of the BSS model of computation in light affine lambda-calculus, 2006 Link identifier #identifier_person_36997-33Dettaglio
  • PEDICINI, MARCO, A parallel implementation for optimal lambda-calculus reduction, pp. 3 14, 2000 Link identifier #identifier_person_133709-34Dettaglio
  • PEDICINI, MARCO, Directed virtual reductions, vol. 1258, pp. 76 88, 1997 Link identifier #identifier_person_105673-35Dettaglio
  • PEDICINI, MARCO, Remarks on Elementary Linear Logic. Preliminary Report, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, issn 1571-0661, vol. 3, pp. 208 219, 1996 Link identifier #identifier_person_8378-36Dettaglio