Gitanjali Swamy

11 papers and 22 indexed citations i.

Gitanjali Swamy has authored 11 papers that have received a total of 22 indexed citations. This includes 5 papers in Computational Theory and Mathematics, 3 papers in Accounting and 3 papers in Software. The topics of these papers are Formal Methods in Verification (5 papers), Private Equity and Venture Capital (3 papers) and Model-Driven Software Engineering Techniques (3 papers). Gitanjali Swamy is often cited by papers focused on Formal Methods in Verification (5 papers), Private Equity and Venture Capital (3 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in United States. Gitanjali Swamy's co-authors include Robert K. Brayton, S.P. Kothari, Philip E. Auerswald, Vigyan Singhal and Sriram K. Rajamani and has published in prestigious journals such as and .