Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David P. Monniaux
Automatic Modular Abstractions for Linear Constraints
Related publications
Automatic Numeric Abstractions for Heap-Manipulating Programs
Modular Constraints on Superconformal Field Theories
Journal of High Energy Physics
High Energy Physics
Nuclear
An Automatic and Modular Stereo Pipeline for Pushbroom Images
ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Instrumentation
Earth
Planetary Sciences
Environmental Science
Automatic Test Methods for Linear Microcircuits.
Research on Automatic Locomotion Pattern Generation for Modular Robots
Nippon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japan Society of Mechanical Engineers, Part C
Mechanics of Materials
Industrial
Mechanical Engineering
Manufacturing Engineering
Improved Linear Systolic Array for Fast Modular Exponentiation
IEE Proceedings - Computers and Digital Techniques
Linear Constraints for Remaining Transfer Capability Allocation
Bayesian Inference for Linear Models Subject to Linear Inequality Constraints
Automatic Assembly System of Modular Tools.
JSME International Journal, Series 3: Vibration, Control Engineering, Engineering for Industry
Engineering
