|
Search the dblp DataBase
Sara Porat:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- Sara Porat, Bilha Mendelson, Irina Shapira
Sharpening global static analysis to cope with Java. [Citation Graph (0, 0)][DBLP] CASCON, 1998, pp:19- [Conf]
- 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]
- Sara Porat, Jerome A. Feldman
Learning Automata from Ordered Examples. [Citation Graph (0, 0)][DBLP] COLT, 1988, pp:386-396 [Conf]
- 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]
- Marina Biberstein, Joseph Gil, Sara Porat
Sealing, Encapsulation, and Mutability. [Citation Graph (0, 0)][DBLP] ECOOP, 2001, pp:28-52 [Conf]
- Sara Porat, Nissim Francez
Fairness in Term Rewriting Systems. [Citation Graph (0, 0)][DBLP] RTA, 1985, pp:287-300 [Conf]
- Sara Porat, Nissim Francez
Fairness in Context-Free Grammars under Canonical Derivations. [Citation Graph (0, 0)][DBLP] STACS, 1985, pp:255-266 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
- Sara Porat, Paul Fertig
Class Assertions in C++. [Citation Graph (0, 0)][DBLP] JOOP, 1995, v:8, n:2, pp:30-37 [Journal]
- 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]
Masking Gateway for Enterprises. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|