Mauborgne, Laurent
Documents Indexed: | 13 Publications since 1998 |
1 Contribution as Editor | |
Co-Authors: | 8 Co-Authors with 8 Joint Publications |
111 Co-Co-Authors |
all
top 5
Co-Authors
6 | single-authored |
6 | Cousot, Patrick |
6 | Cousot, Radhia |
4 | Rival, Xavier |
3 | Feret, Jérôme |
3 | Miné, Antoine |
2 | Monniaux, David P. |
1 | Blanchet, Bruno |
1 | Massé, Damien |
Serials
2 | Science of Computer Programming |
1 | Formal Methods in System Design |
1 | Nordic Journal of Computing |
1 | Journal of the ACM |
1 | Electronic Notes in Theoretical Computer Science |
Fields
14 | Computer science (68-XX) |
1 | General and overarching topics; collections (00-XX) |
1 | Mathematical logic and foundations (03-XX) |
Publications by Year
all
top 5
Cited by 324 Authors
all
top 5
Cited in 21 Serials
all
top 5