Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Former team : MLIA
Publications APR201720182019202020212022Total
Books0001102
Edited books0000000
Journal articles54566026
Book chapters0100203
Conference papers1312161511067
Habilitations1000102
Theses12713115
LIP6
  • H. Belhaouari, F. Peschanski : “A Constraint Logic Programming Approach to Automated Testing”, 24th International Conference on Logic Programming, vol. 5366, Lecture Notes in Computer Science, Udine, Italy, pp. 754-758, (Springer-Verlag) [Belhaouari 2008a]
  • O. Bodini, A. Darrasse, M. Soria : “Distances in random Apollonian network structures”, 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008), vol. DMTCS Proceedings vol. AJ, 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008), DMTCS Proceedings, Viña del Mar, Chile, pp. 307-318, (Discrete Mathematics and Theoretical Computer Science) [Bodini 2008]
  • C. Pivoteau, B. Salvy, M. Soria : “Boltzmann Oracle for Combinatorial Systems”, Fifth Colloquium on Mathematics and Computer Science, vol. DMTCS Proceedings vol. AI, Fifth Colloquium on Mathematics and Computer Science, DMTCS Proceedings, Blaubeuren, Germany, pp. 475-488, (Discrete Mathematics & Theoretical Computer Science) [Pivoteau 2008]
  • A. Valibouze : “Calcul du corps des racines d'un polynôme”, Premier colloque franco-maghrébin de Calcul formel, Iles de Kerkennah, Tunisia [Valibouze 2008a]
  • A. Valibouze, R. Legrand : “L'informatique par le calcul formel”, Colloque international ePrep 2008, Gif Sur Yvette, France [Valibouze 2008d]