Fourier-Motzkin Elimination Software for Information Theoretic Inequalities. - Ido B. Gattegno; Ziv Goldfeld; Haim H. Permuter (CoRR, 2016)

Extracting analytic proofs from numerically solved Shannon-type Inequalities. - Ido B. Gattegno; Haim H. Permuter (CoRR, 2017)

Cooperative Binning for Semi-Deterministic Channels With Non-Causal State Information. - Ido B. Gattegno; Haim H. Permuter; Shlomo Shamai Shitz; Ayfer Özgür (IEEE Trans. Inf. Theory, 2019)