David Benqué

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 2

Top Topics

Pspace Complete

Linear Time Temporal Logic

Biological Networks

Top Venues

Publications

David Benqué
almanac.computer. Interactions 28 (1) (2021)
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
Bringing LTL Model Checking to Biologists. VMCAI (2017)
Alex S. Taylor, Nir Piterman, Samin Ishtiaq, Jasmin Fisher, Byron Cook, Caitlin Cockerton, Sam Bourton, David Benqué
At the interface of biology and computation. CHI (2013)
David Benqué, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex S. Taylor, Moshe Y. Vardi
Bma: Visual Tool for Modeling and Analyzing Biological Networks. CAV (2012)