Visualizing SpatioTemporal Keyword Trends in Online News Articles. - John H. Kastner; Hanan Samet (SIGSPATIAL/GIS, 2020)

Using Animation to Visualize Spatio-Temporal Varying COVID-19 Data. - Hanan Samet; Yunheng Han; John H. Kastner; Hong Wei 001 (COVID@SIGSPATIAL, 2020)

Viewing the Progression of the Novel Corona Virus (COVID-19) with NewsStand. - John H. Kastner; Hong Wei 001; Hanan Samet (CoRR, 2020)

Equal Area Breaks: A Classification Scheme for Data to Obtain an Evenly-colored Choropleth Map. - Anis Abboud; John H. Kastner; Hanan Samet (CoRR, 2020)

CoronaViz: Visualizing Multilayer Spatiotemporal COVID-19 Data with Animated Geocircles. - Brian D. Ondov; Harsh B. Patel; Ai-Te Kuo; Hanan Samet; John H. Kastner; Yunheng Han; Hong Wei 001; Niklas Elmqvist (CoRR, 2022)

C to checked C by 3c. - Aravind Machiry; John H. Kastner; Matt McCutchen; Aaron Eline; Kyle Headley; Michael Hicks 001 (Proc. ACM Program. Lang., 2022)

How We Built Cedar: A Verification-Guided Approach. - Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; John H. Kastner; Anwar Mamat; Matt McCutchen; Neha Rungta; Bhakti Shah; Emina Torlak; et al. (SIGSOFT FSE Companion, 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (Extended Version). - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (CoRR, 2024)

Visualizing multilayer spatiotemporal epidemiological data with animated geocircles. - Brian D. Ondov; Harsh B. Patel; Ai-Te Kuo; John H. Kastner; Yunheng Han; Hong Wei 001; Niklas Elmqvist; Hanan Samet (J. Am. Medical Informatics Assoc., 2024)

Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization. - Joseph W. Cutler; Craig Disselkoen; Aaron Eline; Shaobo He; Kyle Headley; Michael Hicks 001; Kesha Hietala; Eleftherios Ioannidis; John H. Kastner; Anwar Mamat; Darin McAdams; Matt McCutchen; et al. (Proc. ACM Program. Lang., 2024)