| 2023 |
J |
jnl |
Theor. Comput. Sci.
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
|
| 2021 |
— |
conf |
CAV (2)
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
|
| 2021 |
— |
conf |
WORDS
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
|
| 2021 |
J |
jnl |
CoRR
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka
|
| 2021 |
B |
conf |
FM
Federico Mora, Murphy Berzish, Mitja Kulczynski, Dirk Nowotka, Vijay Ganesh
|
| 2021 |
— |
— |
Murphy Berzish
|
| 2020 |
J |
jnl |
CoRR
Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel D. Day, Dirk Nowotka, Vijay Ganesh
|
| 2018 |
— |
conf |
CAV (2)
Dmitry Blotsky, Federico Mora, Murphy Berzish, Yunhui Zheng, Ifaz Kabir, Vijay Ganesh
|
| 2017 |
— |
conf |
ICSE (Companion Volume)
Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp
|
| 2017 |
— |
conf |
CCECE
Nicholas Klassen, Michael Lyons, Michael Prysiazny, Paul Roth, Peter Socha, Murphy Berzish, Atulan Zaman, Derek Rayside
|
| 2017 |
J |
jnl |
Formal Methods Syst. Des.
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang
|
| 2017 |
J |
jnl |
CoRR
Murphy Berzish, Yunhui Zheng, Vijay Ganesh
|
| 2017 |
B |
conf |
FMCAD
Murphy Berzish, Vijay Ganesh, Yunhui Zheng
|
| 2016 |
J |
jnl |
CoRR
Sanu Subramanian, Murphy Berzish, Yunhui Zheng, Omer Tripp, Vijay Ganesh
|
| 2016 |
— |
conf |
CASCON
Murphy Berzish, Asif Khan, Atulan Zaman, Vijay Ganesh, Derek Rayside
|
| 2016 |
— |
conf |
ICANN (1)
Murphy Berzish, Chris Eliasmith, Bryan P. Tripp
|
| 2016 |
J |
jnl |
CoRR
Vijay Ganesh, Murphy Berzish
|