Luigi Liquori

Statistics

Publications

Citations

426

H-Index

Active since

1997

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

University of Udine

Centre Inria d'Université Côte d'Azur

Laboratoire Lorrain de Recherche en Informatique et ses Applications

University of Turin

Luigi Liquori is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and type systems.

ORCID

Publications per year

1997–2013

Publications

Pure patterns type systems

Gilles Barthe, Horatiu Cirstea, Claude Kirchner et al. · 2003 · 58 citations · Full text

Computing, Computer Science, Algebra +14

FeatherTrait

Luigi Liquori, Arnaud Spiwack · ACM Transactions on Programming Languages and Systems · 2008 · 54 citations · Full text

Computing, Computer Science, Formal Methods +16

Matching Power

Horatiu Cirstea, Claude Kirchner, Luigi Liquori · Rewriting Techniques and Applications · 2001 · 45 citations

Computing, Computer Science, Algebra +11

Rewrite Strategies in the Rewriting Calculus

Horatiu Cirstea, Claude Kirchner, Luigi Liquori et al. · Electronic Notes in Theoretical Computer Science · 2003 · 41 citations · Full text

Computing, Computer Science, Formal Methods +7

A lambda calculus of objects with self-inflicted extension

Pietro Di Gianantonio, Furio Honsell, Luigi Liquori · 1998 · 32 citations · Full text

Computing, Computer Science, Programming Languages +16

1–5 of 18