pith. sign in

University of Carthage

Identifiers

  • name variant University of Carthage 0.60 · backfill

Papers (2)

  1. Digital Investigation of Security Attacks on Cardiac Implantable Medical Devices cs.CR · 2014 · author #3
  2. Performing Implicit Induction Reasoning with Certifying Proof Environments cs.LO · 2013 · author #7

Mentions

  • 1410.4303 #3 · backfill · confidence 0.70 University of Carthage
  • 1307.8214 #7 · backfill · confidence 0.70 University of Carthage

Frequent Coauthors