search result

Cover von Reversible Pebble Transducers

Reversible Pebble Transducers

Year: 2025
Media group: LIPIcs
Cover von FO-Definable Transformations of Infinite Strings

FO-Definable Transformations of Infinite Strings

Year: 2016
Media group: LIPIcs
Cover von Logic and Its Applications
6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 8923
Media group: MONOGRAPHIE
Cover von Synthesis of Computable Regular Functions of Infinite Words

Synthesis of Computable Regular Functions of Infinite Words

Year: 2020
Media group: LIPIcs
Cover von On Synthesis of Resynchronizers for Transducers

On Synthesis of Resynchronizers for Transducers

Year: 2019
Media group: LIPIcs
Cover von Logics Meet 1-Clock Alternating Timed Automata

Logics Meet 1-Clock Alternating Timed Automata

Year: 2018
Media group: LIPIcs
Cover von Making Metric Temporal Logic Rational

Making Metric Temporal Logic Rational

Year: 2017
Media group: LIPIcs
Cover von Towards an Efficient Tree Automata Based Technique for Timed Systems

Towards an Efficient Tree Automata Based Technique for Timed Systems

Year: 2017
Media group: LIPIcs
Cover von Mean-Payoff Games on Timed Automata

Mean-Payoff Games on Timed Automata

Year: 2016
Media group: LIPIcs
Cover von Analyzing Timed Systems Using Tree Automata

Analyzing Timed Systems Using Tree Automata

Year: 2016
Media group: LIPIcs
OPEN V 11.1.0.0