journal of computational physics (7)
siam journal on applied dynamical systems (5)
quantum information processing (4)
annual reviews in control (3)
automatica (3)
automatica. a journal of ifac, the international federation of automatic control (3)
international journal of non-linear mechanics (3)
journal of automated reasoning (3)
journal of computational and applied mathematics (3)
journal of microelectromechanical systems (3)
nonlinear dynamics (3)
52nd ieee conference on decision & control (2)
52nd ieee conference on decision and control, decision and control (cdc), 2013 ieee 52nd annual conference on (2)
information & inference: a journal of the ima (2)
international journal for uncertainty quantification (2)
nonlinear dynamics: an international journal of nonlinear dynamics and chaos in engineering systems (2)
2012 ieee 51st ieee conference on decision & control (cdc) (1)
2012 ieee 51st ieee conference on decision and control (cdc), decision and control (cdc), 2012 ieee 51st annual conference on (1)
2020 fourth ieee international conference on robotic computing (irc), robotic computing (irc), 2020 fourth ieee international conference on, irc (1)
2022 ieee conference on control technology and applications (ccta) (1)
2022 ieee conference on control technology and applications (ccta), control technology and applications (ccta), 2022 ieee conference on (1)
2023 ieee international conference on quantum computing and engineering (qce), quantum computing and engineering (qce), 2023 ieee international conference on, qce (1)
49th ieee conference on decision and control (cdc), decision and control (cdc), 2010 49th ieee conference on (1)
advances in dynamics, optimization and computation---a volume dedicated to michael dellnitz on the occasion of his 60th birthday (1)
bernoulli. official journal of the bernoulli society for mathematical statistics and probability (1)
complexity (1)
control of cyber-physical systems (1)
discrete event dynamic systems: theory and applications (1)
dissertation abstract international (1)
dissertation abstracts international (1)
esaim. mathematical modelling and numerical analysis (1)
formal methods in system design (1)
formal methods in system design: an international journal (1)
ifac papersonline (1)
ifac-papersonline (1)
information and inference. a journal of the ima (1)
institute of electrical and electronics engineers. transactions on automatic control (1)
international journal of semantic computing (1)
journal of aircraft (1)
journal of computational & applied mathematics (1)
journal of computational dynamics (1)
nasa formal methods (1)
natural computing. an international journal (1)
numerical algebra, control and optimization (1)
physical review b (1)
resonance (1)
resonance: journal of science education (1)
runtime verification (1)
statistical science. a review journal of the institute of mathematical statistics (1)
stochastic geometry, spatial statistics and random fields (1)