Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Rydeheard
From Parametric Trace Slicing to Rule Systems
EasyChair Preprints
Rule Systems for Runtime Verification: A Short Tutorial
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Distributed Slicing in Dynamic Systems
Parametric Representation of Open Quantum Systems and Cross-Over From Quantum to Classical Environment
Proceedings of the National Academy of Sciences of the United States of America
Multidisciplinary
Ferroresonance Circuit Exhibiting Chaotic Phenomenon: Rule Extraction From Nonlinear Systems
International Journal of Applied Electromagnetics and Mechanics
Mechanics of Materials
Electronic Engineering
Condensed Matter Physics
Mechanical Engineering
Optical
Electrical
Magnetic Materials
Electronic
An Approach to Model-Based Parametric Design of Mechatronic Systems
Computer-Aided Design and Applications
Computational Mechanics
Computational Mathematics
Computer Graphics
Computer-Aided Design
Parametric Ordering of Complex Systems
Physical Review E
Trace Formula for Systems With Spin From the Coherent State Propagator
Journal of Mathematical Physics
Nonlinear Physics
Mathematical Physics
Statistical
From Natural Law to the Golden Rule
Ethics, Politics & Society
A General Approach to Trace-Checking in Distributed Computing Systems
Parametric Identification of Nonlinear Hysteretic Systems
IFAC Proceedings Volumes
