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: Hoory:Shlomo
Contributed to:
2009
2008
2004
2004Wrote 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.