Chris J. Myers

154 papers A* 7A 6B 8C 12Misc 3Journal 79Unranked 37
YearRankTypeTitle / Venue / Authors
2025 J jnl
Prefix Trees Improve Memory Consumption in Large-Scale Continuous-Time Stochastic Models.
CoRR
Landon Taylor, Joshua Jeppson, Ahmed Irfan, Lukas Buecherl, Chris J. Myers, Zhen Zhang
2024 J jnl
PhageBox: An Open Source Digital Microfluidic Extension With Applications for Phage Discovery.
IEEE Trans. Biomed. Eng.
Dreycey Albin, Lukas Buecherl, Eitan Kochavi, Elise Niehaus, Sasha M. Novack, Shenali Uragoda, Chris J. Myers, Mirela Alistar
2024 — conf
Rare-Event Guided Analysis of Infinite-State Chemical Reaction Networks.
QEST+FORMATS
Mohammad Ahmadi, Lukas Buecherl, Chris J. Myers, Zhen Zhang, Chris Winstead, Hao Zheng
2024 J jnl
Specifications of standards in systems and synthetic biology: status, developments, and tools in 2024.
J. Integr. Bioinform.
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
2023 J jnl
Introduction to the Special Issue on BioFoundries and Cloud Laboratories.
ACM J. Emerg. Technol. Comput. Syst.
Douglas Densmore, Nathan J. Hillson, Eric Klavins, Chris J. Myers, Jean Peccoud, Giovanni Stracquadanio
2023 — conf
STAMINA in C++: Modernizing an Infinite-State Probabilistic Model Checker.
QEST
Joshua Jeppson, Matthias Volk, Bryant Israelsen, Riley Roberts, Andrew Williams, Lukas Buecherl, Chris J. Myers, Hao Zheng, Chris Winstead, Zhen Zhang
2023 J jnl
Specifications of standards in systems and synthetic biology: status and developments in 2022 and the COMBINE meeting 2022.
J. Integr. Bioinform.
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
2023 J jnl
Synthetic biology open language (SBOL) version 3.1.0.
J. Integr. Bioinform.
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 Kulkarni, James Alastair McLaughlin, Göksel Misirli, Ernst Oberortner, Anil Wipat, Chris J. Myers
2023 J jnl
Ten simple rules for managing laboratory information.
PLoS Comput. Biol.
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
2022 J jnl
BioSimulators: a central registry of simulation engines and services for recommending specific tools.
CoRR
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 B. 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 A. 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 Sinan Saglam, Dilawar Singh, Ankur Sinha, Jacky L. Snoep, Hugh Sorby, Ryan K. Spangler, Jörn Starruß, Payton J. Thomas, David D. van Niekerk, Daniel Weindl, Fengkai Zhang, Anna Zhukova, Arthur P. Goldberg, Michael L. Blinov, Herbert M. Sauro, Ion I. Moraru, Jonathan R. Karr
2022 J jnl
BioSimulators: a central registry of simulation engines and services for recommending specific tools.
Nucleic Acids Res.
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 B. 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 A. 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 Sinan Saglam, Dilawar Singh, Ankur Sinha, Jacky L. Snoep, Hugh Sorby, Ryan K. Spangler, Jörn Starruß, Payton J. Thomas, David D. 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
2022 J jnl
Counterexample Generation for Infinite-State Chemical Reaction Networks.
CoRR
Mohammad Ahmadi, Zhen Zhang, Chris J. Myers, Chris Winstead, Hao Zheng
2022 B conf
STAMINA 2.0: Improving Scalability of Infinite-State Stochastic Model Checking.
VMCAI
Riley Roberts, Thakur Neupane, Lukas Buecherl, Chris J. Myers, Zhen Zhang
2021 J jnl
Specifications of standards in systems and synthetic biology: status and developments in 2021.
J. Integr. Bioinform.
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
2021 J jnl
Synthetic biology open language visual (SBOL Visual) version 2.3.
J. Integr. Bioinform.
Hasan Baig, Pedro Fontanarosa, Vishwesh Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Shyam Bhakta, Swapnil Bhatia, Mike Bissell, Kevin Clancy, Robert Sidney Cox III, Ángel Goñi-Moreno, Thomas E. Gorochowski, Raik Grünberg, Jihwan Lee, Augustin Luna, Curtis Madsen, Goksel Misirli, Tramy Nguyen, Nicolas Le Novère, Zachary Palchick, Matthew R. Pocock, Nicholas Roehner, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Logan Terry, Marta Vazquez Vilar, Christopher A. Voigt, Anil Wipat, David Zong, Zach Zundel, Jacob Beal, Chris J. Myers
2021 J jnl
Synthetic biology open language visual (SBOL visual) version 3.0.
J. Integr. Bioinform.
Hasan Baig, Pedro Fontanarosa, James Alastair McLaughlin, James Scott-Brown, Prashant Vaidyanathan, Thomas E. Gorochowski, Goksel Misirli, Jacob Beal, Chris J. Myers
2020 J jnl
Local State Space Analysis to Assist Partial Order Reduction.
CoRR
Hao Zheng, Yingying Zhang, Chris J. Myers
2020 J jnl
Specifications of standards in systems and synthetic biology: status and developments in 2020.
J. Integr. Bioinform.
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
2020 J jnl
Synthetic biology open language (SBOL) version 3.0.0.
J. Integr. Bioinform.
Hasan Baig, Pedro Fontanarrosa, Vishwesh 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
2020 J jnl
Synthetic biology open language visual (SBOL visual) version 2.2.
J. Integr. Bioinform.
Hasan Baig, Pedro Fontanarrosa, Vishwesh Kulkarni, James Alastair McLaughlin, Prashant Vaidyanathan, Bryan Bartley, Swapnil Bhatia, Shyam Bhakta, Michael Bissell, Kevin Clancy, Robert Sidney Cox III, Ángel Goñi-Moreno, Thomas E. Gorochowski, Raik Grünberg, Augustin Luna, Curtis Madsen, Goksel Misirli, Tramy Nguyen, Nicolas Le Novère, Zachary Palchick, Matthew R. Pocock, Nicholas Roehner, Herbert M. Sauro, James Scott-Brown, John T. Sexton, Guy-Bart Stan, Jeffrey J. Tabor, Marta Vazquez Vilar, Christopher A. Voigt, Anil Wipat, David Zong, Zach Zundel, Jacob Beal, Chris J. Myers
2020 J jnl
Systems Biology Markup Language (SBML) Level 3 Package: Distributions, Version 1, Release 1.
J. Integr. Bioinform.
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
2020 J jnl
The first 10 years of the international coordination network for standards in systems and synthetic biology (COMBINE).
J. Integr. Bioinform.
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
2020 J jnl
Using Decision Diagrams to Compactly Represent the State Space for Explicit Model Checking.
CoRR
Hao Zheng, Andrew Price, Chris J. Myers
2019 J jnl
Approximation Techniques for Stochastic Analysis of Biological Systems.
CoRR
Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers
2019 — ch.
Approximation Techniques for Stochastic Analysis of Biological Systems.
Automated Reasoning for Systems Biology and Medicine
Thakur Neupane, Zhen Zhang, Curtis Madsen, Hao Zheng, Chris J. Myers
2019 J jnl
Design of Asynchronous Genetic Circuits.
Proc. IEEE
Tramy Nguyen, Timothy S. Jones, Pedro Fontanarrosa, Jeanet V. Mante, Zach Zundel, Douglas Densmore, Chris J. Myers
2019 J jnl
Harmonizing semantic annotations for computational models in biology.
Briefings Bioinform.
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
2019 — conf
STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis.
CAV (1)
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
2019 J jnl
STAMINA: STochastic Approximate Model-checker for INfinite-state Analysis.
CoRR
Thakur Neupane, Chris J. Myers, Curtis Madsen, Hao Zheng, Zhen Zhang
2019 J jnl
Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2019.
J. Integr. Bioinform.
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
2019 J jnl
Synthetic Biology Open Language (SBOL) Version 2.3.
J. Integr. Bioinform.
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
2019 J jnl
Synthetic Biology Open Language Visual (SBOL Visual) Version 2.1.
J. Integr. Bioinform.
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
2019 J jnl
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core Release 2.
J. Integr. Bioinform.
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
2019 J jnl
Toward reproducible disease models using the Systems Biology Markup Language.
Simul.
Leandro H. Watanabe, Jacob Barhak, Chris J. Myers
2018 J jnl
Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2017.
J. Integr. Bioinform.
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
2018 J jnl
Synthetic Biology Open Language (SBOL) Version 2.2.0.
J. Integr. Bioinform.
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
2018 J jnl
Synthetic Biology Open Language Visual (SBOL Visual) Version 2.0.
J. Integr. Bioinform.
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
2018 J jnl
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 1 Core.
J. Integr. Bioinform.
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
2018 J jnl
The Systems Biology Markup Language (SBML): Language Specification for Level 3 Version 2 Core.
J. Integr. Bioinform.
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
2017 Misc conf
A brief history of COMBINE.
WSC
Chris J. Myers, Gary D. Bader, Padraig Gleeson, Martin Golebiewski, Michael Hucka, Nicolas Le Novère, David P. Nickerson, Falk Schreiber, Dagmar Waltemath
2017 A* conf
Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited.
DAC
Vladimir Dubikhin, Chris J. Myers, Danil Sokolov, Ioannis Syranidis, Alexandre Yakovlev
2016 J jnl
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis.
Sci. Comput. Program.
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
2016 J jnl
Design of Mixed-Signal Systems With Asynchronous Control.
IEEE Des. Test
Vladimir Dubikhin, Danil Sokolov, Alex Yakovlev, Chris J. Myers
2016 J jnl
Guest Editors' Introduction Challenges and Opportunities in Analog/Mixed-Signal CAD.
IEEE Des. Test
Xin Li, Chandramouli V. Kashyap, Chris J. Myers
2016 J jnl
Specifications of Standards in Systems and Synthetic Biology: Status and Developments in 2016.
J. Integr. Bioinform.
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
2016 J jnl
Synthetic Biology Open Language (SBOL) Version 2.1.0.
J. Integr. Bioinform.
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
2016 J jnl
Toward Community Standards and Software for Whole-Cell Modeling.
IEEE Trans. Biomed. Eng.
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
2015 J jnl
Compositional Model Checking of Concurrent Systems.
IEEE Trans. Computers
Hao Zheng, Zhen Zhang, Chris J. Myers, Emmanuel Rodriguez, Yingying Zhang
2015 J jnl
Computational Synthetic Biology: Progress and the Road Ahead.
IEEE Trans. Multi Scale Comput. Syst.
Chris J. Myers
2015 J jnl
JSBML 1.0: providing a smorgasbord of options to encode systems biology models.
Bioinform.
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
2015 — conf
Reachability Analysis Using Extremal Rates.
NFM
Andrew N. Fisher, Chris J. Myers, Peng Li
2015 J jnl
SBML Level 3 package: Hierarchical Model Composition, Version 1 Release 3.
J. Integr. Bioinform.
Lucian Paul Smith, Michael Hucka, Stefan Hoops, Andrew Finney, Martin Ginkel, Chris J. Myers, Ion I. Moraru, Wolfram Liebermeister
2015 J jnl
Specifications of Standards in Systems and Synthetic Biology.
J. Integr. Bioinform.
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
2015 J jnl
Synthetic Biology Open Language (SBOL) Version 2.0.0.
J. Integr. Bioinform.
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
2015 J jnl
Systems Biology Markup Language (SBML) Level 2 Version 5: Structures and Facilities for Model Definitions.
J. Integr. Bioinform.
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
2014 C conf
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip.
FMICS
Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris J. Myers
2014 — conf
Hierarchical stochastic simulation of genetic circuits.
SpringSim (TMS-DEVS)
Leandro H. Watanabe, Chris J. Myers
2014 J jnl
Introduction to the Special Issue on Computational Synthetic Biology.
ACM J. Emerg. Technol. Comput. Syst.
Chris J. Myers, Herbert M. Sauro, Anil Wipat
2014 — conf
LEMA: A tool for the formal verification of digitally-intensive analog/mixed-signal circuits.
MWSCAS
Andrew N. Fisher, Satish Batchu, Kevin R. Jones, Dhanashree Kulkarni, Scott Little, David Walter, Chris J. Myers
2014 J jnl
Stochastic Model Checking of Genetic Circuits.
ACM J. Emerg. Technol. Comput. Syst.
Curtis Madsen, Zhen Zhang, Nicholas Roehner, Chris Winstead, Chris J. Myers
2013 C conf
A new assertion property language for analog/mixed-signal circuits.
FDL
Dhanashree Kulkarni, Andrew N. Fisher, Chris J. Myers
2013 A* conf
Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis.
DAC
Honghuang Lin, Peng Li, Chris J. Myers
2012 — conf
A Compositional Minimization Approach for Large Asynchronous Design Verification.
SPIN
Hao Zheng, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers
2012 — conf
An Improvement in Partial Order Reduction Using Behavioral Analysis.
ISVLSI
Yingying Zhang, Emmanuel Rodriguez, Hao Zheng, Chris J. Myers
2012 J jnl
Design and Test of Genetic Circuits Using ${\tt iBioSim}$iBioSim.
IEEE Des. Test Comput.
Curtis Madsen, Chris J. Myers, Tyler Patterson, Nicholas Roehner, Jason T. Stevens, Chris Winstead
2012 A* conf
Formal Verification of Genetic Circuits.
CAV
Chris J. Myers
2012 A conf
Modeling and design automation of biological circuits and systems.
ICCAD
Natasa Miskov-Zivanov, James R. Faeder, Chris J. Myers, Herbert M. Sauro
2012 — conf
Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems.
ICCPS
Chris J. Myers, Jian Wu, Zhen Zhang, Hao Zheng, Yingying Zhang
2012 — conf
Using decision diagrams to compactly represent the state space for explicit model checking.
HLDVT
Hao Zheng, Andrew Price, Chris J. Myers
2012 C conf
Utilizing stochastic model checking to analyze genetic circuits.
CIBCB
Curtis Madsen, Chris J. Myers, Nicholas Roehner, Chris Winstead, Zhen Zhang
2011 — conf
A Behavioral Analysis Approach for Efficient Partial Order Reduction.
HASE
Yingying Zhang, Emmanuel Rodriguez, Hao Zheng, Chris J. Myers
2011 — conf
Erlang-delayed stochastic chemical kinetic formalism for efficient analysis of biological systems with non-elementary reaction effects.
BCB
Hiroyuki Kuwahara, Chris J. Myers
2011 J jnl
Learning Genetic Regulatory Network Connectivity from Time Series Data.
IEEE ACM Trans. Comput. Biol. Bioinform.
Nathan A. Barker, Chris J. Myers, Hiroyuki Kuwahara
2011 J jnl
Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Scott Little, David Walter, Chris J. Myers, Robert A. Thacker, Satish Batchu, Tomohiro Yoneda
2010 J jnl
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.
Int. J. Found. Comput. Sci.
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers, Alper Sen
2010 — conf
Automatic abstraction for verification of cyber-physical systems.
ICCPS
Robert A. Thacker, Kevin R. Jones, Chris J. Myers, Hao Zheng
2010 — conf
State space reductions for scalable verification of asynchronous designs.
HLDVT
Haiqiong Yao, Hao Zheng, Chris J. Myers
2010 J jnl
Temperature Control of Fimbriation Circuit Switch in Uropathogenic
PLoS Comput. Biol.
Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samoilov
2010 C conf
iSSA: An incremental stochastic simulation algorithm for genetic circuits.
ISCAS
Chris Winstead, Curtis Madsen, Chris J. Myers
2009 J jnl
A Behavioral Synthesis System for Asynchronous Circuits with Bundled-data Implementation.
Inf. Media Technol.
Naohiro Hamada, Yuki Shiga, Takao Konishi, Hiroshi Saito, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya
2009 J jnl
A Behavioral Synthesis System for Asynchronous Circuits with Bundled-data Implementation.
IPSJ Trans. Syst. LSI Des. Methodol.
Naohiro Hamada, Yuki Shiga, Takao Konishi, Hiroshi Saito, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya
2009 C conf
A new verification method for embedded systems.
ICCD
Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little
2009 A conf
Genetic design automation.
ICCAD
Chris J. Myers, Nathan A. Barker, Hiroyuki Kuwahara, Kevin R. Jones, Curtis Madsen, Nam-Phuong D. Nguyen
2009 J jnl
iBioSim: a tool for the analysis and design of genetic circuits.
Bioinform.
Chris J. Myers, Nathan A. Barker, Kevin R. Jones, Hiroyuki Kuwahara, Curtis Madsen, Nam-Phuong D. Nguyen
2008 J jnl
A Conservative Framework for Safety-Failure Checking.
IEICE Trans. Inf. Syst.
Frédéric Béal, Tomohiro Yoneda, Chris J. Myers
2008 — conf
A behavioral synthesis method for asynchronous circuits with bundled-data implementation (Tool paper).
ACSD
Naohiro Hamada, Yuki Shiga, Hiroshi Saito, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya
2008 J jnl
Hazard Checking of Timed Asynchronous Circuits Revisited.
Fundam. Informaticae
Frédéric Béal, Tomohiro Yoneda, Chris J. Myers
2008 J jnl
Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions.
J. Comput. Biol.
Hiroyuki Kuwahara, Chris J. Myers
2008 J jnl
Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
David Walter, Scott Little, Chris J. Myers, Nicholas Seegmiller, Tomohiro Yoneda
2007 B conf
Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces.
ATVA
Scott Little, David Walter, Kevin R. Jones, Chris J. Myers
2007 — conf
Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits.
MTV
Scott Little, Alper Sen, Chris J. Myers
2007 B conf
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.
ATVA
David Walter, Scott Little, Chris J. Myers
2007 J jnl
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda
2007 — conf
Hazard Checking of Timed Asynchronous Circuits Revisited.
ACSD
Frédéric Béal, Tomohiro Yoneda, Chris J. Myers
2007 B conf
Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions.
RECOMB
Hiroyuki Kuwahara, Chris J. Myers
2007 J jnl
Scheduling Methods for Asynchronous Circuits with Bundled-Data Implementations Based on the Approximation of Start Times.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
Hiroshi Saito, Naohiro Hamada, Nattha Jindapetch, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya
2007 — conf
Symbolic Model Checking of Analog/Mixed-Signal Circuits.
ASP-DAC
David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda
2007 J jnl
Synthesis of Timed Circuits Based on Decomposition.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Tomohiro Yoneda, Chris J. Myers
2007 — conf
The Design of a Genetic Muller C-Element.
ASYNC
Nam-Phuong D. Nguyen, Hiroyuki Kuwahara, Chris J. Myers, James P. Keener
2006 — conf
Abstracted Stochastic Analysis of Type 1 Pili Expression in E.coli.
BIOCOMP
Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samoilov
2006 J jnl
Automated Abstraction Methodology for Genetic Regulatory Networks.
Trans. Comp. Sys. Biology
Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samoilov, Nathan A. Barker, Adam P. Arkin
2006 B conf
Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis.
ATVA
Tomohiro Yoneda, Chris J. Myers
2006 C conf
ILP-based Scheduling for Asynchronous Circuits in Bundled-Data Implementation.
CIT
Hiroshi Saito, Nattha Jindapetch, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya
2006 C conf
Learning Genetic Regulatory Network Connectivity from Time Series Data.
IEA/AIE
Nathan A. Barker, Chris J. Myers, Hiroyuki Kuwahara
2006 A conf
Verification of analog/mixed-signal circuits using labeled hybrid petri nets.
ICCAD
Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda
2006 J jnl
Verification of timed circuits with failure-directed abstractions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
2005 J jnl
Failure Trace Analysis of Timed Circuits for Automatic Timing Constraints Derivation.
IEICE Trans. Inf. Syst.
Tomoya Kitai, Tomohiro Yoneda, Chris J. Myers
2005 — conf
High Level Synthesis of Timed Asynchronous Circuits.
ASYNC
Tomohiro Yoneda, Atsushi Matsumoto, Manabu Kato, Chris J. Myers
2005 J jnl
Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits.
IEICE Trans. Inf. Syst.
Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers
2005 — conf
The Case for Analog Circuit Verification.
FAC
Chris J. Myers, Reid R. Harrison, David Walter, Nicholas Seegmiller, Scott Little
2004 J jnl
CMOS analog MAP decoder for (8, 4) Hamming code.
IEEE J. Solid State Circuits
Chris Winstead, Jie Dai, Shuhuan Yu, Chris J. Myers, Reid R. Harrison, Christian Schlegel
2004 B conf
Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits.
ATVA
Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers
2004 — conf
Synthesis of Speed Independent Circuits Based on Decomposition.
ASYNC
Tomohiro Yoneda, Hiroomi Onda, Chris J. Myers
2004 B conf
Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets.
ATVA
Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda
2003 A conf
Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits.
ICCAD
Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda
2003 J jnl
Modular verification of timed circuits using automatic abstraction.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hao Zheng, Eric Mercer, Chris J. Myers
2003 C conf
Verification of Timed Circuits with Failure Directed Abstractions.
ICCD
Hao Zheng, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda
2002 A* conf
Automatic Derivation of Timing Constraints by Failure Analysis.
CAV
Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers
2002 — conf
Cell library for automatic synthesis of analog error control decoders.
ISCAS (4)
Jie Dai, Chris Winstead, Chris J. Myers, Reid R. Harrison, Christian Schlegel
2002 J jnl
Direct synthesis of timed circuits from free-choice STGs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Sung Tae Jung, Chris J. Myers
2002 J jnl
Efficient algorithms for exact two-level hazard-free logic minimization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Hans M. Jacobson, Chris J. Myers
2002 C conf
Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method.
PRDC
Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers
2002 — conf
Modular Synthesis of Timed Circuits using Partial Order Reduction.
Theory and Practice of Timed Systems @ ETAPS
Eric Mercer, Chris J. Myers, Tomohiro Yoneda
2001 — conf
A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems.
ARVLSI
Kip C. Killpack, Eric Mercer, Chris J. Myers
2001 J jnl
An asynchronous instruction length decoder.
IEEE J. Solid State Circuits
Kenneth S. Stevens, Shai Rotem, Ran Ginosar, Peter A. Beerel, Chris J. Myers, Kenneth Y. Yun, Rakefet Kol, Charles Dike, Marly Roncken
2001 — conf
Analog MAP Decoder for (8, 4) Hamming Code in Subthreshold CMOS.
ARVLSI
Chris Winstead, Jie Dai, Woo Jin Kim, Scott Little, Yong-Bin Kim, Chris J. Myers, Christian Schlegel
2001 B conf
Analog decoding of product codes.
ITW
Chris Winstead, Chris J. Myers, Christian Schlegel, Reid R. Harrison
2001 — book
Asynchronous circuit design.
Chris J. Myers
2001 A* conf
Automatic Abstraction for Verification of Timed Circuits and Systems.
CAV
Hao Zheng, Eric Mercer, Chris J. Myers
2001 — conf
Efficient Exact Two-Level Hazard-Free Logic Minimization.
ASYNC
Chris J. Myers, Hans M. Jacobson
2001 — conf
Framework of Timed Trace Theoretic Verification Revisited.
Asian Test Symposium
Bin Zhou, Tomohiro Yoneda, Chris J. Myers
2001 J jnl
Timed circuit verification using TEL structures.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Wendy Belluomini, Chris J. Myers, H. Peter Hofstee
2001 — conf
Timed circuits: a new paradigm for high-speed design.
ASP-DAC
Chris J. Myers, Wendy Belluomini, Kip Kallpack, Eric Peskin, Hao Zheng
2000 A conf
Achieving Fast and Exact Hazard-Free Logic Minimization of Extended Burst-Mode gC Finite State Machines.
ICCAD
Hans M. Jacobson, Chris J. Myers, Ganesh Gopalakrishnan
2000 J jnl
Interfacing synchronous and asynchronous modules within a high-speed pipeline.
IEEE Trans. Very Large Scale Integr. Syst.
Allen E. Sjogren, Chris J. Myers
2000 C conf
Stochastic cycle period analysis in timed circuits.
ISCAS
Eric G. Mercer, Chris J. Myers
2000 J jnl
Timed state space exploration using POSETs.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Wendy Belluomini, Chris J. Myers
1999 C conf
Architectural Synthesis of Timed Asynchronous Systems.
ICCD
Brandon M. Bachman, Hao Zheng, Chris J. Myers
1999 A conf
Direct synthesis of timed asynchronous circuits.
ICCAD
Sung Tae Jung, Chris J. Myers
1999 J jnl
POSET timing and its application to the synthesis and verification of gate-level timed circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Chris J. Myers, Tomas Rokicki, Teresa H.-Y. Meng
1999 — conf
RAPPID: An Asynchronous Instruction Length Decoder.
ASYNC
Shai Rotem, Ken S. Stevens, Charles Dike, Marly Roncken, Boris Agapiev, Ran Ginosar, Rakefet Kol, Peter A. Beerel, Chris J. Myers, Kenneth Y. Yun
1999 Misc conf
Timed Circuit Synthesis Using Implicit Methods.
VLSI Design
Robert A. Thacker, Wendy Belluomini, Chris J. Myers
1999 — conf
Verification of Delayed-Reset Domino Circuits Using ATACS.
ASYNC
Wendy Belluomini, Chris J. Myers, H. Peter Hofstee
1998 — conf
Average-Case Optimized Technology Mapping of One-Hot Domino CircuitsAverage-Case Optimized Transistor-Level Technology Mapping of Extended Burst-Mode Circuits.
ASYNC
Wei-Chun Chou, Peter A. Beerel, Ran Ginosar, Rakefet Kol, Chris J. Myers, Shai Rotem, Ken S. Stevens, Kenneth Y. Yun
1998 J jnl
Covering conditions and algorithms for the synthesis of speed-independent circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Peter A. Beerel, Chris J. Myers, Teresa H. Meng
1998 A* conf
Verification of Timed Systems Using POSETs.
CAV
Wendy Belluomini, Chris J. Myers
1997 Misc conf
An asynchronous implementation of the maxlist algorithm.
ICASSP
Chris J. Myers, Hao Zheng
1997 — conf
Efficient Timing Analysis Algorithms for Timed State Space Exploration.
ASYNC
Wendy Belluomini, Chris J. Myers
1997 — conf
Interfacing Synchronous and Asynchronous Modules Within a High-Speed Pipeline.
ARVLSI
Allen E. Sjogren, Chris J. Myers
1995 — conf
Automatic synthesis of gate-level timed circuits with choice.
ARVLSI
Chris J. Myers, Tomas Rokicki, Teresa H.-Y. Meng
1995 — conf
Technology mapping of timed circuits.
ASYNC
Chris J. Myers, Peter A. Beerel, Teresa H.-Y. Meng
1994 A* conf
Automatic Verification of Timed Circuits.
CAV
Tomas Rokicki, Chris J. Myers
1993 J jnl
Synthesis of timed asynchronous circuits.
IEEE Trans. Very Large Scale Integr. Syst.
Chris J. Myers, Teresa H.-Y. Meng
1992 C conf
Synthesis of Timed Asynchronous Circuits.
ICCD
Chris J. Myers, Teresa H.-Y. Meng