Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Soroush Haeri
Probabilistic Verification of BGP Convergence
Related publications
Simulating Convergence Properties of BGP
Incremental Runtime Verification of Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Gait Verification Using Probabilistic Methods
Terminology for Benchmarking BGP Device Convergence in the Control Plane
Automated Verification Techniques for Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Improved Probabilistic Verification by Hash Compaction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Generalized Ideal Convergence in Probabilistic Normed Spaces
Journal of Classical Analysis
Λ₃-Statistical Convergence of Triple Sequences on Probabilistic Normed Space
Global Journal of Mathematical Analysis
Formal Probabilistic Performance Verification of Randomly-Scheduled Wireless Sensor Networks
International Journal of Critical Computer-Based Systems
Computer Science
