dblp.uni-trier.dewww.uni-trier.de

Sara Porat

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
16EEInbal 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
15EEUri Dekel, Tal Cohen, Sara Porat: Towards a Standard Family of Languages for Matching Patterns in Source Code. SwSTE 2003: 10-19
2001
14EEMarina Biberstein, Joseph Gil, Sara Porat: Sealing, Encapsulation, and Mutability. ECOOP 2001: 28-52
13 Shiri Davidson, Mila Keren, Sara Porat, Gabi Zodik: Designing Procedural 4GL Applications through UML Modeling. pUML 2001: 69-85
2000
12EESara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson: Automatic detection of immutable fields in Java. CASCON 2000: 10
1998
11EESara Porat, Bilha Mendelson, Irina Shapira: Sharpening global static analysis to cope with Java. CASCON 1998: 19
1996
10EESara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav: Compiler Optimization of C++ Virtual Function Calls. COOTS 1996
1995
9 Sara Porat, Paul Fertig: Class Assertions in C++. JOOP 8(2): 30-37 (1995)
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
6EESara 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

1David Bernstein [10]
2Marina Biberstein [12] [14]
3Tal Cohen [15]
4Shiri Davidson [13]
5Uri Dekel [15]
6Nurit Dor [16]
7Yael Dubinsky [16]
8Yaroslav Fedorov [10]
9Jerome A. Feldman [6] [8]
10Paul Fertig [9]
11Nissim Francez [1] [3] [4] [5] [7]
12Joseph Gil (Yossi Gil) [14]
13Mila Keren [13]
14Larry Koved [12]
15Bilha Mendelson [11] [12]
16Shlomo Moran [1]
17Joseph Rodrigue [10]
18Inbal Ronen [16]
19Irina Shapira [11]
20Eran Yahav [10]
21Michael Yoeli [2]
22Shmuel Zaks [1]
23Gabi Zodik [13]

Colors in the list of coauthors

Copyright © Thu Jun 5 07:42:39 2008 by Michael Ley (ley@uni-trier.de)