The following pages link to Rajeev Alur (Q294639):
Displaying 50 items.
- Symbolic Analysis for GSMP Models with One Stateful Clock (Q3612961) (← links)
- Automata Based Interfaces for Control and Scheduling (Q3613004) (← links)
- Adding Nesting Structure to Words (Q3617042) (← links)
- On Omega-Languages Defined by Mean-Payoff Conditions (Q3617739) (← links)
- First-Order and Temporal Logics for Nested Words (Q3623007) (← links)
- Specification and Analysis of Network Resource Requirements of Control Systems (Q3624587) (← links)
- Algorithmic Analysis of Array-Accessing Programs (Q3644742) (← links)
- Temporal Reasoning for Procedural Programs (Q3656875) (← links)
- (Q4036557) (← links)
- (Q4038702) (← links)
- (Q4230338) (← links)
- (Q4234083) (← links)
- (Q4249560) (← links)
- (Q4270053) (← links)
- A really temporal logic (Q4299300) (← links)
- Time-Adaptive Algorithms for Synchronization (Q4337652) (← links)
- The benefits of relaxing punctuality (Q4371517) (← links)
- (Q4417540) (← links)
- (Q4417924) (← links)
- (Q4417938) (← links)
- (Q4417973) (← links)
- (Q4503929) (← links)
- (Q4535063) (← links)
- (Q4536593) (← links)
- (Q4551148) (← links)
- (Q4551151) (← links)
- (Q4552454) (← links)
- (Q4552455) (← links)
- (Q4552456) (← links)
- Compositional Synthesis of Reactive Controllers for Multi-agent Systems (Q4633556) (← links)
- Regular combinators for string transformations (Q4635591) (← links)
- (Q4736572) (← links)
- (Q4787214) (← links)
- (Q4804906) (← links)
- (Q4817528) (← links)
- On the Complexity of Shortest Path Problems on Discounted Cost Graphs (Q4910440) (← links)
- (Q4938622) (← links)
- (Q4953375) (← links)
- Automata-Based Stream Processing (Q5111444) (← links)
- Fast timing-based algorithms (Q5137323) (← links)
- Space-efficient Query Evaluation over Probabilistic Event Streams (Q5145621) (← links)
- Case study (Q5146397) (← links)
- Modular refinement of hierarchic reactive machines (Q5178866) (← links)
- Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis (Q5194959) (← links)
- Derivatives of Quantitative Regular Expressions (Q5217297) (← links)
- Verisig (Q5239233) (← links)
- Parametric real-time reasoning (Q5248530) (← links)
- The benefits of relaxing punctuality (Q5255815) (← links)
- Regular Functions and Cost Register Automata (Q5271036) (← links)
- From Monadic Second-Order Definable String Transformations to Transducers (Q5271083) (← links)
