Concepedia

S. Ben-David

SB

Statistics

Publications

2

Citations

62

H-Index

2

Active since

2002

Affiliations

Technion – Israel Institute of Technology(Current)

S. Ben-David is an author at Technion – Israel Institute of Technology specializing in computer science, set theory, and axioms.

Publications per year

2002–2005

2

Publications

2

RuleBase: an industry-oriented formal verification tool

Ilan Beer, S. Ben-David, Cindy Eisner et al. · 33rd Design Automation Conference Proceedings, 1996 · 2005 · 41 citations

, , +10

A modal logic for subjective default reasoning

S. Ben-David, Rachel Ben-Eliyahu · 2002 · 21 citations

, , +15

1–2 of 2