Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kevin Clancy
@article{DBLP:journals/jib/BaigFKMVBBBBCCM21,
author = {Hasan Baig and
Pedro Fontanarossa and
Vishwesh Kulkarni and
James Alastair McLaughlin and
Prashant Vaidyanathan and
Bryan Bartley and
Shyam Bhakta and
Swapnil Bhatia and
Mike Bissell and
Kevin Clancy and
Robert Sidney Cox III and
{\'{A}}ngel Go{\~{n}}i Moreno and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Jihwan Lee and
Augustin Luna and
Curtis Madsen and
Goksel Misirli and
Tramy Nguyen and
Nicolas Le Nov{\`{e}}re and
Zachary Palchick and
Matthew R. Pocock and
Nicholas Roehner and
Herbert M. Sauro and
James Scott{-}Brown and
John T. Sexton and
Guy{-}Bart Stan and
Jeffrey J. Tabor and
Logan Terry and
Marta Vazquez Vilar and
Christopher A. Voigt and
Anil Wipat and
David Zong and
Zach Zundel and
Jacob Beal and
Chris J. Myers},
title = {Synthetic biology open language visual {(SBOL} Visual) version 2.3},
journal = {J. Integr. Bioinform.},
volume = {18},
number = {3},
year = {2021},
url = {https://doi.org/10.1515/jib-2020-0045},
doi = {10.1515/JIB-2020-0045},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/BaigFKMVBBBBCCM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/BaigFKMVBBBBCCM20,
author = {Hasan Baig and
Pedro Fontanarrosa and
Vishwesh Kulkarni and
James Alastair McLaughlin and
Prashant Vaidyanathan and
Bryan Bartley and
Swapnil Bhatia and
Shyam Bhakta and
Michael Bissell and
Kevin Clancy and
Robert Sidney Cox III and
{\'{A}}ngel Go{\~{n}}i Moreno and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Augustin Luna and
Curtis Madsen and
Goksel Misirli and
Tramy Nguyen and
Nicolas Le Nov{\`{e}}re and
Zachary Palchick and
Matthew R. Pocock and
Nicholas Roehner and
Herbert M. Sauro and
James Scott{-}Brown and
John T. Sexton and
Guy{-}Bart Stan and
Jeffrey J. Tabor and
Marta Vazquez Vilar and
Christopher A. Voigt and
Anil Wipat and
David Zong and
Zach Zundel and
Jacob Beal and
Chris J. Myers},
title = {Synthetic biology open language visual {(SBOL} visual) version 2.2},
journal = {J. Integr. Bioinform.},
volume = {17},
number = {2-3},
year = {2020},
url = {https://doi.org/10.1515/jib-2020-0014},
doi = {10.1515/JIB-2020-0014},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/BaigFKMVBBBBCCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/MadsenMPPRABCCG19,
author = {Curtis Madsen and
{\'{A}}ngel Go{\~{n}}i Moreno and
Umesh P and
Zachary Palchick and
Nicholas Roehner and
Christian Atallah and
Bryan Bartley and
Kiri Choi and
Robert Sidney Cox III and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Chris Macklin and
James Alastair McLaughlin and
Xianwei Meng and
Tramy Nguyen and
Matthew R. Pocock and
Meher Samineni and
James Scott{-}Brown and
Ysis Tarter and
Michael Zhang and
Zhen Zhang and
Zach Zundel and
Jacob Beal and
Michael Bissell and
Kevin Clancy and
John H. Gennari and
Goksel Misirli and
Chris J. Myers and
Ernst Oberortner and
Herbert M. Sauro and
Anil Wipat},
title = {Synthetic Biology Open Language {(SBOL)} Version 2.3},
journal = {J. Integr. Bioinform.},
volume = {16},
number = {2},
year = {2019},
url = {https://doi.org/10.1515/jib-2019-0025},
doi = {10.1515/JIB-2019-0025},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/MadsenMPPRABCCG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/MadsenMPPRBBBBC19,
author = {Curtis Madsen and
{\'{A}}ngel Go{\~{n}}i Moreno and
Zachary Palchick and
Umesh P and
Nicholas Roehner and
Bryan Bartley and
Swapnil Bhatia and
Shyam Bhakta and
Mike Bissell and
Kevin Clancy and
Robert Sidney Cox III and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Augustin Luna and
James Alastair McLaughlin and
Tramy Nguyen and
Nicolas Le Nov{\`{e}}re and
Matthew R. Pocock and
Herbert M. Sauro and
James Scott{-}Brown and
John T. Sexton and
Guy{-}Bart Stan and
Jeffrey J. Tabor and
Christopher A. Voigt and
Zach Zundel and
Chris J. Myers and
Jacob Beal and
Anil Wipat},
title = {Synthetic Biology Open Language Visual {(SBOL} Visual) Version 2.1},
journal = {J. Integr. Bioinform.},
volume = {16},
number = {2},
year = {2019},
url = {https://doi.org/10.1515/jib-2018-0101},
doi = {10.1515/JIB-2018-0101},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/MadsenMPPRBBBBC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/CoxMMNRBBBCCGMM18,
author = {Robert Sidney Cox III and
Curtis Madsen and
James Alastair McLaughlin and
Tramy Nguyen and
Nicholas Roehner and
Bryan Bartley and
Jacob Beal and
Michael Bissell and
Kiri Choi and
Kevin Clancy and
Raik Gr{\"{u}}nberg and
Chris Macklin and
Goksel Misirli and
Ernst Oberortner and
Matthew R. Pocock and
Meher Samineni and
Michael Zhang and
Zhen Zhang and
Zach Zundel and
John H. Gennari and
Chris J. Myers and
Herbert M. Sauro and
Anil Wipat},
title = {Synthetic Biology Open Language {(SBOL)} Version 2.2.0},
journal = {J. Integr. Bioinform.},
volume = {15},
number = {1},
year = {2018},
url = {https://doi.org/10.1515/jib-2018-0001},
doi = {10.1515/JIB-2018-0001},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/CoxMMNRBBBCCGMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/CoxMMNRBBBCGGLN18,
author = {Robert Sidney Cox III and
Curtis Madsen and
James Alastair McLaughlin and
Tramy Nguyen and
Nicholas Roehner and
Bryan Bartley and
Swapnil Bhatia and
Mike Bissell and
Kevin Clancy and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Augustin Luna and
Nicolas Le Nov{\`{e}}re and
Matthew R. Pocock and
Herbert M. Sauro and
John T. Sexton and
Guy{-}Bart Stan and
Jeffrey J. Tabor and
Christopher A. Voigt and
Zach Zundel and
Chris J. Myers and
Jacob Beal and
Anil Wipat},
title = {Synthetic Biology Open Language Visual {(SBOL} Visual) Version 2.0},
journal = {J. Integr. Bioinform.},
volume = {15},
number = {1},
year = {2018},
url = {https://doi.org/10.1515/jib-2017-0074},
doi = {10.1515/JIB-2017-0074},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/CoxMMNRBBBCGGLN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ClancyM17,
author = {Kevin Clancy and
Heather Miller},
editor = {Christopher Meiklejohn and
Heather Miller},
title = {Monotonicity Types for Distributed Dataflow},
booktitle = {Proceedings of the Workshop on Programming Models and Languages for
Distributed Computing, Barcelona, Spain, June 20, 2017},
pages = {2:1--2:10},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3166089.3166090},
doi = {10.1145/3166089.3166090},
timestamp = {Thu, 03 Feb 2022 14:35:07 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/ClancyM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/BealCGMNBBCCMMM16,
author = {Jacob Beal and
Robert Sidney Cox III and
Raik Gr{\"{u}}nberg and
James Alastair McLaughlin and
Tramy Nguyen and
Bryan Bartley and
Michael Bissell and
Kiri Choi and
Kevin Clancy and
Chris Macklin and
Curtis Madsen and
Goksel Misirli and
Ernst Oberortner and
Matthew R. Pocock and
Nicholas Roehner and
Meher Samineni and
Michael Zhang and
Zhen Zhang and
Zach Zundel and
John H. Gennari and
Chris J. Myers and
Herbert M. Sauro and
Anil Wipat},
title = {Synthetic Biology Open Language {(SBOL)} Version 2.1.0},
journal = {J. Integr. Bioinform.},
volume = {13},
number = {3},
year = {2016},
url = {https://doi.org/10.2390/biecoll-jib-2016-291},
doi = {10.2390/BIECOLL-JIB-2016-291},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/BealCGMNBBCCMMM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/BartleyBCMROPBM15,
author = {Bryan Bartley and
Jacob Beal and
Kevin Clancy and
Goksel Misirli and
Nicholas Roehner and
Ernst Oberortner and
Matthew R. Pocock and
Michael Bissell and
Curtis Madsen and
Tramy Nguyen and
Zhen Zhang and
John H. Gennari and
Chris J. Myers and
Anil Wipat and
Herbert M. Sauro},
title = {Synthetic Biology Open Language {(SBOL)} Version 2.0.0},
journal = {J. Integr. Bioinform.},
volume = {12},
number = {2},
year = {2015},
url = {https://doi.org/10.2390/biecoll-jib-2015-272},
doi = {10.2390/BIECOLL-JIB-2015-272},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/BartleyBCMROPBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/OeSOC12,
author = {Duckki Oe and
Aaron Stump and
Corey Oliver and
Kevin Clancy},
editor = {Viktor Kuncak and
Andrey Rybalchenko},
title = {versat: {A} Verified Modern {SAT} Solver},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 13th International
Conference, {VMCAI} 2012, Philadelphia, PA, USA, January 22-24, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7148},
pages = {363--378},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27940-9\_24},
doi = {10.1007/978-3-642-27940-9\_24},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/OeSOC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-07 03:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
