Yishai A. Feldman
Yishai A. Feldman
IBM Research - Haifa
Verified email at
Cited by
Cited by
Algorithmics: The spirit of computing
D Harel, YA Feldman
Pearson Education, 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
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
A probabilistic dynamic logic
YA Feldman, D Harel
Proceedings of the fourteenth annual ACM Symposium on Theory of computing …, 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
Rzecz o istocie informatyki: Algorytmika
D Harel, Z Weiss, P Carlson
Wydawnictwa Naukowo-Techniczne, 2000
A decidable propositional dynamic logic with explicit probabilities
YA Feldman
Information and Control 63 (1-2), 11-38, 1984
Automated cinematic reasoning about camera behavior
D Friedman, YA Feldman
Expert Systems with Applications 30 (4), 694-704, 2006
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
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
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
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
A knowledge-based approach for index selection in relational databases
YA Feldman, J Reouven
Expert Systems with Applications 25 (1), 15-37, 2003
Simulating rhapsody SysML blocks in hybrid models with FMI
YA Feldman, L Greenberg, E Palachi
10th Modelica Conference, 43-52, 2014
Call and execution semantics in AspectJ
O Barzilay, YA Feldman, S Tyszberowicz, A Yehudai
Foundations Of Aspect Languages (FOAL), 19-24, 2004
Jose: Aspects for design by contract
YA Feldman, O Barzilay, S Tyszberowicz
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
Knowledge-based cinematography and its applications
D Friedman, YA Feldman
ECAI 16, 256, 2004
Knowledge-based formalization of cinematic expression and its application to animation
D Friedman, Y Feldman
Proc. Eurographics 2002, 163-168, 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
Automated creation of movie summaries in interactive virtual environments
D Friedman, A Shamir, YA Feldman, T Dagan
IEEE Virtual Reality 2004, 191-290, 2004
The system can't perform the operation now. Try again later.
Articles 1–20