What can knowledge representation do for semi-structured data?
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Information and Computation
Monadic second-order logic on tree-like structures
Theoretical Computer Science
Small Progress Measures for Solving Parity Games
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
A Decidable Fixpoint Logic for Time-Outs
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
The Finite Graph Problem for Two-Way Alternating Automata
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Reasoning in expressive description logics
Handbook of automated reasoning
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The description logic handbook
Automata logics, and infinite games
Mu-depth 3 is more than 2: a game-theoretic proof
Mathematical Structures in Computer Science
Mathematical modal logic: a view of its evolution
Journal of Applied Logic
A decidable class of problems for control under partial observation
Information Processing Letters
Description Logics for Shape Analysis
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Ambiguous classes in µ-calculi hierarchies
Theoretical Computer Science - Foundations of software science and computation structures
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae
An Approach for the Specification, Verification and Synthesis of Secure Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Through Modeling to Synthesis of Security Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
A uniform framework for concept definitions in description logics
Journal of Artificial Intelligence Research
A Tableau System for the Modal μ-Calculus
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
A decidable class of problems for control under partial observation
Information Processing Letters
Eliminating recursion in the µ-calculus
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
A tool for the synthesis of controller programs
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
Synthesis of web services orchestrators in a timed setting
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
The modal µ-calculus caught off guard
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
Correctness and worst-case optimality of Pratt-style decision procedures for modal and hybrid logics
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
A proof system for the linear time μ-calculus
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Specification in PDL with recursion
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae
From qualitative to quantitative enforcement of security policy
MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security
A framework for automatic generation of security controller
Software Testing, Verification & Reliability
A tool for the synthesis of cryptographic orchestrators
Proceedings of the Workshop on Model-Driven Security
Pushdown module checking with imperfect information
Information and Computation
Reducing behavioural to structural properties of programs with procedures
Theoretical Computer Science
Synthesis of hierarchical systems
Science of Computer Programming
Hi-index | 0.00 |