Jo\~ao Sousa Pinto

Identifiers

• name variant Jo\~ao Sousa Pinto 0.60 · backfill

Papers (1)

1. On Termination of Integer Linear Loops cs.CC · 2014 · author #2

Mentions

• 1407.1891 #2 · backfill · confidence 0.70 Jo\~ao Sousa Pinto

Frequent Coauthors

• James Worrell 1 shared papers
• Jo\"el Ouaknine 1 shared papers