Chris 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
https://portal.mardi4nfdi.de/entity/Q3602748	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chris Myers