Thibaut Girka

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Control Program

Text Generation

Semantically Meaningful

Top Venues

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Thibaut Girka, David Mentré, Yann Régis-Gianas
Verifiable semantic difference languages. PPDP (2017)
Thibaut Girka, David Mentré, Yann Régis-Gianas
A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences. ATVA (2015)