O. Lahav

发表

E. Friedler, O. Lahav, Hagar Jizhaki, 2006, Journal of environmental management.

Ori Lahav, Eran Friedler, E. Friedler, 2006, Water research.

E. Friedler, O. Lahav, Assaf Binder, 2006, Water environment research : a research publication of the Water Environment Federation.

Gudmundur Stefánsson, O. Lahav, A. Ólafsdóttir, 2021, Journal of Applied Aquaculture.

O. Lahav, Liat Birnhack, 2019 .

O. Lahav, S. Tarre, M. Green, 2002, Water science and technology : a journal of the International Association on Water Pollution Research.

O. Lahav, Y. Dubowski, W. Calmano, 2011, Journal of colloid and interface science.

Ori Lahav, Avner Vengosh, N. Warner, 2014, Environmental science & technology.

Meng Wang, Qiong Zhang, Ori Lahav, 2017, Waste management.

Ori Lahav, Noam Mozes, O. Lahav, 2006 .

O. Lahav, O. Nir, V. Freger, 2015, Water research.

Ori Lahav, O. Lahav, J. Tarchitzky, 2010, Water science and technology : a journal of the International Association on Water Pollution Research.

Ori Lahav, Anna Zamansky, Matthias Baaz, 2013, Journal of Automated Reasoning.

Ori Lahav, O. Lahav, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.

Ori Lahav, Oded Nir, Viatcheslav Freger, 2015, Environmental science & technology.

U. Yermiyahu, O. Lahav, J. Tarchitzky, 2007, Science.

O. Lahav, S. Tarre, M. Green, 2001, Water Research.

Ori Lahav, Viktor Vafeiadis, Viktor Vafeiadis, 2015, ICALP.

Katerina J. Argyraki, Scott Shenker, Ori Lahav, 2016, NSDI.

O. Lahav, B. Morgan, R. Loewenthal, 2005, Environmental science & technology.

O. Lahav, Udi Boker, 2022, ACM Trans. Program. Lang. Syst..

Viktor Vafeiadis, Azalea Raad, Ori Lahav, 2020, Proc. ACM Program. Lang..

Ori Lahav, Udi Boker, O. Lahav, 2020, PLDI.

Ori Lahav, Viktor Vafeiadis, Kasper Svendsen, 2018, ESOP.

Jeehoon Kang, Chung-Kil Hur, Ori Lahav, 2017, POPL.

Ori Lahav, Viktor Vafeiadis, Nick Giannarakis, 2016, POPL.

Ori Lahav, Viktor Vafeiadis, Derek Dreyer, 2017, ECOOP.

Ori Lahav, O. Lahav, B. Morgan, 2002, Environmental science & technology.

Ori Lahav, Viktor Vafeiadis, Konstantinos Sagonas, 2017, Proc. ACM Program. Lang..

Ori Lahav, Guy Katz, Guy Katz, 2021, 2021 Formal Methods in Computer Aided Design (FMCAD).

Katerina J. Argyraki, Scott Shenker, Ori Lahav, 2014, ArXiv.

Neil Immerman, Ori Lahav, Shmuel Sagiv, 2015, POPL.

Ohad Kammar, O. Lahav, Yotam Dvir, 2022, Asian Symposium on Programming Languages and Systems.

O. Lahav, Raz Ben-Asher, Y. Gendel, 2023, Reviews in Aquaculture.

Neil Immerman, Ori Lahav, Shmuel Sagiv, 2014, POPL.

E Friedler, O Lahav, E. Friedler, 2006, Water science and technology : a journal of the International Association on Water Pollution Research.

O. Lahav, M. Beliavski, S. Tarre, 2004, Environmental technology.

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis, 2017 .

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis, 2020, Proc. ACM Program. Lang..

Ori Lahav, Yoni Zohar, O. Lahav, 2018, J. Log. Comput..

Viktor Vafeiadis, O. Lahav, Michalis Kokologiannakis, 2023, Proc. ACM Program. Lang..

O. Lahav, R. Margalit, 2021, Proc. ACM Program. Lang..

Soham Chakraborty, Minki Cho, Chung-Kil Hur, 2020, PLDI.

Ori Lahav, Roy Margalit, O. Lahav, 2019, PLDI.

Derek Dreyer, Viktor Vafeiadis, O. Lahav, 2017, PLDI.

Ori Lahav, O. Lahav, 2016, J. Log. Comput..

Ori Lahav, Arnon Avron, A. Avron, 2013, J. Log. Comput..

Ori Lahav, Arnon Avron, A. Avron, 2011, CSR.

Ori Lahav, Arnon Avron, A. Avron, 2015, Fuzzy Sets Syst..

O. Lahav, B. Morgan, R. Loewenthal, 2001 .

Ori Lahav, O. Lahav, 2012, 2012 IEEE 42nd International Symposium on Multiple-Valued Logic.

Ori Lahav, Anna Zamansky, Agata Ciabattoni, 2011, TABLEAUX.

Ori Lahav, Arnon Avron, A. Avron, 2010, Log. Methods Comput. Sci..

Ori Lahav, Arnon Avron, A. Avron, 2010, Fields of Logic and Computation.

Nikolaj Bjørner, Arie Gurfinkel, Ori Lahav, 2013, LPAR.

Ori Lahav, Arnon Avron, A. Avron, 2011, TABLEAUX.

O. Lahav, Sung-Hwan Lee, R. Margalit, 2023, Proc. ACM Program. Lang..

Ori Lahav, Artem Khyzha, O. Lahav, 2020, Proc. ACM Program. Lang..

Ori Lahav, Artem Khyzha, O. Lahav, 2020, ArXiv.

Viktor Vafeiadis, O. Lahav, Orestis Melkonian, 2019, ECOOP.

Anton Podkopaev, Ori Lahav, Viktor Vafeiadis, 2018, Proc. ACM Program. Lang..

Ori Lahav, Viktor Vafeiadis, Azalea Raad, 2018, VMCAI.

Ori Lahav, Viktor Vafeiadis, Viktor Vafeiadis, 2016, FM.