Dan Smith

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 4

Top Topics

Widespread Adoption

Quantified Boolean Formulae

Top Venues

Publications

Francesca Favaro, Laura Fraade-Blanar, Scott Schnelle, Trent Victor, Mauricio Peña, Johan Engström, John Scanlon, Kristofer D. Kusano, Dan Smith
Building a Credible Case for Safety: Waymo's Approach for the Determination of Absence of Unreasonable Risk. CoRR (2023)
Tim Upthegrove, Guevara Noubir, Bishal Thapa, Dan Smith, Colin Funai, Scott Loos, Greg Kuperman
Rapid Interoperability with OverlAI Gateways. MILCOM (2022)
Nick Webb, Dan Smith, Christopher Ludwick, Trent Victor, Qi Hommes, Francesca Favaro, George Ivanov, Tom Daniel
Waymo's Safety Methodologies and Safety Readiness Determinations. CoRR (2020)
Dan Smith
eRebuild Level Creator. ICCC (2018)
Tamir Heyman, Dan Smith, Yogesh Mahajan, Lance Leong, Husam Abu-Haimed
Dominant Controllability Check Using QBF-Solver and Netlist Optimizer. SAT (2014)
Dan Smith
Efficient Reuse and Integration at NASA - Its Not Just the Technology. IRI (2009)
Danilo Montesi, David O. Beaumont, Peter A. Dearnley, Dan Smith
A Coordination Model for Workflow Management Systems. ICEIS (1999)