Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ritesh Krishna
The jmzQuantML Programming Interface and Validator for the mzQuantML Data Standard
Proteomics
Biochemistry
Molecular Biology
Related publications
Big Data and the R Programming Language
A Logic Generator and Validator
Nuclear Science and Engineering
Engineering
Nuclear Energy
A Simple, Verified Validator for Software Pipelining
ACM SIGPLAN Notices
Computer Science
An Analysis of the Use of the Web-Accessibility Validator
Mathematical Programming for Data Mining
A Linear Programming Reformulation of the Standard Quadratic Optimization Problem
SSRN Electronic Journal
A Wiki Way of Programming for the Web of Data
The Data Series – Evolution of the Programming Language
Impact
Sequential Programming for Replicated Data Stores
Proceedings of the ACM on Programming Languages
