Publicaciones en colaboración con investigadores/as de Cornell University (9)

2017

  1. Real time canopy density validation using ultrasonic envelope signals and point quadrat analysis

    Computers and Electronics in Agriculture, Vol. 134, pp. 43-50

2015

  1. Precision fruit spraying: measuring canopy density and volume for air and liquid control

    SuproFruit 2015 - 13th Workshop on Spray Application in Fruit Growing

  2. Real time canopy density estimation using ultrasonic envelope signals in the orchard and vineyard

    Computers and Electronics in Agriculture, Vol. 115, pp. 108-117

2007

  1. Regular-SAT: A many-valued approach to solving combinatorial problems

    Discrete Applied Mathematics, Vol. 155, Núm. 12, pp. 1613-1626

2001

  1. Capturing structure with satisfiability

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Extending the reach of SAT with many-valued logics

    Electronic Notes in Discrete Mathematics, Vol. 9, pp. 392-407