Sara Porat

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

Coauthor Index

1	David Bernstein	[11]
2	Marina Biberstein	[13] [15]
3	Ran Canetti	[9]
4	Tal Cohen	[16]
5	Shiri Davidson	[14]
6	Uri Dekel	[16]
7	Nurit Dor	[17]
8	Yael Dubinsky	[17]
9	Yaroslav Fedorov	[11]
10	Jerome A. Feldman	[6] [8]
11	L. Paul Fertig	[9]
12	Paul Fertig	[10]
13	Nissim Francez	[1] [3] [4] [5] [7]
14	Joseph Gil (Yossi Gil)	[15]
15	Mila Keren	[14]
16	Larry Koved	[13]
17	Saul A. Kravitz	[9]
18	Dahlia Malkhi (Dalia Malki)	[9]
19	Bilha Mendelson	[12] [13]
20	Shlomo Moran	[1]
21	Ron Y. Pinter	[9]
22	Joseph Rodrigue	[11]
23	Inbal Ronen	[17]
24	Irina Shapira	[12]
25	Avi Teperman	[9]
26	Eran Yahav	[11]
27	Michael Yoeli	[2]
28	Shmuel Zaks	[1]
29	Gabi Zodik	[14]

Colors in the list of coauthors