Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Vladislav Podymov
An Efficient Equivalence-Checking Algorithm for a Model of Programs With Commutative and Absorptive Statements
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Related publications
Model Checking Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Improvement of the Piggyback Algorithm for Parallel Model Checking
Tools and Techniques for Model Checking Networked Programs
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logic of Belief and a Model Checking Algorithm for Security Protocols
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
A Direct Algorithm for Multi-Valued Bounded Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Model Checking of Networked Applications
Lecture Notes in Business Information Processing
Control
Systems Engineering
Information Systems
Business
International Management
Simulation
Management
Management Information Systems
Modeling
Efficient Large-Scale Model Checking
Client-Specific Equivalence Checking
