Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mihai Sîrbu
Stochastic Perron’s Method and Verification Without Smoothness Using Viscosity Comparison: The Linear Case
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Related publications
A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates
IEEE Transactions on Automatic Control
Control
Systems Engineering
Computer Science Applications
Electrical
Electronic Engineering
Richardson Extrapolation-Based Verification Method of Scientific Calculation Program Without the Oracles: A Case Study
Mathematical Problems in Engineering
Mathematics
Engineering
Viscosity Iteration Method in CAT(0) Spaces Without the Nice Projection Property
Journal of Inequalities and Applications
Combinatorics
Applied Mathematics
Analysis
Discrete Mathematics
DRM Mechanism Without Third Party Using System Verification Technique
International Journal of Engineering Research and
A Study on Optimization Using Stochastic Linear Programming
IOSR Journal of Mathematics
Using Linear Programming to Analyze and Optimize Stochastic Flow Lines
Annals of Operations Research
Management Science
Decision Sciences
Operations Research
On the Photelectrical Method of the Printing Smoothness “Tape Printing Method”
JAPAN TAPPI JOURNAL
Runtime Verification of Stochastic Systems
Verification and Large Deformation Analysis Using the Reproducing Kernel Particle Method
