Ofer Strichman (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Ofer Strichman" in English language version.

refsWebsite

Global rank English rank

3technion.ac.il

low place

low place

274^th place

309^th place

2univ-artois.fr

low place

low place

low place

low place

5,218^th place

9,258^th place

1,564^th place

1,028^th place

1books.google.com

3^rd place

3^rd place

6,505^th place

9,776^th place

low place

low place

2^nd place

2^nd place

1semanticscholar.org

11^th place

8^th place

books.google.com

Müller, Peter; Schaefer, Ina (2018-10-23). Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Springer. ISBN 978-3-319-98047-8.

cmu.edu

resources.sei.cmu.edu

"Publications by Ofer Strichman". Software Engineering Institute.

doi.org

Monahan, Rosemary (2018). "Daniel Kroening and Ofer Strichman: Decision procedures" (PDF). Formal Aspects of Computing. 30 (6): 759. doi:10.1007/s00165-018-0466-2. S2CID 51905876.

i-cav.org

"2021 CAV Award". CAV.

kit.edu

publikationen.bibliothek.kit.edu

"Karlsruhe Reports in Informatics 2015,6 - Regression Verification for Programmable Logic Controller Software". Karlsruhe Institute of Technology, Germany. Retrieved 2022-04-20.

minizinc.org

"HCSP - A CSP solver with non-clausal learning". MiniZinc.
"The MiniZinc Challenge". MiniZinc.

nodak.edu

genealogy.math.ndsu.nodak.edu

"Ofer Strichman". Mathematics Genealogy Project.

semanticscholar.org

api.semanticscholar.org

Monahan, Rosemary (2018). "Daniel Kroening and Ofer Strichman: Decision procedures" (PDF). Formal Aspects of Computing. 30 (6): 759. doi:10.1007/s00165-018-0466-2. S2CID 51905876.

springer.com

link.springer.com

Strichman, Ofer (2001). Pruning Techniques for the SAT-Based Bounded Model Checking Problem. Springer. ISBN 978-3-540-44798-6.
Monahan, Rosemary (2018). "Daniel Kroening and Ofer Strichman: Decision procedures" (PDF). Formal Aspects of Computing. 30 (6): 759. doi:10.1007/s00165-018-0466-2. S2CID 51905876.

technion.ac.il

web.iem.technion.ac.il

"Ofer Strichman". Technion.
"Prof. Ofer Strichman received the CAV (Computer Aided Verification) 2021 Award". Technion. 4 August 2021.

oferstrichman.net.technion.ac.il

"Resume" (PDF). Technion.

univ-artois.fr

cril.univ-artois.fr

"SAT 2011 Competition: group-oriented MUS track: list of solvers". University of Artois.
"SAT 2011 Competition: plain MUS track: ranking of solvers". University of Artois.