|
+
|
Kleene Theorem for Higher-Dimensional Automata
|
2024
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
|
|
+
|
Myhill-Nerode Theorem for Higher-Dimensional Automata
|
2024
|
Uli Fahrenberg
Krzysztof Ziemiański
|
|
+
|
ω-Regular Energy Problems
|
2024
|
Sven Dziadek
Uli Fahrenberg
Philipp Schlehuber
|
|
+
PDF
Chat
|
Logic and Languages of Higher-Dimensional Automata
|
2024
|
Amazigh Amrane
Hugo Bazille
Uli Fahrenberg
Marie Fortin
|
|
+
PDF
Chat
|
Presenting Interval Pomsets with Interfaces
|
2024
|
Amazigh Amrane
Hugo Bazille
Emily Clément
Uli Fahrenberg
Krzysztof Ziemiański
|
|
+
PDF
Chat
|
Bisimulations and Logics for Higher-Dimensional Automata
|
2024
|
Safa Zouari
Krzysztof Ziemiański
Uli Fahrenberg
|
|
+
PDF
Chat
|
Languages of Higher-Dimensional Timed Automata
|
2024
|
Amazigh Amrane
Hugo Bazille
Emily Clément
Uli Fahrenberg
|
|
+
|
Logic and Languages of Higher-Dimensional Automata
|
2024
|
Amazigh Amrane
Hugo Bazille
Uli Fahrenberg
Marie Fortin
|
|
+
|
Energy Büchi Problems
|
2023
|
Sven Dziadek
Uli Fahrenberg
Philipp Schlehuber-Caissier
|
|
+
|
Closure and Decision Properties for Higher-Dimensional Automata
|
2023
|
Amazigh Amrane
Hugo Bazille
Uli Fahrenberg
Krzysztof Ziemiański
|
|
+
|
A Myhill-Nerode Theorem for Higher-Dimensional Automata
|
2023
|
Uli Fahrenberg
Krzysztof Ziemiański
|
|
+
|
A Kleene Theorem for Higher-Dimensional Automata
|
2022
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
|
|
+
|
Posets with interfaces as a model for concurrency
|
2022
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
|
|
+
|
Kleene Theorem for Higher-Dimensional Automata
|
2022
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
|
|
+
|
Generating Posets with Interfaces
|
2022
|
Olavi Äikäs
Uli Fahrenberg
Christian Johansen
Krzysztof Ziemiański
|
|
+
|
Myhill-Nerode Theorem for Higher-Dimensional Automata
|
2022
|
Uli Fahrenberg
Krzysztof Ziemiański
|
|
+
|
Energy Büchi Problems
|
2022
|
Sven Dziadek
Uli Fahrenberg
Philipp Schlehuber-Caissier
|
|
+
|
A Generic Approach to Quantitative Verification
|
2022
|
Uli Fahrenberg
Aline Fahrenberg
|
|
+
|
Posets with Interfaces for Concurrent Kleene Algebra.
|
2021
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
|
|
+
|
lr-Multisemigroups and Modal Convolution Algebras.
|
2021
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
|
|
+
PDF
Chat
|
Languages of higher-dimensional automata
|
2021
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
|
|
+
|
Languages of Higher-Dimensional Automata
|
2021
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
|
|
+
|
Posets with Interfaces as a Model for Concurrency
|
2021
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
|
|
+
|
lr-Multisemigroups and Modal Convolution Algebras
|
2021
|
Uli Fahrenberg
Christian Johnsen
Georg Struth
Krzysztof Ziemiański
|
|
+
|
Languages of Higher-Dimensional Automata
|
2021
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiański
|
|
+
|
Domain Semirings United.
|
2020
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemianksi
|
|
+
PDF
Chat
|
Optimal and robust controller synthesis using energytimed automata with uncertainty
|
2020
|
Giovanni Bacci
Patricia Bouyer
Uli Fahrenberg
Kim G. Larsen
Nicolas Markey
Pierre-Alain Reynier
|
|
+
|
Behavioral Specification Theories: an Algebraic Taxonomy
|
2020
|
Uli Fahrenberg
Axel Legay
|
|
+
|
Featured Games.
|
2020
|
Uli Fahrenberg
Axel Legay
|
|
+
PDF
Chat
|
Generating Posets Beyond N
|
2020
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Ratan Bahadur Thapa
|
|
+
PDF
Chat
|
Behavioral Specification Theories: An Algebraic Taxonomy
|
2020
|
Uli Fahrenberg
Axel Legay
|
|
+
|
Domain Semirings United
|
2020
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Krzysztof Ziemiánski
|
|
+
|
Behavioral Specification Theories: an Algebraic Taxonomy
|
2020
|
Uli Fahrenberg
Axel Legay
|
|
+
|
Featured Games
|
2020
|
Uli Fahrenberg
Axel Legay
|
|
+
|
Computing Branching Distances Using Quantitative Games
|
2019
|
Uli Fahrenberg
Axel Legay
Karin Quaas
|
|
+
PDF
Chat
|
A linear-time–branching-time spectrum for behavioral specification theories
|
2019
|
Uli Fahrenberg
Axel Legay
|
|
+
|
Generating Posets Beyond N.
|
2019
|
Uli Fahrenberg
Christian Johansen
Georg Struth
Ratan Bahadur Thapa
|
|
+
|
Generating Posets Beyond N
|
2019
|
Uli Fahrenberg
Johansen Christian
Georg Struth
Bahadur Thapa Ratan
|
|
+
PDF
Chat
|
Computing Branching Distances Using Quantitative Games
|
2019
|
Uli Fahrenberg
Axel Legay
Karin Quaas
|
|
+
|
Computing Branching Distances Using Quantitative Games
|
2019
|
Uli Fahrenberg
Axel Legay
Karin Quaas
|
|
+
|
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty
|
2018
|
Giovanni Bacci
Patricia Bouyer
Uli Fahrenberg
Kim G. Larsen
Nicolas Markey
Pierre-Alain Reynier
|
|
+
|
Higher-Dimensional Timed Automata
|
2018
|
Uli Fahrenberg
|
|
+
|
Sculptures in Concurrency
|
2018
|
Uli Fahrenberg
Christian Johansen
Christopher Alexander Trotter
Krzysztof Ziemiański
|
|
+
|
Higher-Dimensional Timed Automata
|
2018
|
Uli Fahrenberg
|
|
+
|
Sculptures in Concurrency.
|
2018
|
Uli Fahrenberg
Christian Johansen
Christopher Alexander Trotter
Krzysztof Ziemiański
|
|
+
|
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty
|
2018
|
Giovanni Bacci
Patricia Bouyer
Uli Fahrenberg
Kim G. Larsen
Nicolas Markey
Pierre-Alain Reynier
|
|
+
|
Higher-Dimensional Timed Automata
|
2018
|
Uli Fahrenberg
|
|
+
|
Featured weighted automata
|
2017
|
Uli Fahrenberg
Axel Legay
|
|
+
PDF
Chat
|
Featured Weighted Automata
|
2017
|
Uli Fahrenberg
Axel Legay
|
|
+
|
An $ω$-Algebra for Real-Time Energy Problems
|
2017
|
David Cachera
Uli Fahrenberg
Axel Legay
|
|
+
PDF
Chat
|
A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories
|
2017
|
Uli Fahrenberg
Axel Legay
|
|
+
|
Featured Weighted Automata
|
2017
|
Uli Fahrenberg
Axel Legay
|
|
+
PDF
Chat
|
Long-term average cost in featured transition systems
|
2016
|
Rafael Olaechea
Uli Fahrenberg
Joanne M. Atlee
Axel Legay
|
|
+
|
Long-Term Average Cost in Featured Transition Systems
|
2016
|
Rafael Olaechea
Uli Fahrenberg
Joanne M. Atlee
Axel Legay
|
|
+
|
A Linear-Time Branching-Time Spectrum for Behavioral Specification Theories
|
2016
|
Uli Fahrenberg
Axel Legay
|
|
+
|
Long-Term Average Cost in Featured Transition Systems
|
2016
|
Rafael Olaechea
Uli Fahrenberg
Joanne M. Atlee
Axel Legay
|
|
+
PDF
Chat
|
*-Continuous Kleene ω-Algebras for Energy Problems
|
2015
|
Zoltán Ésik
Uli Fahrenberg
Axel Legay
|
|
+
PDF
Chat
|
-Continuous Kleene ω-Algebras
|
2015
|
Zoltán Ésik
Uli Fahrenberg
Axel Legay
|
|
+
PDF
Chat
|
-Continuous Kleene ω-Algebras
|
2015
|
Zoltán Ésik
Uli Fahrenberg
Axel Legay
|
|
+
|
*-Continuous Kleene $\omega$-Algebras
|
2015
|
Zoltán Ésik
Uli Fahrenberg
Axel Legay
|
|
+
|
Compositionality for Quantitative Specifications
|
2015
|
Uli Fahrenberg
Jan Křetínský
Axel Legay
Louis‐Marie Traonouez
|
|
+
|
*-Continuous Kleene $ω$-Algebras
|
2015
|
Zoltán Ésik
Uli Fahrenberg
Axel Legay
|
|
+
PDF
Chat
|
Refinement and Difference for Probabilistic Automata
|
2014
|
Benoît Delahaye
Uli Fahrenberg
Kim G. Larsen
Axel Legay
|
|
+
PDF
Chat
|
Tropical Fourier–Motzkin elimination, with an application to real-time verification
|
2014
|
Xavier Allamigeon
Uli Fahrenberg
Stéphane Gaubert
Ricardo D. Katz
Axel Legay
|
|
+
|
Measuring Structural Distances between Texts.
|
2014
|
Uli Fahrenberg
Fabrizio Biondi
Kevin Corre
Cyrille Jégourel
Simon Kongshøj
Axel Legay
|
|
+
|
Measuring Global Similarity between Texts
|
2014
|
Uli Fahrenberg
Fabrizio Biondi
Kevin Corre
Cyrille Jégourel
Simon Kongshøj
Axel Legay
|
|
+
|
Structural Refinement for the Modal nu-Calculus
|
2014
|
Uli Fahrenberg
Axel Legay
Louis‐Marie Traonouez
|
|
+
|
Homotopy Bisimilarity for Higher-Dimensional Automata
|
2014
|
Uli Fahrenberg
Axel Legay
|
|
+
|
Measuring Global Similarity Between Texts
|
2014
|
Uli Fahrenberg
Fabrizio Biondi
Kevin Corre
Cyrille Jégourel
Simon Kongshøj
Axel Legay
|
|
+
|
Structural Refinement for the Modal nu-Calculus
|
2014
|
Uli Fahrenberg
Axel Legay
Louis‐Marie Traonouez
|
|
+
|
Measuring Global Similarity between Texts
|
2014
|
Uli Fahrenberg
Fabrizio Biondi
Kevin Corre
Cyrille Jégourel
Simon Kongshøj
Axel Legay
|
|
+
|
Structural Refinement for the Modal nu-Calculus
|
2014
|
Uli Fahrenberg
Axel Legay
Louis‐Marie Traonouez
|
|
+
|
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
|
2013
|
Uli Fahrenberg
Axel Legay
|
|
+
|
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
|
2013
|
Nikola Beneš
Benoît Delahaye
Uli Fahrenberg
Jan Křetínský
Axel Legay
|
|
+
PDF
Chat
|
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
|
2013
|
Nikola Beneš
Benoît Delahaye
Uli Fahrenberg
Jan Křetínský
Axel Legay
|
|
+
|
Kleene Algebras and Semimodules for Energy Problems
|
2013
|
Zoltán Ésik
Uli Fahrenberg
Axel Legay
Karin Quaas
|
|
+
|
Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
|
2013
|
Nikola Beneš
Benoît Delahaye
Uli Fahrenberg
Jan Křetínský
Axel Legay
|
|
+
|
Kleene Algebras and Semimodules for Energy Problems
|
2013
|
Zoltán Ésik
Uli Fahrenberg
Axel Legay
Karin Quaas
|
|
+
|
Proceedings Quantities in Formal Methods
|
2012
|
Uli Fahrenberg
Axel Legay
Claus Thrane
|
|
+
|
Proceedings Quantities in Formal Methods
|
2012
|
Uli Fahrenberg
Axel Legay
Claus Thrane
|
|
+
PDF
Chat
|
Weighted modal transition systems
|
2012
|
Sebastian Bauer
Uli Fahrenberg
Line Juhl
Kim G. Larsen
Axel Legay
Claus Thrane
|
|
+
PDF
Chat
|
A Robust Specification Theory for Modal Event-Clock Automata
|
2012
|
Uli Fahrenberg
Axel Legay
|
|
+
|
Weighted Modal Transition Systems
|
2012
|
Sebastian Bauer
Uli Fahrenberg
Line Juhl
Kim G. Larsen
Axel Legay
Claus Thrane
|
|
+
PDF
Chat
|
Distances for Weighted Transition Systems: Games and Properties
|
2011
|
Uli Fahrenberg
Claus Thrane
Kim G. Larsen
|
|
+
|
Reparametrizations of continuous paths
|
2006
|
Uli Fahrenberg
Martin Raußen
|