BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Finland
1 × France
1 × Italy
Collaborated with:
O.Fuhrmann S.Szeider E.Yom-Tov R.Tzoref S.Ur A.Magen S.Myers C.Rackoff
Talks about:
proof (2) unsatisfi (1) dimension (1) variabl (1) project (1) program (1) instanc (1) concurr (1) automat (1) random (1)

Person: Shlomo Hoory

DBLP DBLP: Hoory:Shlomo

Contributed to:

CAV 20092009
ASE 20082008
ICALP 20042004
SAT 20042004

Wrote 4 papers:

CAV-2009-FuhrmannH #bound #induction #on the #proving
On Extending Bounded Proofs to Inductive Proofs (OF, SH), pp. 278–290.
ASE-2008-Yom-TovTUH #automation #concurrent #debugging #random #source code
Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections (EYT, RT, SU, SH), pp. 307–316.
ICALP-2004-HooryMMR #permutation
Simple Permutations Mix Well (SH, AM, SM, CR), pp. 770–781.
SAT-2004-HooryS #satisfiability
Computing Unsatisfiable k-SAT Instances with Few Occurrences per Variable (SH, SS), pp. 86–95.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.