Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rajagopal Nagarajan
Verification of Concurrent Quantum Protocols by Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Proof-Theoretic Trust and Reputation Model for VANET
Related publications
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Client-Specific Equivalence Checking
Choice of Tests for Logic Verification and Equivalence Checking and the Use of Fault Simulation
Model Checking Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equivalence Properties by Typing in Cryptographic Branching Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Validation of Object-Oriented Concurrent Designs by Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Controllable Self-Checking Checkers for Conditional Concurrent Checking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols