作　　者：Udi Boker ;Karoliina Lehtinen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.19

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238891927

作　　者：Udi Boker

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:12:1-12:16.doi:10.4230/LIPIcs.CSL.2017.12

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：200735078

作　　者：Udi Boker ;Guy Hefetz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:12:1-12:23.doi:10.4230/LIPIcs.CSL.2021.12

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：258514174

作　　者：Shaull Almagor ;Udi Boker ;Piotr Hofman 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:47:1-47:16.doi:10.4230/LIPIcs.CONCUR.2020.47

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：255822906

作　　者：Udi Boker

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:17:1-17:15.doi:10.4230/LIPIcs.FSTTCS.2017.17

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：220015402

作　　者：Udi Boker ;Orna Kupferman ;Michal Skrzypczak

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:18:1-18:14.doi:10.4230/LIPIcs.FSTTCS.2017.18

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：220015403

作　　者：Udi Boker ;Thomas Henzinger

出　　处：Logical Methods in Computer Science. 2014 ;10(1):1.doi:10.2168/LMCS-10(1:10)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692217

作　　者：Udi Boker ;Denis Kuperberg ;Karoliina Lehtinen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-13.doi:10.4230/LIPIcs.FSTTCS.2020.41

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：257805111

作　　者：Udi Boker ;Orna Kupferman ;Avital Steinitz

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:412-423.doi:10.4230/LIPIcs.FSTTCS.2010.412

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186845789

作　　者：Udi Boker ;Thomas A. Henzinger

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:82-96.doi:10.4230/LIPIcs.CSL.2011.82

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186845976