Login / Signup
Daniel Moura
Publication Activity (10 Years)
Years Active: 2006-2022
Publications (10 Years): 4
Top Topics
Reprojection Error
Control Structure
Intermediate Level
Intermediate Representation
Top Venues
Comput. Electron. Agric.
CoRR
ISSTA
</>
Publications
</>
Rafael Menezes
,
Daniel Moura
,
Helena Cavalcante
,
Rosiane de Freitas
,
Lucas C. Cordeiro
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation.
ISSTA
(2022)
Rafael Menezes
,
Daniel Moura
,
Helena Cavalcante
,
Rosiane de Freitas
,
Lucas C. Cordeiro
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation.
CoRR
(2022)
Maxime Ryckewaert
,
Daphné Héran
,
Thierry Simonneau
,
Florent Abdelghafour
,
Romain Boulord
,
Nicolas Saurin
,
Daniel Moura
,
Sílvia Mas Garcia
,
Ryad Bendoula
Physiological variable predictions using VIS-NIR spectroscopy for water stress detection on grapevine: Interest in combining climate data using multiblock method.
Comput. Electron. Agric.
197 (2022)
Maxime Ryckewaert
,
Nathalie Gorretta
,
Fabienne Henriot
,
Alexia Gobrecht
,
Daphné Héran
,
Daniel Moura
,
Ryad Bendoula
,
Jean-Michel Roger
Potential of high-spectral resolution for field phenotyping in plant breeding: Application to maize under water stress.
Comput. Electron. Agric.
189 (2021)
Sylvain Jay
,
Gilles Rabatel
,
Xavier Hadoux
,
Daniel Moura
,
Nathalie Gorretta
In-field crop row phenotyping from 3D modeling performed using Structure from Motion.
Comput. Electron. Agric.
110 (2015)
Daniel Moura
,
Eugénio Oliveira
Fighting fire with agents: an agent coordination model for simulated firefighting.
SpringSim (2)
(2007)
Daniel Moura
,
Eugénio Oliveira
Fighting Fire with Agents.
EUMAS
(2006)