Eytan Singher

Eytan Singher

Technion Israel Institute of Technology - Haifa / Israel
Engineering & Technology / Computer Science
AD Scientific Index ID: 5146789
הטכניון – מכון טכנולוגי לישראל
person_outline Eytan Singher's MOST POPULAR ARTICLES
1-) Theory exploration powered by deductive synthesisE Singher, S ItzhakyComputer Aided Verification: 33rd International Conference, CAV 2021 …, 2021172021
2-) Augmented reality speech recognition for the hearing impairedI Dabran, T Avny, E Singher, HB Danan2017 IEEE International Conference on Microwaves, Antennas, Communications …, 2017172017
3-) Colored E-Graph: Equality Reasoning with ConditionsE Singher, S ItzhakyarXiv preprint arXiv:2305.19203, 202312023
4-) Condition synthesis realizability via constrained horn clausesBC Rothenberg, O Grumberg, Y Vizel, E SingherNASA Formal Methods Symposium, 380-396, 202322023
5-) Easter Egg: Equality Reasoning Based on E-Graphs with Multiple AssumptionsE Singher, I Shachar# PLACEHOLDER_PARENT_METADATA_VALUE#, 70-83, 202412024