Jesus Ojeda

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 6

Top Topics

Covering Arrays

Lattice Boltzmann

Top Venues

Publications

Jesus Ojeda
Conformance checking artefacts through weighted partial MaxSAT. Inf. Syst. 114 (2023)
Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres
Incomplete MaxSAT approaches for combinatorial testing. J. Heuristics 28 (4) (2022)
Carlos Ansótegui, Jesus Ojeda, António Pacheco, Josep Pon, Josep M. Salvia, Eduard Torres
OptiLog: A Framework for SAT-based Systems. SAT (2021)
Jesus Ojeda
Partial MaxSAT Computation of Conformance Checking Artefacts. ICPM (2021)
Carlos Ansótegui, Jesus Ojeda, Eduard Torres
Building High Strength Mixed Covering Arrays with Constraints. CP (2021)
Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, Eduard Torres
Incomplete MaxSAT Approaches for Combinatorial Testing. CoRR (2021)
Jesus Ojeda, Antonio Susín
Hybrid Particle Lattice Boltzmann Shallow Water for Interactive Fluid Simulations. GRAPP/IVAPP (2013)
Jesus Ojeda, Antonio Susín
Enhanced Lattice Boltzmann Shallow Waters for Real-time Fluid Simulations. Eurographics (Short Papers) (2013)
Jesus Ojeda, Antonio Susín
Real-Time Lattice Boltzmann Shallow Waters Method for Breaking Wave Simulations. VISIGRAPP (Selected Papers) (2013)