Oren Ish-Shalom

From MaRDI portal
Person:784117

Available identifiers

zbMath Open ish-shalom.orenMaRDI QIDQ784117

List of research outcomes





PublicationDate of PublicationType
Run-time complexity bounds using squeezers2021-10-18Paper
Putting the squeeze on array programs: loop verification via inductive rank reduction2020-08-05Paper
Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation2020-08-05Paper

Research outcomes over time

This page was built for person: Oren Ish-Shalom

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