Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stanley Bak
Numerical Verification of Affine Systems With Up to a Billion Dimensions
EasyChair Preprints
ARCH-COMP19 Category Report: Continuous and Hybrid Systems With Linear Continuous Dynamics
Related publications
A Roadmap to Pervasive Systems Verification
Knowledge Engineering Review
Artificial Intelligence
Software
Visual Signature Verification Using Affine Arc-Length
Robustness of Signature Verification Systems to Imitators With Increasing Skills
Invariant Synthesis for Verification of Parameterized Cyber-Physical Systems With Applications to Aerospace Systems
Suitability of a New Bloom Filter for Numerical Vectors With High Dimensions
PLoS ONE
Multidisciplinary
Stability of Piecewise Affine Systems With State-Dependent Delay, and Application to Congestion Control
Krull, Gelfand–Kirillov, and Filter Dimensions of Simple Affine Algebras
Journal of Algebra
Number Theory
Algebra
Numerical Verification of Positiveness for Solutions to Semilinear Elliptic Problems
JSIAM Letters
Numerical Relativity in Higher Dimensions
Journal of Physics: Conference Series
Astronomy
Physics
