Murphy Berzish
发表
Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion
pdf
Vijay Ganesh,
Murphy Berzish,
Vijay Ganesh,
2016,
ArXiv.
Federico Mora,
Florin Manea,
Dirk Nowotka,
2020,
ArXiv.
Derek Rayside,
Asif Khan,
Vijay Ganesh,
2016,
CASCON.
Omer Tripp,
Vijay Ganesh,
Murphy Berzish,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
Yunhui Zheng,
Vijay Ganesh,
Murphy Berzish,
2017,
2017 Formal Methods in Computer Aided Design (FMCAD).
Federico Mora,
Yunhui Zheng,
Vijay Ganesh,
2018,
CAV.
Yunhui Zheng,
Vijay Ganesh,
Murphy Berzish,
2017,
ArXiv.
Bryan Tripp,
Murphy Berzish,
2014,
BMC Neuroscience.
Xiangyu Zhang,
Julian Dolby,
Yunhui Zheng,
2017,
Formal Methods Syst. Des..
Derek Rayside,
Paul Roth,
Atulan Zaman,
2017,
2017 IEEE 30th Canadian Conference on Electrical and Computer Engineering (CCECE).
Chris Eliasmith,
Bryan P. Tripp,
Murphy Berzish,
2016,
ICANN.
Florin Manea,
Dirk Nowotka,
Joel D. Day,
2021,
CAV.
Murphy Berzish,
2021
.
Florin Manea,
Dirk Nowotka,
Joel D. Day,
2021,
WORDS.
Dirk Nowotka,
Vijay Ganesh,
Mitja Kulczynski,
2021,
FM.