Person:1036524

Available identifiers

zbMath Open boker.udiMaRDI QIDQ1036524

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124927	2024-04-10	Paper
https://portal.mardi4nfdi.de/entity/Q6187054	2024-02-05	Paper
Token Games and History-Deterministic Quantitative-Automata	2024-01-23	Paper
On the translation of automata to linear temporal logic	2024-01-23	Paper
Token Games and History-Deterministic Quantitative-Automata	2024-01-16	Paper
On the comparison of discounted-sum automata with multiple discount factors	2023-11-24	Paper
Quantitative vs. weighted automata	2023-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5875380	2023-02-03	Paper
What is the Church-Turing Thesis?	2022-12-13	Paper
On the Way to Alternating Weak Automata	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089314	2022-07-18	Paper
What's decidable about weighted automata?	2022-01-06	Paper
Automaton-Based Criteria for Membership in CTL	2021-01-20	Paper
Rabin vs. Streett Automata	2020-11-25	Paper
How Deterministic are Good-For-Games Automata?	2020-11-25	Paper
Honest Computability and Complexity	2020-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q5114824	2020-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q5111179	2020-05-26	Paper
Inherent size blowup in \(\omega\)-automata	2019-10-15	Paper
Why These Automata Types?	2019-07-04	Paper
Formally Reasoning About Quality	2018-08-02	Paper
The Target Discounted-Sum Problem	2018-04-23	Paper
Families of DFAs as Acceptors of omega-Regular Languages	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4603446	2018-02-20	Paper
Approximate Determinization of Quantitative Automata	2017-01-26	Paper
Translating to Co-Büchi Made Tight, Unified, and Useful	2015-09-17	Paper
Temporal Specifications with Accumulative Values	2015-09-17	Paper
Discounting in LTL	2015-02-10	Paper
Battery transition systems	2014-04-10	Paper
Exact and Approximate Determinization of Discounted-Sum Automata	2014-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q2851702	2013-10-02	Paper
Formalizing and Reasoning about Quality	2013-08-07	Paper
Nondeterminism in the Presence of a Diverse or Unknown Future	2013-08-07	Paper
Determinizing discounted-sum automata	2012-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q2908872	2012-08-29	Paper
What’s Decidable about Weighted Automata?	2011-10-07	Paper
Co-Büching Them All	2011-05-19	Paper
Alternation Removal in Büchi Automata	2010-09-07	Paper
Three Paths to Effectiveness	2010-09-03	Paper
The Quest for a Tight Translation of Büchi to co-Büchi Automata	2010-09-03	Paper
The influence of domain interpretations on computational models	2009-11-13	Paper
The Church-Turing Thesis over Arbitrary Domains	2008-03-25	Paper
Comparing Computational Power	2007-02-15	Paper
A hypercomputational alien	2006-08-04	Paper
New Computational Paradigms	2006-01-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Udi Boker