Up a level |
Arora, H and Komondoor, R and Ramalingam, G (2019) Checking observational purity of procedures. In: 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, 6 April 2019 - 11 April 2019, Prague, pp. 228-243.
Hsieh, K and Kochat, V and Biswas, T and Tiwary, CS and Mishra, A and Ramalingam, G and Jayaraman, A and Chattopadhyay, K and Raghavan, S and Jain, M and Ghosh, A (2021) Spontaneous Time-Reversal Symmetry Breaking at Individual Grain Boundaries in Graphene. In: Physical Review Letters, 126 (20).