Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Chris J. Myers
@article{DBLP:journals/tbe/AlbinBKNNUMA24,
author = {Dreycey Albin and
Lukas Buecherl and
Eitan Kochavi and
Elise Niehaus and
Sasha M. Novack and
Shenali Uragoda and
Chris J. Myers and
Mirela Alistar},
title = {PhageBox: An Open Source Digital Microfluidic Extension With Applications
for Phage Discovery},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {71},
number = {1},
pages = {217--226},
year = {2024},
url = {https://doi.org/10.1109/TBME.2023.3295418},
doi = {10.1109/TBME.2023.3295418},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tbe/AlbinBKNNUMA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/DensmoreHKMPS23,
author = {Douglas Densmore and
Nathan J. Hillson and
Eric Klavins and
Chris J. Myers and
Jean Peccoud and
Giovanni Stracquadanio},
title = {Introduction to the Special Issue on BioFoundries and Cloud Laboratories},
journal = {{ACM} J. Emerg. Technol. Comput. Syst.},
volume = {19},
number = {3},
pages = {26:1--26:2},
year = {2023},
url = {https://doi.org/10.1145/3609485},
doi = {10.1145/3609485},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetc/DensmoreHKMPS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/BuecherlMSVVBBBCFGGKMMOWM23,
author = {Lukas Buecherl and
Thomas Mitchell and
James Scott{-}Brown and
Prashant Vaidyanathan and
Gonzalo Vidal and
Hasan Baig and
Bryan Bartley and
Jacob Beal and
Matthew Crowther and
Pedro Fontanarrosa and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Vishwesh Kulkarni and
James Alastair McLaughlin and
G{\"{o}}ksel Misirli and
Ernst Oberortner and
Anil Wipat and
Chris J. Myers},
title = {Synthetic biology open language {(SBOL)} version 3.1.0},
journal = {J. Integr. Bioinform.},
volume = {20},
number = {1},
year = {2023},
url = {https://doi.org/10.1515/jib-2022-0058},
doi = {10.1515/JIB-2022-0058},
timestamp = {Wed, 29 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/BuecherlMSVVBBBCFGGKMMOWM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/KonigGGGHKMNSWS23,
author = {Matthias K{\"{o}}nig and
Padraig Gleeson and
Martin Golebiewski and
Thomas E. Gorochowski and
Michael Hucka and
Sarah M. Keating and
Chris J. Myers and
David P. Nickerson and
Bj{\"{o}}rn Sommer and
Dagmar Waltemath and
Falk Schreiber},
title = {Specifications of standards in systems and synthetic biology: status
and developments in 2022 and the {COMBINE} meeting 2022},
journal = {J. Integr. Bioinform.},
volume = {20},
number = {1},
year = {2023},
url = {https://doi.org/10.1515/jib-2023-0004},
doi = {10.1515/JIB-2023-0004},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/KonigGGGHKMNSWS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/BerezinABBDFGHHKKMMMMMMNPZP23,
author = {Casey{-}Tyler Berezin and
Luis U. Aguilera and
Sonja Billerbeck and
Philip E. Bourne and
Douglas Densmore and
Paul S. Freemont and
Thomas E. Gorochowski and
Sarah I. Hernandez and
Nathan J. Hillson and
Connor R. King and
Michael K{\"{o}}pke and
Shuyi Ma and
Katie M. Miller and
Tae Seok Moon and
Jason H. Moore and
Brian Munsky and
Chris J. Myers and
Dequina A. Nicholas and
Samuel J. Peccoud and
Wen Zhou and
Jean Peccoud},
title = {Ten simple rules for managing laboratory information},
journal = {PLoS Comput. Biol.},
volume = {19},
number = {12},
year = {2023},
url = {https://doi.org/10.1371/journal.pcbi.1011652},
doi = {10.1371/JOURNAL.PCBI.1011652},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ploscb/BerezinABBDFGHHKKMMMMMMNPZP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/JeppsonVIRWBMZWZ23,
author = {Joshua Jeppson and
Matthias Volk and
Bryant Israelsen and
Riley Roberts and
Andrew Williams and
Lukas Buecherl and
Chris J. Myers and
Hao Zheng and
Chris Winstead and
Zhen Zhang},
editor = {Nils Jansen and
Mirco Tribastone},
title = {{STAMINA} in {C++:} Modernizing an Infinite-State Probabilistic Model
Checker},
booktitle = {Quantitative Evaluation of Systems - 20th International Conference,
{QEST} 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14287},
pages = {101--109},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43835-6\_7},
doi = {10.1007/978-3-031-43835-6\_7},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qest/JeppsonVIRWBMZWZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nar/ShaikhSVMWAAAAB22,
author = {Bilal Shaikh and
Lucian P. Smith and
Dan Vasilescu and
Gnaneswara Marupilla and
Michael Wilson and
Eran Agmon and
Henry Agnew and
Steven S. Andrews and
Azraf Anwar and
Moritz E. Beber and
Frank T. Bergmann and
David Brooks and
Lutz Brusch and
Laurence Calzone and
Kiri Choi and
Joshua Cooper and
John Detloff and
Brian Drawert and
Michel Dumontier and
G. Bard Ermentrout and
James R. Faeder and
Andrew P. Freiburger and
Fabian Fr{\"{o}}hlich and
Akira Funahashi and
Alan Garny and
John H. Gennari and
Padraig Gleeson and
Anne Goelzer and
Zachary B. Haiman and
Jan Hasenauer and
Joseph L. Hellerstein and
Henning Hermjakob and
Stefan Hoops and
Jon C. Ison and
Diego Jahn and
Henry V. Jakubowski and
Ryann Jordan and
Mat{\'{u}}s Kalas and
Matthias K{\"{o}}nig and
Wolfram Liebermeister and
Rahuman S. Malik{-}Sheriff and
Synchon Mandal and
Robert A. McDougal and
J. Kyle Medley and
Pedro Mendes and
Robert M{\"{u}}ller and
Chris J. Myers and
Aur{\'{e}}lien Naldi and
Tung V. N. Nguyen and
David P. Nickerson and
Brett G. Olivier and
Drashti Patoliya and
Lo{\"{\i}}c Paulev{\'{e}} and
Linda R. Petzold and
Ankita Priya and
Anand K. Rampadarath and
Johann M. Rohwer and
Ali S. Saglam and
Dilawar Singh and
Ankur Sinha and
Jacky L. Snoep and
Hugh Sorby and
Ryan K. Spangler and
J{\"{o}}rn Starru{\ss} and
Payton J. Thomas and
David D. van Niekerk and
Daniel Weindl and
Fengkai Zhang and
Anna Zhukova and
Arthur P. Goldberg and
James C. Schaff and
Michael L. Blinov and
Herbert M. Sauro and
Ion I. Moraru and
Jonathan R. Karr},
title = {BioSimulators: a central registry of simulation engines and services
for recommending specific tools},
journal = {Nucleic Acids Res.},
volume = {50},
number = {{W1}},
pages = {108--114},
year = {2022},
url = {https://doi.org/10.1093/nar/gkac331},
doi = {10.1093/NAR/GKAC331},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nar/ShaikhSVMWAAAAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/RobertsNBMZ22,
author = {Riley Roberts and
Thakur Neupane and
Lukas Buecherl and
Chris J. Myers and
Zhen Zhang},
editor = {Bernd Finkbeiner and
Thomas Wies},
title = {{STAMINA} 2.0: Improving Scalability of Infinite-State Stochastic
Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 23rd International
Conference, {VMCAI} 2022, Philadelphia, PA, USA, January 16-18, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13182},
pages = {319--331},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-94583-1\_16},
doi = {10.1007/978-3-030-94583-1\_16},
timestamp = {Fri, 21 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/RobertsNBMZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-06732,
author = {Bilal Shaikh and
Lucian P. Smith and
Dan Vasilescu and
Gnaneswara Marupilla and
Michael Wilson and
Eran Agmon and
Henry Agnew and
Steven S. Andrews and
Azraf Anwar and
Moritz E. Beber and
Frank T. Bergmann and
David Brooks and
Lutz Brusch and
Laurence Calzone and
Kiri Choi and
Joshua Cooper and
John Detloff and
Brian Drawert and
Michel Dumontier and
G. Bard Ermentrout and
James R. Faeder and
Andrew P. Freiburger and
Fabian Fr{\"{o}}hlich and
Akira Funahashi and
Alan Garny and
John H. Gennari and
Padraig Gleeson and
Anne Goelzer and
Zachary B. Haiman and
Joseph L. Hellerstein and
Stefan Hoops and
Jon C. Ison and
Diego Jahn and
Henry V. Jakubowski and
Ryann Jordan and
Mat{\'{u}}s Kalas and
Matthias K{\"{o}}nig and
Wolfram Liebermeister and
Synchon Mandal and
Robert A. McDougal and
J. Kyle Medley and
Pedro Mendes and
Robert M{\"{u}}ller and
Chris J. Myers and
Aur{\'{e}}lien Naldi and
Tung V. N. Nguyen and
David P. Nickerson and
Brett G. Olivier and
Drashti Patoliya and
Lo{\"{\i}}c Paulev{\'{e}} and
Linda R. Petzold and
Ankita Priya and
Anand K. Rampadarath and
Johann M. Rohwer and
Ali S. Saglam and
Dilawar Singh and
Ankur Sinha and
Jacky L. Snoep and
Hugh Sorby and
Ryan K. Spangler and
J{\"{o}}rn Starru{\ss} and
Payton J. Thomas and
David D. van Niekerk and
Daniel Weindl and
Fengkai Zhang and
Anna Zhukova and
Arthur P. Goldberg and
Michael L. Blinov and
Herbert M. Sauro and
Ion I. Moraru and
Jonathan R. Karr},
title = {BioSimulators: a central registry of simulation engines and services
for recommending specific tools},
journal = {CoRR},
volume = {abs/2203.06732},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.06732},
doi = {10.48550/ARXIV.2203.06732},
eprinttype = {arXiv},
eprint = {2203.06732},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-06732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-05207,
author = {Mohammad Ahmadi and
Zhen Zhang and
Chris J. Myers and
Chris Winstead and
Hao Zheng},
title = {Counterexample Generation for Infinite-State Chemical Reaction Networks},
journal = {CoRR},
volume = {abs/2207.05207},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.05207},
doi = {10.48550/ARXIV.2207.05207},
eprinttype = {arXiv},
eprint = {2207.05207},
timestamp = {Thu, 14 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-05207.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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/BaigFMSVGMBM21,
author = {Hasan Baig and
Pedro Fontanarossa and
James Alastair McLaughlin and
James Scott{-}Brown and
Prashant Vaidyanathan and
Thomas E. Gorochowski and
Goksel Misirli and
Jacob Beal and
Chris J. Myers},
title = {Synthetic biology open language visual {(SBOL} visual) version 3.0},
journal = {J. Integr. Bioinform.},
volume = {18},
number = {3},
year = {2021},
url = {https://doi.org/10.1515/jib-2021-0013},
doi = {10.1515/JIB-2021-0013},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/BaigFMSVGMBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/SchreiberGGGHKK21,
author = {Falk Schreiber and
Padraig Gleeson and
Martin Golebiewski and
Thomas E. Gorochowski and
Michael Hucka and
Sarah M. Keating and
Matthias K{\"{o}}nig and
Chris J. Myers and
David P. Nickerson and
Bj{\"{o}}rn Sommer and
Dagmar Waltemath},
title = {Specifications of standards in systems and synthetic biology: status
and developments in 2021},
journal = {J. Integr. Bioinform.},
volume = {18},
number = {3},
year = {2021},
url = {https://doi.org/10.1515/jib-2021-0026},
doi = {10.1515/JIB-2021-0026},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/SchreiberGGGHKK21.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/BaigFKMVBBCGGMS20,
author = {Hasan Baig and
Pedro Fontanarrosa and
Vishwesh Kulkarni and
James Alastair McLaughlin and
Prashant Vaidyanathan and
Bryan Bartley and
Jacob Beal and
Matthew Crowther and
Thomas E. Gorochowski and
Raik Gr{\"{u}}nberg and
Goksel Misirli and
James Scott{-}Brown and
Ernst Oberortner and
Anil Wipat and
Chris J. Myers},
title = {Synthetic biology open language {(SBOL)} version 3.0.0},
journal = {J. Integr. Bioinform.},
volume = {17},
number = {2-3},
year = {2020},
url = {https://doi.org/10.1515/jib-2020-0017},
doi = {10.1515/JIB-2020-0017},
timestamp = {Wed, 29 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/BaigFKMVBBCGGMS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/SchreiberSCGGHK20,
author = {Falk Schreiber and
Bj{\"{o}}rn Sommer and
Tobias Czauderna and
Martin Golebiewski and
Thomas E. Gorochowski and
Michael Hucka and
Sarah M. Keating and
Matthias K{\"{o}}nig and
Chris J. Myers and
David P. Nickerson and
Dagmar Waltemath},
title = {Specifications of standards in systems and synthetic biology: status
and developments in 2020},
journal = {J. Integr. Bioinform.},
volume = {17},
number = {2-3},
year = {2020},
url = {https://doi.org/10.1515/jib-2020-0022},
doi = {10.1515/JIB-2020-0022},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/SchreiberSCGGHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/SmithMBGKKMSWH20,
author = {Lucian P. Smith and
Stuart L. Moodie and
Frank T. Bergmann and
Colin S. Gillespie and
Sarah M. Keating and
Matthias K{\"{o}}nig and
Chris J. Myers and
Maciek J. Swat and
Darren J. Wilkinson and
Michael Hucka},
title = {Systems Biology Markup Language {(SBML)} Level 3 Package: Distributions,
Version 1, Release 1},
journal = {J. Integr. Bioinform.},
volume = {17},
number = {2-3},
year = {2020},
url = {https://doi.org/10.1515/jib-2020-0018},
doi = {10.1515/JIB-2020-0018},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/SmithMBGKKMSWH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/WaltemathGBGHHI20,
author = {Dagmar Waltemath and
Martin Golebiewski and
Michael L. Blinov and
Padraig Gleeson and
Henning Hermjakob and
Michael Hucka and
Esther Thea Inau and
Sarah M. Keating and
Matthias K{\"{o}}nig and
Olga Krebs and
Rahuman S. Malik{-}Sheriff and
David P. Nickerson and
Ernst Oberortner and
Herbert M. Sauro and
Falk Schreiber and
Lucian P. Smith and
Melanie I. Stefan and
Ulrike Wittig and
Chris J. Myers},
title = {The first 10 years of the international coordination network for standards
in systems and synthetic biology {(COMBINE)}},
journal = {J. Integr. Bioinform.},
volume = {17},
number = {2-3},
year = {2020},
url = {https://doi.org/10.1515/jib-2020-0005},
doi = {10.1515/JIB-2020-0005},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/WaltemathGBGHHI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14971,
author = {Hao Zheng and
Yingying Zhang and
Chris J. Myers},
title = {Local State Space Analysis to Assist Partial Order Reduction},
journal = {CoRR},
volume = {abs/2004.14971},
year = {2020},
url = {https://arxiv.org/abs/2004.14971},
eprinttype = {arXiv},
eprint = {2004.14971},
timestamp = {Sun, 03 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-14971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-14995,
author = {Hao Zheng and
Andrew Price and
Chris J. Myers},
title = {Using Decision Diagrams to Compactly Represent the State Space for
Explicit Model Checking},
journal = {CoRR},
volume = {abs/2004.14995},
year = {2020},
url = {https://arxiv.org/abs/2004.14995},
eprinttype = {arXiv},
eprint = {2004.14995},
timestamp = {Sun, 03 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-14995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bib/NealKNMKDACCCCA19,
author = {Maxwell Lewis Neal and
Matthias K{\"{o}}nig and
David P. Nickerson and
Goksel Misirli and
Reza Kalbasi and
Andreas Dr{\"{a}}ger and
Koray Atalag and
Vijayalakshmi Chelliah and
Michael T. Cooling and
Daniel L. Cook and
Sharon M. Crook and
Miguel de Alba and
Samuel H. Friedman and
Alan Garny and
John H. Gennari and
Padraig Gleeson and
Martin Golebiewski and
Michael Hucka and
Nick S. Juty and
Chris J. Myers and
Brett G. Olivier and
Herbert M. Sauro and
Martin Scharm and
Jacky L. Snoep and
Vasundra Tour{\'{e}} and
Anil Wipat and
Olaf Wolkenhauer and
Dagmar Waltemath},
title = {Harmonizing semantic annotations for computational models in biology},
journal = {Briefings Bioinform.},
volume = {20},
number = {2},
pages = {540--550},
year = {2019},
url = {https://doi.org/10.1093/bib/bby087},
doi = {10.1093/BIB/BBY087},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bib/NealKNMKDACCCCA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/HuckaBCDHKKNMOS19,
author = {Michael Hucka and
Frank T. Bergmann and
Claudine Chaouiya and
Andreas Dr{\"{a}}ger and
Stefan Hoops and
Sarah M. Keating and
Matthias K{\"{o}}nig and
Nicolas Le Nov{\`{e}}re and
Chris J. Myers and
Brett G. Olivier and
Sven Sahle and
James C. Schaff and
Rahuman S. Malik{-}Sheriff and
Lucian P. Smith and
Dagmar Waltemath and
Darren J. Wilkinson and
Fengkai Zhang},
title = {The Systems Biology Markup Language {(SBML):} Language Specification
for Level 3 Version 2 Core Release 2},
journal = {J. Integr. Bioinform.},
volume = {16},
number = {2},
year = {2019},
url = {https://doi.org/10.1515/jib-2019-0021},
doi = {10.1515/JIB-2019-0021},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/HuckaBCDHKKNMOS19.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/SchreiberSBGGHK19,
author = {Falk Schreiber and
Bj{\"{o}}rn Sommer and
Gary D. Bader and
Padraig Gleeson and
Martin Golebiewski and
Michael Hucka and
Sarah M. Keating and
Matthias K{\"{o}}nig and
Chris J. Myers and
David P. Nickerson and
Dagmar Waltemath},
title = {Specifications of Standards in Systems and Synthetic Biology: Status
and Developments in 2019},
journal = {J. Integr. Bioinform.},
volume = {16},
number = {2},
year = {2019},
url = {https://doi.org/10.1515/jib-2019-0035},
doi = {10.1515/JIB-2019-0035},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/SchreiberSBGGHK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pieee/NguyenJFMZDM19,
author = {Tramy Nguyen and
Timothy S. Jones and
Pedro Fontanarrosa and
Jeanet V. Mante and
Zach Zundel and
Douglas Densmore and
Chris J. Myers},
title = {Design of Asynchronous Genetic Circuits},
journal = {Proc. {IEEE}},
volume = {107},
number = {7},
pages = {1356--1368},
year = {2019},
url = {https://doi.org/10.1109/JPROC.2019.2916057},
doi = {10.1109/JPROC.2019.2916057},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pieee/NguyenJFMZDM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simulation/WatanabeBM19,
author = {Leandro H. Watanabe and
Jacob Barhak and
Chris J. Myers},
title = {Toward reproducible disease models using the Systems Biology Markup
Language},
journal = {Simul.},
volume = {95},
number = {10},
year = {2019},
url = {https://doi.org/10.1177/0037549718793214},
doi = {10.1177/0037549718793214},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simulation/WatanabeBM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NeupaneMM0019,
author = {Thakur Neupane and
Chris J. Myers and
Curtis Madsen and
Hao Zheng and
Zhen Zhang},
editor = {Isil Dillig and
Serdar Tasiran},
title = {{STAMINA:} STochastic Approximate Model-Checker for INfinite-State
Analysis},
booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11561},
pages = {540--549},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-25540-4\_31},
doi = {10.1007/978-3-030-25540-4\_31},
timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
biburl = {https://dblp.org/rec/conf/cav/NeupaneMM0019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/cb/Neupane0M0M19,
author = {Thakur Neupane and
Zhen Zhang and
Curtis Madsen and
Hao Zheng and
Chris J. Myers},
editor = {Pietro Li{\`{o}} and
Paolo Zuliani},
title = {Approximation Techniques for Stochastic Analysis of Biological Systems},
booktitle = {Automated Reasoning for Systems Biology and Medicine},
series = {Computational Biology},
volume = {30},
pages = {327--348},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17297-8\_12},
doi = {10.1007/978-3-030-17297-8\_12},
timestamp = {Thu, 13 Jun 2019 09:13:47 +0200},
biburl = {https://dblp.org/rec/series/cb/Neupane0M0M19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-07857,
author = {Thakur Neupane and
Zhen Zhang and
Curtis Madsen and
Hao Zheng and
Chris J. Myers},
title = {Approximation Techniques for Stochastic Analysis of Biological Systems},
journal = {CoRR},
volume = {abs/1901.07857},
year = {2019},
url = {http://arxiv.org/abs/1901.07857},
eprinttype = {arXiv},
eprint = {1901.07857},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-07857.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-03978,
author = {Thakur Neupane and
Chris J. Myers and
Curtis Madsen and
Hao Zheng and
Zhen Zhang},
title = {{STAMINA:} STochastic Approximate Model-checker for INfinite-state
Analysis},
journal = {CoRR},
volume = {abs/1906.03978},
year = {2019},
url = {http://arxiv.org/abs/1906.03978},
eprinttype = {arXiv},
eprint = {1906.03978},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-03978.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}
}
@article{DBLP:journals/jib/HuckaBDHKNMOSSS18,
author = {Michael Hucka and
Frank T. Bergmann and
Andreas Dr{\"{a}}ger and
Stefan Hoops and
Sarah M. Keating and
Nicolas Le Nov{\`{e}}re and
Chris J. Myers and
Brett G. Olivier and
Sven Sahle and
James C. Schaff and
Lucian P. Smith and
Dagmar Waltemath and
Darren J. Wilkinson},
title = {The Systems Biology Markup Language {(SBML):} Language Specification
for Level 3 Version 1 Core},
journal = {J. Integr. Bioinform.},
volume = {15},
number = {1},
year = {2018},
url = {https://doi.org/10.1515/jib-2017-0080},
doi = {10.1515/JIB-2017-0080},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/HuckaBDHKNMOSSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/HuckaBDHKNMOSSS18a,
author = {Michael Hucka and
Frank T. Bergmann and
Andreas Dr{\"{a}}ger and
Stefan Hoops and
Sarah M. Keating and
Nicolas Le Nov{\`{e}}re and
Chris J. Myers and
Brett G. Olivier and
Sven Sahle and
James C. Schaff and
Lucian P. Smith and
Dagmar Waltemath and
Darren J. Wilkinson},
title = {The Systems Biology Markup Language {(SBML):} Language Specification
for Level 3 Version 2 Core},
journal = {J. Integr. Bioinform.},
volume = {15},
number = {1},
year = {2018},
url = {https://doi.org/10.1515/jib-2017-0081},
doi = {10.1515/JIB-2017-0081},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/HuckaBDHKNMOSSS18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/SchreiberBGGHKN18,
author = {Falk Schreiber and
Gary D. Bader and
Padraig Gleeson and
Martin Golebiewski and
Michael Hucka and
Sarah M. Keating and
Nicolas Le Nov{\`{e}}re and
Chris J. Myers and
David P. Nickerson and
Bj{\"{o}}rn Sommer and
Dagmar Waltemath},
title = {Specifications of Standards in Systems and Synthetic Biology: Status
and Developments in 2017},
journal = {J. Integr. Bioinform.},
volume = {15},
number = {1},
year = {2018},
url = {https://doi.org/10.1515/jib-2018-0013},
doi = {10.1515/JIB-2018-0013},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/SchreiberBGGHKN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/DubikhinMSSY17,
author = {Vladimir Dubikhin and
Chris J. Myers and
Danil Sokolov and
Ioannis Syranidis and
Alexandre Yakovlev},
title = {Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems:
Invited},
booktitle = {Proceedings of the 54th Annual Design Automation Conference, {DAC}
2017, Austin, TX, USA, June 18-22, 2017},
pages = {36:1--36:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3061639.3072945},
doi = {10.1145/3061639.3072945},
timestamp = {Tue, 06 Nov 2018 16:58:15 +0100},
biburl = {https://dblp.org/rec/conf/dac/DubikhinMSSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsc/MyersBGGHNNSW17,
author = {Chris J. Myers and
Gary D. Bader and
Padraig Gleeson and
Martin Golebiewski and
Michael Hucka and
Nicolas Le Nov{\`{e}}re and
David P. Nickerson and
Falk Schreiber and
Dagmar Waltemath},
title = {A brief history of {COMBINE}},
booktitle = {2017 Winter Simulation Conference, {WSC} 2017, Las Vegas, NV, USA,
December 3-6, 2017},
pages = {884--895},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/WSC.2017.8247840},
doi = {10.1109/WSC.2017.8247840},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/wsc/MyersBGGHNNSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/LiKM16,
author = {Xin Li and
Chandramouli V. Kashyap and
Chris J. Myers},
title = {Guest Editors' Introduction Challenges and Opportunities in Analog/Mixed-Signal
{CAD}},
journal = {{IEEE} Des. Test},
volume = {33},
number = {5},
pages = {5--6},
year = {2016},
url = {https://doi.org/10.1109/MDAT.2016.2594182},
doi = {10.1109/MDAT.2016.2594182},
timestamp = {Thu, 18 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/LiKM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/DubikhinSYM16,
author = {Vladimir Dubikhin and
Danil Sokolov and
Alex Yakovlev and
Chris J. Myers},
title = {Design of Mixed-Signal Systems With Asynchronous Control},
journal = {{IEEE} Des. Test},
volume = {33},
number = {5},
pages = {44--55},
year = {2016},
url = {https://doi.org/10.1109/MDAT.2016.2555916},
doi = {10.1109/MDAT.2016.2555916},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dt/DubikhinSYM16.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/SchreiberBGGHNM16,
author = {Falk Schreiber and
Gary D. Bader and
Padraig Gleeson and
Martin Golebiewski and
Michael Hucka and
Nicolas Le Nov{\`{e}}re and
Chris J. Myers and
David P. Nickerson and
Bj{\"{o}}rn Sommer and
Dagmar Waltemath},
title = {Specifications of Standards in Systems and Synthetic Biology: Status
and Developments in 2016},
journal = {J. Integr. Bioinform.},
volume = {13},
number = {3},
year = {2016},
url = {https://doi.org/10.2390/biecoll-jib-2016-289},
doi = {10.2390/BIECOLL-JIB-2016-289},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/SchreiberBGGHNM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ZhangSWY0M16,
author = {Zhen Zhang and
Wendelin Serwe and
Jian Wu and
Tomohiro Yoneda and
Hao Zheng and
Chris J. Myers},
title = {An improved fault-tolerant routing algorithm for a Network-on-Chip
derived with formal analysis},
journal = {Sci. Comput. Program.},
volume = {118},
pages = {24--39},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.01.002},
doi = {10.1016/J.SCICO.2016.01.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/ZhangSWY0M16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/WaltemathKBCHKL16,
author = {Dagmar Waltemath and
Jonathan R. Karr and
Frank T. Bergmann and
Vijayalakshmi Chelliah and
Michael Hucka and
Marcus Krantz and
Wolfram Liebermeister and
Pedro Mendes and
Chris J. Myers and
Pinar Pir and
Begum Alaybeyoglu and
Naveen K. Aranganathan and
Kambiz Baghalian and
Arne T. Bittig and
Paulo E. Pinto Burke and
Matteo Cantarelli and
Yin Hoon Chew and
Rafael S. Costa and
Joseph Cursons and
Tobias Czauderna and
Arthur P. Goldberg and
Harold F. G{\'{o}}mez and
Jens Hahn and
Tuure Hameri and
Daniel F. Hernandez Gardiol and
Denis Kazakiewicz and
Ilya Kiselev and
Vincent Knight{-}Schrijver and
Christian Kn{\"{u}}pfer and
Matthias K{\"{o}}nig and
Daewon Lee and
Audald Lloret{-}Villas and
Nikita Mandrik and
J. Kyle Medley and
Bertrand Moreau and
Hojjat Naderi{-}Meshkin and
Sucheendra K. Palaniappan and
Daniel Priego{-}Espinosa and
Martin Scharm and
Mahesh Sharma and
Kieran Smallbone and
Natalie J. Stanford and
Je{-}Hoon Song and
Tom Theile and
Milenko Tokic and
Namrata Tomar and
Vasundra Tour{\'{e}} and
Jannis Uhlendorf and
Thawfeek M. Varusai and
Leandro H. Watanabe and
Florian Wendland and
Markus Wolfien and
James T. Yurkovich and
Yan Zhu and
Argyris Zardilis and
Anna Zhukova and
Falk Schreiber},
title = {Toward Community Standards and Software for Whole-Cell Modeling},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {63},
number = {10},
pages = {2007--2014},
year = {2016},
url = {https://doi.org/10.1109/TBME.2016.2560762},
doi = {10.1109/TBME.2016.2560762},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/WaltemathKBCHKL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/RodriguezTWVKGM15,
author = {Nicolas Rodriguez and
Alex Thomas and
Leandro H. Watanabe and
Ibrahim Y. Vazirabad and
Victor Kofia and
Harold F. G{\'{o}}mez and
Florian Mittag and
Jakob Matthes and
Jan Rudolph and
Finja Wrzodek and
Eugen Netz and
Alexander Diamantikos and
Johannes Eichner and
Roland Keller and
Clemens Wrzodek and
Sebastian Fr{\"{o}}hlich and
Nathan E. Lewis and
Chris J. Myers and
Nicolas Le Nov{\`{e}}re and
Bernhard {\O}. Palsson and
Michael Hucka and
Andreas Dr{\"{a}}ger},
title = {{JSBML} 1.0: providing a smorgasbord of options to encode systems
biology models},
journal = {Bioinform.},
volume = {31},
number = {20},
pages = {3383--3386},
year = {2015},
url = {https://doi.org/10.1093/bioinformatics/btv341},
doi = {10.1093/BIOINFORMATICS/BTV341},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bioinformatics/RodriguezTWVKGM15.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}
}
@article{DBLP:journals/jib/HuckaBDHKNMOSSS15,
author = {Michael Hucka and
Frank T. Bergmann and
Andreas Dr{\"{a}}ger and
Stefan Hoops and
Sarah M. Keating and
Nicolas Le Nov{\`{e}}re and
Chris J. Myers and
Brett G. Olivier and
Sven Sahle and
James C. Schaff and
Lucian P. Smith and
Dagmar Waltemath and
Darren J. Wilkinson},
title = {Systems Biology Markup Language {(SBML)} Level 2 Version 5: Structures
and Facilities for Model Definitions},
journal = {J. Integr. Bioinform.},
volume = {12},
number = {2},
year = {2015},
url = {https://doi.org/10.2390/biecoll-jib-2015-271},
doi = {10.2390/BIECOLL-JIB-2015-271},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/HuckaBDHKNMOSSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/SchreiberBGHKNM15,
author = {Falk Schreiber and
Gary D. Bader and
Martin Golebiewski and
Michael Hucka and
Benjamin Kormeier and
Nicolas Le Nov{\`{e}}re and
Chris J. Myers and
David P. Nickerson and
Bj{\"{o}}rn Sommer and
Dagmar Waltemath and
Stephan Weise},
title = {Specifications of Standards in Systems and Synthetic Biology},
journal = {J. Integr. Bioinform.},
volume = {12},
number = {2},
year = {2015},
url = {https://doi.org/10.2390/biecoll-jib-2015-258},
doi = {10.2390/BIECOLL-JIB-2015-258},
timestamp = {Wed, 08 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jib/SchreiberBGHKNM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jib/SmithHHFGMML15,
author = {Lucian Paul Smith and
Michael Hucka and
Stefan Hoops and
Andrew Finney and
Martin Ginkel and
Chris J. Myers and
Ion I. Moraru and
Wolfram Liebermeister},
title = {{SBML} Level 3 package: Hierarchical Model Composition, Version 1
Release 3},
journal = {J. Integr. Bioinform.},
volume = {12},
number = {2},
year = {2015},
url = {https://doi.org/10.2390/biecoll-jib-2015-268},
doi = {10.2390/BIECOLL-JIB-2015-268},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jib/SmithHHFGMML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/0001ZMRZ15,
author = {Hao Zheng and
Zhen Zhang and
Chris J. Myers and
Emmanuel Rodriguez and
Yingying Zhang},
title = {Compositional Model Checking of Concurrent Systems},
journal = {{IEEE} Trans. Computers},
volume = {64},
number = {6},
pages = {1607--1621},
year = {2015},
url = {https://doi.org/10.1109/TC.2014.2329701},
doi = {10.1109/TC.2014.2329701},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/0001ZMRZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmscs/Myers15,
author = {Chris J. Myers},
title = {Computational Synthetic Biology: Progress and the Road Ahead},
journal = {{IEEE} Trans. Multi Scale Comput. Syst.},
volume = {1},
number = {1},
pages = {19--32},
year = {2015},
url = {https://doi.org/10.1109/TMSCS.2015.2478442},
doi = {10.1109/TMSCS.2015.2478442},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmscs/Myers15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/FisherML15,
author = {Andrew N. Fisher and
Chris J. Myers and
Peng Li},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Reachability Analysis Using Extremal Rates},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {158--172},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_12},
doi = {10.1007/978-3-319-17524-9\_12},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/FisherML15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/MyersSW14,
author = {Chris J. Myers and
Herbert M. Sauro and
Anil Wipat},
title = {Introduction to the Special Issue on Computational Synthetic Biology},
journal = {{ACM} J. Emerg. Technol. Comput. Syst.},
volume = {11},
number = {3},
pages = {20:1--20:5},
year = {2014},
url = {https://doi.org/10.1145/2668126},
doi = {10.1145/2668126},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetc/MyersSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetc/MadsenZRWM14,
author = {Curtis Madsen and
Zhen Zhang and
Nicholas Roehner and
Chris Winstead and
Chris J. Myers},
title = {Stochastic Model Checking of Genetic Circuits},
journal = {{ACM} J. Emerg. Technol. Comput. Syst.},
volume = {11},
number = {3},
pages = {23:1--23:21},
year = {2014},
url = {https://doi.org/10.1145/2644817},
doi = {10.1145/2644817},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetc/MadsenZRWM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/ZhangSWY0M14,
author = {Zhen Zhang and
Wendelin Serwe and
Jian Wu and
Tomohiro Yoneda and
Hao Zheng and
Chris J. Myers},
editor = {Fr{\'{e}}d{\'{e}}ric Lang and
Francesco Flammini},
title = {Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip},
booktitle = {Formal Methods for Industrial Critical Systems - 19th International
Conference, {FMICS} 2014, Florence, Italy, September 11-12, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8718},
pages = {48--62},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10702-8\_4},
doi = {10.1007/978-3-319-10702-8\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/ZhangSWY0M14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mwscas/FisherBJKLWM14,
author = {Andrew N. Fisher and
Satish Batchu and
Kevin R. Jones and
Dhanashree Kulkarni and
Scott Little and
David Walter and
Chris J. Myers},
title = {{LEMA:} {A} tool for the formal verification of digitally-intensive
analog/mixed-signal circuits},
booktitle = {{IEEE} 57th International Midwest Symposium on Circuits and Systems,
{MWSCAS} 2014, College Station, TX, USA, August 3-6, 2014},
pages = {1017--1020},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/MWSCAS.2014.6908590},
doi = {10.1109/MWSCAS.2014.6908590},
timestamp = {Mon, 09 Aug 2021 14:54:01 +0200},
biburl = {https://dblp.org/rec/conf/mwscas/FisherBJKLWM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/WatanabeM14,
author = {Leandro H. Watanabe and
Chris J. Myers},
title = {Hierarchical stochastic simulation of genetic circuits},
booktitle = {2014 Spring Simulation Multiconference, SpringSim '14, Tampa, FL,
USA, April 13-16, 2014, Proceedings of the Symposium on Theory of
Modeling and Simulation - {DEVS} Integrative M{\&}S Symposium},
pages = {37},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2665045},
timestamp = {Fri, 19 Sep 2014 14:31:59 +0200},
biburl = {https://dblp.org/rec/conf/springsim/WatanabeM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/LinLM13,
author = {Honghuang Lin and
Peng Li and
Chris J. Myers},
title = {Verification of digitally-intensive analog circuits via kernel ridge
regression and hybrid reachability analysis},
booktitle = {The 50th Annual Design Automation Conference 2013, {DAC} '13, Austin,
TX, USA, May 29 - June 07, 2013},
pages = {66:1--66:6},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2463209.2488814},
doi = {10.1145/2463209.2488814},
timestamp = {Thu, 31 Oct 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/LinLM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/KulkarniFM13,
author = {Dhanashree Kulkarni and
Andrew N. Fisher and
Chris J. Myers},
title = {A new assertion property language for analog/mixed-signal circuits},
booktitle = {Proceedings of the 2013 Forum on specification and Design Languages,
{FDL} 2013, Paris, France, September 24-26, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://ieeexplore.ieee.org/document/6646627/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fdl/KulkarniFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/MadsenMPRSW12,
author = {Curtis Madsen and
Chris J. Myers and
Tyler Patterson and
Nicholas Roehner and
Jason T. Stevens and
Chris Winstead},
title = {Design and Test of Genetic Circuits Using {\textdollar}\{{\textbackslash}tt
iBioSim\}{\textdollar}iBioSim},
journal = {{IEEE} Des. Test Comput.},
volume = {29},
number = {3},
pages = {32--39},
year = {2012},
url = {https://doi.org/10.1109/MDT.2012.2187875},
doi = {10.1109/MDT.2012.2187875},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/MadsenMPRSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Myers12,
author = {Chris J. Myers},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Formal Verification of Genetic Circuits},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {5},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_5},
doi = {10.1007/978-3-642-31424-7\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/Myers12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cibcb/MadsenMRWZ12,
author = {Curtis Madsen and
Chris J. Myers and
Nicholas Roehner and
Chris Winstead and
Zhen Zhang},
title = {Utilizing stochastic model checking to analyze genetic circuits},
booktitle = {2012 {IEEE} Symposium on Computational Intelligence in Bioinformatics
and Computational Biology, {CIBCB} 2012, San Diego, CA, USA, May 9-12,
2012},
pages = {379--386},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/CIBCB.2012.6217255},
doi = {10.1109/CIBCB.2012.6217255},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/cibcb/MadsenMRWZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/ZhengPM12,
author = {Hao Zheng and
Andrew Price and
Chris J. Myers},
title = {Using decision diagrams to compactly represent the state space for
explicit model checking},
booktitle = {2012 {IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2012, Huntington Beach, CA, USA, November 9-10, 2012},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/HLDVT.2012.6418238},
doi = {10.1109/HLDVT.2012.6418238},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/ZhengPM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/Miskov-ZivanovFMS12,
author = {Natasa Miskov{-}Zivanov and
James R. Faeder and
Chris J. Myers and
Herbert M. Sauro},
editor = {Alan J. Hu},
title = {Modeling and design automation of biological circuits and systems},
booktitle = {2012 {IEEE/ACM} International Conference on Computer-Aided Design,
{ICCAD} 2012, San Jose, CA, USA, November 5-8, 2012},
pages = {291--293},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2429384.2429444},
doi = {10.1145/2429384.2429444},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/Miskov-ZivanovFMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/MyersWZZZ12,
author = {Chris J. Myers and
Jian Wu and
Zhen Zhang and
Hao Zheng and
Yingying Zhang},
title = {Poster Abstract: Methods and Tools for Verification of Cyber-Physical
Systems},
booktitle = {2012 {IEEE/ACM} Third International Conference on Cyber-Physical Systems,
{ICCPS} 2012, Beijing, China, April 17-19, 2012},
pages = {232},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICCPS.2012.50},
doi = {10.1109/ICCPS.2012.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccps/MyersWZZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/ZhangR0M12,
author = {Yingying Zhang and
Emmanuel Rodriguez and
Hao Zheng and
Chris J. Myers},
title = {An Improvement in Partial Order Reduction Using Behavioral Analysis},
booktitle = {{IEEE} Computer Society Annual Symposium on VLSI, {ISVLSI} 2012, Amherst,
MA, USA, August 19-21, 2012},
pages = {100--107},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISVLSI.2012.15},
doi = {10.1109/ISVLSI.2012.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/ZhangR0M12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/ZhengRZM12,
author = {Hao Zheng and
Emmanuel Rodriguez and
Yingying Zhang and
Chris J. Myers},
editor = {Alastair F. Donaldson and
David Parker},
title = {A Compositional Minimization Approach for Large Asynchronous Design
Verification},
booktitle = {Model Checking Software - 19th International Workshop, {SPIN} 2012,
Oxford, UK, July 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7385},
pages = {62--79},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31759-0\_7},
doi = {10.1007/978-3-642-31759-0\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/ZhengRZM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/LittleWMTBY11,
author = {Scott Little and
David Walter and
Chris J. Myers and
Robert A. Thacker and
Satish Batchu and
Tomohiro Yoneda},
title = {Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid
Petri Nets},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {30},
number = {4},
pages = {617--630},
year = {2011},
url = {https://doi.org/10.1109/TCAD.2010.2097450},
doi = {10.1109/TCAD.2010.2097450},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/LittleWMTBY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/BarkerMK11,
author = {Nathan A. Barker and
Chris J. Myers and
Hiroyuki Kuwahara},
title = {Learning Genetic Regulatory Network Connectivity from Time Series
Data},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {8},
number = {1},
pages = {152--165},
year = {2011},
url = {https://doi.org/10.1109/TCBB.2009.48},
doi = {10.1109/TCBB.2009.48},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/BarkerMK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcb/KuwaharaM11,
author = {Hiroyuki Kuwahara and
Chris J. Myers},
editor = {Robert Grossman and
Andrey Rzhetsky and
Sun Kim and
Wei Wang},
title = {Erlang-delayed stochastic chemical kinetic formalism for efficient
analysis of biological systems with non-elementary reaction effects},
booktitle = {{ACM} International Conference on Bioinformatics, Computational Biology
and Biomedicine, BCB' 11, Chicago, IL, {USA} - July 31 - August 03,
2011},
pages = {425--429},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2147805.2147863},
doi = {10.1145/2147805.2147863},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bcb/KuwaharaM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhangRZM11,
author = {Yingying Zhang and
Emmanuel Rodriguez and
Hao Zheng and
Chris J. Myers},
editor = {Taghi M. Khoshgoftaar},
title = {A Behavioral Analysis Approach for Efficient Partial Order Reduction},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {49--56},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.15},
doi = {10.1109/HASE.2011.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/ZhangRZM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijfcs/LittleWJMS10,
author = {Scott Little and
David Walter and
Kevin R. Jones and
Chris J. Myers and
Alper Sen},
title = {Analog/Mixed-Signal Circuit Verification Using Models Generated from
Simulation Traces},
journal = {Int. J. Found. Comput. Sci.},
volume = {21},
number = {2},
pages = {191--210},
year = {2010},
url = {https://doi.org/10.1142/S0129054110007209},
doi = {10.1142/S0129054110007209},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijfcs/LittleWJMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/KuwaharaMS10,
author = {Hiroyuki Kuwahara and
Chris J. Myers and
Michael S. Samoilov},
title = {Temperature Control of Fimbriation Circuit Switch in Uropathogenic
\emph{Escherichia coli}: Quantitative Analysis via Automated Model
Abstraction},
journal = {PLoS Comput. Biol.},
volume = {6},
number = {3},
year = {2010},
url = {https://doi.org/10.1371/journal.pcbi.1000723},
doi = {10.1371/JOURNAL.PCBI.1000723},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/KuwaharaMS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/YaoZM10,
author = {Haiqiong Yao and
Hao Zheng and
Chris J. Myers},
title = {State space reductions for scalable verification of asynchronous designs},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HLDVT.2010.5496666},
doi = {10.1109/HLDVT.2010.5496666},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/YaoZM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/ThackerJMZ10,
author = {Robert A. Thacker and
Kevin R. Jones and
Chris J. Myers and
Hao Zheng},
editor = {Janos Sztipanovits and
Raj Rajkumar},
title = {Automatic abstraction for verification of cyber-physical systems},
booktitle = {{ACM/IEEE} 1st International Conference on Cyber-Physical Systems,
{ICCPS} '10, Stockholm, Sweden, April 12-15, 2010},
pages = {12--21},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1795194.1795197},
doi = {10.1145/1795194.1795197},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/ThackerJMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/WinsteadMM10,
author = {Chris Winstead and
Curtis Madsen and
Chris J. Myers},
title = {iSSA: An incremental stochastic simulation algorithm for genetic circuits},
booktitle = {International Symposium on Circuits and Systems {(ISCAS} 2010), May
30 - June 2, 2010, Paris, France},
pages = {553--556},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ISCAS.2010.5537539},
doi = {10.1109/ISCAS.2010.5537539},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/WinsteadMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/MyersBJKMN09,
author = {Chris J. Myers and
Nathan A. Barker and
Kevin R. Jones and
Hiroyuki Kuwahara and
Curtis Madsen and
Nam{-}Phuong D. Nguyen},
title = {iBioSim: a tool for the analysis and design of genetic circuits},
journal = {Bioinform.},
volume = {25},
number = {21},
pages = {2848--2849},
year = {2009},
url = {https://doi.org/10.1093/bioinformatics/btp457},
doi = {10.1093/BIOINFORMATICS/BTP457},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/MyersBJKMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipsj/HamadaSKSYMN09,
author = {Naohiro Hamada and
Yuki Shiga and
Takao Konishi and
Hiroshi Saito and
Tomohiro Yoneda and
Chris J. Myers and
Takashi Nanya},
title = {A Behavioral Synthesis System for Asynchronous Circuits with Bundled-data
Implementation},
journal = {{IPSJ} Trans. Syst. {LSI} Des. Methodol.},
volume = {2},
pages = {64--79},
year = {2009},
url = {https://doi.org/10.2197/ipsjtsldm.2.64},
doi = {10.2197/IPSJTSLDM.2.64},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipsj/HamadaSKSYMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/MyersBKJMN09,
author = {Chris J. Myers and
Nathan A. Barker and
Hiroyuki Kuwahara and
Kevin R. Jones and
Curtis Madsen and
Nam{-}Phuong D. Nguyen},
editor = {Jaijeet S. Roychowdhury},
title = {Genetic design automation},
booktitle = {2009 International Conference on Computer-Aided Design, {ICCAD} 2009,
San Jose, CA, USA, November 2-5, 2009},
pages = {713--716},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1687399.1687531},
doi = {10.1145/1687399.1687531},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccad/MyersBKJMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ThackerMJL09,
author = {Robert A. Thacker and
Chris J. Myers and
Kevin R. Jones and
Scott Little},
title = {A new verification method for embedded systems},
booktitle = {27th International Conference on Computer Design, {ICCD} 2009, Lake
Tahoe, CA, USA, October 4-7, 2009},
pages = {193--200},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICCD.2009.5413154},
doi = {10.1109/ICCD.2009.5413154},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/ThackerMJL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BealYM08,
author = {Fr{\'{e}}d{\'{e}}ric B{\'{e}}al and
Tomohiro Yoneda and
Chris J. Myers},
title = {Hazard Checking of Timed Asynchronous Circuits Revisited},
journal = {Fundam. Informaticae},
volume = {88},
number = {4},
pages = {411--435},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi88-4-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BealYM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/BealYM08,
author = {Fr{\'{e}}d{\'{e}}ric B{\'{e}}al and
Tomohiro Yoneda and
Chris J. Myers},
title = {A Conservative Framework for Safety-Failure Checking},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {91-D},
number = {3},
pages = {642--654},
year = {2008},
url = {https://doi.org/10.1093/ietisy/e91-d.3.642},
doi = {10.1093/IETISY/E91-D.3.642},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/BealYM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcb/KuwaharaM08,
author = {Hiroyuki Kuwahara and
Chris J. Myers},
title = {Production-Passage-Time Approximation: {A} New Approximation Method
to Accelerate the Simulation Process of Enzymatic Reactions},
journal = {J. Comput. Biol.},
volume = {15},
number = {7},
pages = {779--792},
year = {2008},
url = {https://doi.org/10.1089/cmb.2007.0135},
doi = {10.1089/CMB.2007.0135},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcb/KuwaharaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/WalterLMSY08,
author = {David Walter and
Scott Little and
Chris J. Myers and
Nicholas Seegmiller and
Tomohiro Yoneda},
title = {Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {27},
number = {12},
pages = {2223--2235},
year = {2008},
url = {https://doi.org/10.1109/TCAD.2008.2006159},
doi = {10.1109/TCAD.2008.2006159},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/WalterLMSY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HamadaSSYMN08,
author = {Naohiro Hamada and
Yuki Shiga and
Hiroshi Saito and
Tomohiro Yoneda and
Chris J. Myers and
Takashi Nanya},
editor = {Jonathan Billington and
Zhenhua Duan and
Maciej Koutny},
title = {A behavioral synthesis method for asynchronous circuits with bundled-data
implementation (Tool paper)},
booktitle = {8th International Conference on Application of Concurrency to System
Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008},
pages = {50--55},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSD.2008.4574595},
doi = {10.1109/ACSD.2008.4574595},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/acsd/HamadaSSYMN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/SaitoHJYMN07,
author = {Hiroshi Saito and
Naohiro Hamada and
Nattha Jindapetch and
Tomohiro Yoneda and
Chris J. Myers and
Takashi Nanya},
title = {Scheduling Methods for Asynchronous Circuits with Bundled-Data Implementations
Based on the Approximation of Start Times},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {90-A},
number = {12},
pages = {2790--2799},
year = {2007},
url = {https://doi.org/10.1093/ietfec/e90-a.12.2790},
doi = {10.1093/IETFEC/E90-A.12.2790},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/SaitoHJYMN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/NelsonMY07,
author = {Curtis A. Nelson and
Chris J. Myers and
Tomohiro Yoneda},
title = {Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous
Circuits},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {26},
number = {3},
pages = {592--605},
year = {2007},
url = {https://doi.org/10.1109/TCAD.2006.883912},
doi = {10.1109/TCAD.2006.883912},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/NelsonMY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/YonedaM07,
author = {Tomohiro Yoneda and
Chris J. Myers},
title = {Synthesis of Timed Circuits Based on Decomposition},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {26},
number = {7},
pages = {1177--1195},
year = {2007},
url = {https://doi.org/10.1109/TCAD.2006.888269},
doi = {10.1109/TCAD.2006.888269},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/YonedaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BealYM07,
author = {Fr{\'{e}}d{\'{e}}ric B{\'{e}}al and
Tomohiro Yoneda and
Chris J. Myers},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Hazard Checking of Timed Asynchronous Circuits Revisited},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.52},
doi = {10.1109/ACSD.2007.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BealYM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/WalterLSMY07,
author = {David Walter and
Scott Little and
Nicholas Seegmiller and
Chris J. Myers and
Tomohiro Yoneda},
title = {Symbolic Model Checking of Analog/Mixed-Signal Circuits},
booktitle = {Proceedings of the 12th Conference on Asia South Pacific Design Automation,
{ASP-DAC} 2007, Yokohama, Japan, January 23-26, 2007},
pages = {316--323},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ASPDAC.2007.358005},
doi = {10.1109/ASPDAC.2007.358005},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/WalterLSMY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/NguyenKMK07,
author = {Nam{-}Phuong D. Nguyen and
Hiroyuki Kuwahara and
Chris J. Myers and
James P. Keener},
title = {The Design of a Genetic Muller C-Element},
booktitle = {13th {IEEE} International Symposium on Asynchronous Circuits and Systems
{(ASYNC} 2007), 12-14 March 2006, Berkeley, California, {USA}},
pages = {95--104},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ASYNC.2007.27},
doi = {10.1109/ASYNC.2007.27},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/NguyenKMK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/WalterLM07,
author = {David Walter and
Scott Little and
Chris J. Myers},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Bounded Model Checking of Analog and Mixed-Signal Circuits Using an
{SMT} Solver},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {66--81},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_7},
doi = {10.1007/978-3-540-75596-8\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/WalterLM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LittleWJM07,
author = {Scott Little and
David Walter and
Kevin R. Jones and
Chris J. Myers},
editor = {Kedar S. Namjoshi and
Tomohiro Yoneda and
Teruo Higashino and
Yoshio Okamura},
title = {Analog/Mixed-Signal Circuit Verification Using Models Generated from
Simulation Traces},
booktitle = {Automated Technology for Verification and Analysis, 5th International
Symposium, {ATVA} 2007, Tokyo, Japan, October 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4762},
pages = {114--128},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75596-8\_10},
doi = {10.1007/978-3-540-75596-8\_10},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LittleWJM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mtv/LittleSM07,
author = {Scott Little and
Alper Sen and
Chris J. Myers},
editor = {Magdy S. Abadir and
Li{-}C. Wang and
Jayanta Bhadra},
title = {Application of Automated Model Generation Techniques to Analog/Mixed-Signal
Circuits},
booktitle = {Eighth International Workshop on Microprocessor Test and Verification
{(MTV} 2007), Common Challenges and Solutions, 5-6 December 2007,
Austin, Texas, {USA}},
pages = {109--115},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MTV.2007.17},
doi = {10.1109/MTV.2007.17},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mtv/LittleSM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/recomb/KuwaharaM07,
author = {Hiroyuki Kuwahara and
Chris J. Myers},
editor = {Terence P. Speed and
Haiyan Huang},
title = {Production-Passage-Time Approximation: {A} New Approximation Method
to Accelerate the Simulation Process of Enzymatic Reactions},
booktitle = {Research in Computational Molecular Biology, 11th Annual International
Conference, {RECOMB} 2007, Oakland, CA, USA, April 21-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4453},
pages = {166--180},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71681-5\_12},
doi = {10.1007/978-3-540-71681-5\_12},
timestamp = {Mon, 13 May 2019 09:30:09 +0200},
biburl = {https://dblp.org/rec/conf/recomb/KuwaharaM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZhengMWLY06,
author = {Hao Zheng and
Chris J. Myers and
David Walter and
Scott Little and
Tomohiro Yoneda},
title = {Verification of timed circuits with failure-directed abstractions},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {25},
number = {3},
pages = {403--412},
year = {2006},
url = {https://doi.org/10.1109/TCAD.2005.854638},
doi = {10.1109/TCAD.2005.854638},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZhengMWLY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcsb/KuwaharaMSBA06,
author = {Hiroyuki Kuwahara and
Chris J. Myers and
Michael S. Samoilov and
Nathan A. Barker and
Adam P. Arkin},
title = {Automated Abstraction Methodology for Genetic Regulatory Networks},
journal = {Trans. Comp. Sys. Biology},
volume = {6},
pages = {150--175},
year = {2006},
url = {https://doi.org/10.1007/11880646\_7},
doi = {10.1007/11880646\_7},
timestamp = {Wed, 06 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcsb/KuwaharaMSBA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/SaitoJYMN06,
author = {Hiroshi Saito and
Nattha Jindapetch and
Tomohiro Yoneda and
Chris J. Myers and
Takashi Nanya},
title = {ILP-based Scheduling for Asynchronous Circuits in Bundled-Data Implementation},
booktitle = {Sixth International Conference on Computer and Information Technology
{(CIT} 2006), 20-22 September 2006, Seoul, Korea},
pages = {172},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/CIT.2006.99},
doi = {10.1109/CIT.2006.99},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/SaitoJYMN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/YonedaM06,
author = {Tomohiro Yoneda and
Chris J. Myers},
editor = {Susanne Graf and
Wenhui Zhang},
title = {Effective Contraction of Timed STGs for Decomposition Based Timed
Circuit Synthesis},
booktitle = {Automated Technology for Verification and Analysis, 4th International
Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006},
series = {Lecture Notes in Computer Science},
volume = {4218},
pages = {229--244},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11901914\_19},
doi = {10.1007/11901914\_19},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/YonedaM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biocomp/KuwaharaMS06,
author = {Hiroyuki Kuwahara and
Chris J. Myers and
Michael S. Samoilov},
editor = {Hamid R. Arabnia and
Homayoun Valafar},
title = {Abstracted Stochastic Analysis of Type 1 Pili Expression in E.coli},
booktitle = {Proceedings of the 2006 International Conference on Bioinformatics
{\&} Computational Biology, BIOCOMP'06, Las Vegas, Nevada, USA,
June 26-29, 2006},
pages = {125--134},
publisher = {{CSREA} Press},
year = {2006},
timestamp = {Tue, 12 Dec 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/biocomp/KuwaharaMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/LittleSWMY06,
author = {Scott Little and
Nicholas Seegmiller and
David Walter and
Chris J. Myers and
Tomohiro Yoneda},
editor = {Soha Hassoun},
title = {Verification of analog/mixed-signal circuits using labeled hybrid
petri nets},
booktitle = {2006 International Conference on Computer-Aided Design, {ICCAD} 2006,
San Jose, CA, USA, November 5-9, 2006},
pages = {275--282},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1233501.1233556},
doi = {10.1145/1233501.1233556},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/LittleSWMY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/BarkerMK06,
author = {Nathan A. Barker and
Chris J. Myers and
Hiroyuki Kuwahara},
editor = {Moonis Ali and
Richard Dapoigny},
title = {Learning Genetic Regulatory Network Connectivity from Time Series
Data},
booktitle = {Advances in Applied Artificial Intelligence, 19th International Conference
on Industrial, Engineering and Other Applications of Applied Intelligent
Systems, {IEA/AIE} 2006, Annecy, France, June 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4031},
pages = {962--971},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11779568\_103},
doi = {10.1007/11779568\_103},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/BarkerMK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/PradubsuwunYM05,
author = {Denduang Pradubsuwun and
Tomohiro Yoneda and
Chris J. Myers},
title = {Partial Order Reduction for Detecting Safety and Timing Failures of
Timed Circuits},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {7},
pages = {1646--1661},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.7.1646},
doi = {10.1093/IETISY/E88-D.7.1646},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/PradubsuwunYM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/KitaiYM05,
author = {Tomoya Kitai and
Tomohiro Yoneda and
Chris J. Myers},
title = {Failure Trace Analysis of Timed Circuits for Automatic Timing Constraints
Derivation},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {88-D},
number = {11},
pages = {2555--2564},
year = {2005},
url = {https://doi.org/10.1093/ietisy/e88-d.11.2555},
doi = {10.1093/IETISY/E88-D.11.2555},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/KitaiYM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/YonedaMKM05,
author = {Tomohiro Yoneda and
Atsushi Matsumoto and
Manabu Kato and
Chris J. Myers},
title = {High Level Synthesis of Timed Asynchronous Circuits},
booktitle = {11th International Symposium on Advanced Research in Asynchronous
Circuits and Systems {(ASYNC} 2005), 14-16 March 2005, New York, NY,
{USA}},
pages = {178--189},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ASYNC.2005.22},
doi = {10.1109/ASYNC.2005.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/YonedaMKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MyersHWSL06,
author = {Chris J. Myers and
Reid R. Harrison and
David Walter and
Nicholas Seegmiller and
Scott Little},
editor = {Oded Maler},
title = {The Case for Analog Circuit Verification},
booktitle = {Proceedings of the First Workshop on Formal Verification of Analog
Circuits, {FAC} 2005, Edinburgh, UK, April 9, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {153},
number = {3},
pages = {53--63},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.018},
doi = {10.1016/J.ENTCS.2006.02.018},
timestamp = {Fri, 20 Jan 2023 10:54:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MyersHWSL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/WinsteadDYMHS04,
author = {Chris Winstead and
Jie Dai and
Shuhuan Yu and
Chris J. Myers and
Reid R. Harrison and
Christian Schlegel},
title = {{CMOS} analog {MAP} decoder for (8, 4) Hamming code},
journal = {{IEEE} J. Solid State Circuits},
volume = {39},
number = {1},
pages = {122--131},
year = {2004},
url = {https://doi.org/10.1109/JSSC.2003.820845},
doi = {10.1109/JSSC.2003.820845},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jssc/WinsteadDYMHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/YonedaOM04,
author = {Tomohiro Yoneda and
Hiroomi Onda and
Chris J. Myers},
title = {Synthesis of Speed Independent Circuits Based on Decomposition},
booktitle = {10th International Symposium on Advanced Research in Asynchronous
Circuits and Systems {(ASYNC} 2004), 19-23 April 2004, Crete, Greece},
pages = {135--145},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ASYNC.2004.1299295},
doi = {10.1109/ASYNC.2004.1299295},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/YonedaOM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PradubsuwunYM04,
author = {Denduang Pradubsuwun and
Tomohiro Yoneda and
Chris J. Myers},
editor = {Farn Wang},
title = {Partial Order Reduction for Detecting Safety and Timing Failures of
Timed Circuits},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {339--353},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_28},
doi = {10.1007/978-3-540-30476-0\_28},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/PradubsuwunYM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/LittleWSMY04,
author = {Scott Little and
David Walter and
Nicholas Seegmiller and
Chris J. Myers and
Tomohiro Yoneda},
editor = {Farn Wang},
title = {Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid
Petri Nets},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {426--440},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_35},
doi = {10.1007/978-3-540-30476-0\_35},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/LittleWSMY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ZhengMM03,
author = {Hao Zheng and
Eric Mercer and
Chris J. Myers},
title = {Modular verification of timed circuits using automatic abstraction},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {22},
number = {9},
pages = {1138--1153},
year = {2003},
url = {https://doi.org/10.1109/TCAD.2003.816214},
doi = {10.1109/TCAD.2003.816214},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ZhengMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/NelsonMY03,
author = {Curtis A. Nelson and
Chris J. Myers and
Tomohiro Yoneda},
title = {Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous
Circuits},
booktitle = {2003 International Conference on Computer-Aided Design, {ICCAD} 2003,
San Jose, CA, USA, November 9-13, 2003},
pages = {424--432},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.2003.1257812},
doi = {10.1109/ICCAD.2003.1257812},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/NelsonMY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/ZhengMWLY03,
author = {Hao Zheng and
Chris J. Myers and
David Walter and
Scott Little and
Tomohiro Yoneda},
title = {Verification of Timed Circuits with Failure Directed Abstractions},
booktitle = {21st International Conference on Computer Design {(ICCD} 2003),VLSI
in Computers and Processors, 13-15 October 2003, San Jose, CA, USA,
Proceedings},
pages = {28--35},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ICCD.2003.1240869},
doi = {10.1109/ICCD.2003.1240869},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/ZhengMWLY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/JungM02,
author = {Sung Tae Jung and
Chris J. Myers},
title = {Direct synthesis of timed circuits from free-choice STGs},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {21},
number = {3},
pages = {275--290},
year = {2002},
url = {https://doi.org/10.1109/43.986422},
doi = {10.1109/43.986422},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/JungM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/JacobsonM02,
author = {Hans M. Jacobson and
Chris J. Myers},
title = {Efficient algorithms for exact two-level hazard-free logic minimization},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {21},
number = {11},
pages = {1269--1283},
year = {2002},
url = {https://doi.org/10.1109/TCAD.2002.804103},
doi = {10.1109/TCAD.2002.804103},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/JacobsonM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/YonedaKM02,
author = {Tomohiro Yoneda and
Tomoya Kitai and
Chris J. Myers},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Automatic Derivation of Timing Constraints by Failure Analysis},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {195--208},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_15},
doi = {10.1007/3-540-45657-0\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/YonedaKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/DaiWMHS02,
author = {Jie Dai and
Chris Winstead and
Chris J. Myers and
Reid R. Harrison and
Christian Schlegel},
title = {Cell library for automatic synthesis of analog error control decoders},
booktitle = {Proceedings of the 2002 International Symposium on Circuits and Systems,
{ISCAS} 2002, Scottsdale, Arizona, USA, May 26-29, 2002},
pages = {481--484},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/ISCAS.2002.1010497},
doi = {10.1109/ISCAS.2002.1010497},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/iscas/DaiWMHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/KitaiOYMM02,
author = {Tomoya Kitai and
Yusuke Oguro and
Tomohiro Yoneda and
Eric Mercer and
Chris J. Myers},
title = {Level Oriented Formal Model for Asynchronous Circuit Verification
and its Efficient Analysis Method},
booktitle = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
pages = {210--220},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/PRDC.2002.1185640},
doi = {10.1109/PRDC.2002.1185640},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/KitaiOYMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MercerMY02,
author = {Eric Mercer and
Chris J. Myers and
Tomohiro Yoneda},
editor = {Eugene Asarin and
Oded Maler and
Sergio Yovine},
title = {Modular Synthesis of Timed Circuits using Partial Order Reduction},
booktitle = {Theory and Practice of Timed Systems, Satellite Event of {ETAPS} 2002,
Grenoble, France, April 6-7, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {6},
pages = {180--201},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80476-6},
doi = {10.1016/S1571-0661(04)80476-6},
timestamp = {Mon, 05 Dec 2022 15:10:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MercerMY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0020381,
author = {Chris J. Myers},
title = {Asynchronous circuit design},
publisher = {Wiley},
year = {2001},
isbn = {978-0-471-41543-5},
timestamp = {Fri, 15 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0020381.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jssc/StevensRGBMYKDR01,
author = {Kenneth S. Stevens and
Shai Rotem and
Ran Ginosar and
Peter A. Beerel and
Chris J. Myers and
Kenneth Y. Yun and
Rakefet Kol and
Charles Dike and
Marly Roncken},
title = {An asynchronous instruction length decoder},
journal = {{IEEE} J. Solid State Circuits},
volume = {36},
number = {2},
pages = {217--228},
year = {2001},
url = {https://doi.org/10.1109/4.902762},
doi = {10.1109/4.902762},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jssc/StevensRGBMYKDR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BelluominiMH01,
author = {Wendy Belluomini and
Chris J. Myers and
H. Peter Hofstee},
title = {Timed circuit verification using {TEL} structures},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {20},
number = {1},
pages = {129--146},
year = {2001},
url = {https://doi.org/10.1109/43.905681},
doi = {10.1109/43.905681},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BelluominiMH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arvlsi/WinsteadDKLKMS01,
author = {Chris Winstead and
Jie Dai and
Woo Jin Kim and
Scott Little and
Yong{-}Bin Kim and
Chris J. Myers and
Christian Schlegel},
title = {Analog {MAP} Decoder for (8, 4) Hamming Code in Subthreshold {CMOS}},
booktitle = {19th Conference on Advanced Research in {VLSI} {(ARVLSI} 2001), 14-16
March 2001, Salt Lake City, UT, {USA}},
pages = {132--147},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ARVLSI.2001.915556},
doi = {10.1109/ARVLSI.2001.915556},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arvlsi/WinsteadDKLKMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arvlsi/KillpackMM01,
author = {Kip C. Killpack and
Eric Mercer and
Chris J. Myers},
title = {A Standard-Cell Self-Timed Multiplier for Energy and Area Critical
Synchronous Systems},
booktitle = {19th Conference on Advanced Research in {VLSI} {(ARVLSI} 2001), 14-16
March 2001, Salt Lake City, UT, {USA}},
pages = {188--201},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ARVLSI.2001.915560},
doi = {10.1109/ARVLSI.2001.915560},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arvlsi/KillpackMM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/MyersBKPZ01,
author = {Chris J. Myers and
Wendy Belluomini and
Kip Kallpack and
Eric Peskin and
Hao Zheng},
editor = {Satoshi Goto},
title = {Timed circuits: a new paradigm for high-speed design},
booktitle = {Proceedings of {ASP-DAC} 2001, Asia and South Pacific Design Automation
Conference 2001, January 30-February 2, 2001, Yokohama, Japan},
pages = {335--340},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/370155.370379},
doi = {10.1145/370155.370379},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/MyersBKPZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/MyersJ01,
author = {Chris J. Myers and
Hans M. Jacobson},
title = {Efficient Exact Two-Level Hazard-Free Logic Minimization},
booktitle = {7th International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} 2001), 11-14 March 2001, Salt Lake City, UT,
{USA}},
pages = {64--73},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASYNC.2001.914070},
doi = {10.1109/ASYNC.2001.914070},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/MyersJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ats/ZhouYM01,
author = {Bin Zhou and
Tomohiro Yoneda and
Chris J. Myers},
title = {Framework of Timed Trace Theoretic Verification Revisited},
booktitle = {10th Asian Test Symposium {(ATS} 2001), 19-21 November 2001, Kyoto,
Japan},
pages = {437--442},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ATS.2001.990323},
doi = {10.1109/ATS.2001.990323},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ats/ZhouYM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ZhengMM01,
author = {Hao Zheng and
Eric Mercer and
Chris J. Myers},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Automatic Abstraction for Verification of Timed Circuits and Systems},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {182--193},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_16},
doi = {10.1007/3-540-44585-4\_16},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/ZhengMM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itw/WinsteadMSH01,
author = {Chris Winstead and
Chris J. Myers and
Christian Schlegel and
Reid R. Harrison},
title = {Analog decoding of product codes},
booktitle = {Proceedings of the 2001 {IEEE} Information Theory Workshop, {ITW}
2001, Cairns International Hotel, Cairns, Australia, September 2-7,
2001},
pages = {131--133},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/ITW.2001.955161},
doi = {10.1109/ITW.2001.955161},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/itw/WinsteadMSH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BelluominiM00,
author = {Wendy Belluomini and
Chris J. Myers},
title = {Timed state space exploration using POSETs},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {19},
number = {5},
pages = {501--520},
year = {2000},
url = {https://doi.org/10.1109/43.845076},
doi = {10.1109/43.845076},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BelluominiM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/SjogrenM00,
author = {Allen E. Sjogren and
Chris J. Myers},
title = {Interfacing synchronous and asynchronous modules within a high-speed
pipeline},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {8},
number = {5},
pages = {573--583},
year = {2000},
url = {https://doi.org/10.1109/92.894162},
doi = {10.1109/92.894162},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tvlsi/SjogrenM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/JacobsonMG00,
author = {Hans M. Jacobson and
Chris J. Myers and
Ganesh Gopalakrishnan},
editor = {Ellen Sentovich},
title = {Achieving Fast and Exact Hazard-Free Logic Minimization of Extended
Burst-Mode gC Finite State Machines},
booktitle = {Proceedings of the 2000 {IEEE/ACM} International Conference on Computer-Aided
Design, 2000, San Jose, California, USA, November 5-9, 2000},
pages = {303--310},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICCAD.2000.896490},
doi = {10.1109/ICCAD.2000.896490},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/JacobsonMG00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/MercerM00,
author = {Eric G. Mercer and
Chris J. Myers},
title = {Stochastic cycle period analysis in timed circuits},
booktitle = {{IEEE} International Symposium on Circuits and Systems, {ISCAS} 2000,
Emerging Technologies for the 21st Century, Geneva, Switzerland, 28-31
May 2000, Proceedings},
pages = {172--175},
publisher = {{IEEE}},
year = {2000},
url = {https://doi.org/10.1109/ISCAS.2000.856286},
doi = {10.1109/ISCAS.2000.856286},
timestamp = {Fri, 13 Aug 2021 09:26:01 +0200},
biburl = {https://dblp.org/rec/conf/iscas/MercerM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/MyersRM99,
author = {Chris J. Myers and
Tomas Rokicki and
Teresa H.{-}Y. Meng},
title = {{POSET} timing and its application to the synthesis and verification
of gate-level timed circuits},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {18},
number = {6},
pages = {769--786},
year = {1999},
url = {https://doi.org/10.1109/43.766727},
doi = {10.1109/43.766727},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/MyersRM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/BelluominiMH99,
author = {Wendy Belluomini and
Chris J. Myers and
H. Peter Hofstee},
title = {Verification of Delayed-Reset Domino Circuits Using {ATACS}},
booktitle = {5th International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} '99), 19-22 April 1999, Barcelona, Spain},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ASYNC.1999.761518},
doi = {10.1109/ASYNC.1999.761518},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/BelluominiMH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/RotemSDRAGKBMY99,
author = {Shai Rotem and
Ken S. Stevens and
Charles Dike and
Marly Roncken and
Boris Agapiev and
Ran Ginosar and
Rakefet Kol and
Peter A. Beerel and
Chris J. Myers and
Kenneth Y. Yun},
title = {{RAPPID:} An Asynchronous Instruction Length Decoder},
booktitle = {5th International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} '99), 19-22 April 1999, Barcelona, Spain},
pages = {60--70},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ASYNC.1999.761523},
doi = {10.1109/ASYNC.1999.761523},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/RotemSDRAGKBMY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/JungM99,
author = {Sung Tae Jung and
Chris J. Myers},
editor = {Jacob K. White and
Ellen Sentovich},
title = {Direct synthesis of timed asynchronous circuits},
booktitle = {Proceedings of the 1999 {IEEE/ACM} International Conference on Computer-Aided
Design, 1999, San Jose, California, USA, November 7-11, 1999},
pages = {332--338},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICCAD.1999.810670},
doi = {10.1109/ICCAD.1999.810670},
timestamp = {Mon, 08 May 2023 21:43:38 +0200},
biburl = {https://dblp.org/rec/conf/iccad/JungM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/BachmanZM99,
author = {Brandon M. Bachman and
Hao Zheng and
Chris J. Myers},
title = {Architectural Synthesis of Timed Asynchronous Systems},
booktitle = {Proceedings of the {IEEE} International Conference On Computer Design,
{VLSI} in Computers and Processors, {ICCD} '99, Austin, Texas, USA,
October 10-13, 1999},
pages = {354--363},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICCD.1999.808566},
doi = {10.1109/ICCD.1999.808566},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/BachmanZM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/ThackerBM99,
author = {Robert A. Thacker and
Wendy Belluomini and
Chris J. Myers},
title = {Timed Circuit Synthesis Using Implicit Methods},
booktitle = {12th International Conference on {VLSI} Design {(VLSI} Design 1999),
10-13 January 1999, Goa, India},
pages = {181--188},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICVD.1999.745146},
doi = {10.1109/ICVD.1999.745146},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/ThackerBM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/BeerelMM98,
author = {Peter A. Beerel and
Chris J. Myers and
Teresa H. Meng},
title = {Covering conditions and algorithms for the synthesis of speed-independent
circuits},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {17},
number = {3},
pages = {205--219},
year = {1998},
url = {https://doi.org/10.1109/43.700719},
doi = {10.1109/43.700719},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/BeerelMM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/ChouBGKMRSY98,
author = {Wei{-}Chun Chou and
Peter A. Beerel and
Ran Ginosar and
Rakefet Kol and
Chris J. Myers and
Shai Rotem and
Ken S. Stevens and
Kenneth Y. Yun},
title = {Average-Case Optimized Technology Mapping of One-Hot Domino CircuitsAverage-Case
Optimized Transistor-Level Technology Mapping of Extended Burst-Mode
Circuits},
booktitle = {4th International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} '98), 30 March - 2 April 1998, San Diego, CA,
{USA}},
pages = {80},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ASYNC.1998.666496},
doi = {10.1109/ASYNC.1998.666496},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/ChouBGKMRSY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BelluominiM98,
author = {Wendy Belluomini and
Chris J. Myers},
editor = {Alan J. Hu and
Moshe Y. Vardi},
title = {Verification of Timed Systems Using POSETs},
booktitle = {Computer Aided Verification, 10th International Conference, {CAV}
'98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1427},
pages = {403--415},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028762},
doi = {10.1007/BFB0028762},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BelluominiM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arvlsi/SjogrenM97,
author = {Allen E. Sjogren and
Chris J. Myers},
title = {Interfacing Synchronous and Asynchronous Modules Within a High-Speed
Pipeline},
booktitle = {17th Conference on Advanced Research in {VLSI} {(ARVLSI} '97), September
15-16, 1997, Ann Arbor, MI, {USA}},
pages = {47--61},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ARVLSI.1997.634845},
doi = {10.1109/ARVLSI.1997.634845},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arvlsi/SjogrenM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/BelluominiM97,
author = {Wendy Belluomini and
Chris J. Myers},
title = {Efficient Timing Analysis Algorithms for Timed State Space Exploration},
booktitle = {3rd International Symposium on Advanced Research in Asynchronous Circuits
and Systems {(ASYNC} '97), 7-10 April 1997, Eindhoven, The Netherlands},
pages = {88--100},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ASYNC.1997.587166},
doi = {10.1109/ASYNC.1997.587166},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/BelluominiM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/Myers097,
author = {Chris J. Myers and
Hao Zheng},
title = {An asynchronous implementation of the maxlist algorithm},
booktitle = {1997 {IEEE} International Conference on Acoustics, Speech, and Signal
Processing, {ICASSP} '97, Munich, Germany, April 21-24, 1997},
pages = {647--650},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICASSP.1997.599851},
doi = {10.1109/ICASSP.1997.599851},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icassp/Myers097.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arvlsi/MyersRM95,
author = {Chris J. Myers and
Tomas Rokicki and
Teresa H.{-}Y. Meng},
title = {Automatic synthesis of gate-level timed circuits with choice},
booktitle = {16th Conference on Advanced Research in {VLSI} {(ARVLSI} '95), March
27-29, 1995, Chapel Hill, North Carolina, {USA}},
pages = {42--58},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ARVLSI.1995.515610},
doi = {10.1109/ARVLSI.1995.515610},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/arvlsi/MyersRM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/async/MyersBM95,
author = {Chris J. Myers and
Peter A. Beerel and
Teresa H.{-}Y. Meng},
title = {Technology mapping of timed circuits},
booktitle = {Second Working Conference on Asynchronous Design Methodologies, May
30-31, 1995, London, England, {UK}},
pages = {138},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/WCADM.1995.514651},
doi = {10.1109/WCADM.1995.514651},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/async/MyersBM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RokickiM94,
author = {Tomas Rokicki and
Chris J. Myers},
editor = {David L. Dill},
title = {Automatic Verification of Timed Circuits},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {468--480},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_76},
doi = {10.1007/3-540-58179-0\_76},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/RokickiM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvlsi/MyersM93,
author = {Chris J. Myers and
Teresa H.{-}Y. Meng},
title = {Synthesis of timed asynchronous circuits},
journal = {{IEEE} Trans. Very Large Scale Integr. Syst.},
volume = {1},
number = {2},
pages = {106--119},
year = {1993},
url = {https://doi.org/10.1109/92.238425},
doi = {10.1109/92.238425},
timestamp = {Mon, 20 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvlsi/MyersM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/MyersM92,
author = {Chris J. Myers and
Teresa H.{-}Y. Meng},
title = {Synthesis of Timed Asynchronous Circuits},
booktitle = {Proceedings 1992 {IEEE} International Conference on Computer Design:
{VLSI} in Computer {\&} Processors, {ICCD} '92, Cambridge, MA,
USA, October 11-14, 1992},
pages = {279--284},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/ICCD.1992.276269},
doi = {10.1109/ICCD.1992.276269},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/MyersM92.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-04-25 02:01 CEST 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:
