Reuven Peleg

According to our database1, Reuven Peleg authored at least 2 papers between 1971 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Talking with Verifiers: Automatic Specification Generation for Neural Network Verification.
CoRR, March, 2026

1971
זרות יחסית, זרות חלשה וערבוב חלש (Relative disjointness, weak disjointness and weakly mixing.).
PhD thesis, 1971


  Loading...