Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Downscaling of SMOS derived soil moisture and validation with ground truth data., , , , , and . IGARSS, page 735-738. IEEE, (2013)Sampled Data Model Predictive Idle Speed Control of Ultra-Lean Burn Hydrogen Engines., , and . IEEE Trans. Contr. Sys. Techn., 21 (2): 538-545 (2013)Direct search for wave operator by a Genetic Algorithm (GA): Route to few eigenvalues of a Hamiltonian., and . IEEE Congress on Evolutionary Computation, page 3812-3817. IEEE, (2007)Pixie: A System for Recommending 3+ Billion Items to 200+ Million Users in Real-Time., , , , , , , and . CoRR, (2017)Dependent partitioning., , , , and . OOPSLA, page 344-358. ACM, (2016)mKRISHI: Simplification Of IVR Based Services For Rural Community., , , , , and . IHCI, page 154-159. ACM, (2014)Synthesizing program input grammars., , , and . PLDI, page 95-110. ACM, (2017)Semantic program alignment for equivalence checking., , , and . PLDI, page 1027-1040. ACM, (2019)Verifying bit-manipulations of floating-point., , and . PLDI, page 70-84. ACM, (2016)Inferring annotations for device drivers from verification histories., , and . ASE, page 450-460. ACM, (2016)