Concepedia

Sara Porat

SP

10

Publications

227

Citations

10

H-Index

1960

Active since

Affiliations

IBM (United States)(Current)

IBM Research - Haifa

University of Rochester

Sara Porat is an author at IBM (United States) specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationMedicinePsychologyVerificationSocial Sciences

Publications per year

1960–2014

10

Publications

10

Learning automata from ordered examples

Sara Porat, Jerome A. Feldman · Machine Learning · 1991 · 57 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +6

Automatic detection of immutable fields in Java

Sara Porat, Marina Biberstein, Larry Koved et al. · 2000 · 42 citations

Engineering, Verification, Software Engineering +23

The perception of others

Michal Jacovi, Ido Guy, Shiri Kremer-Davidson et al. · 2014 · 31 citations

Social Psychology, Reputation Management, Public Online Traces +24

Class Assertions in C

Sara Porat, L. Paul Fertig · Journal of Object-oriented Programming · 1995 · 15 citations

Program Checking, Engineering, Program Analysis +7

The use of restraint on patients in Israeli psychiatric hospitals

Sara Porat, Judith Bornstein, Annarosa Anat Shemesh · British Journal of Nursing · 1997 · 15 citations

Nursing, Closed Wards, Psychiatric Evaluation +14

Rows per page

1–5 of 10