The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sara Porat: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Sara Porat, Nissim Francez
    Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:21-41 [Conf]
  2. Sara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson
    Automatic detection of immutable fields in Java. [Citation Graph (0, 0)][DBLP]
    CASCON, 2000, pp:10- [Conf]
  3. Sara Porat, Bilha Mendelson, Irina Shapira
    Sharpening global static analysis to cope with Java. [Citation Graph (0, 0)][DBLP]
    CASCON, 1998, pp:19- [Conf]
  4. Inbal Ronen, Nurit Dor, Sara Porat, Yael Dubinsky
    Combined static and dynamic analysis for inferring program dependencies using a pattern language. [Citation Graph (0, 0)][DBLP]
    CASCON, 2006, pp:27-38 [Conf]
  5. Sara Porat, Jerome A. Feldman
    Learning Automata from Ordered Examples. [Citation Graph (0, 0)][DBLP]
    COLT, 1988, pp:386-396 [Conf]
  6. Sara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav
    Compiler Optimization of C++ Virtual Function Calls. [Citation Graph (0, 0)][DBLP]
    COOTS, 1996, pp:- [Conf]
  7. Marina Biberstein, Joseph Gil, Sara Porat
    Sealing, Encapsulation, and Mutability. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2001, pp:28-52 [Conf]
  8. Sara Porat, Nissim Francez
    Fairness in Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 1985, pp:287-300 [Conf]
  9. Sara Porat, Nissim Francez
    Fairness in Context-Free Grammars under Canonical Derivations. [Citation Graph (0, 0)][DBLP]
    STACS, 1985, pp:255-266 [Conf]
  10. Uri Dekel, Tal Cohen, Sara Porat
    Towards a Standard Family of Languages for Matching Patterns in Source Code. [Citation Graph (0, 0)][DBLP]
    SwSTE, 2003, pp:10-19 [Conf]
  11. Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik
    Designing Procedural 4GL Applications through UML Modeling. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:69-85 [Conf]
  12. Sara Porat, Nissim Francez
    Fairness in Context-Free Grammars under Every Choice-strategy [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:80, n:3, pp:249-268 [Journal]
  13. Sara Porat, Nissim Francez, Shlomo Moran, Shmuel Zaks
    Fair Deriviations in Context-Free Grammars [Citation Graph (0, 0)][DBLP]
    Information and Control, 1982, v:55, n:1-3, pp:108-116 [Journal]
  14. Sara Porat, Michael Yoeli
    Towards a Hierarchy of Nets. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1984, v:29, n:2, pp:198-206 [Journal]
  15. Sara Porat, Paul Fertig
    Class Assertions in C++. [Citation Graph (0, 0)][DBLP]
    JOOP, 1995, v:8, n:2, pp:30-37 [Journal]
  16. Sara Porat, Jerome A. Feldman
    Learning Automata from Ordered Examples. [Citation Graph (0, 0)][DBLP]
    Machine Learning, 1991, v:7, n:, pp:109-138 [Journal]

  17. Masking Gateway for Enterprises. [Citation Graph (, )][DBLP]


Search in 0.057secs, Finished in 0.057secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002