ISTA Research Explorer

Udi Boker

Henzinger_Thomas Group

14 Publications

[14]

2023 | Published | Conference Paper | IST-REx-ID: 13221 |

Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Automata.” In 34th International Conference on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17.

[Published Version] View | Files available | DOI | arXiv

[13]

2015 | Published | Technical Report | IST-REx-ID: 5439 |

Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-335-v1-1.

[Published Version] View | Files available | DOI

[12]

2015 | Published | Conference Paper | IST-REx-ID: 1659 |

Boker, Udi, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.” In LICS, 750–61. Logic in Computer Science. IEEE, 2015. https://doi.org/10.1109/LICS.2015.74.

[Submitted Version] View | Files available | DOI

[11]

2014 | Published | Journal Article | IST-REx-ID: 2038 |

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.” ACM Transactions on Computational Logic (TOCL). ACM, 2014. https://doi.org/10.1145/2629686.

[Submitted Version] View | Files available | DOI

[10]

2014 | Published | Conference Paper | IST-REx-ID: 2239

Boker, Udi, Thomas A Henzinger, and Arjun Radhakrishna. “Battery Transition Systems,” 49:595–606. ACM, 2014. https://doi.org/10.1145/2535838.2535875.

View | DOI

[9]

2013 | Published | Conference Paper | IST-REx-ID: 2517 |

Almagor, Shaull, Udi Boker, and Orna Kupferman. “Formalizing and Reasoning about Quality.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_3.

[Submitted Version] View | Files available | DOI

[8]

2013 | Published | Conference Paper | IST-REx-ID: 1387 |

Boker, Udi, Denis Kuperberg, Orna Kupferman, and Michał Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_11.

[Submitted Version] View | Files available | DOI

[7]

2012 | Published | Conference Paper | IST-REx-ID: 2891 |

Boker, Udi, and Thomas A Henzinger. “Approximate Determinization of Quantitative Automata.” In Leibniz International Proceedings in Informatics, 18:362–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012. https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362.

[Published Version] View | Files available | DOI

[6]

2012 | Published | Journal Article | IST-REx-ID: 494

Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.” ACM Transactions on Computational Logic (TOCL). ACM, 2012. https://doi.org/10.1145/2362355.2362357.

View | DOI

[5]

2011 | Published | Conference Paper | IST-REx-ID: 3326 |

Almagor, Shaull, Udi Boker, and Orna Kupferman. “What’s Decidable about Weighted Automata ,” 6996:482–91. Springer, 2011. https://doi.org/10.1007/978-3-642-24372-1_37.

[Submitted Version] View | Files available | DOI

[4]

2011 | Published | Conference Paper | IST-REx-ID: 3327

Boker, Udi, and Orna Kupferman. “Co-Büching Them All.” edited by Martin Hofmann, 6604:184–98. Springer, 2011. https://doi.org/10.1007/978-3-642-19805-2_13.

View | DOI

[3]

2011 | Published | Conference Paper | IST-REx-ID: 3356 |

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.33.

[Submitted Version] View | Files available | DOI

[2]

2011 | Published | Conference Paper | IST-REx-ID: 3360 |

Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,” 12:82–96. Springer, 2011. https://doi.org/10.4230/LIPIcs.CSL.2011.82.

[Published Version] View | Files available | DOI

[1]

2011 | Published | Technical Report | IST-REx-ID: 5385 |

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.

[Published Version] View | Files available | DOI

Grants

14 Publications

Mark all

[14]

2023 | Published | Conference Paper | IST-REx-ID: 13221 |

[Published Version] View | Files available | DOI | arXiv

[13]

2015 | Published | Technical Report | IST-REx-ID: 5439 |

Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015. https://doi.org/10.15479/AT:IST-2015-335-v1-1.

[Published Version] View | Files available | DOI

[12]

2015 | Published | Conference Paper | IST-REx-ID: 1659 |

Boker, Udi, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.” In LICS, 750–61. Logic in Computer Science. IEEE, 2015. https://doi.org/10.1109/LICS.2015.74.

[Submitted Version] View | Files available | DOI

[11]

2014 | Published | Journal Article | IST-REx-ID: 2038 |

[Submitted Version] View | Files available | DOI

[10]

2014 | Published | Conference Paper | IST-REx-ID: 2239

Boker, Udi, Thomas A Henzinger, and Arjun Radhakrishna. “Battery Transition Systems,” 49:595–606. ACM, 2014. https://doi.org/10.1145/2535838.2535875.

View | DOI

[9]

2013 | Published | Conference Paper | IST-REx-ID: 2517 |

Almagor, Shaull, Udi Boker, and Orna Kupferman. “Formalizing and Reasoning about Quality.” Lecture Notes in Computer Science. Springer, 2013. https://doi.org/10.1007/978-3-642-39212-2_3.

[Submitted Version] View | Files available | DOI

[8]

2013 | Published | Conference Paper | IST-REx-ID: 1387 |

[Submitted Version] View | Files available | DOI

[7]

2012 | Published | Conference Paper | IST-REx-ID: 2891 |

[Published Version] View | Files available | DOI

[6]

2012 | Published | Journal Article | IST-REx-ID: 494

Boker, Udi, and Orna Kupferman. “Translating to Co-Büchi Made Tight, Unified, and Useful.” ACM Transactions on Computational Logic (TOCL). ACM, 2012. https://doi.org/10.1145/2362355.2362357.

View | DOI

[5]

2011 | Published | Conference Paper | IST-REx-ID: 3326 |

Almagor, Shaull, Udi Boker, and Orna Kupferman. “What’s Decidable about Weighted Automata ,” 6996:482–91. Springer, 2011. https://doi.org/10.1007/978-3-642-24372-1_37.

[Submitted Version] View | Files available | DOI

[4]

2011 | Published | Conference Paper | IST-REx-ID: 3327

Boker, Udi, and Orna Kupferman. “Co-Büching Them All.” edited by Martin Hofmann, 6604:184–98. Springer, 2011. https://doi.org/10.1007/978-3-642-19805-2_13.

View | DOI

[3]

2011 | Published | Conference Paper | IST-REx-ID: 3356 |

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.” IEEE, 2011. https://doi.org/10.1109/LICS.2011.33.

[Submitted Version] View | Files available | DOI

[2]

2011 | Published | Conference Paper | IST-REx-ID: 3360 |

Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,” 12:82–96. Springer, 2011. https://doi.org/10.4230/LIPIcs.CSL.2011.82.

[Published Version] View | Files available | DOI

[1]

2011 | Published | Technical Report | IST-REx-ID: 5385 |

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011. https://doi.org/10.15479/AT:IST-2011-0003.

[Published Version] View | Files available | DOI

Udi Boker

14 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Grants

14 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Udi Boker

14 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options

Grants

14 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options