Luigi Liquori - RankMe

82 papers A* 1A 3B 12C 2Misc 3Journal 22Unranked 37

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Multi-layered Model for Performance Evaluation of oneM2M-Based IoT Solution. IFIPIoT (1) Samir Medjhah, Thierry Monteil, Marie-Agnès Peraldi-Frati, Luigi Liquori
2024	J	`jnl`	Strong Priority and Determinacy in Timed CCS. CoRR Luigi Liquori, Michael Mendler
2022	J	`jnl`	Federating digital contact tracing using structured overlay networks. Comput. Sci. Inf. Syst. Silvia Ghilezan, Simona Kasterovic, Luigi Liquori, Bojan Marinkovic, Zoran Ognjanovic, Tamara Stefanovic
2021	J	`jnl`	A protoype-based approach to object evolution. J. Object Technol. Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
2020	B	`conf`	A Type Checker for a Logical Framework with Union and Intersection Types (System Description). FSCD Claude Stolze, Luigi Liquori
2020	J	`jnl`	A Type Checker for a Logical Framework with Union and Intersection Types. CoRR Luigi Liquori, Claude Stolze
2019	—	`conf`	A Network Aware Resource Discovery Service. EPEW Luigi Liquori, Rossano Gaeta, Matteo Sereno
2019	B	`conf`	The Delta-calculus: Syntax and Types. FSCD Luigi Liquori, Claude Stolze
2018	J	`jnl`	A prototype-based approach to object reclassification. CoRR Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
2018	J	`jnl`	Plugging-in proof development environments using Locks in LF. Math. Struct. Comput. Sci. Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2018	—	`conf`	The Delta-Framework. FSTTCS Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
2018	J	`jnl`	The Delta-calculus: syntax and types. CoRR Luigi Liquori, Claude Stolze
2018	J	`jnl`	The Delta-framework. CoRR Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
2017	—	`conf`	A Decidable Subtyping Logic for Intersection and Union Types. TTCS Luigi Liquori, Claude Stolze
2017	J	`jnl`	LLF CoRR Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2017	J	`jnl`	LLF Log. Methods Comput. Sci. Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2016	B	`conf`	A Realizability Interpretation for Intersection and Union Types. APLAS Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze
2016	J	`jnl`	An open logical framework. J. Log. Comput. Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic
2016	B	`conf`	Implementing Cantor's Paradise. APLAS Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
2015	J	`jnl`	Analyzing the exhaustiveness of the Synapse protocol. Peer-to-Peer Netw. Appl. Bojan Marinkovic, Vincenzo Ciancaglini, Zoran Ognjanovic, Paola Glavan, Luigi Liquori, Petar Maksimovic
2015	—	`conf`	Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. LFMTP Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2014	Misc	`conf`	Backward-Compatible Cooperation of Heterogeneous P2P Systems. ICDCN Giang Ngo Hoang, Luigi Liquori, Hung Nguyen Chan
2014	—	`conf`	L ax F: Side Conditions and External Evidence as Monads. MFCS (1) Furio Honsell, Luigi Liquori, Ivan Scagnetto
2013	Misc	`conf`	A backward-compatible protocol for inter-routing over heterogeneous overlay networks. SAC Giang Ngo Hoang, Luigi Liquori, Vincenzo Ciancaglini, Petar Maksimovic, Hung Nguyen Chan
2013	—	`conf`	CCN-TV: A Data-centric Approach to Real-Time Video Services. AINA Workshops Vincenzo Ciancaglini, Giuseppe Piro, Riccardo Loti, Luigi Alfredo Grieco, Luigi Liquori
2013	—	`conf`	Interconnection of Large Scale Unstructured P2P Networks: Modeling and Analysis. ASMTA Vincenzo Ciancaglini, Rossano Gaeta, Riccardo Loti, Luigi Liquori
2012	—	`conf`	An Extension and Cooperation Mechanism for Heterogeneous Overlay Networks. Networking Workshops Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang, Petar Maksimovic
2012	—	`conf`	Towards a Trust and Reputation Framework for Social Web Platforms. OTM Workshops Thao Nguyen, Luigi Liquori, Bruno Martin, Karl Hanks
2011	B	`conf`	Towards a Common Architecture to Interconnect Heterogeneous Overlay Networks. ICPADS Vincenzo Ciancaglini, Luigi Liquori, Giang Ngo Hoang
2010	—	`conf`	A Distributed Catalog for Digitized Cultural Heritage. ICT Innovations Bojan Marinkovic, Luigi Liquori, Vincenzo Ciancaglini, Zoran Ognjanovic
2010	—	`conf`	CarPal: Interconnecting Overlay Networks for a Community-Driven Shared Mobility. TGC Vincenzo Ciancaglini, Luigi Liquori, Laurent Vanni
2010	—	`conf`	Logic and Computation in a Lambda Calculus with Intersection and Union Types. LPAR (Dakar) Daniel J. Dougherty, Luigi Liquori
2010	—	`conf`	Resource Discovery in the Arigatoni Model. IICS Raphaël Chand, Luigi Liquori, Michel Cosnard
2010	B	`conf`	Synapse: A Scalable Protocol for Interconnecting Heterogeneous Overlay Networks. Networking Luigi Liquori, Cédric Tedeschi, Laurent Vanni, Francesco Bongiovanni, Vincenzo Ciancaglini, Bojan Marinkovic
2009	C	`conf`	Babelchord: a social tower of DHT-based overlay networks. ISCC Luigi Liquori, Cédric Tedeschi, Francesco Bongiovanni
2008	B	`conf`	A Conditional Logical Framework. LPAR Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
2008	B	`conf`	An Overlay Architecture for Vehicular Networks. Networking Luigi Liquori, Diego Borsetti, Claudio Casetti, Carla-Fabiana Chiasserini
2008	J	`jnl`	Extending FeatherTrait Java with Interfaces. Theor. Comput. Sci. Luigi Liquori, Arnaud Spiwack
2008	J	`jnl`	FeatherTrait: A modest extension of Featherweight Java. ACM Trans. Program. Lang. Syst. Luigi Liquori, Arnaud Spiwack
2008	J	`jnl`	Powerful resource discovery for Arigatoni overlay network. Future Gener. Comput. Syst. Raphaël Chand, Michel Cosnard, Luigi Liquori
2008	J	`jnl`	iRho: an imperative rewriting calculus. Math. Struct. Comput. Sci. Luigi Liquori, Bernard P. Serpette
2007	—	`conf`	A Framework for Defining Logical Frameworks. Computation, Meaning, and Logic Furio Honsell, Marina Lenisa, Luigi Liquori
2007	—	`conf`	Improving Resource Discovery in the Arigatoni Overlay Network. ARCS Raphaël Chand, Luigi Liquori, Michel Cosnard
2007	J	`jnl`	Intersection-types à la Church. Inf. Comput. Luigi Liquori, Simona Ronchi Della Rocca
2007	—	`conf`	Logical Networks: Towards Foundations for Programmable Overlay Networks and Overlay Computing Systems. TGC Luigi Liquori, Michel Cosnard
2007	—	`book`	Peter, the Language that does not Exist... (Peter, le langage qui n'existe pas..). Luigi Liquori
2007	J	`jnl`	Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts. J. Autom. Reason. Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
2006	J	`jnl`	Addressed term rewriting systems: application to a typed object calculus. Math. Struct. Comput. Sci. Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori
2006	—	`conf`	Arigatoni: A Simple Programmable Overlay Network. John Vincent Atanasoff Symposium Didier Benza, Michel Cosnard, Luigi Liquori, Marc Vesin
2006	—	`conf`	Virtual Organizations in Arigatoni. DCM@ICALP Michel Cosnard, Luigi Liquori, Raphaël Chand
2005	—	`conf`	A Language for Verification and Manipulation of Web Documents. WWV Luigi Liquori, Furio Honsell, Rekha Redamalla
2005	—	`conf`	A Language for Verification and Manipulation of Web Documents: (Extended Abstract). WWV Luigi Liquori, Furio Honsell, Rekha Redamalla
2005	—	`conf`	iRho: the Software: [System Description]. DCM@ICALP Luigi Liquori
2004	—	`conf`	Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract. TERMGRAPH Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang
2004	—	`conf`	The Polymorphic Rewriting-calculus: [Type Checking vs. Type Inference]. WRLA Luigi Liquori, Benjamin Wack
2004	—	`conf`	Towards an Intersection Typed System ITRS Luigi Liquori, Simona Ronchi Della Rocca
2004	C	`conf`	iRho: an imperative rewriting calculus. PPDP Luigi Liquori, Bernard P. Serpette
2003	B	`conf`	Imperative Object-Based Calculi in Co-inductive Type Theories. LPAR Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
2003	A*	`conf`	Pure patterns type systems. POPL Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2003	—	`conf`	Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. MERLIN Alberto Ciaffaglione, Luigi Liquori, Marino Miculan
2003	—	`conf`	Rewrite strategies in the rewriting calculus. WRS Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack
2003	—	`conf`	Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. TYPES Horatiu Cirstea, Luigi Liquori, Benjamin Wack
2002	—	`conf`	Rewriting Calculus with(out) Types. WRLA Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2001	—	`conf`	Matching Power. RTA Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2001	B	`conf`	The Rho Cube. FoSSaCS Horatiu Cirstea, Claude Kirchner, Luigi Liquori
2000	—	`conf`	Match-O, A Dialect of Eiffel with Match-Types. TOOLS (37) Dominique Colnet, Luigi Liquori
2000	J	`jnl`	Object calculi in linear logic. J. Log. Comput. Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
1999	—	`conf`	A Framework for Defining Object-Calculi. World Congress on Formal Methods Frédéric Lang, Pierre Lescanne, Luigi Liquori
1999	J	`jnl`	A Subtyping for Extensible, Incomplete Objects. Fundam. Informaticae Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
1998	A	`conf`	A Lambda Calculus of Objects with Self-Inflicted Extension. OOPSLA Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
1998	—	`conf`	Bounded Polymorphism for Extensible Objects. TYPES Luigi Liquori
1998	A	`conf`	On Object Extension. ECOOP Luigi Liquori
1997	A	`conf`	An Extended Theory of Primitive Objects: FIrst Order System. ECOOP Luigi Liquori
1997	J	`jnl`	Comparing Cubes of Typed and Type Assignment Systems. Ann. Pure Appl. Log. Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
1997	—	`conf`	Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori
1996	B	`conf`	A Lambda Calculus of Incomplete Objects. MFCS Viviana Bono, Michele Bugliesi, Luigi Liquori
1996	—	`conf`	A Linear Logic Calculus Objects. JICSLP Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
1996	—	`conf`	A Typed Lambda Calculus of Objects (Extended Abstract). ASIAN Luigi Liquori, Giuseppe Castagna
1996	—	`—`	Type Assigment Systems for Lambda Calculi and for the Lambda Calculus of Objects. (Sistemi di Assegnamento di tipi per il lambda calcolo e per il lambda calcolo degli oggetti / Systèmes d'inférence de type pour le lambda-calcul et pour le lambda-calcul à objets). Luigi Liquori
1994	B	`conf`	A Subtyping for the Fisher-Honsell-Mitchell Lambda Calculus of Objects. CSL Viviana Bono, Luigi Liquori
1994	Misc	`conf`	Comparing Cubes. LFCS Steffen van Bakel, Luigi Liquori, Simona Ronchi Della Rocca, Pawel Urzyczyn
1994	—	`conf`	Dealing with Explicit Exceptions in Prolog. GULP-PRODE (2) Luigi Liquori, Maria Luisa Sapino