Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
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
University 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
University 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
Louvain 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
University 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