Yishai A. Feldman
Yishai A. Feldman
IBM Research - Haifa
Email verificata su il.ibm.com
TitoloCitata daAnno
Algorithmics: the spirit of computing
D Harel, YA Feldman
Pearson Education, 2004
6572004
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
1121978
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
871992
A probabilistic dynamic logic
YA Feldman, D Harel
Journal of Computer and System Sciences 28 (2), 193-215, 1984
821984
Rzecz o istocie informatyki: algorytmika
D Harel, Z Weiss, P Carlson
Wydawnictwa Naukowo-Techniczne, 2000
802000
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
611978
A decidable propositional dynamic logic with explicit probabilities
YA Feldman
Information and Control 63 (1-2), 11-38, 1984
361984
Call and execution semantics in AspectJ
O Barzilay, YA Feldman, S Tyszberowicz, A Yehudai
Foundations Of Aspect Languages (FOAL), 19-24, 2004
312004
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
282003
A knowledge-based approach for index selection in relational databases
YA Feldman, J Reouven
Expert Systems with Applications 25 (1), 15-37, 2003
262003
Jose: Aspects for design by contract
YA Feldman, O Barzilay, S Tyszberowicz
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
242006
Automated cinematic reasoning about camera behavior
D Friedman, YA Feldman
Expert Systems with Applications 30 (4), 694-704, 2006
242006
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
Knowledge-based formalization of cinematic expression and its application to animation
D Friedman
Proc. Eurographics 2002, Saarbrucken, Germany, Sept., 163-168, 2002
232002
Knowledge-based cinematography and its applications
RL de Mdntaras, L Saitta
ECAI 2004: 16th European Conference on Artificial Intelligence, August 22-27 …, 2004
222004
A decidable propositional probabilistic dynamic logic
YA Feldman
Proceedings of the fifteenth annual ACM symposium on Theory of computing …, 1983
221983
Simulating reactive systems by deduction
YA Feldman, H Schneider
ACM Transactions on Software Engineering and Methodology (TOSEM) 2 (2), 128-175, 1993
211993
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
202014
Refactoring with contracts
M Goldstein, YA Feldman, S Tyszberowicz
AGILE 2006 (AGILE'06), 10 pp.-64, 2006
172006
Extreme design by contract
YA Feldman
International Conference on Extreme Programming and Agile Processes in …, 2003
172003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20