Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by R. Alur
Real-Time Logics: Complexity and Expressiveness
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-Robot Coordination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
On Expressiveness and Complexity in Real-Time Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Expressiveness and Complexity of Order Dependencies
Proceedings of the VLDB Endowment
Computer Science
Complexity of Prioritized Default Logics
Journal of Artificial Intelligence Research
Artificial Intelligence
The Effect of Reasoning Logics on Real-Time Decision Making
IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans
Control
Systems Engineering
Information Systems
Human-Computer Interaction
Electronic Engineering
Computer Science Applications
Electrical
Software
The Complexity of Lattice-Based Fuzzy Description Logics
Journal on Data Semantics
Computer Networks
Information Systems
Artificial Intelligence
Communications
The Complexity of Reasoning With Boolean Modal Logics
Complexity Reduction of Real-Time Depth Scanning on Graphics Hardware
Hoare Logics for Time Bounds
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Complexity of Model Checking for Propositional Default Logics
Data and Knowledge Engineering
Information Systems
Management
