ACM Transactions on Programming Languages and Systems (TOPLAS)
Existential second-order logic over strings
Journal of the ACM (JACM)
Composite model-checking: verification with type-specific symbolic representations
ACM Transactions on Software Engineering and Methodology (TOSEM)
Expressive and efficient pattern languages for tree-structured data (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The pointer assertion logic engine
Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
Optimization of synchronous circuits
Logic Synthesis and Verification
Model Checking of Safety Properties
Formal Methods in System Design
Compile-Time Debugging of C Programs Working on Trees
ESOP '00 Proceedings of the 9th European Symposium on Programming Languages and Systems
Model Checking: A Tutorial Overview
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
A Theory of Restrictions for Logics and Automata
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Model checking: a tutorial overview
Modeling and verification of parallel processes
Decision procedures for inductive Boolean functions based on alternating automata
Theoretical Computer Science
Transducers from rewrite rules with backreferences
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Relativizations for the Logic-Automata Connection
Higher-Order and Symbolic Computation
Using MONA for querying linguistic treebanks
HLT '05 Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing
Deciding XPath containment with MSO
Data & Knowledge Engineering
Automatic Verification of Bossa Scheduler Properties
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
Solving problems on recursively constructed graphs
ACM Computing Surveys (CSUR)
HAMPI: a solver for string constraints
Proceedings of the eighteenth international symposium on Software testing and analysis
Formalizing the Logic-Automaton Connection
TPHOLs '09 Proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics
The weakness of self-complementation
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Logic programming approach to automata-based decision procedures
ICLP'07 Proceedings of the 23rd international conference on Logic programming
Symbolic automata constraint solving
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Synthesis of trigger properties
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
On array theory of bounded elements
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Application and formal specification of sorted term-position algebras
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Recent challenges and ideas in temporal synthesis
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars
ACM Transactions on Software Engineering and Methodology (TOSEM)
Array Theory of Bounded Elements and its Applications
Journal of Automated Reasoning
Hi-index | 0.01 |