“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Reasoning about fair concurrent programs
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
The complexity of reasoning about knowledge and time
STOC '86 Proceedings of the eighteenth annual ACM symposium on Theory of computing
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Interleaving set temporal logic
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Efficient temporal reasoning (extended abstract)
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modalities for model checking (extended abstract): branching time strikes back
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
"Sometimes" and "not never" revisited: on branching versus linear time (preliminary report)
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
Verification of distributed programs using representative interleaving sequences
Distributed Computing
Infinite unfair shuffles and associativity
Theoretical Computer Science
Reasoning about agent execution strategies
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Playing extensive form games in parallel
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Reasoning about agent deliberation
Autonomous Agents and Multi-Agent Systems
Associativity of Infinite Synchronized Shuffles and Team Automata
Fundamenta Informaticae
On Topological Hierarchies of Temporal Properties
Fundamenta Informaticae
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
| Hi-index | 0.00 |