Denis Kuperberg

Available identifiers

zbMath Open kuperberg.denisMaRDI QIDQ651315

List of research outcomes

Publication	Date of Publication	Type
Cyclic proofs for transfinite expressions	2024-04-10	Paper
Positive First-order Logic on Words and Graphs	2023-08-26	Paper
Cyclic Proofs and Jumping Automata	2023-02-03	Paper
Büchi Good-for-Games Automata Are Efficiently Recognizable	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5089228	2022-07-18	Paper
Coinductive Algorithms for Büchi Automata	2021-10-25	Paper
Positive first-order logic on words	2021-01-06	Paper
Width of Non-deterministic Automata	2020-08-05	Paper
Kleene algebra with hypotheses	2020-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5207047	2020-01-03	Paper
Sensing as a Complexity Measure	2019-12-10	Paper
Eventually safe languages	2019-10-15	Paper
Coinductive algorithms for Büchi automata	2019-10-15	Paper
On finite domains in first-order linear temporal logic	2018-10-25	Paper
Two-way cost automata and cost logics over infinite trees	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4608664	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q4601881	2018-01-24	Paper
Varieties of Cost Functions	2018-01-24	Paper
https://portal.mardi4nfdi.de/entity/Q3130542	2018-01-23	Paper
Sensing as a complexity measure	2017-08-31	Paper
Stamina: stabilisation monoids in automata theory	2017-08-22	Paper
https://portal.mardi4nfdi.de/entity/Q5275381	2017-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q2978510	2017-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q2958524	2017-02-02	Paper
ACME: Automata with Counters, Monoids and Equivalence	2015-12-17	Paper
Trading Bounds for Memory in Games with Counters	2015-11-04	Paper
On Determinisation of Good-for-Games Automata	2015-11-04	Paper
Linear Temporal Logic for Regular Cost Functions	2014-03-24	Paper
Nondeterminism in the Presence of a Diverse or Unknown Future	2013-08-07	Paper
On the Expressive Power of Cost Logics over Infinite Words	2012-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q2911613	2012-08-31	Paper
https://portal.mardi4nfdi.de/entity/Q3113725	2012-01-23	Paper
Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation	2011-12-12	Paper
Regular Temporal Cost Functions	2010-09-07	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: Denis Kuperberg