Profiles

Sanjay Kumar

IARI

Verified email at iari.res.in

Cited by 39000

wheat rust

Manpreet Singh

Student

Cited by 23331

Machine Learning Deep Learning Data Science Rust App Development

Evans Lagudah

Chief Research Scientist, CSIRO/ Adjunct Professor University of Sydney

Verified email at csiro.au

Cited by 22548

genetics disease resistance plant science breeding rust

Davinder Singh

Senior Research Scientist, University of Sydney, Australia

Verified email at sydney.edu.au

Cited by 3843

rust breeding taro cereals genetics

David Hardin

Collins Aerospace

Verified email at collins.com

Cited by 3299

Formal verification computer architecture Rust Java embedded real-time

Christof Rampitsch

Research Scientist

Verified email at agr.gc.ca

Cited by 2622

Proteomics Mass Spectrometry Fusarium Rust

Jacques-Henri Jourdan

CNRS, Laboratoire Méthodes Formelles

Verified email at cnrs.fr

Cited by 2475

Coq proof assistant Formal verification Iris separation logic Rust OCaml

Stefan Nürnberger

Veecle GmbH

Verified email at veecle.io

Cited by 2036

Microkernels Operating Systems Automotive Rust

Christoph Matheja

Professor of Theory of Correct Systems, University of Oldenburg

Verified email at uol.de

Cited by 1114

program verification probabilistic programs separation logic rust

stephane frenot

Professeur d'informatique, INSA Lyon

Verified email at insa-lyon.fr

Cited by 993

Blockchain Zkp Rust Javascript

1 - 10