Lescuyer, Stéphane
Author ID: | lescuyer.stephane |
Published as: | Lescuyer, Stéphane |
External Links: | MGP |
Documents Indexed: | 3 Publications since 2007 |
Co-Authors: | 4 Co-Authors with 3 Joint Publications |
44 Co-Co-Authors |
Co-Authors
0 | single-authored |
2 | Conchon, Sylvain |
1 | Contejean, Evelyne |
1 | Couchot, Jean-François |
1 | Kanig, Johannes |
Serials
Publications by Year
all
top 5
Cited by 44 Authors
Cited in 5 Serials
3 | Journal of Automated Reasoning |
1 | Computers & Mathematics with Applications |
1 | Formal Aspects of Computing |
1 | Logical Methods in Computer Science |
1 | Computer Science Review |
Cited in 5 Fields
17 | Computer science (68-XX) |
6 | Numerical analysis (65-XX) |
3 | Mathematical logic and foundations (03-XX) |
2 | Partial differential equations (35-XX) |
1 | Information and communication theory, circuits (94-XX) |