| 2025 |
J |
jnl |
CoRR
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra
|
| 2025 |
J |
jnl |
Proc. ACM Program. Lang.
Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra
|
| 2025 |
B |
conf |
CONCUR
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, Shankaranarayanan Krishna
|
| 2025 |
J |
jnl |
CoRR
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, Shankaranarayanan Krishna
|
| 2025 |
— |
ed. |
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
VMCAI (1)
Shankaranarayanan Krishna, Sriram Sankaranarayanan, Ashutosh Trivedi
|
| 2025 |
— |
ed. |
Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
VMCAI (2)
Shankaranarayanan Krishna, Sriram Sankaranarayanan, Ashutosh Trivedi
|
| 2024 |
J |
jnl |
CoRR
Ashutosh Gupta, John Komp, Abhay Singh Rajput, Shankaranarayanan Krishna, Ashutosh Trivedi, Namrita Varshney
|
| 2024 |
J |
jnl |
Proc. ACM Program. Lang.
Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe
|
| 2024 |
A |
conf |
AAMAS
David Hyland, Julian Gutierrez, Shankaranarayanan Krishna, Michael J. Wooldridge
|
| 2024 |
B |
conf |
CONCUR
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
|
| 2024 |
J |
jnl |
CoRR
Luc Dartois, Paul Gastin, Loïc Germerie Guizouarn, R. Govind, Shankaranarayanan Krishna
|
| 2023 |
A* |
conf |
AAAI
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
|
| 2023 |
J |
jnl |
CoRR
Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
|
| 2023 |
J |
jnl |
CoRR
Shankaranarayanan Krishna, Aniket Lal, Andreas Pavlogiannis, Omkar Tuppe
|
| 2023 |
J |
jnl |
CoRR
Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis, Hünkar Can Tunç
|
| 2023 |
J |
jnl |
Proc. ACM Program. Lang.
Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, Andreas Pavlogiannis
|
| 2023 |
— |
conf |
CAV (1)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
|
| 2023 |
J |
jnl |
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Mihir Vahanwala
|
| 2023 |
J |
jnl |
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Florian Furbach, Adwait Godbole, Yacoub G. Hendi, Shankaranarayanan Krishna, Stephan Spengler
|
| 2022 |
J |
jnl |
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ashutosh Gupta, Shankaranarayanan Krishna, Omkar Tuppe
|
| 2022 |
A* |
conf |
PODC
Shankaranarayanan Krishna, Adwait Godbole, Roland Meyer, Soham Chakraborty
|
| 2021 |
A |
conf |
RTSS
Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi
|
| 2020 |
J |
jnl |
CoRR
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Adwait Godbole, Shankaranarayanan Krishna, Viktor Vafeiadis
|