Sara Porat

According to our database, Sara Porat authored at least 19 papers between 1982 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2014

The perception of others: inferring reputation from social media in the enterprise.

Michal Jacovi, Ido Guy, Shiri Kremer-Davidson, Sara Porat, Neta Aizenbud-Reshef

Proceedings of the Computer Supported Cooperative Work, 2014

2009

Dynamic masking of application displays using OCR technologies.

Sara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Amir Geva, Abigail Tarem

IBM J. Res. Dev., 2009

Masking Gateway for Enterprises.

Sara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Ksenya Kveler, Alex Melament, Haim Nelken

Proceedings of the Languages: From Formal to Natural, 2009

2006

Combined static and dynamic analysis for inferring program dependencies using a pattern language.

Inbal Ronen, Nurit Dor, Sara Porat, Yael Dubinsky

Proceedings of the 2006 conference of the Centre for Advanced Studies on Collaborative Research, 2006

2003

Towards a Standard Family of Languages for Matching Patterns in Source Code.

Uri Dekel, Tal Cohen, Sara Porat

Proceedings of the 2003 IEEE International Conference on Software, 2003

2001

Designing Procedural 4GL Applications through UML Modeling.

Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik

Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Sealing, Encapsulation, and Mutability.

Marina Biberstein, Joseph Gil, Sara Porat

Proceedings of the ECOOP 2001, 2001

2000

Automatic detection of immutable fields in Java.

Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson

Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, 2000

1998

Sharpening global static analysis to cope with Java.

Sara Porat, Bilha Mendelson, Irina Shapira

Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30, 1998

1996

Compiler Optimization of C++ Virtual Function Calls.

Sara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav

Proceedings of the USENIX Conference on Object-Oriented Technologies, 1996

1995

Class Assertions in C++.

Sara Porat, L. Paul Fertig

J. Object Oriented Program., 1995

1994

Fairness in term rewriting systems.

Sara Porat, Nissim Francez

Methods Log. Comput. Sci., 1994

1991

Learning Automata from Ordered Examples.

Sara Porat, Jerome A. Feldman

Mach. Learn., 1991

The parallel C (pC) programming language.

Ran Canetti, L. Paul Fertig, Saul A. Kravitz, Dalia Malki, Ron Y. Pinter, Sara Porat, Avi Teperman

IBM J. Res. Dev., 1991

1989

Fairness in Context-Free Grammars under Every Choice-strategy

Sara Porat, Nissim Francez

Inf. Comput., March, 1989

1986

Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems.

Sara Porat, Nissim Francez

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985

Fairness in Context-Free Grammars under Canonical Derivations.

Sara Porat, Nissim Francez

Proceedings of the STACS 85, 1985

1984

Towards a Hierarchy of Nets.

Sara Porat, Michael Yoeli

J. Comput. Syst. Sci., 1984

1982

Fair Deriviations in Context-Free Grammars

Sara Porat, Nissim Francez, Shlomo Moran, Shmuel Zaks

Inf. Control., 1982