Concepedia

Étienne Payet

ÉP

Statistics

Publications

7

Citations

324

H-Index

7

Active since

2006

Affiliations

University of Verona(Current)

Observatoire des Sciences de l'Univers de la Réunion

University of Reunion Island

Étienne Payet is an author at University of Verona specializing in computing, computer science, and programming languages.

Publications per year

2006–2014

7

Publications

7

A termination analyzer for Java bytecode based on path-length

Fausto Spoto, Fred Mesnard, Étienne Payet · ACM Transactions on Programming Languages and Systems · 2010 · 122 citations · Full text

Computing, Computer Science, Algorithms +15

Static analysis of Android programs

Étienne Payet, Fausto Spoto · Information and Software Technology · 2012 · 91 citations · Full text

Computing, Computer Science, Computer Systems +14

Nontermination inference of logic programs

Étienne Payet, Fred Mesnard · ACM Transactions on Programming Languages and Systems · 2006 · 32 citations · Full text

Computing, Computer Science, Algorithms +12

Loop detection in term rewriting using the eliminating unfoldings

Étienne Payet · Theoretical Computer Science · 2008 · 26 citations · Full text

Computing, Computer Science, Natural Language Processing +8

An operational semantics for android activities

Étienne Payet, Fausto Spoto · 2014 · 24 citations · Full text

Computing, Computer Science, Formal Methods +16

1–5 of 7