Trieu, Alix
Documents Indexed: | 1 Publication since 2017 |
Co-Authors: | 2 Co-Authors with 1 Joint Publication |
53 Co-Co-Authors |
Co-Authors
0 | single-authored |
1 | Blazy, Sandrine |
1 | Pichardie, David |
Serials
Fields
1 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 8 Authors
2 | Ene, Cristian |
2 | Mounier, Laurent |
2 | Potet, Marie-Laure |
1 | Barthe, Gilles |
1 | Betarte, Gustavo |
1 | Campo, Juan Diego |
1 | Luna, Carlos |
1 | Pichardie, David |
Cited in 2 Serials
1 | Journal of Automated Reasoning |
1 | Logical Methods in Computer Science |
Cited in 2 Fields
3 | Computer science (68-XX) |
2 | Information and communication theory, circuits (94-XX) |