Mascle, Corto N.
Documents Indexed: | 8 Publications since 1998 |
Co-Authors: | 12 Co-Authors with 7 Joint Publications |
320 Co-Co-Authors |
all
top 5
Co-Authors
Serials
1 | International Journal of Production Research |
1 | SIAM Journal on Discrete Mathematics |
1 | Formal Methods in System Design |
Fields
Publications by Year
all
top 5
Cited by 25 Authors
Cited in 5 Serials
2 | Formal Methods in System Design |
1 | Automatica |
1 | Theoretical Computer Science |
1 | Information and Computation |
1 | Journal of Logical and Algebraic Methods in Programming |
Cited in 4 Fields
7 | Computer science (68-XX) |
4 | Mathematical logic and foundations (03-XX) |
1 | Systems theory; control (93-XX) |
1 | Information and communication theory, circuits (94-XX) |