LRDE
LRDE
General Information
Home
People
News
Jobs
Lrde bulletin
Intranet
Research
Projects
Partnerships
Publications
LRDE Seminar
Studying at LRDE
Life at the LRDE
Joining the LRDE
Education
Courses at EPITA
External courses
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
Browse properties
Browse properties
Difference between revisions of "Open positions - PhD"
From LRDE
Revision as of 11:04, 26 July 2018
(
view source
)
Clément Démoulins
(
talk
|
contribs
)
← Older edit
Latest revision as of 11:59, 28 March 2019
(
view source
)
Alexandre Duret-Lutz
(
talk
|
contribs
)
(3 intermediate revisions by the same user not shown)
(No difference)
Latest revision as of 11:59, 28 March 2019
Automates et vérification
Traduction de logique dynamique linéaire en ω-automates
Parallélisation des algorithmes d'ω-automates sur GPU