Mira Shalah

Recent Alum

Email: mira@cs.stanford.edu
Website: http://web.stanford.edu/~mshalah/home

Research Statement

Computational and Discrete Geometry, Combinatorics, Computer Graphics and Visualization, Human Computer Interaction, Automated Theorem Proving, Scientific Computing, and Markov chains for problems from discrete geometry.

Recent Publications

Teaser Image

Warning: file_get_contents(/afs/cs.stanford.edu/group/geometry/www/lgl_2024/papers/bs-iubgcpp-18/citation.txt): failed to open stream: No such file or directory in /afs/cs.stanford.edu/group/geometry/www/lgl_2024/member.php on line 122

Warning: file_get_contents(/afs/cs.stanford.edu/group/geometry/www/lgl_2024/papers/bs-iubgcpp-18/bib.txt): failed to open stream: No such file or directory in /afs/cs.stanford.edu/group/geometry/www/lgl_2024/member.php on line 138
Teaser Image
Gill Barequet, Mira Shalah, and Yufei Zheng, An Improved Lower Bound on the Growth Constant of Polyiamonds, Proc. 23rd Ann. Int. Computing and Combinatorics Conference (COCOON), 50-61, 2017.
@inproceedings{BSZ17,
	author = {Gill Barequet and Mira Shalah and Yufei Zheng},  
	title = {An Improved Lower Bound on the Growth Constant of Polyiamonds}, 
	booktitle = {Proceedings of the 22nd International Computing and Combinatorics Conference (COCOON)},
	month = {August}, 
	year = {2017},
	venue = {Hong Kong, China},
	pages = {50--61},
}
Teaser Image
Gill Barequet and Mira Shalah, Proper n-cell Polycubes in n-k Dimensions, European Journal of Combinatorics , 63, 146-163, June 2017.
@article{JBS17,
	author = {Gill Barequet and Mira Shalah},  
	title = {Proper $n$-cell Polycubes in $n-k$ Dimensions}, 
	journal = {European Journal of Combinatorics (YEUJC)},
	volume = {63},
	pages    = {146--163},
	month = {June},
	year = {2017},
}
Teaser Image
Gill Barequet, Gunter Rote and Mira Shalah, λ > 4 : an improved lower bound on the growth constant of polyominoes, Communications of the ACM, 59 (7), 88-95, July 2016.
@article{JBRS16,
	author = {Gill Barequet and Gunter Rote and Mira Shalah},
	title = {$lambda > 4$ :: an improved lower bound on the growth constant of polyominoes},
	journal = {Communications of the ACM (CACM)},
	volume = {59},
	pages = {88--95},
	month = {July},
	year = {2016},
}
Teaser Image
Gill Barequet and Mira Shalah, Automatic Proofs for Formulae Enumerating Proper Polycubes, Proc. 8th European Conf. on Combinatorics, Graph Theory, and Applications (EuroComb), 49, 145-151, 2015.
@inproceedings{CBS15,
	author = {Gill Barequet and Mira Shalah},
	title = {Automatic Proofs for Formulae Enumerating Proper Polycubes},
	booktitle = {Proceedings of the 8th European Conference on Combinatorics, Graph Theory and Applications (EuroComb)},
	venue = {Bergen, Norway},
	volume = {49},
	pages = {145--151},
	year = {2015},
	month = {August--September}, 
}
Teaser Image
Gill Barequet, Gunter Rote and Mira Shalah, λ > 4, Proc. 23rd Ann. European Symp. on Algorithms (ESA), 83-94, 2015.
@inproceedings{CBRS15,
	author = {Gill Barequet and Gunter Rote and Mira Shalah},
	title = {$lambda > 4$},
	booktitle = {Proceedings of the 23rd European Symposium on Algorithms (ESA)},
	pages = {83--94},
	year = {2015},
	venue = {Patras, Greece},
	month = {September}, 
}
Teaser Image
Gill Barequet and Mira Shalah, Automatic Proofs for Formulae Enumerating Proper Polycubes, Video Review at the 31st Symposium on Computational Geometry (SoCG), 19-22, June 2015.
@inproceedings{VBS15,
	author = {Gill Barequet and Mira Shalah},
	title = {Automatic Proofs for Formulae Enumerating Proper Polycubes},	
	booktitle = {Video Review at the 31st Symposium on Computational Geometry (SoCG)}, 
	pages = {19--22}, 
	year = {2015},
	url = {https://youtu.be/ojNDm8qKr9A},
	venue = {Eindhoven, Netherlands},
	month = {June}, 
}
Teaser Image
Gill Barequet and Mira Shalah, Polyominoes on Twisted Cylinders, Video Review at the 29th Symposium on Computational Geometry (SoCG), 339-340, June 2013.
@inproceedings{VBS13,
	author = {Gill Barequet and Mira Shalah},
	title = {Polyominoes on Twisted Cylinders},
	booktitle = {Video Review at the 29th Symposium on Computational Geometry (SoCG)}, 
	pages = {339--340}, 
	year = {2013},
	url = {https://youtu.be/MZcd1Uy4iv8},
	venue = {Rio de Janeiro, Brazil},
	month = {June}, 
}
Copyright 2024 Guibas Laboratory. All rights reserved. Manage Publications