Benjamin F. Jones

According to our database, Benjamin F. Jones authored at least 7 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Adaptability and the Pivot Penalty in Science.

Ryan Hill, Yian Yin, Carolyn Stein, Dashun Wang, Benjamin F. Jones

CoRR, 2021

Science as a Public Good: Public Use and Funding of Science.

Yian Yin, Yuxiao Dong, Kuansan Wang, Dashun Wang, Benjamin F. Jones

CoRR, 2021

Debugging Network Reachability with Blocked Paths.

Sam Bayless, John D. Backes, Dan DaCosta, Benjamin F. Jones, Nate Launchbury, Patrick Trentin, Kelsey Jewell, Sagar Joshi, Michael Q. Zeng, Nandita Mathews

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Quantifying Policy Responses to a Global Emergency: Insights from the COVID-19 Pandemic.

Jian Gao, Yian Yin, Benjamin F. Jones, Dashun Wang

CoRR, 2020

2019

Early-career setback and future career impact.

Yang Wang, Benjamin F. Jones, Dashun Wang

CoRR, 2019

2018

Language for Unified Verification and Implementation for Distributed Avionics.

Benjamin F. Jones, Lee Pike, Srivatsan Varadarajan, Brendan Hall

J. Aerosp. Inf. Syst., November, 2018

2017

Modular Model-Checking of a Byzantine Fault-Tolerant Protocol.

Benjamin F. Jones, Lee Pike

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017