Anissa Kheireddine

Identifiers

• name variant Anissa Kheireddine 0.60 · backfill

Papers (1)

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

Mentions

• 2606.18977 #1 · arxiv_oai · confidence 0.70 Anissa Kheireddine

Frequent Coauthors

• Hugo De Sa Pereira Pinto 1 shared papers
• Souheib Baarir 1 shared papers