Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mukund Raghothaman
Automatic Completion of Distributed Protocols With Symmetry
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Symmetry-Based Completion
Completion of Occluded Shapes Using Symmetry
Improving Automatic Verification of Security Protocols With XOR
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Objects Removal for Scene Completion
Pedagogical Protocols Selection Automatic Assistance
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automatic Gait Recognition by Symmetry Analysis
Pattern Recognition Letters
Signal Processing
Computer Vision
Pattern Recognition
Artificial Intelligence
Software
A Parameterized Harmony Model for Automatic Music Completion
Journal of Information Processing
Distributed Consensus Protocols for Coordinating Buyers
Distributed Automatic Voltage Control (DAVC)
