Edit Profile (opens in new tab) Pedicini, Marco Co-Author Distance Author ID: pedicini.marco Published as: Pedicini, Marco; Pedicini, M. External Links: MGP Documents Indexed: 25 Publications since 1994 1 Contribution as Editor Co-Authors: 27 Co-Authors with 24 Joint Publications 434 Co-Co-Authors all top 5 Co-Authors 2 single-authored 6 Komornik, Vilmos 5 Loreti, Paola 3 Lai, Anna Chiara 3 Quaglia, Francesco 2 Baillot, Patrick 2 Cesena, Emanuele 2 Cianfriglia, Marco 2 Roversi, Luca 1 Bernaschi, Massimo 1 Canavese, Daniele 1 Cosentino, Antonio 1 Danos, Vincent 1 Giordani, Ginevra 1 Grassi, Lorenzo 1 Guarino, Stefano 1 La Scala, Roberto 1 Lombardi, Flavio 1 Mascari, Gianfranco 1 Mascari, Giovanni Francesco 1 Onofri, Elia 1 Onofri, Silvia 1 Ouchary, Rachid 1 Pethő, Attila 1 Piazza, Mario 1 Regnier, Laurent 1 Rognone, Silvia 1 Sala, Massimiliano 1 Visconti, Andrea all top 5 Serials 2 Journal of Number Theory 2 Theoretical Computer Science 1 Mathematical Notes 1 Acta Scientiarum Mathematicarum 1 Acta Mathematica Hungarica 1 Mathematical Structures in Computer Science 1 Journal of the European Mathematical Society (JEMS) 1 Fundamenta Informaticae 1 Quantum Information Processing 1 ACM Transactions on Computational Logic 1 Journal of Mathematical Cryptology 1 Collectio Ciphrarum all top 5 Fields 16 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 7 Number theory (11-XX) 4 Information and communication theory, circuits (94-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Quantum theory (81-XX) 1 General and overarching topics; collections (00-XX) 1 Associative rings and algebras (16-XX) 1 Category theory; homological algebra (18-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Integral equations (45-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 13 Publications have been cited 95 times in 71 Documents Cited by ▼ Year ▼ Greedy expansions and sets with deleted digits. Zbl 1080.11009 Pedicini, Marco 20 2005 Generalized golden ratios of ternary alphabets. Zbl 1287.11012 Komornik, Vilmos; Lai, Anna Chiara; Pedicini, Marco 16 2011 Elementary complexity and geometry of interaction. Zbl 0973.03033 Baillot, Patrick; Pedicini, Marco 15 2001 An approximation property of Pisot numbers. Zbl 0962.11034 Komornik, Vilmos; Loreti, Paola; Pedicini, Marco 13 2000 Head linear reduction and pure proof net extraction. Zbl 0834.68104 Mascari, G. F.; Pedicini, M. 10 1994 PELCR: parallel environment for optimal lambda-calculus reduction. Zbl 1367.68053 Pedicini, Marco; Quaglia, Francesco 7 2007 Critical bases for ternary alphabets. Zbl 1399.11031 Komornik, V.; Pedicini, M. 5 2017 Directed virtual reductions. Zbl 0889.68022 Danos, Vincent; Pedicini, Marco; Regnier, Laurent 3 1997 Multiple common expansions in non-integer bases. Zbl 1389.11019 Komornik, Vilmos; Pedicini, Marco; Pethő, Attila 2 2017 Elementary complexity and geometry of interaction. (Extended abstract). Zbl 0931.03045 Baillot, Patrick; Pedicini, Marco 1 1999 Scheduling vs communication in PELCR. Zbl 1068.68584 Pedicini, Marco; Quaglia, Francesco 1 2002 Can a light typing discipline be compatible with an efficient implementation of finite fields inversion? Zbl 1445.68045 Canavese, Daniele; Cesena, Emanuele; Ouchary, Rachid; Pedicini, Marco; Roversi, Luca 1 2014 Typing a core binary-field arithmetic in a light logic. Zbl 1367.68050 Cesena, Emanuele; Pedicini, Marco; Roversi, Luca 1 2012 Critical bases for ternary alphabets. Zbl 1399.11031 Komornik, V.; Pedicini, M. 5 2017 Multiple common expansions in non-integer bases. Zbl 1389.11019 Komornik, Vilmos; Pedicini, Marco; Pethő, Attila 2 2017 Can a light typing discipline be compatible with an efficient implementation of finite fields inversion? Zbl 1445.68045 Canavese, Daniele; Cesena, Emanuele; Ouchary, Rachid; Pedicini, Marco; Roversi, Luca 1 2014 Typing a core binary-field arithmetic in a light logic. Zbl 1367.68050 Cesena, Emanuele; Pedicini, Marco; Roversi, Luca 1 2012 Generalized golden ratios of ternary alphabets. Zbl 1287.11012 Komornik, Vilmos; Lai, Anna Chiara; Pedicini, Marco 16 2011 PELCR: parallel environment for optimal lambda-calculus reduction. Zbl 1367.68053 Pedicini, Marco; Quaglia, Francesco 7 2007 Greedy expansions and sets with deleted digits. Zbl 1080.11009 Pedicini, Marco 20 2005 Scheduling vs communication in PELCR. Zbl 1068.68584 Pedicini, Marco; Quaglia, Francesco 1 2002 Elementary complexity and geometry of interaction. Zbl 0973.03033 Baillot, Patrick; Pedicini, Marco 15 2001 An approximation property of Pisot numbers. Zbl 0962.11034 Komornik, Vilmos; Loreti, Paola; Pedicini, Marco 13 2000 Elementary complexity and geometry of interaction. (Extended abstract). Zbl 0931.03045 Baillot, Patrick; Pedicini, Marco 1 1999 Directed virtual reductions. Zbl 0889.68022 Danos, Vincent; Pedicini, Marco; Regnier, Laurent 3 1997 Head linear reduction and pure proof net extraction. Zbl 0834.68104 Mascari, G. F.; Pedicini, M. 10 1994 all cited Publications top 5 cited Publications all top 5 Cited by 76 Authors 10 Komornik, Vilmos 6 Loreti, Paola 4 Baillot, Patrick 4 Dajani, Karma 4 Dal Lago, Ugo 4 Lai, Anna Chiara 4 Pelantová, Edita 4 Seiller, Thomas 4 Zou, Yuru 3 Accattoli, Beniamino 3 Aubert, Clément 3 de Carvalho, Daniel 3 de Vries, Martijn 3 Hare, Kevin G. 3 Lu, Jian 3 Masáková, Zuzana 3 Pedicini, Marco 3 Steiner, Wolfgang 2 Bagnol, Marc 2 Baker, Simon 2 Borwein, Peter Benjamin 2 Hejda, Tomáš 2 Kalle, Charlene 2 Kesner, Delia 2 Li, Wenxia 2 Perrinel, Matthieu 2 Šíma, Jiří 2 Tortora de Falco, Lorenzo 1 Abramsky, Samson 1 Baiocchi, Claudio 1 Balabonski, Thibaut 1 Benamar, Hela 1 Bevan, David I. 1 Blum, William 1 Bonelli, Eduardo 1 Boudes, Pierre 1 Cai, Yi 1 Charlier, Emilie 1 Cisternino, Célia 1 Coppola, Paolo 1 Danos, Vincent 1 Faggian, Claudia 1 Feng, De-Jun 1 Gadri, Wiem 1 Góra, Paweł 1 Goubault-Larrecq, Jean 1 Graham-Lengrand, Stéphane 1 Guidara, S. 1 Haghverdi, Esfandiar 1 Hbaib, Mohamed 1 Jiang, Kan 1 Joinet, Jean-Baptiste 1 Kahl, Wolfram 1 Kong, Derong 1 Kwon, DoYong 1 Li, Jiachang 1 Lombardi, Carlos 1 Mazza, Damiano 1 Mkaouar, Mohamed 1 Pastirčáková, Kateřina 1 Piazza, Mario 1 Piperno, Adolfo 1 Ren, Xiaomin 1 Roversi, Luca 1 Savický, Petr 1 Solieri, Marco 1 Terui, Kazushige 1 Tian, Li 1 Valiron, Benoît 1 Vercelli, Luca 1 Wen, Zhiying 1 Yao, Yuanyuan 1 Yoshimizu, Akira 1 Zaïmi, Toufik Mostepha 1 Zhu, Jiali 1 Zouari, Sourour all top 5 Cited in 29 Serials 7 Theoretical Computer Science 7 Information and Computation 6 Acta Mathematica Hungarica 5 Journal of Number Theory 5 Mathematical Structures in Computer Science 3 Monatshefte für Mathematik 3 Ergodic Theory and Dynamical Systems 3 Logical Methods in Computer Science 2 Mathematics of Computation 2 Transactions of the American Mathematical Society 2 Annals of Pure and Applied Logic 2 Indagationes Mathematicae. New Series 1 Advances in Mathematics 1 Bulletin of the London Mathematical Society 1 Bulletin de la Société Mathématique de France 1 Kybernetika 1 Mathematika 1 Proceedings of the American Mathematical Society 1 Topology and its Applications 1 Advances in Applied Mathematics 1 Combinatorica 1 Neural Networks 1 Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Serie IX. Rendiconti Lincei. Matematica e Applicazioni 1 Journal de Théorie des Nombres de Bordeaux 1 Fractals 1 Journal of Functional Programming 1 Networks and Heterogeneous Media 1 Science China. Mathematics 1 Research in Number Theory all top 5 Cited in 11 Fields 32 Number theory (11-XX) 27 Computer science (68-XX) 26 Mathematical logic and foundations (03-XX) 17 Dynamical systems and ergodic theory (37-XX) 10 Measure and integration (28-XX) 2 Convex and discrete geometry (52-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Approximations and expansions (41-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year