Research output per year
Research output per year
Search results
-
2005
Abstraction refinement for bounded model checking
Gupta, A. & Strichman, O., 2005, In: Lecture Notes in Computer Science. 3576, p. 112-124 13 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Cost-effective hyper-resolution for preprocessing CNF formulas
Gershman, R. & Strichman, O., 2005, In: Lecture Notes in Computer Science. 3569, p. 423-429 7 p.Research output: Contribution to journal › Conference article › peer-review
-
Electronic Notes in Theoretical Computer Science: Preface
Bjesse, P., Cimatti, A., Claessen, K., Fraer, R., Geist, D., Hu, A., Malik, S., Silva, J. M., McMillan, K., Somenzi, F., Zhu, Y., Biere, A. & Strichman, O., 14 Mar 2005, In: Electronic Notes in Theoretical Computer Science. 119, 2, p. 1 1 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Proof-guided underapproximation-widening for multi-process systems
Grumberg, O., Strichman, O., Lerda, F. & Theobald, M., 2005, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 122-131 10 p.Research output: Contribution to journal › Conference article › peer-review
-
Yet another decision procedure for Equality Logic
Meir, O. & Strichman, O., 2005, In: Lecture Notes in Computer Science. 3576, p. 307-320 14 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
2003
Electronic Notes in Theoretical Computer: Preface: Volume 89, Issue 4
Strichman, O. & Biere, A., 2003, In: Electronic Notes in Theoretical Computer Science. 89, 4, p. 541-542 2 p.Research output: Contribution to journal › Conference article › peer-review
Open Access