Saurabh Srivastava

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An inventory model for perishables with fixed storage life and diminishing ability to buy in their life expectancy International Journal of Operational Research	2025-12-16	Paper
Solving multi-objective linear fractional programming problem utilizing \((\alpha, \beta)\)-cut in triangular intuitionistic fuzzy setup	2024-10-30	Paper
Application of stochastic programming technique to solve interval quadratic programming problem International Journal of Applied and Computational Mathematics	2022-03-09	Paper
On optimality conditions for interval optimisation problems using generalised Hukuhara difference and constrained interval arithmetic International Journal of Mathematics in Operational Research	2021-11-17	Paper
From program verification to program synthesis Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-06-11	Paper
Synthesis of biological models from mutation experiments Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-11-27	Paper
Distributed algorithms for finding and maintaining a \(k\)-tree core in a dynamic network Information Processing Letters	2009-07-09	Paper
Constraint-Based Invariant Inference over Predicate Abstraction Lecture Notes in Computer Science	2009-02-10	Paper
A study of trust region algorithm for nonsmooth composite functions	2008-09-09	Paper
A study on the rate of convergence of descent methods	2008-08-26	Paper
scientific article; zbMATH DE number 1953179 (Why is no real title available?)	2003-07-25	Paper

Research outcomes over time

This page was built for person: Saurabh Srivastava