| Current teams : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
| Former team : | ACASA |
| Publications PolSys | 2023 | 2024 | Total |
|---|---|---|---|
| Books | 0 | 0 | 0 |
| Edited books | 0 | 0 | 0 |
| Journal articles | 7 | 7 | 14 |
| Book chapters | 0 | 0 | 0 |
| Conference papers | 7 | 9 | 16 |
| Habilitations | 1 | 0 | 1 |
| Thesis | 2 | 1 | 3 |
- Martin R. Albrecht, C. Cid, J.‑Ch. Faugère, L. Perret : “On the relation between the MXL family of algorithms and Gröbner basis algorithms”, Journal of Symbolic Computation, vol. 47 (8), pp. 926-941, (Elsevier) [Albrecht 2012b]
- C. Carlet, J.‑Ch. Faugère, Ch. Goyet, G. Renault : “Analysis of the algebraic side channel attack”, Journal of Cryptographic Engineering, vol. 2 (1), pp. 45-62, (Springer) [Carlet 2012]
- X. Chen, D. Wang : “Management of Geometric Knowledge in Textbooks”, Data and Knowledge Engineering, vol. 73, pp. 43-57, (Elsevier) [Chen 2012a]
- X. Chen, D. Wang, T. Zhao : “GeoText: An Intelligent Dynamic Geometry Textbook (Extended Abstract)”, ACM Communications in Computer Algebra, vol. 46 (4), pp. 171-175, (Association for Computing Machinery (ACM)) [Chen 2012b]
- A. Greuet, F. Guo, M. Safey El Din, L. Zhi : “Global optimization of polynomials restricted to a smooth variety using sums of squares”, Journal of Symbolic Computation, vol. 47 (5), pp. 503-518, (Elsevier) [Greuet 2012]
- H. Hong, M. Safey El Din : “Variant Quantifier Elimination”, Journal of Symbolic Computation, vol. 47 (7), International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), pp. 883-901, (Elsevier) [Hong 2012]
- X. Li, D. Wang : “Simple Decomposition of Polynomial Sets over Finite Fields”, Journal of Systems Science and Mathematical Sciences, vol. 32 (1), pp. 15-26, (Kexue Chubanshe) [Li 2012]
- D. Lin, J.‑Ch. Faugère, L. Perret, T. Wang : “On enumeration of polynomial equivalence classes and their application to MPKC”, Finite Fields and Their Applications, vol. 18 (2), pp. 283-302, (Elsevier) [Lin 2012]
- Ch. Mou : “Design of termination criterion of BMS algorithm for lexicographical ordering”, Journal of Computer Applications, vol. 32 (11), pp. 2977-2980, (Science Press) [Mou 2012]
- W. Niu, D. Wang : “Algebraic Analysis of Stability and Bifurcation of a Self-assembling Micelle System”, Applied Mathematics and Computation, vol. 219 (1), pp. 108-121, (Elsevier) [Niu 2012]
- S. Orange, G. Renault, K. Yokoyama : “Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries”, Mathematics in Computer Science, vol. 6 (3), pp. 217-233, (Springer) [Orange 2012]
- E. Tsigaridas : “Improved bounds for the CF algorithm”, Theoretical Computer Science, pp. 1-12, (Elsevier) [Tsigaridas 2012]
- D. Wang : “Algebraic Stability Criteria and Symbolic Derivation of Stability Conditions for Feedback Control Systems”, International Journal of Control, vol. 85 (10), pp. 1414-1421, (Taylor & Francis) [Wang 2012]