Old Web
English
Sign In
Acemap
>
authorDetail
>
Lies Lakhdar-Chaouch
Lies Lakhdar-Chaouch
French Institute for Research in Computer Science and Automation
Abstract interpretation
Mathematics
Static analysis
Computer science
Discrete mathematics
4
Papers
27
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Partnerships and Cooperations - National Initiatives
2011
Pascal Fradet
Marnes Hoff
Bertrand Jeannet
Lies Lakhdar-Chaouch
Pascal Sotin
Peter Schrammel
Gregor Goessler
Sebti Mouelhi
Gwenaël Delaval
Alain Girault
Xavier Nicollin
Show All
Source
Cite
Save
Citations (0)
Widening with thresholds for programs with complex control graphs
2011
ATVA | Automated Technology for Verification and Analysis
Lies Lakhdar-Chaouch
Bertrand Jeannet
Alain Girault
Show All
Source
Cite
Save
Citations (27)
Other Grants and Activities - National actions
2006
Pascal Fradet
Marnes Hoff
Bertrand Jeannet
Lies Lakhdar-Chaouch
Alain Girault
Show All
Source
Cite
Save
Citations (0)
New Results - Static Analysis and Abstract Interpretation
2006
Alain Girault
Bertrand Jeannet
Lies Lakhdar-Chaouch
Peter Schrammel
Pascal Sotin
Show All
Source
Cite
Save
Citations (0)
1