Follow
Udi Boker
Udi Boker
Computer Science, Reichman University, Herzliya, Israel
Verified email at idc.ac.il - Homepage
Title
Cited by
Cited by
Year
Temporal specifications with accumulative values
U Boker, K Chatterjee, TA Henzinger, O Kupferman
ACM Transactions on Computational Logic (TOCL) 15 (4), 1-25, 2014
1242014
What’s decidable about weighted automata?
S Almagor, U Boker, O Kupferman
Automated Technology for Verification and Analysis: 9th International …, 2011
107*2011
Discounting in LTL
S Almagor, U Boker, O Kupferman
Tools and Algorithms for the Construction and Analysis of Systems: 20th …, 2014
682014
The Church-Turing thesis over arbitrary domains
U Boker, N Dershowitz
Pillars of computer science: essays dedicated to Boris (Boaz) Trakhtenbrot …, 2008
522008
Formally reasoning about quality
S Almagor, U Boker, O Kupferman
Journal of the ACM (JACM) 63 (3), 1-56, 2016
512016
Formalizing and reasoning about quality
S Almagor, U Boker, O Kupferman
International Colloquium on Automata, Languages, and Programming, 15-27, 2013
412013
Nondeterminism in the presence of a diverse or unknown future
U Boker, D Kuperberg, O Kupferman, M Skrzypczak
International Colloquium on Automata, Languages, and Programming, 89-100, 2013
412013
Alternation removal in Büchi automata
U Boker, O Kupferman, A Rosenberg
Automata, Languages and Programming: 37th International Colloquium, ICALP …, 2010
382010
The target discounted-sum problem
U Boker, TA Henzinger, J Otop
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 750-761, 2015
362015
Decidable verification under a causally consistent shared memory
O Lahav, U Boker
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
322020
How Deterministic are Good-For-Games Automata?
U Boker, O Kupferman, M Skrzypczak
arXiv preprint arXiv:1710.04115, 2017
322017
Exact and approximate determinization of discounted-sum automata
U Boker, TA Henzinger
Logical Methods in Computer Science 10, 2014
322014
Comparing computational power
U Boker, N Dershowitz
Logic Journal of the IGPL 14 (5), 633-647, 2006
312006
Good for games automata: From nondeterminism to alternation
U Boker, K Lehtinen
arXiv preprint arXiv:1906.11624, 2019
302019
Why These Automata Types?
U Boker
LPAR 18, 143-163, 2018
302018
Families of DFAs as Acceptors of -Regular Languages
D Angluin, U Boker, D Fisman
Logical Methods in Computer Science 14, 2018
282018
Three paths to effectiveness
U Boker, N Dershowitz
Fields of logic and computation: essays dedicated to Yuri Gurevich on the …, 2010
282010
Battery transition systems
U Boker, TA Henzinger, A Radhakrishna
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
262014
Formalizing and reasoning about quality
S Almagor, U Boker, O Kupferman
Journal of the ACM 63 (3), 24, 2016
232016
What’s Decidable About Causally Consistent Shared Memory?
O Lahav, U Boker
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (2), 1-55, 2022
222022
The system can't perform the operation now. Try again later.
Articles 1–20