Published in
From LRDE
A
Atlas-guided recognition of cerebral structures in MRI using fusion of fuzzy structural information +
Proceeding of CIMAF Symposium on Artificial Intelligence +
Proceedings of the IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06) +
Multimedia Tools and Applications +
Proceedings of the 28th C&ESAR +
B
Third European Lisp Workshop at ECOOP +
IEEE Transactions on Medical Imaging +
Proceedings of the 14th International Conference on Document Analysis and Recognition (ICDAR) +
Proceedings of the First European Lisp Symposium +
Journal of Universal Computer Science +
IEEE Transactions on Engineering Management +
Pattern Recognition +
Building Efficient Model checkers using Hierarchical Set Decision Diagrams and automatic Saturation +
Fundamenta Informaticae +
Invited talk to SUMo'11 +
C
Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18) +
Proceedings of the International Lisp Conference +
Proceedings of the International MultiConference of Engineers and Computer Scientists +
Proceedings of the 3rd European Lisp Symposium +
Actes du 26e Colloque GRETSI +