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

Sara Porat Vis

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

*2009
18EESara Porat, Boaz Carmeli, Tamar Domany, Tal Drory, Ksenya Kveler, Alex Melament, Haim Nelken: Masking Gateway for Enterprises. Languages: From Formal to Natural 2009: 177-191
2006
17EEInbal 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
16EEUri Dekel, Tal Cohen, Sara Porat: Towards a Standard Family of Languages for Matching Patterns in Source Code. SwSTE 2003: 10-19
2001
15EEMarina 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
13EESara Porat, Marina Biberstein, Larry Koved, Bilha Mendelson: Automatic detection of immutable fields in Java. CASCON 2000: 10
1998
12EESara Porat, Bilha Mendelson, Irina Shapira: Sharpening global static analysis to cope with Java. CASCON 1998: 19
1996
11EESara Porat, David Bernstein, Yaroslav Fedorov, Joseph Rodrigue, Eran Yahav: Compiler Optimization of C++ Virtual Function Calls. COOTS 1996
1995
10 Sara Porat, L. 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
6EESara Porat, Jerome A. Feldman: Learning Automata from Ordered Examples. COLT 1988: 386-396
1986
5EESara Porat, Nissim Francez: Full-Commutation and Fair-Termination in Equational (and Combined) Term-Rewriting Systems. CADE 1986: 21-41
1985
4EESara Porat, Nissim Francez: Fairness in Term Rewriting Systems. RTA 1985: 287-300
3EESara 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 [11]
2Marina Biberstein [13] [15]
3Ran Canetti [9]
4Boaz Carmeli [18]
5Tal Cohen [16]
6Shiri Davidson [14]
7Uri Dekel [16]
8Tamar Domany [18]
9Nurit Dor [17]
10Tal Drory [18]
11Yael Dubinsky [17]
12Yaroslav Fedorov [11]
13Jerome A. Feldman [6] [8]
14L. Paul Fertig [9] [10]
15Nissim Francez [1] [3] [4] [5] [7]
16Joseph Gil (Yossi Gil) [15]
17Mila Keren [14]
18Larry Koved [13]
19Saul A. Kravitz [9]
20Ksenya Kveler [18]
21Dahlia Malkhi (Dalia Malki) [9]
22Alex Melament [18]
23Bilha Mendelson [12] [13]
24Shlomo Moran [1]
25Haim Nelken [18]
26Ron Y. Pinter [9]
27Joseph Rodrigue [11]
28Inbal Ronen [17]
29Irina Shapira [12]
30Avi Teperman [9]
31Eran Yahav [11]
32Michael Yoeli [2]
33Shmuel Zaks [1]
34Gabi Zodik [14]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)