Chris J. Myers

MaRDI QIDQ1716189zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Design and analysis of a robust genetic Muller C-element Journal of Theoretical Biology	2019-02-04	Paper
Compositional Model Checking of Concurrent Systems IEEE Transactions on Computers	2017-05-16	Paper
Modular synthesis of timed circuits using partial orders on LPNs Electronic Notes in Theoretical Computer Science	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 Automated Technology for Verification and Analysis	2008-09-04	Paper
Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver Automated Technology for Verification and Analysis	2008-07-03	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
scientific article; zbMATH DE number 1903354 (Why is no real title available?)	2003-05-01	Paper
scientific article; zbMATH DE number 1796133 (Why is no real title available?)	2002-09-04	Paper
Bifurcation Theory Applied to Oil Whirl in Plain Cylindrical Journal Bearings Journal of Applied Mechanics	1984-01-01	Paper

Research outcomes over time

This page was built for person: Chris J. Myers