David Benqué

According to our database, David Benqué authored at least 4 papers between 2012 and 2021.

Collaborative distances:

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

2021

almanac.computer.

David Benqué

Interactions, 2021

2017

Bringing LTL Model Checking to Biologists.

Zara Ahmed, David Benqué, Sergey Berezin, Anna Caroline E. Dahl, Jasmin Fisher, Benjamin A. Hall, Samin Ishtiaq, Jay Nanavati, Nir Piterman, Maik Riechert, Nikita Skoblov

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

2013

At the interface of biology and computation.

Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué

Proceedings of the 2013 ACM SIGCHI Conference on Human Factors in Computing Systems, 2013

2012

Bma: Visual Tool for Modeling and Analyzing Biological Networks.

David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012