Vijay Ganesh
发表
I. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2022,
Commun. ACM.
C. Srinivasa,
Vijay Ganesh,
Dhananjay Ashok,
2022,
IJCAI.
Vijay Ganesh,
Maysum Panju,
Dhananjay Ashok,
2021,
AAAI.
Marc Vinyals,
Soham Mukherjee,
Vijay Ganesh,
2021,
ArXiv.
S. Jha,
S. Seshia,
Vijay Ganesh,
2022,
Formal Methods in System Design.
Vijay Ganesh,
Federico Mora,
Joseph Scott,
2021,
FM.
S. Jha,
Matt Fredrikson,
Kaiji Lu,
2023,
arXiv.org.
Aina Niemetz,
Mathias Preiner,
Saeed Nejati,
2023,
International Journal on Software Tools for Technology Transfer.
Elias Boutros Khalil,
Vijay Ganesh,
Joseph Scott,
2022,
SMT.
M. Singh,
Vijay Ganesh,
Piyush Jha,
2023,
AAAI.
Guanting Pan,
Vijay Ganesh,
Vineel Nagisetty,
2023,
ArXiv.
Elias Boutros Khalil,
Vijay Ganesh,
Joseph Scott,
2022,
SMT.
Moshe Y. Vardi,
Vijay Ganesh,
Vijay Ganesh,
2020,
Beyond the Worst-Case Analysis of Algorithms.
Vijay Ganesh,
Vineel Nagisetty,
Laura Graves,
2020,
2002.10438.