Stephanie Stark

« i Compositional Analysis of Expected Delay in Networks of Automata F 49620-96-1-0087 Final Report

S. Smolka, W. Eugene, Stephanie Stark, 2022 .

Algorithms for detecting dependencies and rigid subsystems for CAD

Audrey Lee-St. John, Louis Theran, Jessica Sidman, 2013, Comput. Aided Geom. Des..