Current teams : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Former team : Whisper
Publications APR201620172018201920202021Total
Books0000112
Edited books1000001
Journal articles95456736
Book chapters0010023
Conference papers1113121615875
Habilitations0100012
Theses11271214
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]