Luigi Liquori

Citado por

	Total	Desde 2019
Citas	1591	178
Índice h	20	7
Índice i10	53	4

140

105

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 21 28 44 17 33 58 76 72 72 105 105 87 54 68 39 56 132 57 44 45 57 74 58 48 24 21 12 15

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
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaDirección de correo verificada de unive.it
Pierre LescanneProfesseur émérite à l'ENS de LyonDirección de correo verificada de ens-lyon.fr
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
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityDirección de correo verificada de di.unito.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
Zoran OgnjanovicResearch Professor, Matematicki institut SANUDirección de correo verificada de mi.sanu.ac.rs
Claudio CasettiPolitecnico di TorinoDirección de correo verificada de polito.it
Dominique ColnetLORIADirección de correo verificada de loria.fr
Bongiovanni FrancescoLuxProvideDirección de correo verificada de lxp.lu
Cédric TedeschiAssociate professor, U. Rennes 1 - IRISADirección de correo verificada de inria.fr
Steffen van BakelImperial College LondonDirección de correo verificada de doc.ic.ac.uk
Giuseppe PiroFull Professor in Telecommunications, 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	106	2003
The rho cube H Cirstea, C Kirchner, L Liquori International Conference on Foundations of Software Science and Computation …, 2001	83	2001
Matching power H Cirstea, C Kirchner, L Liquori International Conference on Rewriting Techniques and Applications, 77-92, 2001	75	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	73	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	59	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	54	1998
Intersection-types à la Church L Liquori, SR Della Rocca Information and Computation 205 (9), 1371-1386, 2007	49	2007
Rewriting calculus with (out) types H Cirstea, C Kirchner, L Liquori Electronic Notes in Theoretical Computer Science 71, 3-19, 2004	45	2004
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	42	1997
An extended theory of primitive objects: First order system L Liquori ECOOP'97—Object-Oriented Programming: 11th European Conference Jyväskylä …, 1997	40	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	29	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	25	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