Mining Shape Expressions From Positive Examples. - Ezio Bartocci; Jyotirmoy Deshmukh; Felix Gigler; Cristinel Mateis; Dejan Nickovic; Xin Qin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Sampling of shape expressions with ShapEx. - Nicolas Basset; Thao Dang 001; Felix Gigler; Cristinel Mateis; Dejan Nickovic (MEMOCODE, 2021)

Sampling of Shape Expressions. - Nicolas Basset; Thao Dang 001; Felix Gigler; Cristinel Mateis; Dejan Nickovic (CoRR, 2021)