Vijay Ganesh
发表
Nikil D. Dutt,
Alexandru Nicolau,
Asheesh Khare,
1999,
Design, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078).
Yunhui Zheng,
Vijay Ganesh,
Murphy Berzish,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Xiangyu Zhang,
Yunhui Zheng,
Vijay Ganesh,
2013,
ESEC/FSE 2013.
M. Veanes,
Vijay Ganesh,
Nikolaj Bjrner,
2012
.
Xiangyu Zhang,
Julian Dolby,
Yunhui Zheng,
2015,
CAV.
Michael D. Ernst,
Philip J. Guo,
Adam Kiezun,
2009,
ISSTA.
M. Rinard,
Vijay Ganesh,
Mia Minnes,
2011
.
Martin C. Rinard,
Vijay Ganesh,
Tim Leek,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2006,
CCS 2006.
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2006,
CCS '06.
I. Kotsireas,
K. Czarnecki,
Vijay Ganesh,
2018
.
Anna Maria Bigatti,
J. Davenport,
E. Ábrahám,
2017
.
Vijay Ganesh,
Viktor Kuncak,
Philippe Suter,
2010
.
Krzysztof Czarnecki,
Pascal Poupart,
Jia Hui Liang,
2016,
SAT.
Joel D. Day,
Vijay Ganesh,
F. Manea,
2022,
ArXiv.
Brett Stevens,
Curtis Bright,
Vijay Ganesh,
2020,
IJCAI.
David L. Dill,
Sergey Berezin,
Vijay Ganesh,
2005
.
I. Kotsireas,
Vijay Ganesh,
Curtis Bright,
2017
.
Dragomiru Z. Dokovic,
I. Kotsireas,
Vijay Ganesh,
2018,
AAAI.
Kevin K. H. Cheung,
I. Kotsireas,
Vijay Ganesh,
2019
.
Vijay Ganesh,
Krupakar Parthasarathy,
G. Narendrakumar,
2022,
Inorganic and Nano-Metal Chemistry.
Vijay Ganesh,
Murphy Berzish,
Yunhui Zheng,
2016,
Formal Methods in System Design.
Kevin K. H. Cheung,
I. Kotsireas,
Vijay Ganesh,
2019,
Applicable Algebra in Engineering, Communication and Computing.
Daniel Kroening,
Bernd Becker,
Matthew England,
2017,
ARCADE@CADE.
Vijay Ganesh,
Sebastian Banescu,
Behkish Nassirzadeh,
2021,
MARBLE.
J. Hoenicka,
A. Mammen,
Vijay Ganesh,
2022,
Neuromuscular Disorders.
Sebastian Fischmeister,
Vijay Ganesh,
Zack Newsham,
2019,
POS@SAT.
Vijay Ganesh,
Laura Graves,
Vineel Nagisetty,
2020,
AAAI.
Krzysztof Czarnecki,
Ilias S. Kotsireas,
Curtis Bright,
2016,
Journal of Automated Reasoning.
Discovering Symmetry Invariants and Conserved Quantities by Interpreting Siamese Neural Networks
pdf
Vijay Ganesh,
Roger G. Melko,
Joseph Scott,
2020,
Physical Review Research.
Shrabani B. Bhattacharjee,
Vijay Ganesh,
Preeti S. Rawat,
2019
.
David L. Dill,
Vijay Ganesh,
D. Dill,
2007,
CAV.
Sebastian Fischmeister,
Gilles Audemard,
Laurent Simon,
2014,
SAT.
Pascal Poupart,
George Trimponias,
Vijay Ganesh,
2020,
ICML.
Krzysztof Czarnecki,
Huiqun Yu,
Jingsong Zhang,
2019,
Software & Systems Modeling.
Krzysztof Czarnecki,
Jia Hui Liang,
Venkatesh Raman,
2015,
SPLC.
Vijay Ganesh,
Joseph Scott,
Maysum Panju,
2020,
ArXiv.
David L. Dill,
Sergey Berezin,
Vijay Ganesh,
2002,
FMCAD.
César Muñoz,
Yassine Lakhnech,
John Rushby,
2000
.
Dawson R. Engler,
David L. Dill,
Vijay Ganesh,
2008,
TSEC.
Vijay Ganesh,
Piyush Jha,
Prithwish Jana,
2023,
ArXiv.
Michael D. Ernst,
Shay Artzi,
Philip J. Guo,
2012,
TSEM.
Joel D. Day,
Vijay Ganesh,
Murphy Berzish,
2020,
CAV.
Vijay Ganesh,
Alok Yadav,
K. Seshan,
2020
.
Xiangyu Zhang,
Julian Dolby,
Yunhui Zheng,
2017,
Formal Methods Syst. Des..
David L. Dill,
Vijay Ganesh,
D. Dill,
2007
.
Paul A. S. Ward,
Vijay Ganesh,
Riyad Parvez,
2016,
CASCON.
Arie Gurfinkel,
Vijay Ganesh,
Yakir Vizel,
2019,
CAV.
Vijay Ganesh,
Shubhabrata Mukherjee,
A. Kolokolova,
2021,
SAT.
Adam Kiezun,
Karthick Jayaraman,
Vijay Ganesh,
2009,
NASA Formal Methods.
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion
pdf
Vijay Ganesh,
Murphy Berzish,
Vijay Ganesh,
2016,
ArXiv.
Armando Solar-Lezama,
Mia Minnes,
Martin C. Rinard,
2013,
ArXiv.
Armando Solar-Lezama,
Mia Minnes,
Martin C. Rinard,
2012,
Haifa Verification Conference.
Steven T. Stewart,
Vijay Ganesh,
Sebastian Banescu,
2019,
2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).
Alexander Pretschner,
Sebastian Banescu,
Vijay Ganesh,
2016,
ACSAC.
Federico Mora,
Yunhui Zheng,
Vijay Ganesh,
2018,
CAV.
Robert Robere,
Vijay Ganesh,
Antonina Kolokolova,
2018,
CAV.
Michael D. Ernst,
Philip J. Guo,
Adam Kiezun,
2019,
ISSTA.
Vijay Ganesh,
Vijay Ganesh Wardikar Viju,
Wardikar Viju,
2013
.
Aina Niemetz,
Mathias Preiner,
Vijay Ganesh,
2021,
TACAS.
Patrick Heymans,
Arnaud Hubaux,
Vijay Ganesh,
2012,
SMT@IJCAR.
Chunxiao Li,
Jia Hui Liang,
Vijay Ganesh,
2018,
SAT.
Krzysztof Czarnecki,
Jia Hui Liang,
Vijay Ganesh,
2015,
Haifa Verification Conference.
Krzysztof Czarnecki,
Pascal Poupart,
Jia Hui Liang,
2016,
AAAI.
Krzysztof Czarnecki,
Catherine H. Gebotys,
Jia Hui Liang,
2016,
VSTTE.
Krzysztof Czarnecki,
Pascal Poupart,
Jia Hui Liang,
2017,
SAT.
Martin Rinard,
Joseph P. Near,
Rishabh Singh,
2009
.
Vijay Ganesh,
Joseph Scott,
Maysum Panju,
2020,
AAAI.
Kevin K. H. Cheung,
I. Kotsireas,
Vijay Ganesh,
2020,
AAAI.
Vijay Ganesh,
Joseph Scott,
Laura Graves,
2020,
ArXiv.
Vijay Ganesh,
Curtis Bright,
Zhengyu Li,
2023,
ArXiv.
J. Hoenicka,
A. Mammen,
Vijay Ganesh,
2023,
Acta Neuropathologica.
Kevin K. H. Cheung,
I. Kotsireas,
Vijay Ganesh,
2020,
IJCAI.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
CASCON.
Vijay Ganesh,
Curtis Bright,
Zhengyu Li,
2023,
ArXiv.
Krzysztof Czarnecki,
Sebastian Fischmeister,
Jia Hui Liang,
2015,
SAT.
Dragomir Z. Dokovic,
Curtis Bright,
Vijay Ganesh,
2019,
Annals of Mathematics and Artificial Intelligence.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
J. Symb. Comput..
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
ISSAC.
Krzysztof Czarnecki,
Ilias S. Kotsireas,
Curtis Bright,
2016,
SC²@SYNASC.
Joel D. Day,
Vijay Ganesh,
F. Manea,
2023,
Proc. ACM Program. Lang..
Fabrice Kordon,
Souheib Baarir,
Julien Sopena,
2020,
SAT.
Vijay Ganesh,
R. Melko,
S. Wetzel,
2020,
Physical Review Research.
Vijay Ganesh,
Curtis Bright,
Zhengyu Li,
2023,
ArXiv.
Vijay Ganesh,
Curtis Bright,
Zhengyu Li,
2022,
SC-Square@FLoC.
Kevin K. H. Cheung,
I. Kotsireas,
Vijay Ganesh,
2020,
IWOCA.
Dragomiru Z. Dokovic,
I. Kotsireas,
Vijay Ganesh,
2019,
Annals of Mathematics and Artificial Intelligence.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
ACCA.
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
AAAI.
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
J. Symb. Comput..