Benjamin F. Jones

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 6

Top Topics

Temporal Properties

Pspace Complete

Top Venues

J. Aerosp. Inf. Syst.

Publications

Yian Yin, Yuxiao Dong, Kuansan Wang, Dashun Wang, Benjamin F. Jones
Science as a Public Good: Public Use and Funding of Science. CoRR (2021)
Ryan Hill, Yian Yin, Carolyn Stein, Dashun Wang, Benjamin F. Jones
Adaptability and the Pivot Penalty in Science. CoRR (2021)
Jian Gao, Yian Yin, Benjamin F. Jones, Dashun Wang
Quantifying Policy Responses to a Global Emergency: Insights from the COVID-19 Pandemic. CoRR (2020)
Yang Wang, Benjamin F. Jones, Dashun Wang
Early-career setback and future career impact. CoRR (2019)
Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall
Language for Unified Verification and Implementation for Distributed Avionics. J. Aerosp. Inf. Syst. 15 (11) (2018)
Benjamin F. Jones, Lee Pike
Modular Model-Checking of a Byzantine Fault-Tolerant Protocol. NFM (2017)