Yashwanth Annpureddy

International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2011

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Whom Yashwanth Annpureddy trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Reuven Y. Rubinstein
  2. Alexandre Donzé

Who trusts Yashwanth Annpureddy overall

  1. Denise Ratasich

Papers from Yashwanth Annpureddy's perspective

Ordered by how strongly the researchers Yashwanth Annpureddy trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (International Conference on Computer Aided Verification)
  2. Simulation and the Monte Carlo method
  3. Random number generation and Quasi-Monte Carlo methods
  4. Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator
  5. The Art of Computer Programming, Volume II: Seminumerical Algorithms
  6. SATLIB: An Online Resource for Research on SAT
  7. The Cross-Entropy Method: A Unified Approach to Combinatorial Optimization, Monte-Carlo Simulation, and Machine Learning
  8. The Cross-Entropy Method for Combinatorial and Continuous Optimization
  9. Simulation Modeling and Analysis
  10. The Art of Computer Programming

Their papers