Sara Porat

21 papers A* 1A 4Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2014 A conf
The perception of others: inferring reputation from social media in the enterprise.
CSCW
Michal Jacovi, Ido Guy, Shiri Kremer-Davidson, Sara Porat, Neta Aizenbud-Reshef
2009 J jnl
Dynamic masking of application displays using OCR technologies.
IBM J. Res. Dev.
Sara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Amir Geva, Abigail Tarem
2009 — conf
Masking Gateway for Enterprises.
Languages: From Formal to Natural
Sara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Ksenya Kveler, Alex Melament, Haim Nelken
2006 — conf
Combined static and dynamic analysis for inferring program dependencies using a pattern language.
CASCON
Inbal Ronen, Nurit Dor, Sara Porat, Yael Dubinsky
2003 — conf
Towards a Standard Family of Languages for Matching Patterns in Source Code.
SwSTE
Uri Dekel, Tal Cohen, Sara Porat
2001 — conf
Designing Procedural 4GL Applications through UML Modeling.
pUML
Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik
2001 A conf
Sealing, Encapsulation, and Mutability.
ECOOP
Marina Biberstein, Joseph Gil, Sara Porat
2000 — conf
Automatic detection of immutable fields in Java.
CASCON
Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson
1998 — conf
Sharpening global static analysis to cope with Java.
CASCON
Sara Porat, Bilha Mendelson, Irina Shapira
1996 — conf
Compiler Optimization of C++ Virtual Function Calls.
COOTS
Sara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav
1995 J jnl
Class Assertions in C++.
J. Object Oriented Program.
Sara Porat, L. Paul Fertig
1994 J jnl
Fairness in term rewriting systems.
Methods Log. Comput. Sci.
Sara Porat, Nissim Francez
1991 J jnl
Learning Automata from Ordered Examples.
Mach. Learn.
Sara Porat, Jerome A. Feldman
1991 J jnl
The parallel C (pC) programming language.
IBM J. Res. Dev.
Ran Canetti, L. Paul Fertig, Saul A. Kravitz, Dalia Malki, Ron Y. Pinter, Sara Porat, Avi Teperman
1989 J jnl
Fairness in Context-Free Grammars under Every Choice-strategy
Inf. Comput.
Sara Porat, Nissim Francez
1988 A* conf
Learning Automata from Ordered Examples.
COLT
Sara Porat, Jerome A. Feldman
1986 A conf
Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems.
CADE
Sara Porat, Nissim Francez
1985 A conf
Fairness in Context-Free Grammars under Canonical Derivations.
STACS
Sara Porat, Nissim Francez
1985 — conf
Fairness in Term Rewriting Systems.
RTA
Sara Porat, Nissim Francez
1984 J jnl
Towards a Hierarchy of Nets.
J. Comput. Syst. Sci.
Sara Porat, Michael Yoeli
1982 J jnl
Fair Deriviations in Context-Free Grammars
Inf. Control.
Sara Porat, Nissim Francez, Shlomo Moran, Shmuel Zaks