Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Robert St-Aubin
A Formal Mathematical Framework for Modeling Probabilistic Hybrid Systems
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Related publications
A Layered Formal Framework for Modeling of Cyber-Physical Systems
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
A Mathematical Framework for Modeling Axon Guidance
Bulletin of Mathematical Biology
Genetics
Pharmacology
Molecular Biology
Environmental Science
Biochemistry
Biological Sciences
Mathematics
Immunology
Computational Theory
Agricultural
Neuroscience
Formal Testing of Timed and Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Hybrid Systems
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-Robot Coordination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Hybrid Systems Modeling
Simulation
Computer Graphics
Simulation
Computer-Aided Design
Modeling
Mathematics
Software
A Framework for Modeling DNA Based Molecular Systems
Journal of Computational and Theoretical Nanoscience
Materials Science
Condensed Matter Physics
Electronic Engineering
Nanoscience
Electrical
Computational Mathematics
Nanotechnology
Chemistry
A Probabilistic Framework for Point-Based Shape Modeling in Medical Image Analysis
