Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jori Dubrovin
Symbolic Step Encodings for Object Based Communicating State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Checking Experiments for Finite State Machines With Symbolic Inputs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Communicating B Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multicast Congestion Control SRMSH Approach Using Communicating Real-Time State Machines
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
Modeling
Engineering
Multidisciplinary
Applied Mathematics
Simulation
Fully Abstract Encodings of Λ-Calculus in HOcore Through Abstract Machines
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reconfigurable Finite State Machines Based on Substitutions
Prikladnaya diskretnaya matematika. Prilozhenie
Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Synthetic Recombinase-Based State Machines in Living Cells
Science
Multidisciplinary
Philosophy of Science
History
