Oren Ish-Shalom

From MaRDI portal
Revision as of 08:23, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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