Yishai A. Feldman
Yishai A. Feldman
IBM Research - Haifa
Verified email at il.ibm.com
Title
Cited by
Cited by
Year
Algorithmics: The spirit of computing
D Harel, YA Feldman
Pearson Education, 2004
7502004
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
1271978
Rzecz o istocie informatyki: Algorytmika
D Harel, Z Weiss, P Carlson
Wydawnictwa Naukowo-Techniczne, 2000
972000
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
971992
A probabilistic dynamic logic
YA Feldman, D Harel
Journal of Computer and System Sciences 28 (2), 193-215, 1984
851984
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
651978
A decidable propositional dynamic logic with explicit probabilities
YA Feldman
Information and Control 63 (1-2), 11-38, 1984
401984
A knowledge-based approach for index selection in relational databases
YA Feldman, J Reouven
Expert Systems with Applications 25 (1), 15-37, 2003
342003
Call and execution semantics in AspectJ
O Barzilay, YA Feldman, S Tyszberowicz, A Yehudai
Foundations Of Aspect Languages (FOAL), 19-24, 2004
322004
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
322003
Automated cinematic reasoning about camera behavior
D Friedman, YA Feldman
Expert Systems with Applications 30 (4), 694-704, 2006
312006
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
272014
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
272014
Knowledge-based formalization of cinematic expression and its application to animation
D Friedman, Y Feldman
Proc. Eurographics 2002, 163-168, 2002
272002
Jose: Aspects for design by contract
YA Feldman, O Barzilay, S Tyszberowicz
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
262006
Simulating rhapsody SysML blocks in hybrid models with FMI
YA Feldman, L Greenberg, E Palachi
Proceedings of the 10 th International Modelica Conference; March 10-12 …, 2014
252014
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
232012
Knowledge-based cinematography and its applications
D Friedman, YA Feldman
ECAI 16, 256, 2004
232004
Automated creation of movie summaries in interactive virtual environments
D Friedman, A Shamir, YA Feldman, T Dagan
IEEE Virtual Reality 2004, 191-290, 2004
232004
Simulating reactive systems by deduction
YA Feldman, H Schneider
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (2), 128-175, 1993
221993
The system can't perform the operation now. Try again later.
Articles 1–20