Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jaideep Nijjar
Bounded Verification of Ruby on Rails Data Models
Related publications
Time-Bounded Verification of CTMCs Against Real-Time Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
EMF on Rails
Bounded Rationality in Newsvendor Models
Manufacturing and Service Operations Management
Management Science
Management
Operations Research
Strategy
Stress Analysis on Behaviour of Rails
International Journal of Engineering Research
Automating the Verification of Heritage Building Information Models Created From Point Cloud Data
ISPRS - International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences
Bounded Timing Models for Digital Gates.
On Transforming Statistical Models for Non-Frontal Face Verification
Pattern Recognition
Signal Processing
Computer Vision
Pattern Recognition
Artificial Intelligence
Software
A Bounded Model Checking Approach for the Verification of Web Services Composition
International Journal of Web Services Research
Computer Networks
Software
Information Systems
Communications
Memory Bounded Inference in Topic Models
