Udi Boker
udiboker@idc.ac.ilTel: +972-9-9527690
Office: 122, Computer Science and Communication building, IDC Herzliya, Israel
Tel: +972-9-9527690
Office: 122, Computer Science and Communication building, IDC Herzliya, Israel
Home Page
Curriculum vitae
Publications
Automata Translations
Logic Lexicon
I am a faculty member in the school of computer science at the Reichman University, Herzliya, Israel.
Prior to that I was a postdoc in Thomas A. Henzinger's group at the Institute of Science and Technology Austria (IST Austria), and in Orna Kupferman's group at the Hebrew University of Jerusalem. I have done my PhD under the supervision of Nachum Dershowitz at the Tel-Aviv University.Research
My research interests include formal verification, automata theory, game theory, logic, computational models, and computability.
Teaching These Years
- Automata and Games
- Formal Verification
- Advanced Topics in Logic
- Logic and Set Theory
- Logic, Mathematics, and Philosophy
- Artificial Intelligence and Morality
Selected Publications (full list)
-
When a Little Nondeterminism Goes a Long Way: an Introduction to History-Determinism
ACM SIGLOG News 10(1) 2023. With K. Lehtinen -
On the Comparison of Discounted-Sum Automata with Multiple Discount Factors
FoSSaCS 2023. With G. Hefetz -
Between Deterministic and Nondetereministic Quantitative Automata
CSL 2022. -
What is the Church-Turing Thesis?
Axiomatic Thinking II, 2022. With N. Dershowitz -
What′s Decidable About Weighted Automata?
Information and Computation 2022. With S. Almagor and O. Kupferman -
History Determinism vs. Good for Gameness in Quantitative Automata
FSTTCS 2021. With K. Lehtinen -
Quantitative vs. Weighted Automata
RP 2021. -
Discounted-Sum Automata with Multiple Discount Factors
CSL 2021. With G. Hefetz -
Register Games
Logical Methods in Computer Science, Vol. 16, No. 2, 2020. With K. Lehtinen -
Why These Automata Types?
LPAR 2018. -
Formally Reasoning About Quality
Journal of the ACM, Vol. 63, No. 3, 2016. With S. Almagor and O. Kupferman -
The Target Discounted-Sum Problem
LICS 2015. With T. A. Henzinger and J. Otop -
Temporal Specifications with Accumulative Values
ACM Transactions on Computational Logic, Vol. 15, No. 4, 2014. With K. Chatterjee, T. A. Henzinger, and O. Kupferman -
Exact and Approximate Determinization of Discounted-Sum Automata
Logical Methods in Computer Science, Vol. 10, No. 1:10, 2014. With T. A. Henzinger -
Translating to Co-Büchi Made Tight, Unified, and Useful
ACM Transactions on Computational Logic, Vol. 13, No. 4, 2012. With O. Kupferman -
Three Paths to Effectiveness
Fields of Logic and Computation, LNCS vol 6300, 2010. With N. Dershowitz -
The Church-Turing Thesis over Arbitrary Domains
Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot, LNCS Vol. 4800, 2008. With N. Dershowitz -
The Influence of Domain Interpretations on Computational Models
Ph.D. Thesis, October 2008, Tel-Aviv University. - Network-Based Control Center for Conducting Performance Tests of Server Systems, patent no. WO/2003/023621.