Edit Profile (opens in new tab) Peleg, Hila Compute Distance To: Compute Author ID: peleg.hila Published as: Peleg, Hila Documents Indexed: 7 Publications since 2013 Co-Authors: 8 Co-Authors with 7 Joint Publications 150 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Shoham, Sharon 5 Yahav, Eran 3 Itzhaky, Shachar 2 Yang, Hongseok 1 Polikarpova, Nadia 1 Rasin, Dan 1 Rowe, Reuben N. S. 1 Sergey, Ilya Serials 2 Acta Informatica Fields 7 Computer science (68-XX) Publications by Year Citations contained in zbMATH Open 2 Publications have been cited 2 times in 2 Documents Cited by ▼ Year ▼ Symbolic automata for static specification mining. Zbl 1344.68127Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok 1 2013 \(D^3\): data-driven disjunctive abstraction. Zbl 1475.68291Peleg, Hila; Shoham, Sharon; Yahav, Eran 1 2016 \(D^3\): data-driven disjunctive abstraction. Zbl 1475.68291Peleg, Hila; Shoham, Sharon; Yahav, Eran 1 2016 Symbolic automata for static specification mining. Zbl 1344.68127Peleg, Hila; Shoham, Sharon; Yahav, Eran; Yang, Hongseok 1 2013 Cited by 5 Authors 2 Peleg, Hila 2 Shoham, Sharon 2 Yahav, Eran 1 Itzhaky, Shachar 1 Yang, Hongseok Cited in 1 Serial 2 Acta Informatica Cited in 1 Field 2 Computer science (68-XX) Citations by Year