Murphy Berzish

From MaRDI portal
Person:526764

Available identifiers

zbMath Open berzish.murphyMaRDI QIDQ526764

List of research outcomes





PublicationDate of PublicationType
Towards more efficient methods for solving regular-expression heavy string constraints2023-01-05Paper
String theories involving regular membership predicates: from practice to theory and back2022-05-20Paper
An SMT solver for regular expressions and linear arithmetic over string length2022-03-25Paper
Z3str2: an efficient solver for strings, regular expressions, and length constraints2017-05-15Paper

Research outcomes over time

This page was built for person: Murphy Berzish

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:526764&oldid=7814166"
Powered by MediaWiki