Login / Signup
Tristan Gillard
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 2
Top Topics
Functional Programs
Term Rewriting Systems
Context Dependent
Simulated Annealing
Top Venues
SAB
WRLA@ETAPS
</>
Publications
</>
Tristan Gillard
,
Jérémy Fix
,
Alain Dutech
Exploring Sensitization in the Context of Extending the Behavior of an Artificial Agent.
SAB
(2022)
Thomas Genet
,
Tristan Gillard
,
Timothée Haudebourg
,
Sébastien Lê Cong
Extending Timbuk to Verify Functional Programs.
WRLA@ETAPS
(2018)