Luigi Liquori

Cituota

	Visi	Nuo 2020
Šaltiniai	1595	124
h-rodyklė	20	5
i10-rodyklė	53	1

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

Viešas pasiekiamumas

Peržiūrėti viską

11 straipsnių

0 straipsnių

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Claude KirchnerInriaPatvirtintas el. paštas inria.fr
Michel CosnardCôte d'Azur University, FrancePatvirtintas el. paštas inria.fr
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaPatvirtintas el. paštas unive.it
Pierre LescanneProfesseur émérite à l'ENS de LyonPatvirtintas el. paštas ens-lyon.fr
Viviana BonoUniversita` di TorinoPatvirtintas el. paštas di.unito.it
Arnaud SpiwackDirector, Research, Tweag & Modus CreatePatvirtintas el. paštas spiwack.net
Marino MiculanUniversity of Udine, ItalyPatvirtintas el. paštas uniud.it
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityPatvirtintas el. paštas di.unito.it
Pietro Di GianantonioUniversità di UdinePatvirtintas el. paštas uniud.it
Bojan MarinkovicMathematical Institute of the Serbian Academy of Sciences and ArtsPatvirtintas el. paštas mi.sanu.ac.rs
Riccardo LotiCSO, Weeo PT Ltd.Patvirtintas el. paštas tierratelematics.com
Zoran OgnjanovicResearch Professor, Matematicki institut SANUPatvirtintas el. paštas mi.sanu.ac.rs
Claudio CasettiPolitecnico di TorinoPatvirtintas el. paštas polito.it
Dominique ColnetLORIAPatvirtintas el. paštas loria.fr
Bongiovanni FrancescoLuxProvidePatvirtintas el. paštas lxp.lu
Cédric TedeschiAssociate professor, U. Rennes 1 - IRISAPatvirtintas el. paštas inria.fr
Steffen van BakelImperial College LondonPatvirtintas el. paštas doc.ic.ac.uk
Giuseppe PiroFull Professor in Telecommunications, Politecnico di BariPatvirtintas el. paštas giuseppepiro.com
L. Alfredo GriecoFull Professor @ "Politecnico di Bari" ItalyPatvirtintas el. paštas poliba.it
Giorgio DelzannoAssociate Professor, Università di GenovaPatvirtintas el. paštas unige.it

Stebėti

Luigi Liquori

Directeur de Recherche INRIA

Patvirtintas el. paštas inria.fr - Pagrindinis puslapis

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


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai