Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rajiv Ranjan Singh
Calculating Quantitative Integrity and Secrecy for Imperative Programs
International Journal of Secure Software Engineering
Related publications
Relational Cost Analysis for Functional-Imperative Programs
Proceedings of the ACM on Programming Languages
An Integrated Proof Language for Imperative Programs
ACM SIGPLAN Notices
Computer Science
Declarative View of Imperative Programs
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
Computer Programs for Calculating Atomic Data for Ions
Highlights of Astronomy
Complexity and Resource Bound Analysis of Imperative Programs Using Difference Constraints
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Science and Secrecy
Microbe
Microbiology
A Quantitative Assessment of the Accuracy of Techniques for Calculating Graupel Growth
Journals of the Atmospheric Sciences
Atmospheric Science
Imperative for Informed Consent.
American Journal of Public Health
Environmental
Public Health
Occupational Health
