The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Chris J. Myers" ( http://dblp.L3S.de/Authors/Chris_J._Myers )

URL (Homepage):  https://orcid.org/0000-0002-8762-8444  Author page on DBLP  Author page in RDF  Community of Chris J. Myers in ASPL-2

Publication years (Num. hits)
1992-1999 (17) 2000-2002 (19) 2003-2006 (17) 2007-2008 (15) 2009-2012 (21) 2013-2016 (20) 2017-2019 (9)
Publication types (Num. hits)
article(50) book(1) inproceedings(67)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 42 occurrences of 34 keywords

Results
Found 119 publication records. Showing 118 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Thakur Neupane, Zhen Zhang 0006, Curtis Madsen, Hao Zheng 0001, Chris J. Myers Approximation Techniques for Stochastic Analysis of Biological Systems. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Maxwell 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. Search on Bibsonomy Briefings in Bioinformatics The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael 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. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert Sidney Cox III, Curtis Madsen, James 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. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Robert Sidney Cox III, Curtis Madsen, James 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 0006, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat Synthetic Biology Open Language (SBOL) Version 2.2.0. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael 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. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Falk 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. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chris 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. Search on Bibsonomy WSC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vladimir Dubikhin, Chris J. Myers, Danil Sokolov, Ioannis Syranidis, Alexandre Yakovlev Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited. Search on Bibsonomy DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhen Zhang 0006, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng 0001, Chris J. Myers An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Falk 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. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jacob Beal, Robert Sidney Cox III, Raik Grünberg, James 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 0006, Zach Zundel, John H. Gennari, Chris J. Myers, Herbert M. Sauro, Anil Wipat Synthetic Biology Open Language (SBOL) Version 2.1.0. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Xin Li, Chandramouli Kashyap, Chris J. Myers Guest Editors' Introduction Challenges and Opportunities in Analog/Mixed-Signal CAD. Search on Bibsonomy IEEE Design & Test The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Vladimir Dubikhin, Danil Sokolov, Alex Yakovlev, Chris J. Myers Design of Mixed-Signal Systems With Asynchronous Control. Search on Bibsonomy IEEE Design & Test The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dagmar 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 0006, Argyris Zardilis, Anna Zhukova, Falk Schreiber Toward Community Standards and Software for Whole-Cell Modeling. Search on Bibsonomy IEEE Trans. Biomed. Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chris J. Myers Computational Synthetic Biology: Progress and the Road Ahead. Search on Bibsonomy IEEE Trans. Multi-Scale Computing Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hao Zheng 0001, Zhen Zhang 0006, Chris J. Myers, Emmanuel Rodriguez, Yingying Zhang Compositional Model Checking of Concurrent Systems. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Michael 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. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Lucian 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. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Falk 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. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bryan Bartley, Jacob Beal, Kevin Clancy, Goksel Misirli, Nicholas Roehner, Ernst Oberortner, Matthew R. Pocock, Michael Bissell, Curtis Madsen, Tramy Nguyen, Zhen Zhang 0006, John H. Gennari, Chris J. Myers, Anil Wipat, Herbert M. Sauro Synthetic Biology Open Language (SBOL) Version 2.0.0. Search on Bibsonomy J. Integrative Bioinformatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicolas 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. Search on Bibsonomy Bioinformatics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Andrew N. Fisher, Chris J. Myers, Peng Li Reachability Analysis Using Extremal Rates. Search on Bibsonomy NFM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Chris J. Myers, Herbert M. Sauro, Anil Wipat Introduction to the Special Issue on Computational Synthetic Biology. Search on Bibsonomy JETC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Curtis Madsen, Zhen Zhang 0006, Nicholas Roehner, Chris Winstead, Chris J. Myers Stochastic Model Checking of Genetic Circuits. Search on Bibsonomy JETC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Leandro H. Watanabe, Chris J. Myers Hierarchical stochastic simulation of genetic circuits. Search on Bibsonomy SpringSim (TMS-DEVS) The full citation details ... 2014 DBLP  BibTeX  RDF
1Zhen Zhang 0006, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng 0001, Chris J. Myers Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. Search on Bibsonomy FMICS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Dhanashree Kulkarni, Andrew N. Fisher, Chris J. Myers A new assertion property language for analog/mixed-signal circuits. Search on Bibsonomy FDL The full citation details ... 2013 DBLP  BibTeX  RDF
1Honghuang Lin, Peng Li, Chris J. Myers Verification of digitally-intensive analog circuits via kernel ridge regression and hybrid reachability analysis. Search on Bibsonomy DAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Curtis Madsen, Chris J. Myers, Tyler Patterson, Nicholas Roehner, Jason T. Stevens, Chris Winstead Design and Test of Genetic Circuits Using ${\tt iBioSim}$iBioSim. Search on Bibsonomy IEEE Design & Test of Computers The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Curtis Madsen, Chris J. Myers, Nicholas Roehner, Chris Winstead, Zhen Zhang 0006 Utilizing stochastic model checking to analyze genetic circuits. Search on Bibsonomy CIBCB The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hao Zheng 0001, Emmanuel Rodriguez, Yingying Zhang, Chris J. Myers A Compositional Minimization Approach for Large Asynchronous Design Verification. Search on Bibsonomy SPIN The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chris J. Myers, Jian Wu, Zhen Zhang 0006, Hao Zheng 0001, Yingying Zhang Poster Abstract: Methods and Tools for Verification of Cyber-Physical Systems. Search on Bibsonomy ICCPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Chris J. Myers Formal Verification of Genetic Circuits. Search on Bibsonomy CAV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yingying Zhang, Emmanuel Rodriguez, Hao Zheng 0001, Chris J. Myers An Improvement in Partial Order Reduction Using Behavioral Analysis. Search on Bibsonomy ISVLSI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Natasa Miskov-Zivanov, James R. Faeder, Chris J. Myers, Herbert M. Sauro Modeling and design automation of biological circuits and systems. Search on Bibsonomy ICCAD The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hao Zheng 0001, Andrew Price, Chris J. Myers Using decision diagrams to compactly represent the state space for explicit model checking. Search on Bibsonomy HLDVT The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nathan A. Barker, Chris J. Myers, Hiroyuki Kuwahara Learning Genetic Regulatory Network Connectivity from Time Series Data. Search on Bibsonomy IEEE/ACM Trans. Comput. Biology Bioinform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Scott Little, David Walter, Chris J. Myers, Robert A. Thacker, Satish Batchu, Tomohiro Yoneda Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hiroyuki Kuwahara, Chris J. Myers Erlang-delayed stochastic chemical kinetic formalism for efficient analysis of biological systems with non-elementary reaction effects. Search on Bibsonomy BCB The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yingying Zhang, Emmanuel Rodriguez, Hao Zheng 0001, Chris J. Myers A Behavioral Analysis Approach for Efficient Partial Order Reduction. Search on Bibsonomy HASE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samoilov Temperature Control of Fimbriation Circuit Switch in Uropathogenic Escherichia coli: Quantitative Analysis via Automated Model Abstraction. Search on Bibsonomy PLoS Computational Biology The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Scott Little, David Walter, Kevin R. Jones, Chris J. Myers, Alper Sen 0001 Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. Search on Bibsonomy Int. J. Found. Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Robert A. Thacker, Kevin R. Jones, Chris J. Myers, Hao Zheng 0001 Automatic abstraction for verification of cyber-physical systems. Search on Bibsonomy ICCPS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Chris Winstead, Curtis Madsen, Chris J. Myers iSSA: An incremental stochastic simulation algorithm for genetic circuits. Search on Bibsonomy ISCAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Haiqiong Yao, Hao Zheng 0001, Chris J. Myers State space reductions for scalable verification of asynchronous designs. Search on Bibsonomy HLDVT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Naohiro 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. Search on Bibsonomy IPSJ Trans. System LSI Design Methodology The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chris 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. Search on Bibsonomy Bioinformatics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Chris J. Myers, Nathan A. Barker, Hiroyuki Kuwahara, Kevin R. Jones, Curtis Madsen, Nam-Phuong D. Nguyen Genetic design automation. Search on Bibsonomy ICCAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Robert A. Thacker, Chris J. Myers, Kevin R. Jones, Scott Little A new verification method for embedded systems. Search on Bibsonomy ICCD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hiroyuki Kuwahara, Chris J. Myers Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions. Search on Bibsonomy Journal of Computational Biology The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Frédéric Béal, Tomohiro Yoneda, Chris J. Myers A Conservative Framework for Safety-Failure Checking. Search on Bibsonomy IEICE Transactions The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Frédéric Béal, Tomohiro Yoneda, Chris J. Myers Hazard Checking of Timed Asynchronous Circuits Revisited. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1David Walter, Scott Little, Chris J. Myers, Nicholas Seegmiller, Tomohiro Yoneda Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Naohiro 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). Search on Bibsonomy ACSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Hiroshi 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. Search on Bibsonomy IEICE Transactions The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tomohiro Yoneda, Chris J. Myers Synthesis of Timed Circuits Based on Decomposition. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Scott Little, David Walter, Kevin R. Jones, Chris J. Myers Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Walter, Scott Little, Chris J. Myers Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Hiroyuki Kuwahara, Chris J. Myers Production-Passage-Time Approximation: A New Approximation Method to Accelerate the Simulation Process of Enzymatic Reactions. Search on Bibsonomy RECOMB The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda Symbolic Model Checking of Analog/Mixed-Signal Circuits. Search on Bibsonomy ASP-DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language
1Nam-Phuong D. Nguyen, Hiroyuki Kuwahara, Chris J. Myers, James P. Keener The Design of a Genetic Muller C-Element. Search on Bibsonomy ASYNC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Scott Little, Alper Sen 0001, Chris J. Myers Application of Automated Model Generation Techniques to Analog/Mixed-Signal Circuits. Search on Bibsonomy MTV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Frédéric Béal, Tomohiro Yoneda, Chris J. Myers Hazard Checking of Timed Asynchronous Circuits Revisited. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Chris J. Myers, Reid R. Harrison, David Walter, Nicholas Seegmiller, Scott Little The Case for Analog Circuit Verification. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samoilov, Nathan A. Barker, Adam P. Arkin Automated Abstraction Methodology for Genetic Regulatory Networks. Search on Bibsonomy Trans. Computational Systems Biology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hao Zheng 0001, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda Verification of timed circuits with failure-directed abstractions. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Tomohiro Yoneda, Chris J. Myers Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samoilov Abstracted Stochastic Analysis of Type 1 Pili Expression in E.coli. Search on Bibsonomy BIOCOMP The full citation details ... 2006 DBLP  BibTeX  RDF
1Scott Little, Nicholas Seegmiller, David Walter, Chris J. Myers, Tomohiro Yoneda Verification of analog/mixed-signal circuits using labeled hybrid petri nets. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hybrid petri nets, formal methods
1Hiroshi Saito, Nattha Jindapetch, Tomohiro Yoneda, Chris J. Myers, Takashi Nanya ILP-based Scheduling for Asynchronous Circuits in Bundled-Data Implementation. Search on Bibsonomy CIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nathan A. Barker, Chris J. Myers, Hiroyuki Kuwahara Learning Genetic Regulatory Network Connectivity from Time Series Data. Search on Bibsonomy IEA/AIE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. Search on Bibsonomy IEICE Transactions The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tomoya Kitai, Tomohiro Yoneda, Chris J. Myers Failure Trace Analysis of Timed Circuits for Automatic Timing Constraints Derivation. Search on Bibsonomy IEICE Transactions The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Tomohiro Yoneda, Atsushi Matsumoto, Manabu Kato, Chris J. Myers High Level Synthesis of Timed Asynchronous Circuits. Search on Bibsonomy ASYNC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Denduang Pradubsuwun, Tomohiro Yoneda, Chris J. Myers Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Scott Little, David Walter, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets. Search on Bibsonomy ATVA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Tomohiro Yoneda, Hiroomi Onda, Chris J. Myers Synthesis of Speed Independent Circuits Based on Decomposition. Search on Bibsonomy ASYNC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF abstraction, synthesis, Decomposition, STGs, speed-independent circuits
1Hao Zheng 0001, Eric Mercer, Chris J. Myers Modular verification of timed circuits using automatic abstraction. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Curtis A. Nelson, Chris J. Myers, Tomohiro Yoneda Efficient Verification of Hazard-Freedom in Gate-Level Timed Asynchronous Circuits. Search on Bibsonomy ICCAD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hao Zheng 0001, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda Verification of Timed Circuits with Failure Directed Abstractions. Search on Bibsonomy ICCD The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Eric Mercer, Chris J. Myers, Tomohiro Yoneda Modular Synthesis of Timed Circuits using Partial Order Reduction. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hans M. Jacobson, Chris J. Myers Efficient algorithms for exact two-level hazard-free logic minimization. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Sung Tae Jung, Chris J. Myers Direct synthesis of timed circuits from free-choice STGs. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Jie Dai, Chris Winstead, Chris J. Myers, Reid R. Harrison, Christian Schlegel Cell library for automatic synthesis of analog error control decoders. Search on Bibsonomy ISCAS (4) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers Automatic Derivation of Timing Constraints by Failure Analysis. Search on Bibsonomy CAV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Trace theoretic verification, Timing constraints, Failure analysis, Timed circuits
1Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. Search on Bibsonomy PRDC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Wendy Belluomini, Chris J. Myers, H. Peter Hofstee Timed circuit verification using TEL structures. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Chris J. Myers Asynchronous circuit design. Search on Bibsonomy 2001   RDF
1Hao Zheng 0001, Eric Mercer, Chris J. Myers Automatic Abstraction for Verification of Timed Circuits and Systems. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Chris J. Myers, Wendy Belluomini, Kip Kallpack, Eric Peskin, Hao Zheng 0001 Timed circuits: a new paradigm for high-speed design. Search on Bibsonomy ASP-DAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Kip C. Killpack, Eric Mercer, Chris J. Myers A Standard-Cell Self-Timed Multiplier for Energy and Area Critical Synchronous Systems. Search on Bibsonomy ARVLSI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Chris Winstead, Jie Dai, Woo Jin Kim, Scott Little, Yong-Bin Kim, Chris J. Myers, Christian Schlegel Analog MAP Decoder for (8, 4) Hamming Code in Subthreshold CMOS. Search on Bibsonomy ARVLSI The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Bin Zhou, Tomohiro Yoneda, Chris J. Myers Framework of Timed Trace Theoretic Verification Revisited. Search on Bibsonomy Asian Test Symposium The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Chris J. Myers, Hans M. Jacobson Efficient Exact Two-Level Hazard-Free Logic Minimization. Search on Bibsonomy ASYNC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Chris Winstead, Chris J. Myers, Christian Schlegel, Reid R. Harrison Analog decoding of product codes. Search on Bibsonomy ITW The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Allen E. Sjogren, Chris J. Myers Interfacing synchronous and asynchronous modules within a high-speed pipeline. Search on Bibsonomy IEEE Trans. VLSI Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Wendy Belluomini, Chris J. Myers Timed state space exploration using POSETs. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Eric G. Mercer, Chris J. Myers Stochastic cycle period analysis in timed circuits. Search on Bibsonomy ISCAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 118 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license