Sara Porat

According to our database1, Sara Porat authored at least 21 papers between 1982 and 2014.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
The perception of others: inferring reputation from social media in the enterprise.
Proceedings of the Computer Supported Cooperative Work, 2014

2009
Dynamic masking of application displays using OCR technologies.
IBM Journal of Research and Development, 2009

Masking Gateway for Enterprises.
Proceedings of the Languages: From Formal to Natural, 2009

2006
Combined static and dynamic analysis for inferring program dependencies using a pattern language.
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.
Proceedings of the 2003 IEEE International Conference on Software, 2003

2001
Designing Procedural 4GL Applications through UML Modeling.
Proceedings of the Practical UML-Based Rigorous Development Methods, 2001

Sealing, Encapsulation, and Mutability.
Proceedings of the ECOOP 2001, 2001

2000
Automatic detection of immutable fields in Java.
Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative Research, 2000

1998
Sharpening global static analysis to cope with Java.
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.
Proceedings of the USENIX Conference on Object-Oriented Technologies, 1996

1995
Class Assertions in C++.
JOOP, 1995

1994
Fairness in term rewriting systems.
Meth. of Logic in CS, 1994

1991
Learning Automata from Ordered Examples.
Machine Learning, 1991

The parallel C (pC) programming language.
IBM Journal of Research and Development, 1991

1989
Fairness in Context-Free Grammars under Every Choice-strategy
Inf. Comput., March, 1989

1988
Learning Automata from Ordered Examples.
Proceedings of the First Annual Workshop on Computational Learning Theory, 1988

1986
Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems.
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1985
Fairness in Context-Free Grammars under Canonical Derivations.
Proceedings of the STACS 85, 1985

Fairness in Term Rewriting Systems.
Proceedings of the Rewriting Techniques and Applications, First International Conference, 1985

1984
Towards a Hierarchy of Nets.
J. Comput. Syst. Sci., 1984

1982
Fair Deriviations in Context-Free Grammars
Information and Control, 1982


  Loading...