Luca Roversi

Citado por

	Total	Desde 2020
Citas	1473	260
Índice h	21	10
Índice i10	39	14

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420258 13 10 20 34 57 63 80 73 67 85 87 70 64 57 48 27 37 72 40 36 55 48 61 34 59 36 50 18

Coautores

Luca PaoliniAssociate Professor,Universita di TorinoDirección de correo verificada de di.unito.it
aspertiUniversity of BolognaDirección de correo verificada de cs.unibo.it
Matteo BaldoniProfessor in Computer Science, Università degli Studi di Torino, Dipartimento di InformaticaDirección de correo verificada de di.unito.it
Elaine PimentelUniversity College LondonDirección de correo verificada de ucl.ac.uk
Marco PediciniAssociate Professor in Computer Science, Roma Tre UniversityDirección de correo verificada de uniroma3.it
Emanuele CesenaPolitecnico di TorinoDirección de correo verificada de polito.it
Ugo Dal LagoUniversity of Bologna and INRIA Sophia AntipolisDirección de correo verificada de cs.unibo.it
Margherita ZorziUniversità degli Studi di VeronaDirección de correo verificada de univr.it
Cristina BaroglioProfessore associato di Informatica, Università degli Studi di Torino, Dipartimento di InformaticaDirección de correo verificada de unito.it
Marco GaboardiBoston UniversityDirección de correo verificada de bu.edu
Daniele CanaveseIRIT-CNRSDirección de correo verificada de irit.fr
Rosa MeoProfessor of Computer Science, University of Torino, ItalyDirección de correo verificada de di.unito.it
Stefania MontaniFull Professor, University of Piemonte OrientaleDirección de correo verificada de uniupo.it
Francesca CorderoResearcher, University of Torino, ItalyDirección de correo verificada de di.unito.it
Giorgio LeonardiRicercatore, Università del Piemonte OrientaleDirección de correo verificada de uniupo.it

Seguir

Luca Roversi

Professor of Computer Science, Università di Torino

Dirección de correo verificada de di.unito.it - Página principal

Theoretical Computer Science (Unconvetional) Computational Models Structural Proof Theory Computational Complexity


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Intuitionistic light affine logic A Asperti, L Roversi ACM Transactions on Computational Logic (TOCL) 3 (1), 137-175, 2002	154	2002
Light affine logic A Asperti Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	138	1998
Directed hypergraphs: Problems, algorithmic results, and a novel decremental approach A Restivo, SR Della Rocca, L Roversi, G Ausiello, PG Franciosa, ... Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	134	2001
A LTS semantics of ambients via graph synchronization with mobility A Restivo, SR Della Rocca, L Roversi, GL Ferrari, U Montanari, E Tuosto Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	62	2001
Lambda calculus and intuitionistic linear logic SR Della Rocca, L Roversi Studia Logica 59, 417-448, 1997	54	1997
L'épreuve des inégalités H Lagrange PUF, 2015	53	2015
A P-time completeness proof for light logics L Roversi Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999	46	1999
Intersection logic SR Della Rocca, L Roversi International Workshop on Computer Science Logic, 414-429, 2001	40	2001
The call-by-value λ-calculus: a semantic investigation A Pravato, SR Della Rocca, L Roversi Mathematical structures in computer science 9 (05), 617-650, 1999	39	1999
Filter models and easy terms A Restivo, SR Della Rocca, L Roversi, F Alessi, M Dezani-Ciancaglini, ... Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	37	2001
Call-by-value separability and computability A Restivo, SR Della Rocca, L Roversi, L Paolini Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	36	2001
On synchronous and asynchronous communication paradigms A Restivo, SR Della Rocca, L Roversi, D Cacciagrano, F Corradini Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	35	2001
Distance constrained labeling of precolored trees A Restivo, SR Della Rocca, L Roversi, J Fiala, J Kratochvíl, ... Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	34	2001
Reasoning about complex actions with incomplete knowledge: a modal approach A Restivo, SR Della Rocca, L Roversi, M Baldoni, L Giordano, A Martelli, ... Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	31	2001
E-unifiability via narrowing A Restivo, SR Della Rocca, L Roversi, E Viola Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	27	2001
On a class of reversible primitive recursive functions and its turing-complete extensions L Paolini, M Piccolo, L Roversi New Generation Computing 36 (3), 233-256, 2018	23	2018
P systems with gemmation of mobile membranes A Restivo, SR Della Rocca, L Roversi, D Besozzi, C Zandron, G Mauri, ... Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	23	2001
Intersection types from a proof-theoretic perspective E Pimentel, S Ronchi Della Rocca, L Roversi Fundamenta Informaticae 121 (1-4), 253-274, 2012	22	2012
Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold A Restivo, SR Della Rocca, L Roversi, AC Kaporis, LM Kirousis, ... Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001	22	2001
A class of reversible primitive recursive functions L Paolini, M Piccolo, L Roversi Electronic Notes in Theoretical Computer Science 322, 227-242, 2016	21	2016

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores