logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
Z

Zakaria Chihani

CEA

7H-index
50Paper Count
163Citation Count
Published Papers 3
Publication Date
logo
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errAlberti, Michele; Bobot, Francois; Girard-Satabin, Julien; Grastien, Alban; Varasse, Aymeric; Chihani, Zakaria
errShare
errSave
errSTATIC ANALYSIS, SAS 2025
IF0
err2026-01-01
err0
PREAI
errLemesle, Augustin; Lehmann, Julien; Le Gall, Tristan; Chihani, Zakaria
errShare
errSave
errAI VERIFICATION, SAIV 2025
IF0
err2026-01-01
err0
PREAI
errLemesle, Augustin; Lehmann, Julien; Le Gall, Tristan; Chihani, Zakaria
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Alban Grastien
H-index: 17 · Papers: 100
F
François Bobot
H-index: 11 · Papers: 47
M
Michele Alberti
H-index: 9 · Papers: 52
J
Julien Girard-Satabin
H-index: 2 · Papers: 23
A
Augustin Lemesle
H-index: 2 · Papers: 12
View more