Federico Mora

zbMath Openmora.federicoMaRDI QIDQ832269

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards more efficient methods for solving regular-expression heavy string constraints	2023-01-05	Paper
Verification by gambling on program slices	2022-06-22	Paper
String theories involving regular membership predicates: from practice to theory and back	2022-05-20	Paper
An SMT solver for regular expressions and linear arithmetic over string length	2022-03-25	Paper
MedleySolver: online SMT algorithm selection	2022-03-22	Paper

Research outcomes over time

This page was built for person: Federico Mora