Works by Thakur, Aditya


Results: 27
    1
    2

    Proofs from Tests.

    Published in:
    IEEE Transactions on Software Engineering, 2010, v. 36, n. 4, p. 494, doi. 10.1109/TSE.2010.49
    By:
    • Beckman, Nels E.;
    • Nori, Aditya V.;
    • Rajamani, Sriram K.;
    • Simmons, Robert J.;
    • Tetali, Sai Deep;
    • Thakur, Aditya V.
    Publication type:
    Article
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16
    17
    18
    19
    20
    21

    SyReNN: A tool for analyzing deep neural networks.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 145, doi. 10.1007/s10009-023-00695-1
    By:
    • Sotoudeh, Matthew;
    • Tao, Zhe;
    • Thakur, Aditya V.
    Publication type:
    Article
    22

    Temporal and Spatial Dynamics of Subsidence in Eastern Jharia, India.

    Published in:
    ISPRS Annals of Photogrammetry, Remote Sensing & Spatial Information Sciences, 2024, v. 10, n. 4, p. 349, doi. 10.5194/isprs-annals-X-4-2024-349-2024
    By:
    • Thakur, Aditya Kumar;
    • Attri, Luvkesh;
    • Garg, Rahul Dev;
    • Jain, Kamal;
    • Kumar, Dheeraj;
    • Chowdhury, Arnab
    Publication type:
    Article
    23
    24
    25
    26
    27