Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Rajeev Alur

Automatic Completion of Distributed Protocols With Symmetry

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

An Axiomatic Memory Model for POWER Multiprocessors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

On the Complexity of Shortest Path Problems on Discounted Cost Graphs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Closed-Loop Verification of Medical Devices With Model Abstraction and Refinement

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2013English

On the Feasibility of Automation for Bandwidth Allocation Problems in Data Centers

2013English

Formal Verification of Hybrid Systems

2011English

A Framework and Architecture for Multi-Robot Coordination

International Journal of Robotics Research
Electronic EngineeringMechanical EngineeringApplied MathematicsSimulationElectricalModelingArtificial IntelligenceSoftware
2002English

Adding Nesting Structure to Words

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2009English

Alternating-Time Temporal Logic

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
1999English

On Omega-Languages Defined by Mean-Payoff Conditions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy