Author Search Results :: UTM Library Massive Scholar Tracking

1

A Robust Specification Theory for Modal Event-Clock Automata by Uli Fahrenberg, Axel Legay

Published 2012-07-01

Get full text

Article
2

*-Continuous Kleene ω-Algebras for Energy Problems by Zoltán Ésik, Uli Fahrenberg, Axel Legay

Published 2015-09-01

Get full text

Article
3

$An $\omega$-Algebra for Real-Time Energy Problems$

An $\omega$-Algebra for Real-Time Energy Problems by David Cachera, Uli Fahrenberg, Axel Legay

Published 2019-05-01

Get full text

Article
4

Distances for Weighted Transition Systems: Games and Properties by Uli Fahrenberg, Claus Thrane, Kim G. Larsen

Published 2011-07-01

Get full text

Article
5

Sculptures in Concurrency by Uli Fahrenberg, Christian Johansen, Christopher A. Trotter, Krzysztof Ziemiański

Published 2021-04-01

Get full text

Article
6

Refinement and Difference for Probabilistic Automata by Benoît Delahaye, Uli Fahrenberg, Kim G. Larsen, Axel Legay

Published 2014-08-01

Get full text

Article