Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Anping He
Automata-Based Analysis of Stage Suspended Boom Systems
Journal of Applied Mathematics
Applied Mathematics
Security Path Checking of a Circuit With Behavior Description
Related publications
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
Strength Analysis of a Boom Sprayer With the Use of CAD/CAE Systems
Mechanik
Towards Sampling and Simulation-Based Analysis of Featured Weighted Automata
Comparing Forwarder Boom-Control Systems Based on an Automatically Recorded Follow-Up Dataset
Silva Fennica
Forestry
Ecological Modeling
Sensor-Based Collision Avoidance for Rope-Suspended Autonomous Material Flow Systems
IFAC Proceedings Volumes
Cellular Automata and Discrete Complex Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automata-Based Axiom Pinpointing
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Cellular Automata and Discrete Complex Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Drilling Down: An Examination of the Boom-Crime Relationship in Resource Based Boom Counties
Actual Problems of Economics and Law
