Statistics
Publications
6
Citations
109
H-Index
6
Active since
2007
Johannes Kanig is an author at Laboratoire de Recherche en Informatique specializing in computer science, computing, and formal methods.
Publications per year
2007–2018
6
6
Integrating Formal Program Verication with Testing
Cyrille Comar, Johannes Kanig, Yannick Moy · 2012 · 19 citations
Johannes Kanig, Jean-Christophe Filliâtre · 2009 · 16 citations
Adding Decision Procedures to SMT Solvers Using Axioms with Triggers
Claire Dross, Sylvain Conchon, Johannes Kanig et al. · Journal of Automated Reasoning · 2015 · 16 citations · Full text
Claire Dross, Sylvain Conchon, Johannes Kanig et al. · EPiC series in computing · 2018 · 15 citations · Full text
1–5 of 6