Monadic second-order logic on tree-like structures
Theoretical Computer Science
On Reasoning about Structural Equality in XML: A Description Logic Approach
ICDT '03 Proceedings of the 9th International Conference on Database Theory
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Lifting Temporal Proofs through Abstractions
VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
On the Complexity of Parity Word Automata
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
On the Variable Hierarchy of the Modal µ-Calculus
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Automata logics, and infinite games
From linear time to branching time
ACM Transactions on Computational Logic (TOCL)
An axiomatization of bisimulation quantifiers via the µ-calculus
Theoretical Computer Science
On reasoning about structural equality in XML: a description logic approach
Theoretical Computer Science - Database theory
Modal logics for timed control
CONCUR 2005 - Concurrency Theory
On the universal and existential fragments of the μ-calculus
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
Automata and fixed point logic: a coalgebraic perspective
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
Ambiguous classes in µ-calculi hierarchies
Theoretical Computer Science - Foundations of software science and computation structures
Process Algebra Having Inherent Choice: Revised Semantics for Concurrent Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular Games for Coalgebraic Fixed Point Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
An Incremental Technique for Automata-Based Decision Procedures
CADE-21 Proceedings of the 21st international conference on Automated Deduction: Automated Deduction
Idempotent Transductions for Modal Logics
FroCoS '07 Proceedings of the 6th international symposium on Frontiers of Combining Systems
Continuous Fragment of the mu-Calculus
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Formal Methods in System Design
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Electronic Notes in Theoretical Computer Science (ENTCS)
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice
Electronic Notes in Theoretical Computer Science (ENTCS)
Prime implicate normal form for ALC concepts
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Automata and Fixed Point Logics for Coalgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Automata Games for Multiple-model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
Automata and fixed point logic: A coalgebraic perspective
Information and Computation - Special issue: Seventh workshop on coalgebraic methods in computer science 2004
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
More precise partition abstractions
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A tool for the synthesis of controller programs
FAST'06 Proceedings of the 4th international conference on Formal aspects in security and trust
Logic programming approach to automata-based decision procedures
ICLP'07 Proceedings of the 23rd international conference on Logic programming
A new approach to bounded model checking for branching time logics
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
On the μ-calculus over transitive and finite transitive frames
Theoretical Computer Science
An automata-theoretic approach to infinite-state systems
Time for verification
Frame definability for classes of trees in the µ-calculus
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
Relentful strategic reasoning in alternating-time temporal logic
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
Timed Modal Logics for Real-Time Systems
Journal of Logic, Language and Information
The transitive µ-calculus is Büchi definable
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
A note on uniform interpolation proofs in modal deep inference calculi
TbiLLC'09 Proceedings of the 8th international tbilisi conference on Logic, language, and computation
Model constructions for moss' coalgebraic logic
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
Improved model checking of hierarchical systems
Information and Computation
On the expressiveness of refinement settings
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Bisimulation quantified logics: undecidability
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Automata on directed graphs: edge versus vertex marking
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Coalgebraic correspondence theory
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Modalities in the Stone age: A comparison of coalgebraic logics
Theoretical Computer Science
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Thue Specifications and Their Monadic Second-order Properties
Fundamenta Informaticae
Synthesis of hierarchical systems
Science of Computer Programming
A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Arbitrary Action Model Logic and Action Model Synthesis
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.00 |