Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Naoya Sumi
Diffeomorphisms Satisfying the Specification Property
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Related publications
Groups Satisfying a Strong Complement Property
Journal of Algebra
Number Theory
Algebra
On Partially Ordered Groups Satisfying the Riesz Interpolation Property
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Every Expanding Measure Has the Nonuniform Specification Property
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Property Specification Patterns for Finite-State Verification
On the Smith Reduction Theorem for Almost Periodic ODEs Satisfying the Squeezing Property
Nelineinaya Dinamika
Control
Systems Engineering
Mechanical Engineering
Rapid Property Specification and Checking for Model-Based Formalisms
Statistical Mechanics on a Compact Set With $Z^\nu $ Action Satisfying Expansiveness and Specification
Bulletin of the American Mathematical Society
Combining CSP and B for Specification and Property Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Coupled Fixed Point for Map Satisfying the Mixed Monotone Property in Partially Ordered Complete NIFMS
Applied Mathematical Sciences
