Kevin Clancy

According to our database, Kevin Clancy authored at least 10 papers between 2012 and 2021.

Collaborative distances:

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

2021

Synthetic biology open language visual (SBOL Visual) version 2.3.

Hasan Baig, Pedro Fontanarossa, Vishwesh Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Shyam Bhakta, Swapnil Bhatia, Mike Bissell, Kevin Clancy, Robert Sidney Cox III, Ángel Goñi Moreno, Thomas E. Gorochowski, Raik Grünberg, Jihwan Lee, Augustin Luna, Curtis Madsen, Goksel Misirli, Tramy Nguyen, Nicolas Le Novère, Zachary Palchick, Matthew R. Pocock, Nicholas Roehner, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Logan Terry, Marta Vazquez Vilar, Christopher A. Voigt, Anil Wipat, David Zong, Zach Zundel, Jacob Beal, Chris J. Myers

J. Integr. Bioinform., 2021

2020

Synthetic biology open language visual (SBOL visual) version 2.2.

Hasan Baig, Pedro Fontanarrosa, Vishwesh Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Swapnil Bhatia, Shyam Bhakta, Michael Bissell, Kevin Clancy, Robert Sidney Cox III, Ángel Goñi Moreno, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, Curtis Madsen, Goksel Misirli, Tramy Nguyen, Nicolas Le Novère, Zachary Palchick, Matthew R. Pocock, Nicholas Roehner, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Marta Vazquez Vilar, Christopher A. Voigt, Anil Wipat, David Zong, Zach Zundel, Jacob Beal, Chris J. Myers

J. Integr. Bioinform., 2020

2019

Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1.

Curtis Madsen, Ángel Goñi Moreno, Zachary Palchick, Umesh P, Nicholas Roehner, Bryan Bartley, Swapnil Bhatia, Shyam Bhakta, Mike Bissell, Kevin Clancy, Robert Sidney Cox III, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, James Alastair McLaughlin, Tramy Nguyen, Nicolas Le Novère, Matthew R. Pocock, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Christopher A. Voigt, Zach Zundel, Chris J. Myers, Jacob Beal, Anil Wipat

J. Integr. Bioinform., 2019

Synthetic Biology Open Language (SBOL) Version 2.3.

Curtis Madsen, Ángel Goñi Moreno, Umesh P, Zachary Palchick, Nicholas Roehner, Christian Atallah, Bryan Bartley, Kiri Choi, Robert Sidney Cox III, Thomas E. Gorochowski, Raik Grünberg, Chris Macklin, James Alastair McLaughlin, Xianwei Meng, Tramy Nguyen, Matthew R. Pocock, Meher Samineni, James Scott-Brown, Ysis Tarter, Michael Zhang, Zhen Zhang, Zach Zundel, Jacob Beal, Michael Bissell, Kevin Clancy, John H. Gennari, Goksel Misirli, Chris J. Myers, Ernst Oberortner, Herbert M. Sauro, Anil Wipat

J. Integr. Bioinform., 2019

2018

Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0.

Robert Sidney Cox III, Curtis Madsen, James Alastair McLaughlin, Tramy Nguyen, Nicholas Roehner, Bryan Bartley, Swapnil Bhatia, Mike Bissell, Kevin Clancy, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, Nicolas Le Novère, Matthew R. Pocock, Herbert M. Sauro, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Christopher A. Voigt, Zach Zundel, Chris J. Myers, Jacob Beal, Anil Wipat

J. Integr. Bioinform., 2018

Synthetic Biology Open Language (SBOL) Version 2.2.0.

Robert Sidney Cox III, Curtis Madsen, James Alastair McLaughlin, Tramy Nguyen, Nicholas Roehner, Bryan Bartley, Jacob Beal, Michael Bissell, Kiri Choi, Kevin Clancy, Raik Grünberg, Chris Macklin, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Meher Samineni, Michael Zhang, Zhen Zhang, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat

J. Integr. Bioinform., 2018

2017

Monotonicity Types for Distributed Dataflow.

Kevin Clancy, Heather Miller

Proceedings of the Workshop on Programming Models and Languages for Distributed Computing, 2017

2016

Synthetic Biology Open Language (SBOL) Version 2.1.0.

Jacob Beal, Robert Sidney Cox III, Raik Grünberg, James Alastair McLaughlin, Tramy Nguyen, Bryan Bartley, Michael Bissell, Kiri Choi, Kevin Clancy, Chris Macklin, Curtis Madsen, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Nicholas Roehner, Meher Samineni, Michael Zhang, Zhen Zhang, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat

J. Integr. Bioinform., 2016

2015

Synthetic Biology Open Language (SBOL) Version 2.0.0.

Bryan Bartley, Jacob Beal, Kevin Clancy, Goksel Misirli, Nicholas Roehner, Ernst Oberortner, Matthew R. Pocock, Michael Bissell, Curtis Madsen, Tramy Nguyen, Zhen Zhang, John H. Gennari, Chris J. Myers, Anil Wipat, Herbert M. Sauro

J. Integr. Bioinform., 2015

2012

versat: A Verified Modern SAT Solver.

Duckki Oe, Aaron Stump, Corey Oliver, Kevin Clancy

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