default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Sara Porat
@inproceedings{DBLP:conf/cscw/JacoviGKPA14,
author = {Michal Jacovi and
Ido Guy and
Shiri Kremer{-}Davidson and
Sara Porat and
Neta Aizenbud{-}Reshef},
editor = {Susan R. Fussell and
Wayne G. Lutters and
Meredith Ringel Morris and
Madhu C. Reddy},
title = {The perception of others: inferring reputation from social media in
the enterprise},
booktitle = {Computer Supported Cooperative Work, {CSCW} '14, Baltimore, MD, USA,
February 15-19, 2014},
pages = {756--766},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2531602.2531667},
doi = {10.1145/2531602.2531667},
timestamp = {Fri, 08 Jan 2021 08:52:12 +0100},
biburl = {https://dblp.org/rec/conf/cscw/JacoviGKPA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/PoratCDDGT09,
author = {Sara Porat and
Boaz Carmeli and
Tamar Domany and
Tal Drory and
Amir Geva and
Abigail Tarem},
title = {Dynamic masking of application displays using {OCR} technologies},
journal = {{IBM} J. Res. Dev.},
volume = {53},
number = {6},
pages = {10},
year = {2009},
url = {https://doi.org/10.1147/JRD.2009.5429038},
doi = {10.1147/JRD.2009.5429038},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/PoratCDDGT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PoratCDDKMN09,
author = {Sara Porat and
Boaz Carmeli and
Tamar Domany and
Tal Drory and
Ksenya Kveler and
Alex Melament and
Haim Nelken},
editor = {Orna Grumberg and
Michael Kaminski and
Shmuel Katz and
Shuly Wintner},
title = {Masking Gateway for Enterprises},
booktitle = {Languages: From Formal to Natural, Essays Dedicated to Nissim Francez
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5533},
pages = {177--191},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01748-3\_12},
doi = {10.1007/978-3-642-01748-3\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PoratCDDKMN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/RonenDPD06,
author = {Inbal Ronen and
Nurit Dor and
Sara Porat and
Yael Dubinsky},
editor = {Hakan Erdogmus and
Eleni Stroulia and
Darlene A. Stewart},
title = {Combined static and dynamic analysis for inferring program dependencies
using a pattern language},
booktitle = {Proceedings of the 2006 conference of the Centre for Advanced Studies
on Collaborative Research, October 16-19, 2006, Toronto, Ontario,
Canada},
pages = {27--38},
publisher = {{IBM}},
year = {2006},
url = {https://doi.org/10.1145/1188966.1188970},
doi = {10.1145/1188966.1188970},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/RonenDPD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swste/DekelCP03,
author = {Uri Dekel and
Tal Cohen and
Sara Porat},
title = {Towards a Standard Family of Languages for Matching Patterns in Source
Code},
booktitle = {2003 {IEEE} International Conference on Software - Science, Technology
and Engineering (SwSTE 2003), 4-5 November 2003, Herzelia, Israel},
pages = {10--19},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/SWSTE.2003.1245311},
doi = {10.1109/SWSTE.2003.1245311},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/swste/DekelCP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BibersteinGP01,
author = {Marina Biberstein and
Joseph Gil and
Sara Porat},
editor = {J{\o}rgen Lindskov Knudsen},
title = {Sealing, Encapsulation, and Mutability},
booktitle = {{ECOOP} 2001 - Object-Oriented Programming, 15th European Conference,
Budapest, Hungary, June 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2072},
pages = {28--52},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45337-7\_3},
doi = {10.1007/3-540-45337-7\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BibersteinGP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/DavidsonKPZ01,
author = {Shiri Davidson and
Mila Keren and
Sara Porat and
Gabi Zodik},
editor = {Andy Evans and
Robert B. France and
Ana M. D. Moreira and
Bernhard Rumpe},
title = {Designing Procedural 4GL Applications through {UML} Modeling},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating
the eXtremists, Workshop of the pUML-Group held together with the
{\guillemotleft}UML{\guillemotright}2001, October 1st, 2001 in Toronto,
Canada},
series = {{LNI}},
volume = {{P-7}},
pages = {69--85},
publisher = {{GI}},
year = {2001},
url = {https://dl.gi.de/handle/20.500.12116/30867},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uml/DavidsonKPZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/PoratBKM00,
author = {Sara Porat and
Marina Biberstein and
Larry Koved and
Bilha Mendelson},
editor = {Stephen A. MacKay and
J. Howard Johnson},
title = {Automatic detection of immutable fields in Java},
booktitle = {Proceedings of the 2000 conference of the Centre for Advanced Studies
on Collaborative Research, November 13-16, 2000, Mississauga, Ontario,
Canada},
pages = {10},
publisher = {{IBM}},
year = {2000},
url = {https://dl.acm.org/citation.cfm?id=782044},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/PoratBKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/PoratMS98,
author = {Sara Porat and
Bilha Mendelson and
Irina Shapira},
editor = {Stephen A. MacKay and
J. Howard Johnson},
title = {Sharpening global static analysis to cope with Java},
booktitle = {Proceedings of the 1998 conference of the Centre for Advanced Studies
on Collaborative Research, November 30 - December 3, 1998, Toronto,
Ontario, Canada},
pages = {19},
publisher = {{IBM}},
year = {1998},
url = {https://dl.acm.org/citation.cfm?id=783179},
timestamp = {Fri, 30 Nov 2018 02:24:54 +0100},
biburl = {https://dblp.org/rec/conf/cascon/PoratMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coots/PoratBFRY96,
author = {Sara Porat and
David Bernstein and
Yaroslav Fedorov and
Joseph Rodrigue and
Eran Yahav},
title = {Compiler Optimization of {C++} Virtual Function Calls},
booktitle = {Proceedings of the {USENIX} Conference on Object-Oriented Technologies,
COOTS'96, Toronto, Ontario, Canada, June 17-21, 1996},
publisher = {{USENIX}},
year = {1996},
url = {http://www.usenix.org/publications/library/proceedings/coots96/porat.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coots/PoratBFRY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/joop/PoratF95,
author = {Sara Porat and
L. Paul Fertig},
title = {Class Assertions in {C++}},
journal = {J. Object Oriented Program.},
volume = {8},
number = {2},
pages = {30--37},
year = {1995},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/joop/PoratF95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlcs/PoratF94,
author = {Sara Porat and
Nissim Francez},
title = {Fairness in term rewriting systems},
journal = {Methods Log. Comput. Sci.},
volume = {1},
number = {2},
pages = {141--181},
year = {1994},
url = {http://dl.acm.org/citation.cfm?id=200762},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlcs/PoratF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ibmrd/CanettiFKMPPT91,
author = {Ran Canetti and
L. Paul Fertig and
Saul A. Kravitz and
Dalia Malki and
Ron Y. Pinter and
Sara Porat and
Avi Teperman},
title = {The parallel {C} (pC) programming language},
journal = {{IBM} J. Res. Dev.},
volume = {35},
number = {5},
pages = {727--742},
year = {1991},
url = {https://doi.org/10.1147/rd.355.0727},
doi = {10.1147/RD.355.0727},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ibmrd/CanettiFKMPPT91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ml/PoratF91,
author = {Sara Porat and
Jerome A. Feldman},
title = {Learning Automata from Ordered Examples},
journal = {Mach. Learn.},
volume = {7},
pages = {109--138},
year = {1991},
url = {https://doi.org/10.1007/BF00114841},
doi = {10.1007/BF00114841},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ml/PoratF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FrancezP89,
author = {Sara Porat and
Nissim Francez},
title = {Fairness in Context-Free Grammars under Every Choice-strategy},
journal = {Inf. Comput.},
volume = {80},
number = {3},
pages = {249--268},
year = {1989},
url = {https://doi.org/10.1016/0890-5401(89)90011-4},
doi = {10.1016/0890-5401(89)90011-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/FrancezP89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colt/PoratF88,
author = {Sara Porat and
Jerome A. Feldman},
editor = {David Haussler and
Leonard Pitt},
title = {Learning Automata from Ordered Examples},
booktitle = {Proceedings of the First Annual Workshop on Computational Learning
Theory, {COLT} '88, Cambridge, MA, USA, August 3-5, 1988},
pages = {386--396},
publisher = {{ACM/MIT}},
year = {1988},
url = {http://dl.acm.org/citation.cfm?id=93118},
timestamp = {Fri, 23 Dec 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/colt/PoratF88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/PoratF86,
author = {Sara Porat and
Nissim Francez},
editor = {J{\"{o}}rg H. Siekmann},
title = {Full-Commutation and Fair-Termination in Equational (and Combined)
Term-Rewriting Systems},
booktitle = {8th International Conference on Automated Deduction, Oxford, England,
July 27 - August 1, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {230},
pages = {21--41},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16780-3\_77},
doi = {10.1007/3-540-16780-3\_77},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/PoratF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/PoratF85,
author = {Sara Porat and
Nissim Francez},
editor = {Jean{-}Pierre Jouannaud},
title = {Fairness in Term Rewriting Systems},
booktitle = {Rewriting Techniques and Applications, First International Conference,
RTA-85, Dijon, France, May 20-22, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {202},
pages = {287--300},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15976-2\_14},
doi = {10.1007/3-540-15976-2\_14},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/PoratF85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/PoratF85,
author = {Sara Porat and
Nissim Francez},
editor = {Kurt Mehlhorn},
title = {Fairness in Context-Free Grammars under Canonical Derivations},
booktitle = {{STACS} 85, 2nd Symposium of Theoretical Aspects of Computer Science,
Saarbr{\"{u}}cken, Germany, January 3-5, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {182},
pages = {255--266},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/BFb0024014},
doi = {10.1007/BFB0024014},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/PoratF85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/PoratY84,
author = {Sara Porat and
Michael Yoeli},
title = {Towards a Hierarchy of Nets},
journal = {J. Comput. Syst. Sci.},
volume = {29},
number = {2},
pages = {198--206},
year = {1984},
url = {https://doi.org/10.1016/0022-0000(84)90030-8},
doi = {10.1016/0022-0000(84)90030-8},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/PoratY84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/ZaksFPM82,
author = {Sara Porat and
Nissim Francez and
Shlomo Moran and
Shmuel Zaks},
title = {Fair Deriviations in Context-Free Grammars},
journal = {Inf. Control.},
volume = {55},
number = {1-3},
pages = {108--116},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90496-X},
doi = {10.1016/S0019-9958(82)90496-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/ZaksFPM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
