Polyominoes on twisted cylinders. - Gill Barequet; Mira Shalah (SoCG, 2013)

λ > 4. - Gill Barequet; Günter Rote; Mira Shalah (ESA, 2015)

Automatic Proofs for Formulae Enumerating Proper Polycubes. - Gill Barequet; Mira Shalah (Electron. Notes Discret. Math., 2015)

λ > 4: an improved lower bound on the growth constant of polyominoes. - Gill Barequet; Günter Rote; Mira Shalah (Commun. ACM, 2016)

Counting n-cell polycubes proper in n-k dimensions. - Gill Barequet; Mira Shalah (Eur. J. Comb., 2017)

Formulae and Growth Rates of Animals on Cubical and Triangular Lattices. - Mira Shalah (2017)

Composite Shape Modeling via Latent Space Factorization. - Anastasia Dubrovina; Fei Xia 002; Panos Achlioptas; Mira Shalah; Raphaël Groscot; Leonidas J. Guibas (ICCV, 2019)

Composite Shape Modeling via Latent Space Factorization. - Anastasia Dubrovina; Fei Xia 002; Panos Achlioptas; Mira Shalah; Leonidas J. Guibas (CoRR, 2019)

An improved lower bound on the growth constant of polyiamonds. - Gill Barequet; Mira Shalah; Yufei Zheng (J. Comb. Optim., 2019)

Improved Upper Bounds on the Growth Constants of Polyominoes and Polycubes. - Gill Barequet; Mira Shalah (Algorithmica, 2022)

Differentiable 3D CAD Programs for Bidirectional Editing. - Dan Cascaval; Mira Shalah; Phillip Quinn; Rastislav Bodík; Maneesh Agrawala; Adriana Schulz (Comput. Graph. Forum, 2022)