- Computer Science Laboratory
Current teams : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Publications APR20212022202320242025Total
Books100001
Edited books000000
Articles56105228
Book chapters200002
Conference papers1211710545
Habilitations101002
Thesis3322111
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”, 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]