Udi Boker
发表
T. Henzinger,
Udi Boker,
2014
.
N. Dershowitz,
Udi Boker,
2006
.
N. Dershowitz,
Udi Boker,
2016
.
Udi Boker,
K. Lehtinen,
Salomon Sickert,
2022,
FoSSaCS.
Udi Boker,
K. Lehtinen,
2021,
FoSSaCS.
T. Henzinger,
Udi Boker,
2012
.
Udi Boker,
G. Hefetz,
2023,
2301.04086.
Orna Kupferman,
Shaull Almagor,
Udi Boker,
2011,
ATVA.
Nachum Dershowitz,
Udi Boker,
N. Dershowitz,
2008,
Pillars of Computer Science.
Orna Kupferman,
Shaull Almagor,
Udi Boker,
2016,
J. ACM.
Orna Kupferman,
Shaull Almagor,
Udi Boker,
2013,
ICALP.
Udi Boker,
Yariv Shaulian,
Udi Boker,
2018,
LICS.
O. Lahav,
Udi Boker,
2022,
ACM Trans. Program. Lang. Syst..
Ori Lahav,
Udi Boker,
O. Lahav,
2020,
PLDI.
Dana Fisman,
Udi Boker,
Dana Angluin,
2016,
Log. Methods Comput. Sci..
Orna Kupferman,
Shaull Almagor,
Udi Boker,
2014,
TACAS.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Orna Kupferman,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Udi Boker,
2022
.
Nachum Dershowitz,
Udi Boker,
N. Dershowitz,
2010,
Fields of Logic and Computation.
Dana Fisman,
Udi Boker,
Dana Angluin,
2016,
MFCS.
Michal Skrzypczak,
Orna Kupferman,
Udi Boker,
2013,
ICALP.
Udi Boker,
Guy Hefetz,
Udi Boker,
2023,
CSL.
Thomas A. Henzinger,
Udi Boker,
Jan Otop,
2015,
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science.
Thomas A. Henzinger,
Udi Boker,
T. Henzinger,
2014,
Log. Methods Comput. Sci..
N. Dershowitz,
Udi Boker,
2020
.
Nachum Dershowitz,
Udi Boker,
N. Dershowitz,
2009,
Appl. Math. Comput..
Nachum Dershowitz,
Udi Boker,
N. Dershowitz,
2005,
Log. J. IGPL.
Udi Boker,
Karoliina Lehtinen,
Udi Boker,
2019,
CONCUR.
Udi Boker,
Udi Boker,
2017,
CSL.
Thomas A. Henzinger,
Arjun Radhakrishna,
Udi Boker,
2014,
POPL.
Orna Kupferman,
Udi Boker,
Avital Steinitz,
2010,
FSTTCS.
Nachum Dershowitz,
Udi Boker,
N. Dershowitz,
2006,
Appl. Math. Comput..
N. Dershowitz,
Udi Boker,
2005,
cs/0510069.
Nachum Dershowitz,
Udi Boker,
N. Dershowitz,
2005,
CiE.
Nachum Dershowitz,
Udi Boker,
N. Dershowitz,
2016,
Martin Davis on Computability, Computational Logic, and Mathematical Foundations.
Udi Boker,
K. Lehtinen,
2023,
ACM SIGLOG News.
Udi Boker,
Denis Kuperberg,
Karoliina Lehtinen,
2020,
FSTTCS.
Michal Skrzypczak,
Orna Kupferman,
Udi Boker,
2017,
FSTTCS.