Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Domain-Specific Language for Regular Sets of Strings and Trees
IEEE Transactions on Software Engineering
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)
Modeling a Hardware Synthesis Methodology in Isabelle
Formal Methods in System Design
Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic
Formal Methods in System Design
wMSO theories as grammar formalisms
Theoretical Computer Science - Algebraic methods in language processing
Techniques for Implicit State Enumeration of EFSMs
FMCAD '98 Proceedings of the Second International Conference on Formal Methods in Computer-Aided Design
A Theory of Restrictions for Logics and Automata
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Representing constraints with automata
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Relativizations for the Logic-Automata Connection
Higher-Order and Symbolic Computation
A domain-specific language for regular sets of strings and trees
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
New algorithm for weak monadic second-order logic on inductive structures
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
The model checking problem for prefix classes of second-order logic: a survey
Fields of logic and computation
Deciding satisfiability of positive second order joinability formulae
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
jMosel: a stand-alone tool and jABC plugin for M2L(str)
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
| Hi-index | 0.00 |