| Algorithmics: The spirit of computing D Harel, YA Feldman Pearson Education, 2004 | 866 | 2004 |
| Kinetics of Two-Site Immunoradiometric ('Sandwich') Assays - II, Studies on the Nature of the 'High-Dose Hook Effect' D Rodbard, YA Feldman, ML Jaffe, LEM Miles Immunochemistry 15, 77-82, 1978 | 156 | 1978 |
| Seven layers of knowledge representation and reasoning in support of software development C Rich, YA Feldman IEEE Transactions on Software Engineering 18 (6), 451-469, 1992 | 103 | 1992 |
| A probabilistic dynamic logic YA Feldman, D Harel Proceedings of the fourteenth annual ACM Symposium on Theory of computing …, 1982 | 101 | 1982 |
| Kinetics of Two-Site Immunoradiometric ('Sandwich') Assays - I, Mathematical Models for Simulation, Optimization, and Curve Fitting D Rodbard, YA Feldman Immunochemistry 15, 71-76, 1978 | 65 | 1978 |
| Rzecz o istocie informatyki: Algorytmika D Harel, Z Weiss, P Carlson Wydawnictwa Naukowo-Techniczne, 2000 | 56 | 2000 |
| A decidable propositional dynamic logic with explicit probabilities YA Feldman Information and Control 63 (1-2), 11-38, 1984 | 52 | 1984 |
| CHASE: Contract-based requirement engineering for cyber-physical system design P Nuzzo, M Lora, YA Feldman, AL Sangiovanni-Vincentelli 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE), 839-844, 2018 | 44 | 2018 |
| Fixing security vulnerability in a source code A Abadi, YA Feldman, R Ettinger, J Bnayahu, O Tripp, Y Haviv, ... US Patent 8,819,637, 2014 | 35 | 2014 |
| A knowledge-based approach for index selection in relational databases YA Feldman, J Reouven Expert Systems with Applications 25 (1), 15-37, 2003 | 35 | 2003 |
| Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation Y Cohen, YA Feldman ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (3), 285-316, 2003 | 35 | 2003 |
| Automated cinematic reasoning about camera behavior D Friedman, YA Feldman Expert Systems with Applications 30 (4), 694-704, 2006 | 34 | 2006 |
| Simulating rhapsody SysML blocks in hybrid models with FMI YA Feldman, L Greenberg, E Palachi 10th Modelica Conference, 43-52, 2014 | 31 | 2014 |
| Call and execution semantics in AspectJ O Barzilay, YA Feldman, S Tyszberowicz, A Yehudai Foundations Of Aspect Languages (FOAL), 19-24, 2004 | 31 | 2004 |
| Jose: Aspects for design by contract YA Feldman, O Barzilay, S Tyszberowicz Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 29 | 2006 |
| Knowledge-based cinematography and its applications D Friedman, YA Feldman ECAI 16, 256, 2004 | 27 | 2004 |
| Knowledge-based formalization of cinematic expression and its application to animation D Friedman, Y Feldman Proc. Eurographics 2002, 163-168, 2002 | 26 | 2002 |
| Apparatus for and method of implementing feedback directed dependency analysis of software applications N Dor, YA Feldman, I Ronen, S Porat US Patent 8,286,149, 2012 | 24 | 2012 |
| Automated creation of movie summaries in interactive virtual environments D Friedman, A Shamir, YA Feldman, T Dagan IEEE Virtual Reality 2004, 191-290, 2004 | 24 | 2004 |
| Detecting refactored clones M Shomrat, YA Feldman European Conference on Object-Oriented Programming, 502-526, 2013 | 22 | 2013 |
David HarelProfessor of Computer Science, The Weizmann InstituteVerified email at weizmann.ac.il
