( en | de | ru )

 

Disambiguation of "Berzish, Murphy"

Author of the publication

copydeleteadd this publication to your clipboard
Manifold 2.0: A hardware description language for microfluidic devices.

, , , , , , , and . CCECE, page 1-5. IEEE, (2017)

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

Michael Murphy

Roy 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)Z3str4: A Solver for Theories over Strings.. University of Waterloo, Ontario, Canada, (2021)base-search.net (ftunivwaterloo:oai:uwspace.uwaterloo.ca:10012/17102).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)A Length-aware Regular Expression SMT Solver., , , , , , and . CoRR, (2020)StringFuzz: A Fuzzer for String Solvers., , , , , and . CAV (2), volume 10982 of Lecture Notes in Computer Science, page 45-51. Springer, (2018)A Solver for a Theory of Strings and Bit-vectors., , , , and . CoRR, (2016)Z3str3: A String Solver with Theory-aware Branching., , and . CoRR, (2017)