Samir Genaim

Identifiers

• name variant Samir Genaim 0.60 · backfill

Papers (10)

1. Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets cs.PL · 2018 · author #3
2. On Multiphase-Linear Ranking Functions cs.PL · 2017 · author #2
3. EasyInterface: A toolkit for rapid development of GUIs for research prototype tools cs.SE · 2017 · author #2
4. Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions cs.PL · 2015 · author #2
5. Challenges and Recommendations for Preparing HPC Applications for Exascale cs.DC · 2015 · author #4
6. Inference of Field-Sensitive Reachability and Cyclicity cs.PL · 2013 · author #2
7. Proving Termination Starting from the End cs.LO · 2013 · author #2
8. Reachability-based Acyclicity Analysis by Abstract Interpretation cs.PL · 2012 · author #1
9. Worst-Case Groundness Analysis Using Definite Boolean Functions cs.PL · 2004 · author #1
10. Inferring Termination Conditions for Logic Programs using Backwards Analysis cs.PL · 2003 · author #1

Mentions

• 1504.05018 #2 · backfill · confidence 0.70 Samir Genaim
• 1503.06974 #4 · backfill · confidence 0.70 Samir Genaim
• 1306.6526 #2 · backfill · confidence 0.70 Samir Genaim
• 1302.4539 #2 · backfill · confidence 0.70 Samir Genaim
• 1206.2188 #1 · backfill · confidence 0.70 Samir Genaim

Frequent Coauthors

• Amir M. Ben-Amram 3 shared papers
• Damiano Zanardini 2 shared papers
• Einar Broch Johnsen 2 shared papers
• Michael Codish 2 shared papers
• Achim Streit 1 shared papers
• Costas Bekas 1 shared papers
• Erika Abraham 1 shared papers
• Ivan Kondov 1 shared papers
• Ivona Brandic 1 shared papers
• Jacob M. Howe 1 shared papers
• Jes\'us Dom\'enech 1 shared papers
• Jes\'us J. Dom\'enech 1 shared papers
• Pierre Ganty 1 shared papers
• Rudolf Schlatte 1 shared papers
• Sabri Pllana 1 shared papers