Current teams :	ACASA ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MLIA MOCAH MoVe NPA PEQUAN Phare PolSys QI RO SMA SYEL Whisper
Former teams :	AnimatLab MALIRE REGAL SALSA SPI SPIRAL
Former research topics :	ANP APA ASIM CALFOR OASIS RP SPI SRC SYSDEF

Publications APR	2015	2016	2017	2018	2019	2020	Total
Books	0	0	0	0	0	0	0
Edited books	0	1	0	0	0	0	1
Journal articles	11	10	5	5	8	6	45
Book chapters	0	0	0	0	0	0	0
Conference papers	13	12	13	14	16	7	75
Habilitations	0	0	1	0	0	0	1
Thesis	0	1	1	2	3	0	7

LIP6

• H. Belhaouari, F. Peschanski : “A Constraint Logic Programming Approach to Automated Testing”, 24^th 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”, 20^th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008), vol. DMTCS Proceedings vol. AJ, 20^th 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]