Chris J. Myers

Available identifiers

zbMath Open myers.chris-jWikidataQ57084410 ScholiaQ57084410MaRDI QIDQ1716189

List of research outcomes

Publication	Date of Publication	Type
Design and analysis of a robust genetic Muller C-element	2019-02-04	Paper
Compositional Model Checking of Concurrent Systems	2017-05-16	Paper
Modular synthesis of timed circuits using partial orders on LPNs	2013-08-15	Paper
Hazard checking of timed asynchronous circuits revisited	2009-02-12	Paper
Effective Contraction of Timed STGs for Decomposition Based Timed Circuit Synthesis	2008-09-04	Paper
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver	2008-07-03	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
https://portal.mardi4nfdi.de/entity/Q4804897	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4551149	2002-09-04	Paper
Bifurcation Theory Applied to Oil Whirl in Plain Cylindrical Journal Bearings	1984-01-01	Paper

Research outcomes over time

This page was built for person: Chris J. Myers