1994 | ||
---|---|---|
4 | G. Guiho, F. Mejia: Operational Safety Critical Software Methods in Railways. IFIP Congress (3) 1994: 262-269 | |
1985 | ||
3 | Christine Choppy, G. Guiho, Stéphane Kaplan: A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics. TAPSOFT, Vol.1 1985: 403-415 | |
1976 | ||
2 | EE | G. Guiho: Data compression producing structures - Discoveries. Inf. Process. Manage. 12(2): 133-139 (1976) |
1971 | ||
1 | EE | J. C. Simon, G. Guiho: Picture representation and transformations by computer. Pattern Recognition 3(2): 169-178 (1971) |
1 | Christine Choppy | [3] |
2 | Stéphane Kaplan | [3] |
3 | F. Mejia | [4] |
4 | J. C. Simon | [1] |