Robert K. Brayton

Available identifiers

zbMath Open brayton.robert-kMaRDI QIDQ1020551

List of research outcomes

Publication	Date of Publication	Type
Verifying abstractions of timed systems	2023-06-28	Paper
Automated Synthesis of Protocol Converters with BALM-II	2021-05-18	Paper
Equivalences for fair Kripke structures	2019-04-29	Paper
Structural complexity of ω-automata	2017-12-04	Paper
Model-checking continuous-time Markov chains	2017-06-13	Paper
Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT	2016-09-05	Paper
2QBF: Challenges and Solutions	2016-09-05	Paper
The Unknown Component Problem	2012-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q3081633	2011-03-09	Paper
Compositionally progressive solutions of synchronous FSM equations	2009-05-29	Paper
Computer Aided Verification	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4946958	2003-11-20	Paper
Formula-dependent equivalence for compositional CTL model checking	2002-09-18	Paper
Partial-order reduction in symbolic state-space exploration	2001-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q4525725	2001-01-24	Paper
Performance planning	2000-06-04	Paper
Integration of retiming with architectural floorplanning	2000-06-04	Paper
https://portal.mardi4nfdi.de/entity/Q4337945	1997-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q4332902	1997-02-17	Paper
https://portal.mardi4nfdi.de/entity/Q4852540	1995-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4845010	1995-08-30	Paper
Testing language containment for \(\omega\)-automata using BDDs	1995-07-05	Paper
https://portal.mardi4nfdi.de/entity/Q4002327	1992-09-18	Paper
Factoring logic functions	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3680754	1984-01-01	Paper
Yield maximization and worst-case design with arbitrary statistical distributions	1980-01-01	Paper
Constructive stability and asymptotic stability of dynamical systems	1980-01-01	Paper
An algorithm for minimizing a differentiable function subject to box constraints and errors	1979-01-01	Paper
Some remarks on the symmetric rank-one update	1979-01-01	Paper
Stability of dynamical systems: A constructive approach	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3932746	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4155751	1978-01-01	Paper
A theorem on inverses of convex sets of real matrices with application to the worst case dc problem	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4137191	1976-01-01	Paper
Self-orthogonal latin squares of all orders 𝑛≠2,3,6	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4053029	1973-01-01	Paper
Necessary and sufficient conditions for bounded global stability of certain nonlinear systems	1971-01-01	Paper
Some Results on Sparse Matrices	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5675627	1971-01-01	Paper
Small-signal Stability Criterion for Electrical Networks Containing Lossless Transmission Lines	1968-01-01	Paper
On the numerical integration of a symmetric system of difference- differential equations of neutral type	1967-01-01	Paper
Nonlinear oscillations in a distributed network	1967-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5560382	1967-01-01	Paper
Bifurcation of periodic solutions in a nonlinear difference-differential equations of neutral type	1966-01-01	Paper
A Numerical Analysis of the Transient Behavior of a Transistor Circuit	1966-01-01	Paper
A stability theory for nonlinear mixed initial boundary value problems	1964-01-01	Paper
Stability Criteria for Large Networks	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5653920	1964-01-01	Paper
On the asymptotic behaviour of the number of trials necessary to complete a set with random selection	1963-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: Robert K. Brayton