Synthical logo
Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Contacts
About
Simple
Original

Articles by Uli Fahrenberg

Myhill-Nerode Theorem for Higher-Dimensional Automata
Yesterday by Uli Fahrenberg and Krzysztof Ziemiański
Formal Languages and Automata Theory
Kleene Theorem for Higher-Dimensional Automata
5 August 2024 by Uli Fahrenberg and others
Formal Languages and Automata Theory, Algebraic Topology
ω-Regular Energy Problems
19 July 2024 by Sven Dziadek and others
Logic in Computer Science
Bisimulations and Logics for Higher-Dimensional Automata
19 July 2024 by Safa Zouari and others at LogoUniversity of Warsaw
Logic in Computer Science, Formal Languages and Automata Theory
Closure and Decision Properties for Higher-Dimensional Automata
18 July 2024 by Amazigh Amrane and others
Formal Languages and Automata Theory
Presenting Interval Pomsets with Interfaces
1
18 July 2024 by Amazigh Amrane and others at LogoUniversity of Warsaw
Formal Languages and Automata Theory
Languages of Higher-Dimensional Timed Automata
22 May 2024 by Amazigh Amrane and others
Formal Languages and Automata Theory, Logic in Computer Science
Logic and Languages of Higher-Dimensional Automata
28 March 2024 by Amazigh Amrane and others
Formal Languages and Automata Theory, Logic in Computer Science
Posets with Interfaces as a Model for Concurrency
4 November 2022 by Uli Fahrenberg and others
Formal Languages and Automata Theory
A Generic Approach to Quantitative Verification
24 April 2022 by Uli Fahrenberg
Logic in Computer Science
Generating Posets with Interfaces
5 March 2022 by Olavi Äikäs and others
Combinatorics
Languages of Higher-Dimensional Automata
3 September 2021 by Uli Fahrenberg and others
Formal Languages and Automata Theory
lr-Multisemigroups and Modal Convolution Algebras
1 May 2021 by Uli Fahrenberg and others
Logic in Computer Science, Rings and Algebras
Domain Semirings United
22 March 2021 by Uli Fahrenberg and others
Logic in Computer Science
Behavioral Specification Theories: an Algebraic Taxonomy
23 September 2020 by Uli Fahrenberg and Axel Legay
Logic in Computer Science
Sculptures in Concurrency
31 May 2020 by Uli Fahrenberg and others
Logic in Computer Science
Featured Games
13 May 2020 by Uli Fahrenberg and Axel Legay at LogoLouvain School of Management
Logic in Computer Science, Software Engineering
Computing Branching Distances Using Quantitative Games
20 October 2019 by Uli Fahrenberg and others
Logic in Computer Science
Generating Posets Beyond N
14 October 2019 by Uli Fahrenberg and others
Formal Languages and Automata Theory, Combinatorics
Optimal and Robust Controller Synthesis: using Energy Timed Automata with Uncertainty
3 May 2018 by Giovanni Bacci and others
Formal Languages and Automata Theory, Systems and Control
An ω-Algebra for Real-Time Energy Problems
16 March 2018 by David Cachera and others
Logic in Computer Science, Formal Languages and Automata Theory
Higher-Dimensional Timed Automata
20 February 2018 by Uli Fahrenberg
Logic in Computer Science, Systems and Control
Featured Weighted Automata
27 February 2017 by Uli Fahrenberg and Axel Legay
Formal Languages and Automata Theory, Logic in Computer Science
Compositionality for Quantitative Specifications
8 February 2017 by Uli Fahrenberg and others
Logic in Computer Science
A Linear-Time Branching-Time Spectrum of Behavioral Specification Theories
5 July 2016 by Uli Fahrenberg and Axel Legay
Logic in Computer Science
Long-Term Average Cost in Featured Transition Systems
22 April 2016 by Rafael Olaechea and others
Software Engineering
*-Continuous Kleene ω-Algebras for Energy Problems
10 September 2015 by Zoltán Ésik and others at LogoUniversity of Szeged
Logic in Computer Science, Formal Languages and Automata Theory
*-Continuous Kleene ω-Algebras
6 January 2015 by Zoltán Ésik and others
Formal Languages and Automata Theory
Homotopy Bisimilarity for Higher-Dimensional Automata
20 September 2014 by Uli Fahrenberg and Axel Legay
Logic in Computer Science, Category Theory
Tropical Fourier-Motzkin elimination, with an application to real-time verification
25 June 2014 by Xavier Allamigeon and others
Combinatorics, Logic in Computer Science
Load more