Udi Boker

发表

Orna Kupferman, Shaull Almagor, Udi Boker, 2014, TACAS.
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2008, Pillars of Computer Science.
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2016, Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Udi Boker, Karoliina Lehtinen, 2018, FSTTCS.
Dana Fisman, Udi Boker, Dana Angluin, 2016, Log. Methods Comput. Sci..
Orna Kupferman, Shaull Almagor, Udi Boker, 2016, J. ACM.
Thomas A. Henzinger, Udi Boker, 2012, FSTTCS.
Orna Kupferman, Udi Boker, Adin Rosenberg, 2010, ICALP.
Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, 2011, LICS.
Udi Boker, Udi Boker, 2017, CSL.
Orna Kupferman, Udi Boker, 2009, 2009 24th Annual IEEE Symposium on Logic In Computer Science.
Thomas A. Henzinger, Udi Boker, T. Henzinger, 2014, Log. Methods Comput. Sci..
Shaull Almagor, Udi Boker, Patrick Totzke, 2020, CONCUR.
Ori Lahav, Udi Boker, O. Lahav, 2020, PLDI.
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2005, Log. J. IGPL.
Udi Boker, Rabin vs. Streett Automata, 2017 .
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2005, CiE.
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2006, Appl. Math. Comput..
Udi Boker, Denis Kuperberg, Karoliina Lehtinen, 2020, FSTTCS.
Orna Kupferman, Udi Boker, 2010, Fields of Logic and Computation.
Thomas A. Henzinger, Arjun Radhakrishna, Udi Boker, 2014, POPL.
Michal Skrzypczak, Udi Boker, Denis Kuperberg, 2020, ArXiv.
Dana Fisman, Udi Boker, Dana Angluin, 2016, MFCS.
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2010, Fields of Logic and Computation.
Nachum Dershowitz, Udi Boker, 2005 .
Udi Boker, Yariv Shaulian, Udi Boker, 2018, LICS.
Orna Kupferman, Udi Boker, 2011, FoSSaCS.
Orna Kupferman, Shaull Almagor, Udi Boker, 2013, ICALP.
Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Udi Boker, Guy Hefetz, Udi Boker, 2023, CSL.
Orna Kupferman, Udi Boker, 2012, TOCL.
Udi Boker, Karoliina Lehtinen, 2020, Log. Methods Comput. Sci..
Orna Kupferman, Shaull Almagor, Udi Boker, 2011, ATVA.
Michal Skrzypczak, Orna Kupferman, Udi Boker, 2013, ICALP.
Orna Kupferman, Udi Boker, Avital Steinitz, 2010, FSTTCS.
Udi Boker, 2018, LPAR.
Nachum Dershowitz, Udi Boker, N. Dershowitz, 2009, Appl. Math. Comput..
Udi Boker, Karoliina Lehtinen, Udi Boker, 2019, CONCUR.
Thomas A. Henzinger, Udi Boker, Jan Otop, 2015, 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Thomas A. Henzinger, Udi Boker, 2011, CSL.
Michal Skrzypczak, Orna Kupferman, Udi Boker, 2017, FSTTCS.
Udi Boker, Salomon Sickert, Karoliina Lehtinen, 2022 .
Nachum Dershowitz, Udi Boker, David Wolfram, 2006, Electron. Notes Theor. Comput. Sci..