Personal information
Activities
Employment (1)
2012-12-10
to
present
Employment
Source:
François Bobot
Works (11)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018
|
Book
EID:
2-s2.0-85050361363
Contributors:
Titolo, L.;
Moscato, M.M.;
Muñoz, C.A.;
Dutle, A.;
Bobot, F.
Source:
François Bobot
via
Scopus - Elsevier
Treiziemes Journees Francophones de Programmation par Contraintes, JFPC 2017
2017
|
Conference paper
EID:
2-s2.0-85026389616
Contributors:
Chihani, Z.;
Marre, B.;
Bobot, F.;
Bardin, S.
Source:
François Bobot
via
Scopus - Elsevier
CEUR Workshop Proceedings
2017
|
Conference paper
EID:
2-s2.0-85030095404
Contributors:
Marre, B.;
Bobot, F.;
Chihani, Z.
Source:
François Bobot
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2017
|
Book
EID:
2-s2.0-85020795688
Contributors:
Chihani, Z.;
Marre, B.;
Bobot, F.;
Bardin, S.
Source:
François Bobot
via
Scopus - Elsevier
International Journal on Software Tools for Technology Transfer
2015
|
Journal article
EID:
2-s2.0-84943454863
Contributors:
Bobot, F.;
Filliâtre, J.-C.;
Marché, C.;
Paskevich, A.
Source:
François Bobot
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
|
Book
EID:
2-s2.0-84909639253
Contributors:
Amadio, R.M.;
Ayache, N.;
Bobot, F.;
Boender, J.P.;
Campbell, B.;
Garnier, I.;
Madet, A.;
McKinna, J.;
Mulligan, D.P.;
Piccolo, M.
et al.
Source:
François Bobot
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014
|
Book
EID:
2-s2.0-84927642115
Contributors:
Bobot, F.;
Filliâtre, J.-C.;
Marché, C.;
Melquiond, G.;
Paskevich, A.
Source:
François Bobot
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
|
Book
EID:
2-s2.0-84863618194
Contributors:
Bobot, F.;
Conchon, S.;
Contejean, E.;
Iguernelala, M.;
Mahboubi, A.;
Mebsout, A.;
Melquiond, G.
Source:
François Bobot
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
|
Book
EID:
2-s2.0-84871656101
Contributors:
Bobot, F.;
Filliâtre, J.-C.
Source:
François Bobot
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011
|
Book
EID:
2-s2.0-80054020370
Contributors:
Bobot, F.;
Paskevich, A.
Source:
François Bobot
via
Scopus - Elsevier
ACM International Conference Proceeding Series
2008
|
Conference paper
EID:
2-s2.0-67650705521
Contributors:
Bobot, F.;
Conchon, S.;
Contejean, E.;
Lescuyer, S.
Source:
François Bobot
via
Scopus - Elsevier