Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Srikar Reddy
A Theory of Runtime Enforcement, With Results
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing the Efficacy and Cost-Effectiveness of Anti-Platelet Therapy in Unstable Angina/Non-St Elevation Myocardial Infarction: A Decision Analysis
Cureus
Related publications
Testing Real-Time Systems With Runtime Enforcement
IEEE Design and Test
Hardware
Electronic Engineering
Electrical
Architecture
Software
Runtime Enforcement of Timed Properties Revisited
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Runtime Enforcement of Web Service Message Contracts With Data
IEEE Transactions on Services Computing
Information Systems
Computer Networks
Hardware
Communications
Computer Science Applications
Management
Architecture
Runtime Enforcement of Reactive Systems Using Synchronous Enforcers
The Economic Theory of Public Enforcement of Law
Environmental Enforcement Networks: Theory, Practice and Potential
Runtime Verification With Particle Filtering
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Results of Mediation and Cross-Border Enforcement of Mediation Agreements
ERA Forum
Law
International Relations
Political Science
Political Theory Today: Results of a National Survey
PS - Political Science and Politics
Sociology
Political Science
