BibTeX records: Robby Lampert

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics