Personal information
Activities
Works (10)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2019
|
Book
EID:
2-s2.0-85064934995
Part of
ISBN:
16113349 03029743
Contributors:
Dartois, L.;
Filiot, E.;
Talbot, J.-M.
Source:
Luc Dartois
via
Scopus - Elsevier
International Journal of Foundations of Computer Science
2018
|
Journal article
EID:
2-s2.0-85051989868
Part of
ISBN:
01290541
Contributors:
Dartois, L.;
Jecker, I.;
Reynier, P.-A.
Source:
Luc Dartois
via
Scopus - Elsevier
Proceedings - Symposium on Logic in Computer Science
2018
|
Conference paper
EID:
2-s2.0-85051144164
Part of
ISBN:
10436871
Contributors:
Dartois, L.;
Filiot, E.;
Lhote, N.
Source:
Luc Dartois
via
Scopus - Elsevier
Leibniz International Proceedings in Informatics, LIPIcs
2017
|
Conference paper
EID:
2-s2.0-85027264460
Part of
ISBN:
18688969
Contributors:
Dartois, L.;
Fournier, P.;
Jecker, I.;
Lhote, N.
Source:
Luc Dartois
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
|
Book
EID:
2-s2.0-84979210554
Part of
ISBN:
16113349 03029743
Contributors:
Dartois, L.;
Jecker, I.;
Reynier, P.-A.
Source:
Luc Dartois
via
Scopus - Elsevier
Proceedings - Symposium on Logic in Computer Science
2016
|
Conference paper
EID:
2-s2.0-84994578209
Part of
ISBN:
10436871
Contributors:
Dartois, L.;
Filiot, E.;
Reynier, P.-A.;
Talbot, J.-M.
Source:
Luc Dartois
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
|
Book
EID:
2-s2.0-84943603878
Part of
ISBN:
16113349 03029743
Contributors:
Dartois, L.;
Paperman, C.
Source:
Luc Dartois
via
Scopus - Elsevier
Leibniz International Proceedings in Informatics, LIPIcs
2015
|
Conference paper
EID:
2-s2.0-84959288191
Part of
ISBN:
18688969
Contributors:
Carton, O.;
Dartois, L.
Source:
Luc Dartois
via
Scopus - Elsevier
Leibniz International Proceedings in Informatics, LIPIcs
2013
|
Conference paper
EID:
2-s2.0-84892590324
Part of
ISBN:
18688969
Contributors:
Dartois, L.;
Paperman, C.
Source:
Luc Dartois
via
Scopus - Elsevier
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010
|
Book
EID:
2-s2.0-78049289929
Part of
ISBN:
03029743 16113349
Contributors:
Dartois, L.;
Kufleitner, M.;
Lauser, A.
Source:
Luc Dartois
via
Scopus - Elsevier