( en | de | ru )

 

Disambiguation of "Berzish, Murphy"

Author of the publication

copydeleteadd this publication to your clipboard
Z3str4: A Multi-armed String Solver.

, , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 389-406. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Frank Murphy

Roy Murphy

Michael Murphy

Kiera Murphy

Bartholomew Murphy

 

Other publications of authors with the same name

Z3str3: A string solver with theory-aware heuristics., , and . FMCAD, page 55-59. IEEE, (2017)Towards more efficient methods for solving regular-expression heavy string constraints., , , , , , and . Theor. Comput. Sci., (2023)Real-Time FPGA Simulation of Surrogate Models of Large Spiking Networks., , and . ICANN (1), volume 9886 of Lecture Notes in Computer Science, page 349-356. Springer, (2016)Undecidability of a Theory of Strings, Linear Arithmetic over Length, and String-Number Conversion., and . CoRR, (2016)Z3str4: A Multi-armed String Solver., , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 389-406. Springer, (2021)Z3str4: A Solver for Theories over Strings.. University of Waterloo, Ontario, Canada, (2021)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/17102).StringFuzz: A Fuzzer for String Solvers., , , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 45-51. Springer, (2018)A Length-aware Regular Expression SMT Solver., , , , , , and . CoRR, (2020)A Solver for a Theory of Strings and Bit-vectors., , , , and . CoRR, (2016)Z3str3: A String Solver with Theory-aware Branching., , and . CoRR, (2017)