Concepedia

Udi Boker

UB

17

Publications

400

Citations

13

H-Index

2006

Active since

Affiliations

Reichman University(Current)

Hebrew University of Jerusalem

Institute of Science and Technology Austria

Tel Aviv University

Udi Boker is an author at Reichman University specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsFormal VerificationComputational ComplexityVerificationTheory Of ComputingAsynchronous SystemsReal-time Systems

Publications per year

2006–2023

17

Publications

17

Temporal Specifications with Accumulative Values

Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger et al. · 2011 · 61 citations

Theory Of Computing, Formal Specification, Engineering +15

Formally Reasoning About Quality

Shaull Almagor, Udi Boker, Orna Kupferman · Journal of the ACM · 2016 · 50 citations

Engineering, Quality Metric, Verification +19

Temporal Specifications with Accumulative Values

Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger et al. · ACM Transactions on Computational Logic · 2014 · 39 citations

Theory Of Computing, Engineering, Automated Reasoning +15

Decidable verification under a causally consistent shared memory

Ori Lahav, Udi Boker · 2020 · 29 citations · Full text

Program Checking, Engineering, Verification +17

The Target Discounted-Sum Problem

Udi Boker, Thomas A. Henzinger, Jan Otop · 2015 · 27 citations · Full text

Mathematical Programming, Computational Complexity Theory, Engineering +21

Rows per page

1–5 of 17