The following pages link to Saurabh Srivastava (Q1029010):
Displaying 9 items.
- Distributed algorithms for finding and maintaining a \(k\)-tree core in a dynamic network (Q1029012) (← links)
- On optimality conditions for interval optimisation problems using generalised Hukuhara difference and constrained interval arithmetic (Q2664713) (← links)
- Application of stochastic programming technique to solve interval quadratic programming problem (Q2669815) (← links)
- Synthesis of biological models from mutation experiments (Q2931826) (← links)
- (Q3520696) (← links)
- (Q3524480) (← links)
- Constraint-Based Invariant Inference over Predicate Abstraction (Q3600470) (← links)
- (Q4414617) (← links)
- From program verification to program synthesis (Q5255085) (← links)
