CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Decidable Compositions of O-Minimal Automata
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Showing the non-existence of solutions in systems of linear Diophantine equations
Mathematics and Computers in Simulation
Decision problems for lower/upper bound parametric timed automata
Formal Methods in System Design
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Decision procedures for multisets with cardinality constraints
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
The combinatorics of modeling and analyzing biological systems
Natural Computing: an international journal
Vector addition system reversible reachability problem
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Building a calculus of data structures
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Basis of solutions for a system of linear inequalities in integers: computation and applications
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
MUNCH - automated reasoner for sets and multisets
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
| Hi-index | 0.00 |