On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Proving correctness of compiler optimizations by temporal logic
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An infinite hierarchy of temporal logics over branching time
Information and Computation
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Why so Many Temporal Logics Climb up the Trees?
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Expressive Power of Temporal Logics
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Implicit Temporal Query Languages: Towards Completeness
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
On temporal logic versus datalog
Theoretical Computer Science - Logic and complexity in computer science
Counting on CTL: on the expressive power of monadic path logic
Information and Computation
Temporalized logics and automata for time granularity
Theory and Practice of Logic Programming
From linear time to branching time
ACM Transactions on Computational Logic (TOCL)
A clausal resolution method for branching-time logic ECTL+
Annals of Mathematics and Artificial Intelligence
BTL2 and the expressive power of ECTL+
Information and Computation
Characterizing EF and EX tree logics
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
On compositionality and its limitations
ACM Transactions on Computational Logic (TOCL)
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Composition Theorem for Generalized Sum
Fundamenta Informaticae
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Fundamenta Informaticae
Effective characterizations of tree logics
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
25 Years of Model Checking
From Philosophical to Industrial Logics
ICLA '09 Proceedings of the 3rd Indian Conference on Logic and Its Applications
How big must complete XML query languages be?
Proceedings of the 12th International Conference on Database Theory
Formal Methods in System Design
Branching-Time Logics Repeatedly Referring to States
Journal of Logic, Language and Information
Time Ordering Architecture in SCA
Proceedings of the 2009 conference on Techniques and Applications for Mobile Commerce: Proceedings of TAMoCo 2009
Composition Theorems for Generalized Sum and Recursively Defined Types
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Computation
Finding your way in a forest: on different types of trees and their properties
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Pillars of computer science
On the complexity of branching-time logics
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Revisiting synthesis of GR(1) specifications
HVC'10 Proceedings of the 6th international conference on Hardware and software: verification and testing
Combining temporal logics for querying XML documents
ICDT'07 Proceedings of the 11th international conference on Database Theory
Logics for unranked trees: an overview
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
Dealing with time in content language expressions
AC'04 Proceedings of the 2004 international conference on Agent Communication
Journal of Computer and System Sciences
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics
Fundamenta Informaticae
Composition Theorem for Generalized Sum
Fundamenta Informaticae
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
A survey on resiliency assessment techniques for wireless sensor networks
Proceedings of the 11th ACM international symposium on Mobility management and wireless access
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |