Chris J. Myers

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 44

Top Venues

J. Integr. Bioinform.

CoRR

ACM J. Emerg. Technol. Comput. Syst.

IEEE Des. Test

Publications

Martin Golebiewski, Gary D. Bader, Padraig Gleeson, Thomas E. Gorochowski, Sarah M. Keating, Matthias König, Chris J. Myers, David P. Nickerson, Björn Sommer, Dagmar Waltemath, Falk Schreiber
Specifications of standards in systems and synthetic biology: status, developments, and tools in 2024. J. Integr. Bioinform. 21 (1) (2024)
Dreycey Albin, Lukas Buecherl, Eitan Kochavi, Elise Niehaus, Sasha M. Novack, Shenali Uragoda, Chris J. Myers, Mirela Alistar
PhageBox: An Open Source Digital Microfluidic Extension With Applications for Phage Discovery. IEEE Trans. Biomed. Eng. 71 (1) (2024)
Casey-Tyler Berezin, Luis U. Aguilera, Sonja Billerbeck, Philip E. Bourne, Douglas Densmore, Paul S. Freemont, Thomas E. Gorochowski, Sarah I. Hernandez, Nathan J. Hillson, Connor R. King, Michael Köpke, Shuyi Ma, Katie M. Miller, Tae Seok Moon, Jason H. Moore, Brian Munsky, Chris J. Myers, Dequina A. Nicholas, Samuel J. Peccoud, Wen Zhou, Jean Peccoud
Ten simple rules for managing laboratory information. PLoS Comput. Biol. 19 (12) (2023)
Matthias König, Padraig Gleeson, Martin Golebiewski, Thomas E. Gorochowski, Michael Hucka, Sarah M. Keating, Chris J. Myers, David P. Nickerson, Björn Sommer, Dagmar Waltemath, Falk Schreiber
Specifications of standards in systems and synthetic biology: status and developments in 2022 and the COMBINE meeting 2022. J. Integr. Bioinform. 20 (1) (2023)
Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker. QEST (2023)
Lukas Buecherl, Thomas Mitchell, James Scott-Brown, Prashant Vaidyanathan, Gonzalo Vidal, Hasan Baig, Bryan Bartley, Jacob Beal, Matthew Crowther, Pedro Fontanarrosa, Thomas E. Gorochowski, Raik Grünberg, Vishwesh V. Kulkarni, James Alastair McLaughlin, Göksel Misirli, Ernst Oberortner, Anil Wipat, Chris J. Myers
Synthetic biology open language (SBOL) version 3.1.0. J. Integr. Bioinform. 20 (1) (2023)
Douglas Densmore, Nathan J. Hillson, Eric Klavins, Chris J. Myers, Jean Peccoud, Giovanni Stracquadanio
Introduction to the Special Issue on BioFoundries and Cloud Laboratories. ACM J. Emerg. Technol. Comput. Syst. 19 (3) (2023)
Bilal Shaikh, Lucian P. Smith, Dan Vasilescu, Gnaneswara Marupilla, Michael Wilson, Eran Agmon, Henry Agnew, Steven S. Andrews, Azraf Anwar, Moritz E. Beber, Frank T. Bergmann, David Brooks, Lutz Brusch, Laurence Calzone, Kiri Choi, Joshua Cooper, John Detloff, Brian Drawert, Michel Dumontier, G. Bard Ermentrout, James R. Faeder, Andrew P. Freiburger, Fabian Fröhlich, Akira Funahashi, Alan Garny, John H. Gennari, Padraig Gleeson, Anne Goelzer, Zachary Haiman, Jan Hasenauer, Joseph L. Hellerstein, Henning Hermjakob, Stefan Hoops, Jon C. Ison, Diego Jahn, Henry V. Jakubowski, Ryann Jordan, Matús Kalas, Matthias König, Wolfram Liebermeister, Rahuman S. Malik-Sheriff, Synchon Mandal, Robert McDougal, J. Kyle Medley, Pedro Mendes, Robert Müller, Chris J. Myers, Aurélien Naldi, Tung V. N. Nguyen, David P. Nickerson, Brett G. Olivier, Drashti Patoliya, Loïc Paulevé, Linda R. Petzold, Ankita Priya, Anand K. Rampadarath, Johann M. Rohwer, Ali S. Saglam, Dilawar Singh, Ankur Sinha, Jacky L. Snoep, Hugh Sorby, Ryan K. Spangler, Jörn Starruß, Payton J. Thomas, David van Niekerk, Daniel Weindl, Fengkai Zhang, Anna Zhukova, Arthur P. Goldberg, James C. Schaff, Michael L. Blinov, Herbert M. Sauro, Ion I. Moraru, Jonathan R. Karr
BioSimulators: a central registry of simulation engines and services for recommending specific tools. Nucleic Acids Res. 50 (W1) (2022)
Bilal Shaikh, Lucian P. Smith, Dan Vasilescu, Gnaneswara Marupilla, Michael Wilson, Eran Agmon, Henry Agnew, Steven S. Andrews, Azraf Anwar, Moritz E. Beber, Frank T. Bergmann, David Brooks, Lutz Brusch, Laurence Calzone, Kiri Choi, Joshua Cooper, John Detloff, Brian Drawert, Michel Dumontier, G. Bard Ermentrout, James R. Faeder, Andrew P. Freiburger, Fabian Fröhlich, Akira Funahashi, Alan Garny, John H. Gennari, Padraig Gleeson, Anne Goelzer, Zachary Haiman, Joseph L. Hellerstein, Stefan Hoops, Jon C. Ison, Diego Jahn, Henry V. Jakubowski, Ryann Jordan, Matús Kalas, Matthias König, Wolfram Liebermeister, Synchon Mandal, Robert McDougal, J. Kyle Medley, Pedro Mendes, Robert Müller, Chris J. Myers, Aurélien Naldi, Tung V. N. Nguyen, David P. Nickerson, Brett G. Olivier, Drashti Patoliya, Loïc Paulevé, Linda R. Petzold, Ankita Priya, Anand K. Rampadarath, Johann M. Rohwer, Ali S. Saglam, Dilawar Singh, Ankur Sinha, Jacky Snoep, Hugh Sorby, Ryan K. Spangler, Jörn Starruß, Payton J. Thomas, David van Niekerk, Daniel Weindl, Fengkai Zhang, Anna Zhukova, Arthur P. Goldberg, Michael L. Blinov, Herbert M. Sauro, Ion I. Moraru, Jonathan R. Karr
BioSimulators: a central registry of simulation engines and services for recommending specific tools. CoRR (2022)
Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking. VMCAI (2022)
Mohammad Ahmadi, Zhen Zhang, Chris J. Myers, Chris Winstead, Hao Zheng
Counterexample Generation for Infinite-State Chemical Reaction Networks. CoRR (2022)
Hasan Baig, Pedro Fontanarossa, James Alastair McLaughlin, James Scott-Brown, Prashant Vaidyanathan, Thomas E. Gorochowski, Goksel Misirli, Jacob Beal, Chris J. Myers
Synthetic biology open language visual (SBOL visual) version 3.0. J. Integr. Bioinform. 18 (3) (2021)
Hasan Baig, Pedro Fontanarossa, Vishwesh V. Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Shyam Bhakta, Swapnil Bhatia, Mike Bissell, Kevin Clancy, Robert Sidney Cox III, Ángel Goñi Moreno, Thomas E. Gorochowski, Raik Grünberg, Jihwan Lee, Augustin Luna, Curtis Madsen, Goksel Misirli, Tramy Nguyen, Nicolas Le Novère, Zachary Palchick, Matthew R. Pocock, Nicholas Roehner, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Logan Terry, Marta Vazquez Vilar, Christopher A. Voigt, Anil Wipat, David Zong, Zach Zundel, Jacob Beal, Chris J. Myers
Synthetic biology open language visual (SBOL Visual) version 2.3. J. Integr. Bioinform. 18 (3) (2021)
Falk Schreiber, Padraig Gleeson, Martin Golebiewski, Thomas E. Gorochowski, Michael Hucka, Sarah M. Keating, Matthias König, Chris J. Myers, David P. Nickerson, Björn Sommer, Dagmar Waltemath
Specifications of standards in systems and synthetic biology: status and developments in 2021. J. Integr. Bioinform. 18 (3) (2021)
Hasan Baig, Pedro Fontanarrosa, Vishwesh V. Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Swapnil Bhatia, Shyam Bhakta, Michael Bissell, Kevin Clancy, Robert Sidney Cox III, Ángel Goñi Moreno, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, Curtis Madsen, Goksel Misirli, Tramy Nguyen, Nicolas Gambardella, Zachary Palchick, Matthew R. Pocock, Nicholas Roehner, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Marta Vazquez Vilar, Christopher A. Voigt, Anil Wipat, David Zong, Zach Zundel, Jacob Beal, Chris J. Myers
Synthetic biology open language visual (SBOL visual) version 2.2. J. Integr. Bioinform. 17 (2-3) (2020)
Falk Schreiber, Björn Sommer, Tobias Czauderna, Martin Golebiewski, Thomas E. Gorochowski, Michael Hucka, Sarah M. Keating, Matthias König, Chris J. Myers, David P. Nickerson, Dagmar Waltemath
Specifications of standards in systems and synthetic biology: status and developments in 2020. J. Integr. Bioinform. 17 (2-3) (2020)
Hao Zheng, Yingying Zhang, Chris J. Myers
Local State Space Analysis to Assist Partial Order Reduction. CoRR (2020)
Dagmar Waltemath, Martin Golebiewski, Michael L. Blinov, Padraig Gleeson, Henning Hermjakob, Michael Hucka, Esther Thea Inau, Sarah M. Keating, Matthias König, Olga Krebs, Rahuman S. Malik-Sheriff, David P. Nickerson, Ernst Oberortner, Herbert M. Sauro, Falk Schreiber, Lucian P. Smith, Melanie I. Stefan, Ulrike Wittig, Chris J. Myers
The first 10 years of the international coordination network for standards in systems and synthetic biology (COMBINE). J. Integr. Bioinform. 17 (2-3) (2020)
Lucian P. Smith, Stuart L. Moodie, Frank T. Bergmann, Colin S. Gillespie, Sarah M. Keating, Matthias König, Chris J. Myers, Maciek J. Swat, Darren J. Wilkinson, Michael Hucka
Systems Biology Markup Language (SBML) Level 3 Package: Distributions, Version 1, Release 1. J. Integr. Bioinform. 17 (2-3) (2020)
Hasan Baig, Pedro Fontanarrosa, Vishwesh V. Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Jacob Beal, Matthew Crowther, Thomas E. Gorochowski, Raik Grünberg, Goksel Misirli, James Scott-Brown, Ernst Oberortner, Anil Wipat, Chris J. Myers
Synthetic biology open language (SBOL) version 3.0.0. J. Integr. Bioinform. 17 (2-3) (2020)
Hao Zheng, Andrew Price, Chris J. Myers
Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking. CoRR (2020)
Maxwell Lewis Neal, Matthias König, David P. Nickerson, Goksel Misirli, Reza Kalbasi, Andreas Dräger, Koray Atalag, Vijayalakshmi Chelliah, Michael T. Cooling, Daniel L. Cook, Sharon M. Crook, Miguel de Alba, Samuel H. Friedman, Alan Garny, John H. Gennari, Padraig Gleeson, Martin Golebiewski, Michael Hucka, Nick S. Juty, Chris J. Myers, Brett G. Olivier, Herbert M. Sauro, Martin Scharm, Jacky L. Snoep, Vasundra Touré, Anil Wipat, Olaf Wolkenhauer, Dagmar Waltemath
Harmonizing semantic annotations for computational models in biology. Briefings Bioinform. 20 (2) (2019)
Tramy Nguyen, Timothy S. Jones, Pedro Fontanarrosa, Jeanet V. Mante, Zach Zundel, Douglas Densmore, Chris J. Myers
Design of Asynchronous Genetic Circuits. Proc. IEEE 107 (7) (2019)
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis. CoRR (2019)
Michael Hucka, Frank T. Bergmann, Claudine Chaouiya, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Matthias König, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Rahuman S. Malik-Sheriff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson, Fengkai Zhang
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2. J. Integr. Bioinform. 16 (2) (2019)
Curtis Madsen, Ángel Goñi Moreno, Umesh P, Zachary Palchick, Nicholas Roehner, Christian Atallah, Bryan Bartley, Kiri Choi, Robert Sidney Cox III, Thomas E. Gorochowski, Raik Grünberg, Chris Macklin, James Alastair McLaughlin, Xianwei Meng, Tramy Nguyen, Matthew R. Pocock, Meher Samineni, James Scott-Brown, Ysis Tarter, Michael Zhang, Zhen Zhang, Zach Zundel, Jacob Beal, Michael Bissell, Kevin Clancy, John H. Gennari, Goksel Misirli, Chris J. Myers, Ernst Oberortner, Herbert M. Sauro, Anil Wipat
Synthetic Biology Open Language (SBOL) Version 2.3. J. Integr. Bioinform. 16 (2) (2019)
Falk Schreiber, Björn Sommer, Gary D. Bader, Padraig Gleeson, Martin Golebiewski, Michael Hucka, Sarah M. Keating, Matthias König, Chris J. Myers, David P. Nickerson, Dagmar Waltemath
Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2019. J. Integr. Bioinform. 16 (2) (2019)
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis. CAV (1) (2019)
Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers
Approximation Techniques for Stochastic Analysis of Biological Systems. CoRR (2019)
Curtis Madsen, Ángel Goñi Moreno, Zachary Palchick, Umesh P, Nicholas Roehner, Bryan Bartley, Swapnil Bhatia, Shyam Bhakta, Mike Bissell, Kevin Clancy, Robert Sidney Cox III, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, James Alastair McLaughlin, Tramy Nguyen, Nicolas Le Novère, Matthew R. Pocock, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Christopher A. Voigt, Zach Zundel, Chris J. Myers, Jacob Beal, Anil Wipat
Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1. J. Integr. Bioinform. 16 (2) (2019)
Leandro H. Watanabe, Jacob Barhak, Chris J. Myers
Toward reproducible disease models using the Systems Biology Markup Language. Simul. 95 (10) (2019)
Robert Sidney Cox III, Curtis Madsen, James Alastair McLaughlin, Tramy Nguyen, Nicholas Roehner, Bryan Bartley, Swapnil Bhatia, Mike Bissell, Kevin Clancy, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, Nicolas Le Novère, Matthew R. Pocock, Herbert M. Sauro, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Christopher A. Voigt, Zach Zundel, Chris J. Myers, Jacob Beal, Anil Wipat
Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0. J. Integr. Bioinform. 15 (1) (2018)
Michael Hucka, Frank T. Bergmann, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core. J. Integr. Bioinform. 15 (1) (2018)
Robert Sidney Cox III, Curtis Madsen, James Alastair McLaughlin, Tramy Nguyen, Nicholas Roehner, Bryan Bartley, Jacob Beal, Michael Bissell, Kiri Choi, Kevin Clancy, Raik Grünberg, Chris Macklin, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Meher Samineni, Michael Zhang, Zhen Zhang, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat
Synthetic Biology Open Language (SBOL) Version 2.2.0. J. Integr. Bioinform. 15 (1) (2018)
Falk Schreiber, Gary D. Bader, Padraig Gleeson, Martin Golebiewski, Michael Hucka, Sarah M. Keating, Nicolas Le Novère, Chris J. Myers, David P. Nickerson, Björn Sommer, Dagmar Waltemath
Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2017. J. Integr. Bioinform. 15 (1) (2018)
Michael Hucka, Frank T. Bergmann, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core. J. Integr. Bioinform. 15 (1) (2018)
Vladimir Dubikhin, Chris J. Myers, Danil Sokolov, Ioannis Syranidis, Alexandre Yakovlev
Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited. DAC (2017)
Chris J. Myers, Gary D. Bader, Padraig Gleeson, Martin Golebiewski, Michael Hucka, Nicolas Le Novère, David P. Nickerson, Falk Schreiber, Dagmar Waltemath
A brief history of COMBINE. WSC (2017)
Jacob Beal, Robert Sidney Cox III, Raik Grünberg, James Alastair McLaughlin, Tramy Nguyen, Bryan Bartley, Michael Bissell, Kiri Choi, Kevin Clancy, Chris Macklin, Curtis Madsen, Goksel Misirli, Ernst Oberortner, Matthew R. Pocock, Nicholas Roehner, Meher Samineni, Michael Zhang, Zhen Zhang, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat
Synthetic Biology Open Language (SBOL) Version 2.1.0. J. Integr. Bioinform. 13 (3) (2016)
Falk Schreiber, Gary D. Bader, Padraig Gleeson, Martin Golebiewski, Michael Hucka, Nicolas Le Novère, Chris J. Myers, David P. Nickerson, Björn Sommer, Dagmar Waltemath
Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2016. J. Integr. Bioinform. 13 (3) (2016)
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis. Sci. Comput. Program. 118 (2016)
Xin Li, Chandramouli V. Kashyap, Chris J. Myers
Guest Editors' Introduction Challenges and Opportunities in Analog/Mixed-Signal CAD. IEEE Des. Test 33 (5) (2016)
Dagmar Waltemath, Jonathan R. Karr, Frank T. Bergmann, Vijayalakshmi Chelliah, Michael Hucka, Marcus Krantz, Wolfram Liebermeister, Pedro Mendes, Chris J. Myers, Pinar Pir, Begum Alaybeyoglu, Naveen K. Aranganathan, Kambiz Baghalian, Arne T. Bittig, Paulo E. Pinto Burke, Matteo Cantarelli, Yin Hoon Chew, Rafael S. Costa, Joseph Cursons, Tobias Czauderna, Arthur P. Goldberg, Harold F. Gómez, Jens Hahn, Tuure Hameri, Daniel F. Hernandez Gardiol, Denis Kazakiewicz, Ilya Kiselev, Vincent Knight-Schrijver, Christian Knüpfer, Matthias König, Daewon Lee, Audald Lloret-Villas, Nikita Mandrik, J. Kyle Medley, Bertrand Moreau, Hojjat Naderi-Meshkin, Sucheendra K. Palaniappan, Daniel Priego-Espinosa, Martin Scharm, Mahesh Sharma, Kieran Smallbone, Natalie J. Stanford, Je-Hoon Song, Tom Theile, Milenko Tokic, Namrata Tomar, Vasundra Touré, Jannis Uhlendorf, Thawfeek M. Varusai, Leandro H. Watanabe, Florian Wendland, Markus Wolfien, James T. Yurkovich, Yan Zhu, Argyris Zardilis, Anna Zhukova, Falk Schreiber
Toward Community Standards and Software for Whole-Cell Modeling. IEEE Trans. Biomed. Eng. 63 (10) (2016)
Vladimir Dubikhin, Danil Sokolov, Alex Yakovlev, Chris J. Myers
Design of Mixed-Signal Systems With Asynchronous Control. IEEE Des. Test 33 (5) (2016)
Bryan Bartley, Jacob Beal, Kevin Clancy, Goksel Misirli, Nicholas Roehner, Ernst Oberortner, Matthew R. Pocock, Michael Bissell, Curtis Madsen, Tramy Nguyen, Zhen Zhang, John H. Gennari, Chris J. Myers, Anil Wipat, Herbert M. Sauro
Synthetic Biology Open Language (SBOL) Version 2.0.0. J. Integr. Bioinform. 12 (2) (2015)
Andrew N. Fisher, Chris J. Myers, Peng Li
Reachability Analysis Using Extremal Rates. NFM (2015)
Nicolas Rodriguez, Alex Thomas, Leandro H. Watanabe, Ibrahim Y. Vazirabad, Victor Kofia, Harold F. Gómez, Florian Mittag, Jakob Matthes, Jan Rudolph, Finja Wrzodek, Eugen Netz, Alexander Diamantikos, Johannes Eichner, Roland Keller, Clemens Wrzodek, Sebastian Fröhlich, Nathan E. Lewis, Chris J. Myers, Nicolas Le Novère, Bernhard Ø. Palsson, Michael Hucka, Andreas Dräger
JSBML 1.0: providing a smorgasbord of options to encode systems biology models. Bioinform. 31 (20) (2015)
Falk Schreiber, Gary D. Bader, Martin Golebiewski, Michael Hucka, Benjamin Kormeier, Nicolas Le Novère, Chris J. Myers, David P. Nickerson, Björn Sommer, Dagmar Waltemath, Stephan Weise
Specifications of Standards in Systems and Synthetic Biology. J. Integr. Bioinform. 12 (2) (2015)
Lucian Paul Smith, Michael Hucka, Stefan Hoops, Andrew Finney, Martin Ginkel, Chris J. Myers, Ion I. Moraru, Wolfram Liebermeister
SBML Level 3 package: Hierarchical Model Composition, Version 1 Release 3. J. Integr. Bioinform. 12 (2) (2015)
Michael Hucka, Frank T. Bergmann, Andreas Dräger, Stefan Hoops, Sarah M. Keating, Nicolas Le Novère, Chris J. Myers, Brett G. Olivier, Sven Sahle, James C. Schaff, Lucian P. Smith, Dagmar Waltemath, Darren J. Wilkinson
Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model Definitions. J. Integr. Bioinform. 12 (2) (2015)
Hao Zheng, Zhen Zhang, Chris J. Myers, Emmanuel Rodriguez, Yingying Zhang
Compositional Model Checking of Concurrent Systems. IEEE Trans. Computers 64 (6) (2015)
Chris J. Myers
Computational Synthetic Biology: Progress and the Road Ahead. IEEE Trans. Multi Scale Comput. Syst. 1 (1) (2015)
Leandro H. Watanabe, Chris J. Myers
Hierarchical stochastic simulation of genetic circuits. SpringSim (TMS-DEVS) (2014)
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. FMICS (2014)
Chris J. Myers, Herbert M. Sauro, Anil Wipat
Introduction to the Special Issue on Computational Synthetic Biology. ACM J. Emerg. Technol. Comput. Syst. 11 (3) (2014)
Curtis Madsen, Zhen Zhang, Nicholas Roehner, Chris Winstead, Chris J. Myers
Stochastic Model Checking of Genetic Circuits. ACM J. Emerg. Technol. Comput. Syst. 11 (3) (2014)
Andrew N. Fisher, Satish Batchu, Kevin R. Jones, Dhanashree Kulkarni, Scott Little, David Walter, Chris J. Myers
LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits. MWSCAS (2014)
Honghuang Lin, Peng Li, Chris J. Myers
Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis. DAC (2013)
Dhanashree Kulkarni, Andrew N. Fisher, Chris J. Myers
A new assertion property language for analog/mixed-signal circuits. FDL (2013)
Yingying Zhang, Emmanuel Rodriguez, Hao Zheng, Chris J. Myers
An Improvement in Partial Order Reduction Using Behavioral Analysis. ISVLSI (2012)
Natasa Miskov-Zivanov, James R. Faeder, Chris J. Myers, Herbert M. Sauro
Modeling and design automation of biological circuits and systems. ICCAD (2012)
Hao Zheng, Andrew Price, Chris J. Myers
Using decision diagrams to compactly represent the state space for explicit model checking. HLDVT (2012)
Chris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng, Yingying Zhang
Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems. ICCPS (2012)
Chris J. Myers
Formal Verification of Genetic Circuits. CAV (2012)
Hao Zheng, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers
A Compositional Minimization Approach for Large Asynchronous Design Verification. SPIN (2012)
Curtis Madsen, Chris J. Myers, Tyler Patterson, Nicholas Roehner, Jason T. Stevens, Chris Winstead
Design and Test of Genetic Circuits Using ${\tt iBioSim}$iBioSim. IEEE Des. Test Comput. 29 (3) (2012)
Curtis Madsen, Chris J. Myers, Nicholas Roehner, Chris Winstead, Zhen Zhang
Utilizing stochastic model checking to analyze genetic circuits. CIBCB (2012)
Hiroyuki Kuwahara, Chris J. Myers
Erlang-delayed stochastic chemical kinetic formalism for efficient analysis of biological systems with non-elementary reaction effects. BCB (2011)
Scott Little, David Walter, Chris J. Myers, Robert A. Thacker, Satish Batchu, Tomohiro Yoneda
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30 (4) (2011)
Yingying Zhang, Emmanuel Rodriguez, Hao Zheng, Chris J. Myers
A Behavioral Analysis Approach for Efficient Partial Order Reduction. HASE (2011)
Nathan A. Barker, Chris J. Myers, Hiroyuki Kuwahara
Learning Genetic Regulatory Network Connectivity from Time Series Data. IEEE ACM Trans. Comput. Biol. Bioinform. 8 (1) (2011)
Haiqiong Yao, Hao Zheng, Chris J. Myers
State space reductions for scalable verification of asynchronous designs. HLDVT (2010)
Robert A. Thacker, Kevin R. Jones, Chris J. Myers, Hao Zheng
Automatic abstraction for verification of cyber-physical systems. ICCPS (2010)
Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samoilov
: Quantitative Analysis via Automated Model Abstraction. PLoS Comput. Biol. 6 (3) (2010)
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers, Alper Sen
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. Int. J. Found. Comput. Sci. 21 (2) (2010)
Chris Winstead, Curtis Madsen, Chris J. Myers
iSSA: An incremental stochastic simulation algorithm for genetic circuits. ISCAS (2010)
Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little
A new verification method for embedded systems. ICCD (2009)
Chris J. Myers, Nathan A. Barker, Kevin R. Jones, Hiroyuki Kuwahara, Curtis Madsen, Nam-Phuong D. Nguyen
iBioSim: a tool for the analysis and design of genetic circuits. Bioinform. 25 (21) (2009)
Chris J. Myers, Nathan A. Barker, Hiroyuki Kuwahara, Kevin R. Jones, Curtis Madsen, Nam-Phuong D. Nguyen
Genetic design automation. ICCAD (2009)
Naohiro Hamada, Yuki Shiga, Takao Konishi, Hiroshi Saito, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya
A Behavioral Synthesis System for Asynchronous Circuits with Bundled-data Implementation. IPSJ Trans. Syst. LSI Des. Methodol. 2 (2009)
Naohiro Hamada, Yuki Shiga, Hiroshi Saito, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya
A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper). ACSD (2008)
Frédéric Béal, Tomohiro Yoneda, Chris J. Myers
A Conservative Framework for Safety-Failure Checking. IEICE Trans. Inf. Syst. (3) (2008)
David Walter, Scott Little, Chris J. Myers, Nicholas Seegmiller, Tomohiro Yoneda
Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27 (12) (2008)
Frédéric Béal, Tomohiro Yoneda, Chris J. Myers
Hazard Checking of Timed Asynchronous Circuits Revisited. Fundam. Informaticae 88 (4) (2008)
Hiroyuki Kuwahara, Chris J. Myers
Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions. J. Comput. Biol. 15 (7) (2008)
Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (3) (2007)
Tomohiro Yoneda, Chris J. Myers
Synthesis of Timed Circuits Based on Decomposition. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26 (7) (2007)
Hiroshi Saito, Naohiro Hamada, Nattha Jindapetch, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya
Scheduling Methods for Asynchronous Circuits with Bundled-Data Implementations Based on the Approximation of Start Times. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (12) (2007)
David Walter, Scott Little, Chris J. Myers
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. ATVA (2007)
Scott Little, Alper Sen, Chris J. Myers
Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits. MTV (2007)
Nam-Phuong D. Nguyen, Hiroyuki Kuwahara, Chris J. Myers, James P. Keener
The Design of a Genetic Muller C-Element. ASYNC (2007)
Frédéric Béal, Tomohiro Yoneda, Chris J. Myers
Hazard Checking of Timed Asynchronous Circuits Revisited. ACSD (2007)
Hiroyuki Kuwahara, Chris J. Myers
Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions. RECOMB (2007)
David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda
Symbolic Model Checking of Analog/Mixed-Signal Circuits. ASP-DAC (2007)
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. ATVA (2007)
Chris J. Myers, Reid R. Harrison, David Walter, Nicholas Seegmiller, Scott Little
The Case for Analog Circuit Verification. Electron. Notes Theor. Comput. Sci. 153 (3) (2006)
Nathan A. Barker, Chris J. Myers, Hiroyuki Kuwahara
Learning Genetic Regulatory Network Connectivity from Time Series Data. IEA/AIE (2006)
Tomohiro Yoneda, Chris J. Myers
Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis. ATVA (2006)
Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda
Verification of analog/mixed-signal circuits using labeled hybrid petri nets. ICCAD (2006)
Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
Verification of timed circuits with failure-directed abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (3) (2006)

Chris J. Myers.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chris J. Myers