Luigi Liquori

Citado por

	Total	Desde 2019
Citas	1571	162
Índice h	20	6
Índice i10	53	2

140

105

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 25 28 40 17 30 56 76 71 73 107 105 85 52 68 38 56 131 58 46 45 57 74 59 48 22 21 10 2

Acceso público

Ver todo

11 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Claude KirchnerInriaDirección de correo verificada de inria.fr
Michel CosnardCôte d'Azur University, FranceDirección de correo verificada de inria.fr
Pierre LescanneProfesseur émérite à l'ENS de LyonDirección de correo verificada de ens-lyon.fr
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaDirección de correo verificada de unive.it
Viviana BonoUniversita` di TorinoDirección de correo verificada de di.unito.it
Arnaud SpiwackDirector, Research, Tweag & Modus CreateDirección de correo verificada de spiwack.net
Marino MiculanUniversity of Udine, ItalyDirección de correo verificada de uniud.it
Pietro Di GianantonioUniversità di UdineDirección de correo verificada de uniud.it
Bojan MarinkovicMathematical Institute of the Serbian Academy of Sciences and ArtsDirección de correo verificada de mi.sanu.ac.rs
Riccardo LotiCSO, Weeo PT Ltd.Dirección de correo verificada de tierratelematics.com
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityDirección de correo verificada de di.unito.it
Zoran OgnjanovicResearch Professor, Matematicki institut SANUDirección de correo verificada de mi.sanu.ac.rs
Bongiovanni FrancescoLuxProvideDirección de correo verificada de lxp.lu
Cédric TedeschiAssociate professor, U. Rennes 1 - IRISADirección de correo verificada de inria.fr
Claudio CasettiPolitecnico di TorinoDirección de correo verificada de polito.it
Dominique ColnetLORIADirección de correo verificada de loria.fr
Steffen van BakelImperial College LondonDirección de correo verificada de doc.ic.ac.uk
Giuseppe PiroAssociate Professor @ Politecnico di BariDirección de correo verificada de giuseppepiro.com
L. Alfredo GriecoFull Professor @ "Politecnico di Bari" ItalyDirección de correo verificada de poliba.it
Giorgio DelzannoAssociate Professor, Università di GenovaDirección de correo verificada de unige.it

Seguir

Luigi Liquori

Directeur de Recherche INRIA

Dirección de correo verificada de inria.fr - Página principal

Logic and Computer Science Semantics of Programming Languages Computer Networks Internet of Things Standards


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Pure patterns type systems G Barthe, H Cirstea, C Kirchner, L Liquori ACM SIGPLAN Notices 38 (1), 250-261, 2003	105	2003
The rho cube H Cirstea, C Kirchner, L Liquori International Conference on Foundations of Software Science and Computation …, 2001	81	2001
Matching power H Cirstea, C Kirchner, L Liquori International Conference on Rewriting Techniques and Applications, 77-92, 2001	73	2001
FeatherTrait: A modest extension of Featherweight Java L Liquori, A Spiwack ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (2), 1-32, 2008	71	2008
Rewrite strategies in the rewriting calculus H Cirstea, C Kirchner, L Liquori, B Wack Electronic Notes in Theoretical Computer Science 86 (4), 593-624, 2003	62	2003
Rewriting calculus with fixpoints: Untyped and first-order systems H Cirstea, L Liquori, B Wack International Workshop on Types for Proofs and Programs, 147-161, 2003	60	2003
A subtyping for the Fisher-Honsell-Mitchell lambda calculus of objects V Bono, L Liquori International Workshop on Computer Science Logic, 16-30, 1994	60	1994
A lambda calculus of objects with self-inflicted extension P Di Gianantonio, F Honsell, L Liquori Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998	51	1998
Rewriting calculus with (out) types H Cirstea, C Kirchner, L Liquori Electronic Notes in Theoretical Computer Science 71, 3-19, 2004	45	2004
Intersection-types à la Church L Liquori, SR Della Rocca Information and Computation 205 (9), 1371-1386, 2007	44	2007
Subtyping constraints for incomplete objects V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori TAPSOFT'97: Theory and Practice of Software Development: 7th International …, 1997	43	1997
An extended theory of primitive objects: First order system L Liquori ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997	41	1997
Synapse: A scalable protocol for interconnecting heterogeneous overlay networks L Liquori, C Tedeschi, L Vanni, F Bongiovanni, V Ciancaglini, ... NETWORKING 2010: 9th International IFIP TC 6 Networking Conference, Chennai …, 2010	30	2010
Comparing cubes of typed and type assignment systems S Van Bakel, L Liquori, SR Della Rocca, P Urzyczyn Annals of Pure and Applied Logic 86 (3), 267-303, 1997	30	1997
A lambda calculus of incomplete objects V Bono, M Bugliesi, L Liquori Mathematical Foundations of Computer Science 1996: 21st International …, 1996	30	1996
A typed lambda calculus of objects L Liquori, G Castagna Annual Asian Computing Science Conference, 129-141, 1996	26	1996
CCN-TV: a data-centric approach to real-time video services V Ciancaglini, G Piro, R Loti, LA Grieco, L Liquori 2013 27th International Conference on Advanced Information Networking and …, 2013	25	2013
A framework for defining logical frameworks F Honsell, M Lenisa, L Liquori Electronic Notes in Theoretical Computer Science 172, 399-436, 2007	24	2007
A Subtyping for extensible, incomplete objects V Bono, M Bugliesi, M Dezani-Ciancaglini, L Liquori Fundamenta Informaticae 38 (4), 325-364, 1999	23	1999
Towards a common architecture to interconnect heterogeneous overlay networks V Ciancaglini, L Liquori, GN Hoang 2011 IEEE 17th International Conference on Parallel and Distributed Systems …, 2011	21	2011

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