Hugo De Sa Pereira Pinto

Identifiers

• name variant Hugo De Sa Pereira Pinto 0.60 · backfill

Papers (1)

1. PaSTTeL: Parallel analysiS framework for Termination and non-Termination of Lasso programs cs.LO · 2026 · author #3

Mentions

• 2606.18977 #3 · arxiv_oai · confidence 0.70 Hugo De Sa Pereira Pinto

Frequent Coauthors

• Anissa Kheireddine 1 shared papers
• Souheib Baarir 1 shared papers