Luigi Liquori

Cited by

	All	Since 2019
Citations	1595	182
h-index	20	7
i10-index	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 49 24 21 12 18

Public access

View all

11 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Claude KirchnerInriaVerified email at inria.fr
Michel CosnardCôte d'Azur University, FranceVerified email at inria.fr
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaVerified email at unive.it
Pierre LescanneProfesseur émérite à l'ENS de LyonVerified email at ens-lyon.fr
Viviana BonoUniversita` di TorinoVerified email at di.unito.it
Arnaud SpiwackDirector, Research, Tweag & Modus CreateVerified email at spiwack.net
Marino MiculanUniversity of Udine, ItalyVerified email at uniud.it
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Pietro Di GianantonioUniversità di UdineVerified email at uniud.it
Bojan MarinkovicMathematical Institute of the Serbian Academy of Sciences and ArtsVerified email at mi.sanu.ac.rs
Riccardo LotiCSO, Weeo PT Ltd.Verified email at tierratelematics.com
Zoran OgnjanovicResearch Professor, Matematicki institut SANUVerified email at mi.sanu.ac.rs
Claudio CasettiPolitecnico di TorinoVerified email at polito.it
Dominique ColnetLORIAVerified email at loria.fr
Bongiovanni FrancescoLuxProvideVerified email at lxp.lu
Cédric TedeschiAssociate professor, U. Rennes 1 - IRISAVerified email at inria.fr
Steffen van BakelImperial College LondonVerified email at doc.ic.ac.uk
Giuseppe PiroFull Professor in Telecommunications, Politecnico di BariVerified email at giuseppepiro.com
L. Alfredo GriecoFull Professor @ "Politecnico di Bari" ItalyVerified email at poliba.it
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it

Luigi Liquori

Directeur de Recherche INRIA

Verified email at inria.fr - Homepage

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


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors