versat: A Verified Modern SAT Solver. - Duckki Oe; Aaron Stump; Corey Oliver; Kevin Clancy (VMCAI, 2012)

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 006; John H. Gennari; et al. (J. Integr. Bioinform., 2015)

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; et al. (J. Integr. Bioinform., 2016)

Monotonicity Types for Distributed Dataflow. - Kevin Clancy; Heather Miller (PMLDC@ECOOP, 2017)

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; et al. (J. Integr. Bioinform., 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; et al. (J. Integr. Bioinform., 2018)

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; et al. (J. Integr. Bioinform., 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; et al. (J. Integr. Bioinform., 2019)

Synthetic biology open language visual (SBOL visual) version 2.2. - Hasan Baig; Pedro Fontanarrosa; Vishwesh Kulkarni 002; James Alastair McLaughlin; Prashant Vaidyanathan; Bryan Bartley; Swapnil Bhatia; Shyam Bhakta; Michael Bissell; Kevin Clancy; Robert Sidney Cox III; Ángel Goñi-Moreno; et al. (J. Integr. Bioinform., 2020)

Synthetic biology open language visual (SBOL Visual) version 2.3. - Hasan Baig; Pedro Fontanarossa; Vishwesh Kulkarni 002; James Alastair McLaughlin; Prashant Vaidyanathan; Bryan Bartley; Shyam Bhakta; Swapnil Bhatia; Mike Bissell; Kevin Clancy; Robert Sidney Cox III; Ángel Goñi-Moreno; et al. (J. Integr. Bioinform., 2021)