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

Aurèle Barrière

swiss federal institutes of technology domain

4H-index
12Paper Count
82Citation Count
Published Papers 1
Publication Date
logo
Formal Verification for JavaScript Regular Expressions: A Proven Mechanized Semantics and Its Applications
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errBarriere, Aurele; Deng, Victor; Pit-Claudel, Clement
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
C
Clément Pit-Claudel
H-index: 11 · Papers: 41
V
Victor Deng
H-index: 0 · Papers: 4
All loaded