CUFinder

Murphy Berzish

Murphy Berzish

University of Waterloo

H-index: 9

North America-Canada

Contact Murphy Berzish

About Murphy Berzish

Murphy Berzish, With an exceptional h-index of 9 and a recent h-index of 9 (since 2020), a distinguished researcher at University of Waterloo, specializes in the field of formal methods, string solvers, computer-aided reasoning.

His recent articles reflect a diverse array of research interests and contributions to the field:

Towards more efficient methods for solving regular-expression heavy string constraints

Anonymizing sensitive data in logic problems for input to a constraint solver

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length

Z3str4: A Solver for Theories over Strings

Z3str4: A multi-armed string solver

String theories involving regular membership predicates: from practice to theory and back

A length-aware regular expression SMT solver

Z3str4 String Solver: System Description

Murphy Berzish Information

University

Position

___

Citations(all)

383

Citations(since 2020)

329

Cited By

158

hIndex(all)

9

hIndex(since 2020)

9

i10Index(all)

9

i10Index(since 2020)

7

Email

University Profile Page

Google Scholar

Murphy Berzish Skills & Research Interests

formal methods

string solvers

computer-aided reasoning

Top articles of Murphy Berzish

Towards more efficient methods for solving regular-expression heavy string constraints

Theoretical Computer Science

2023/1/17

Murphy Berzish
Murphy Berzish

H-Index: 7

Vijay Ganesh
Vijay Ganesh

H-Index: 25

Florin Manea
Florin Manea

H-Index: 12

Dirk Nowotka
Dirk Nowotka

H-Index: 9

Anonymizing sensitive data in logic problems for input to a constraint solver

2021/8/17

An SMT Solver for Regular Expressions and Linear Arithmetic over String Length

2021/7/15

Murphy Berzish
Murphy Berzish

H-Index: 7

Florin Manea
Florin Manea

H-Index: 12

Dirk Nowotka
Dirk Nowotka

H-Index: 9

Vijay Ganesh
Vijay Ganesh

H-Index: 25

Z3str4: A Solver for Theories over Strings

2021/6/15

Murphy Berzish
Murphy Berzish

H-Index: 7

Z3str4: A multi-armed string solver

2021

Murphy Berzish
Murphy Berzish

H-Index: 7

Dirk Nowotka
Dirk Nowotka

H-Index: 9

Vijay Ganesh
Vijay Ganesh

H-Index: 25

String theories involving regular membership predicates: from practice to theory and back

arXiv preprint arXiv:2105.07220

2021

Murphy Berzish
Murphy Berzish

H-Index: 7

Vijay Ganesh
Vijay Ganesh

H-Index: 25

Florin Manea
Florin Manea

H-Index: 12

Dirk Nowotka
Dirk Nowotka

H-Index: 9

A length-aware regular expression SMT solver

arXiv preprint arXiv:2010.07253

2020

Murphy Berzish
Murphy Berzish

H-Index: 7

Florin Manea
Florin Manea

H-Index: 12

Dirk Nowotka
Dirk Nowotka

H-Index: 9

Vijay Ganesh
Vijay Ganesh

H-Index: 25

Z3str4 String Solver: System Description

2020

Murphy Berzish
Murphy Berzish

H-Index: 7

Dirk Nowotka
Dirk Nowotka

H-Index: 9

Vijay Ganesh
Vijay Ganesh

H-Index: 25

See List of Professors in Murphy Berzish University(University of Waterloo)