Didier Buchs
Scholar

Didier Buchs

Google Scholar ID: 3dWTmooAAAAJ
Professor of Computer Science, Geneva University
Software engineeringFormal methodsTestingModel Checking
Citations & Impact
All-time
Citations
1,953
 
H-index
22
 
i10-index
51
 
Publications
20
 
Co-authors
7
list available
Contact
No contact links provided.
Publications
1 items
Symbolic Model Checking Using Intervals of Vectors
Applications and Theory of Petri Nets · 2026
Cited
0
Resume (English only)