Tunisia)

Identifiers

• name variant Tunisia) 0.60 · backfill

Papers (9)

1. Programming Without Refining cs.SE · 2018 · author #2
2. Program Derivation by Correctness Enhacements cs.LO · 2016 · author #4
3. Program Repair by Stepwise Correctness Enhancement cs.SE · 2016 · author #5
4. Digital Investigation of Security Attacks on Cardiac Implantable Medical Devices cs.CR · 2014 · author #4
5. Performing Implicit Induction Reasoning with Certifying Proof Environments cs.LO · 2013 · author #8
6. A New PVSS Scheme with a Simple Encryption Function cs.CR · 2013 · author #3
7. Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection cs.LO · 2013 · author #3
8. Building a Data Warehouse for National Social Security Fund of the Republic of Tunisia cs.DB · 2010 · author #4
9. Projectively Invariant Cocycles of Holomorphic Vector Fields on an Open Riemann Surface math.CV · 2001 · author #4

Mentions

• 1410.4303 #4 · backfill · confidence 0.70 Tunisia)
• 1307.8214 #8 · backfill · confidence 0.70 Tunisia)
• 1307.8209 #3 · backfill · confidence 0.70 Tunisia)
• 1307.8208 #3 · backfill · confidence 0.70 Tunisia)
• 1006.0876 #4 · backfill · confidence 0.70 Tunisia)

Frequent Coauthors

• Ali Mili (NJIT 2 shared papers
• Canada) 2 shared papers
• Nafi Diallo (NJIT 2 shared papers
• University of Carthage 2 shared papers
• USA) 2 shared papers
• Wided Ghardallou (FST 2 shared papers
• Ali Mili (New Jersey Institute of Technology Newark 1 shared papers
• Amine Farhat 1 shared papers
• Amira Henaien (LITA 1 shared papers
• Assia Ben Shil (LIP2 Laboratory 1 shared papers
• Faculty of Sciences of Tunis 1 shared papers
• France 1 shared papers
• France) 1 shared papers
• H. Gargoubi (I. P. E. M. 1 shared papers
• Higher School of Communication of Tunis (Sup'Com) 1 shared papers
• Ile du Saulcy 1 shared papers
• (Institut Sup\'erieur de Gestion 1 shared papers
• Japan) 1 shared papers
• Jules Desharnais (Laval University 1 shared papers
• Kaouther Blibech (LIP2 Laboratory 1 shared papers