Showing 1 - 2 results of 2 for search 'Arjun Viswanathan', query time: 0.02s Refine Results
  1. 1
    Model for Wall Shear Stress from Obliquely Impinging Planar Underexpanded Jets

    Model for Wall Shear Stress from Obliquely Impinging Planar Underexpanded Jets by Patrick Fillingham, Arjun Viswanathan, Igor V. Novosselov

    Published 2022-07-01
    Get full text
    Article
  2. 2
    Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)

    Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract) by Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark Barrett, Cesare Tinelli

    Published 2019-08-01
    Get full text
    Article

Search Tools: