default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYishai A. Feldman
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c32]Segev Wasserkrug, Radu Marinescu, Sergey Zeltyn, Evgeny Shindin, Yishai A. Feldman:
Learning the Parameters of Bayesian Networks from Uncertain Data. AAAI 2021: 12190-12197
2010 – 2019
- 2019
- [j12]Segev Wasserkrug, Martin Krüger, Yishai A. Feldman
, Evgeny Shindin, Sergey Zeltyn:
What's Wrong with My Dishwasher: Advanced Analytics Improve the Diagnostic Process for Miele Technicians. INFORMS J. Appl. Anal. 49(5): 384-396 (2019) - 2018
- [c31]Pierluigi Nuzzo, Michele Lora, Yishai A. Feldman, Alberto L. Sangiovanni-Vincentelli:
CHASE: Contract-based requirement engineering for cyber-physical system design. DATE 2018: 839-844 - 2016
- [c30]Mohammad Sadoghi, Kavitha Srinivas, Oktie Hassanzadeh, Yuan-Chi Chang, Mustafa Canim, Achille Fokoue, Yishai A. Feldman:
Self-Curating Databases. EDBT 2016: 467-472 - 2015
- [c29]Yishai A. Feldman, Ari Gam, Alex Tilkin, Shmuel S. Tyszberowicz:
Deverywhere: Develop Software Everywhere. MOBILESoft 2015: 121-124 - 2014
- [c28]Yishai A. Feldman:
Flexible Queries over Engineering Data. CSDM 2014: 73-86 - [c27]Aharon Abadi, Yishai A. Feldman:
A Parallel On-Demand Algorithm for Computing Interprocedural Dominators. SCAM 2014: 235-244 - 2013
- [c26]Mati Shomrat, Yishai A. Feldman:
Detecting Refactored Clones. ECOOP 2013: 502-526 - [c25]Aharon Abadi, Yishai A. Feldman, Konstantin Shagin:
A screen-oriented representation for mobile applications. SPLASH (Companion Volume) 2013: 79-80 - [c24]Yael Dubinsky, Yishai A. Feldman, Maayan Goldstein:
Where is the business logic? ESEC/SIGSOFT FSE 2013: 667-670 - 2012
- [c23]Aharon Abadi, Ran Ettinger, Yishai A. Feldman:
Fine Slicing - Theory and Applications for Computation Extraction. FASE 2012: 471-485 - [c22]Moria Abadi, Yishai A. Feldman:
Automatic recovery of statecharts from procedural code. ASE 2012: 238-241 - 2011
- [c21]Aharon Abadi, Yishai A. Feldman, Mati Shomrat:
Code-motion for API migration: fixing SQL injection vulnerabilities in Java. WRT@ICSE 2011: 1-7 - [c20]Aharon Abadi, Ran Ettinger, Yishai A. Feldman, Mati Shomrat:
Automatically fixing security vulnerabilities in Java code. OOPSLA Companion 2011: 3-4
2000 – 2009
- 2009
- [c19]Moria Abadi, Yishai A. Feldman:
Refactoring of Statecharts. NGITS 2009: 50-62 - [c18]Aharon Abadi, Ran Ettinger, Yishai A. Feldman:
Improving slice accuracy by compression of data and control flow paths. ESEC/SIGSOFT FSE 2009: 223-232 - [e1]Yishai A. Feldman, Donald H. Kraft, Tsvi Kuflik:
Next Generation Information Technologies and Systems, 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers. Lecture Notes in Computer Science 5831, Springer 2009, ISBN 978-3-642-04940-8 [contents] - 2008
- [j11]Constantin Serban, Shmuel S. Tyszberowicz, Yishai A. Feldman, Naftaly H. Minsky:
Developing Law-Governed Systems Using Aspects. J. Object Technol. 7(9): 25-46 (2008) - [c17]Aharon Abadi, Ran Ettinger, Yishai A. Feldman:
Re-approaching the refactoring Rubicon. WRT@OOPSLA 2008: 10 - 2007
- [c16]Yishai A. Feldman, Maayan Goldstein, Shmuel S. Tyszberowicz:
Refactoring with Contracts. WRT 2007: 13-14 - 2006
- [b2]David Harel, Yishai A. Feldman:
Algorithmik - die Kunst des Rechnens. Springer 2006, ISBN 978-3-540-24342-7, pp. I-XVIII, 1-608 - [j10]Doron Friedman, Yishai A. Feldman:
Automated cinematic reasoning about camera behavior. Expert Syst. Appl. 30(4): 694-704 (2006) - [c15]Maayan Goldstein, Yishai A. Feldman, Shmuel S. Tyszberowicz:
Refactoring with Contracts. AGILE 2006: 53-64 - [c14]Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz:
Jose: Aspects for Design by Contract80-89. SEFM 2006: 80-89 - [c13]Yishai A. Feldman, Leon Gendler:
Discern: Towards the Automatic Discovery of Software Contracts. SEFM 2006: 90-99 - 2005
- [j9]Yishai A. Feldman:
Teaching quality object-oriented programming. ACM J. Educ. Resour. Comput. 5(1): 1:1-1:16 (2005) - 2004
- [b1]David Harel, Yishai A. Feldman:
Algorithmics - the spirit of computing (3. ed.). Addison-Wesley 2004, ISBN 978-0-321-11784-7, pp. I-XVIII, 1-513 - [c12]Doron Friedman, Yishai A. Feldman:
Knowledge-Based Cinematography and Its Applications. ECAI 2004: 256-262 - [c11]Doron Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan:
Automated Creation of Movie Summaries in Interactive Virtual Environments. VR 2004: 191-189 - [c10]Doron Friedman, Yishai A. Feldman, Ariel Shamir, Tsvi Dagan:
Colorplate: Automated Creation of Movie Summaries in Interactive Virtual Environments. VR 2004: 290 - 2003
- [j8]Yishai A. Feldman, Jacob Reouven:
A knowledge-based approach for index selection in relational databases. Expert Syst. Appl. 25(1): 15-37 (2003) - [j7]Yossi Cohen, Yishai A. Feldman:
Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation. ACM Trans. Softw. Eng. Methodol. 12(3): 285-316 (2003) - [c9]Yishai A. Feldman:
Extreme Design by Contract. XP 2003: 261-270 - 2002
- [c8]Doron Friedman, Yishai A. Feldman:
Knowledge-Based Representation of Cinematic Expression and its Application to Animation. Eurographics (Short Presentations) 2002
1990 – 1999
- 1999
- [j6]Yishai A. Feldman, Doron Friedman:
Portability by Automatic Translation: A Large-Scale Case Study. Artif. Intell. 107(1): 1-28 (1999) - 1998
- [c7]Vered Gafni, Yishai A. Feldman, Amiram Yehudai:
Real-Time Systems Development with MASS. Monterey Workshop 1998: 73-86 - 1997
- [c6]Yossi Cohen, Yishai A. Feldman:
Automatic High-Quality Reengineering of Database Programs by Temporal Abstraction. ASE 1997: 90-97 - 1995
- [c5]Yishai A. Feldman, Doron Friedman:
Portability by Automatic Translation - A Large-Scale Case Study. KBSE 1995: 123-130 - 1994
- [c4]Vered Gafni, Amiram Yehudai, Yishai A. Feldman:
Activation-Oriented Specification of Real-Time Systems. FTRTFT 1994: 268-287 - 1993
- [j5]Yishai A. Feldman, Haim Schneider:
Simulating Reactive Systems by Deduction. ACM Trans. Softw. Eng. Methodol. 2(2): 128-175 (1993) - 1992
- [j4]Charles Rich, Yishai A. Feldman:
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development. IEEE Trans. Software Eng. 18(6): 451-469 (1992) - 1991
- [j3]Yishai A. Feldman, Charles Rich:
Pattern-Directed Invocation with Changing Equations. J. Autom. Reason. 7(3): 403-433 (1991)
1980 – 1989
- 1986
- [c3]Yishai A. Feldman, Charles Rich:
Reasoning with Simplifying Assumptions: A Methodology and Example. AAAI 1986: 2-7 - 1984
- [j2]Yishai A. Feldman:
A Decidable Propositional Dynamic Logic with Explicit Probabilities. Inf. Control. 63(1/2): 11-38 (1984) - [j1]Yishai A. Feldman, David Harel:
A Probabilistic Dynamic Logic. J. Comput. Syst. Sci. 28(2): 193-215 (1984) - 1983
- [c2]Yishai A. Feldman:
A Decidable Propositional Probabilistic Dynamic Logic. STOC 1983: 298-309 - 1982
- [c1]Yishai A. Feldman, David Harel:
A Probabilistic Dynamic Logic. STOC 1982: 181-195
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
