Équipes actuelles : ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL
Ancienne équipe : MLIA
Publications APR201720182019202020212022Total
Livres0001102
Éditions de livres0000000
Articles de revues54565328
Chapitres de livres0100203
Conférences1312161512371
Habilitations1000102
Thèses12713115
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”, Discrete Mathematics and Theoretical Computer Science, 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”, Discrete Mathematics and Theoretical 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]