Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Robert K. Brayton - MaRDI portal

Robert K. Brayton

From MaRDI portal
(Redirected from Person:202462)
Person:1020551

Available identifiers

zbMath Open brayton.robert-kMaRDI QIDQ1020551

List of research outcomes





PublicationDate of PublicationType
Verifying abstractions of timed systems2023-06-28Paper
Automated Synthesis of Protocol Converters with BALM-II2021-05-18Paper
Equivalences for fair Kripke structures2019-04-29Paper
Structural complexity of ω-automata2017-12-04Paper
Model-checking continuous-time Markov chains2017-06-13Paper
Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT2016-09-05Paper
2QBF: Challenges and Solutions2016-09-05Paper
The Unknown Component Problem2012-02-02Paper
https://portal.mardi4nfdi.de/entity/Q30816332011-03-09Paper
Compositionally progressive solutions of synchronous FSM equations2009-05-29Paper
Computer Aided Verification2005-08-25Paper
https://portal.mardi4nfdi.de/entity/Q49469582003-11-20Paper
Formula-dependent equivalence for compositional CTL model checking2002-09-18Paper
Partial-order reduction in symbolic state-space exploration2001-09-09Paper
https://portal.mardi4nfdi.de/entity/Q45257252001-01-24Paper
Performance planning2000-06-04Paper
Integration of retiming with architectural floorplanning2000-06-04Paper
https://portal.mardi4nfdi.de/entity/Q43379451997-05-27Paper
https://portal.mardi4nfdi.de/entity/Q43329021997-02-17Paper
https://portal.mardi4nfdi.de/entity/Q48525401995-10-31Paper
https://portal.mardi4nfdi.de/entity/Q48450101995-08-30Paper
Testing language containment for \(\omega\)-automata using BDDs1995-07-05Paper
https://portal.mardi4nfdi.de/entity/Q40023271992-09-18Paper
Factoring logic functions1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36807541984-01-01Paper
Yield maximization and worst-case design with arbitrary statistical distributions1980-01-01Paper
Constructive stability and asymptotic stability of dynamical systems1980-01-01Paper
An algorithm for minimizing a differentiable function subject to box constraints and errors1979-01-01Paper
Some remarks on the symmetric rank-one update1979-01-01Paper
Stability of dynamical systems: A constructive approach1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39327461978-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41557511978-01-01Paper
A theorem on inverses of convex sets of real matrices with application to the worst case dc problem1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41371911976-01-01Paper
Self-orthogonal latin squares of all orders 𝑛≠2,3,61974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40530291973-01-01Paper
Necessary and sufficient conditions for bounded global stability of certain nonlinear systems1971-01-01Paper
Some Results on Sparse Matrices1971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56756271971-01-01Paper
Small-signal Stability Criterion for Electrical Networks Containing Lossless Transmission Lines1968-01-01Paper
On the numerical integration of a symmetric system of difference- differential equations of neutral type1967-01-01Paper
Nonlinear oscillations in a distributed network1967-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55603821967-01-01Paper
Bifurcation of periodic solutions in a nonlinear difference-differential equations of neutral type1966-01-01Paper
A Numerical Analysis of the Transient Behavior of a Transistor Circuit1966-01-01Paper
A stability theory for nonlinear mixed initial boundary value problems1964-01-01Paper
Stability Criteria for Large Networks1964-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56539201964-01-01Paper
On the asymptotic behaviour of the number of trials necessary to complete a set with random selection1963-01-01Paper

Research outcomes over time

This page was built for person: Robert K. Brayton