Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Robby Lampert
@inproceedings{DBLP:conf/concur/HarelKLMW15, author = {David Harel and Guy Katz and Robby Lampert and Assaf Marron and Gera Weiss}, editor = {Luca Aceto and David de Frutos{-}Escrig}, title = {On the Succinctness of Idioms for Concurrent Programming}, booktitle = {26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015}, series = {LIPIcs}, volume = {42}, pages = {85--99}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2015}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2015.85}, doi = {10.4230/LIPICS.CONCUR.2015.85}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/concur/HarelKLMW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AminofKL13, author = {Benjamin Aminof and Orna Kupferman and Robby Lampert}, title = {Rigorous approximated determinization of weighted automata}, journal = {Theor. Comput. Sci.}, volume = {480}, pages = {104--117}, year = {2013}, url = {https://doi.org/10.1016/j.tcs.2013.02.005}, doi = {10.1016/J.TCS.2013.02.005}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/AminofKL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/AminofKL11, author = {Benjamin Aminof and Orna Kupferman and Robby Lampert}, editor = {Tevfik Bultan and Pao{-}Ann Hsiung}, title = {Formal Analysis of Online Algorithms}, booktitle = {Automated Technology for Verification and Analysis, 9th International Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6996}, pages = {213--227}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24372-1\_16}, doi = {10.1007/978-3-642-24372-1\_16}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/AminofKL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/HarelLMW11, author = {David Harel and Robby Lampert and Assaf Marron and Gera Weiss}, editor = {Samarjit Chakraborty and Ahmed Jerraya and Sanjoy K. Baruah and Sebastian Fischmeister}, title = {Model-checking behavioral programs}, booktitle = {Proceedings of the 11th International Conference on Embedded Software, {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011, Taipei, Taiwan, October 9-14, 2011}, pages = {279--288}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2038642.2038686}, doi = {10.1145/2038642.2038686}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/HarelLMW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lics/AminofKL11, author = {Benjamin Aminof and Orna Kupferman and Robby Lampert}, title = {Rigorous Approximated Determinization of Weighted Automata}, booktitle = {Proceedings of the 26th Annual {IEEE} Symposium on Logic in Computer Science, {LICS} 2011, June 21-24, 2011, Toronto, Ontario, Canada}, pages = {345--354}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/LICS.2011.50}, doi = {10.1109/LICS.2011.50}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lics/AminofKL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/talg/AminofKL10, author = {Benjamin Aminof and Orna Kupferman and Robby Lampert}, title = {Reasoning about online algorithms with weighted automata}, journal = {{ACM} Trans. Algorithms}, volume = {6}, number = {2}, pages = {28:1--28:36}, year = {2010}, url = {https://doi.org/10.1145/1721837.1721844}, doi = {10.1145/1721837.1721844}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/talg/AminofKL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/il/Lampert09, author = {Robby Lampert}, title = {Weighted automata and their applications to formal verification ({\unicode{1506}}{\unicode{1501}} {\unicode{1514}}{\unicode{1511}}{\unicode{1510}}{\unicode{1497}}{\unicode{1512}} {\unicode{1489}}{\unicode{1506}}{\unicode{1489}}{\unicode{1512}}{\unicode{1497}}{\unicode{1514}} {\unicode{1493}}{\unicode{1513}}{\unicode{1506}}{\unicode{1512}} {\unicode{1504}}{\unicode{1493}}{\unicode{1505}}{\unicode{1507}}: {\unicode{1488}}{\unicode{1493}}{\unicode{1496}}{\unicode{1493}}{\unicode{1502}}{\unicode{1496}}{\unicode{1497}}{\unicode{1501}} {\unicode{1502}}{\unicode{1502}}{\unicode{1493}}{\unicode{1513}}{\unicode{1511}}{\unicode{1500}}{\unicode{1497}}{\unicode{1501}} {\unicode{1493}}{\unicode{1492}}{\unicode{1513}}{\unicode{1497}}{\unicode{1502}}{\unicode{1493}}{\unicode{1513}} {\unicode{1489}}{\unicode{1492}}{\unicode{1501}} {\unicode{1489}}{\unicode{1514}}{\unicode{1495}}{\unicode{1493}}{\unicode{1501}} {\unicode{1492}}{\unicode{1488}}{\unicode{1497}}{\unicode{1502}}{\unicode{1493}}{\unicode{1514}} {\unicode{1492}}{\unicode{1508}}{\unicode{1493}}{\unicode{1512}}{\unicode{1502}}{\unicode{1500}}{\unicode{1497}}.)}, school = {Hebrew University of Jerusalem, Israel}, year = {2009}, url = {https://huji-primo.hosted.exlibrisgroup.com/permalink/f/13ns5ae/972HUJI\_ALMA21168680360003701}, timestamp = {Wed, 14 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/phd/il/Lampert09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soda/AminofKL09, author = {Benjamin Aminof and Orna Kupferman and Robby Lampert}, editor = {Claire Mathieu}, title = {Reasoning about online algorithms with weighted automata}, booktitle = {Proceedings of the Twentieth Annual {ACM-SIAM} Symposium on Discrete Algorithms, {SODA} 2009, New York, NY, USA, January 4-6, 2009}, pages = {835--844}, publisher = {{SIAM}}, year = {2009}, url = {https://doi.org/10.1137/1.9781611973068.91}, doi = {10.1137/1.9781611973068.91}, timestamp = {Mon, 12 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/soda/AminofKL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atva/KupfermanL06, author = {Orna Kupferman and Robby Lampert}, editor = {Susanne Graf and Wenhui Zhang}, title = {On the Construction of Fine Automata for Safety Properties}, booktitle = {Automated Technology for Verification and Analysis, 4th International Symposium, {ATVA} 2006, Beijing, China, October 23-26, 2006}, series = {Lecture Notes in Computer Science}, volume = {4218}, pages = {110--124}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11901914\_11}, doi = {10.1007/11901914\_11}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/atva/KupfermanL06.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.