A Model Checker for Verifying ConGolog Programs. - Leila Kalantari; Eugenia Ternovska (AAAI/IAAI, 2002)

Ontology and rule based retrieval of sound objects in augmented audio reality system for museum visitors. - Marek Hatala; Leila Kalantari; Ron Wakkary; Kenneth Newby (SAC, 2004)

Using semantic web approach in augmented audio reality system for museum visitors. - Leila Kalantari; Marek Hatala; Jordan Willms (WWW (Alternate Track Papers & Posters), 2004)

Rules and ontologies in support of real-time ubiquitous application. - Marek Hatala; Ron Wakkary; Leila Kalantari (J. Web Semant., 2005)

On visual quality of optimal 3D sampling and reconstruction. - Tai Meng; Benjamin Smith 002; Alireza Entezari; Arthur E. Kirkpatrick; Daniel Weiskopf; Leila Kalantari; Torsten Möller (Graphics Interface, 2007)

Quasi-interpolation on the Body Centered Cubic Lattice. - Alireza Entezari; Mahsa Mirzargar; Leila Kalantari (Comput. Graph. Forum, 2009)

Evaluating similarity measures for hyperspectral classification of tree species at Ordway-Swisher Biological Station. - Leila Kalantari; Paul D. Gader; Sarah Graves; Stephanie A. Bohlman (IGARSS, 2014)

One-Class Gaussian Process for Possibilistic Classification Using Imaging Spectroscopy. - Leila Kalantari; Paul D. Gader; Sarah Graves; Stephanie A. Bohlman (IEEE Geosci. Remote. Sens. Lett., 2016)

Tree Species Abundance Predictions in a Tropical Agricultural Landscape with a Supervised Classification Model and Imbalanced Data. - Sarah J. Graves; Gregory P. Asner; Roberta E. Martin; Christopher B. Anderson; Matthew S. Colgan; Leila Kalantari; Stephanie A. Bohlman (Remote. Sens., 2016)

Cross-validating Gaussian process methods for hyperspectral data from tree crowns. - Leila Kalantari; Paul D. Gader (IGARSS, 2017)

Density Functional Theory Study of Metal and Metal-Oxide Nucleation and Growth on the Anatase TiO2(101) Surface. - Leila Kalantari; Fabien Tran; Peter Blaha (Comput., 2021)

Uncertainty quantification for multiclass data description. - Leila Kalantari; José C. Príncipe; Kathryn E. Sieving (CoRR, 2021)

Solving A System Of Linear Equations By Randomized Orthogonal Projectors. - Alireza Entezari; Arunava Banerjee; Leila Kalantari (CoRR, 2021)

Hierarchical Linear Dynamical System for Representing Notes from Recorded Audio. - Leila Kalantari; José C. Príncipe; Kathryn E. Sieving (CoRR, 2022)