Federico Mora

From MaRDI portal
Person:832269

Available identifiers

zbMath Open mora.federicoMaRDI QIDQ832269

List of research outcomes





PublicationDate of PublicationType
Towards more efficient methods for solving regular-expression heavy string constraints2023-01-05Paper
Verification by gambling on program slices2022-06-22Paper
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
MedleySolver: online SMT algorithm selection2022-03-22Paper

Research outcomes over time

This page was built for person: Federico Mora

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