Scholar
Uli Fahrenberg
Google Scholar ID: QGOLyXEAAAAJ
Laboratoire de recherche de l'EPITA (LRE)
formal methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
748
H-index
15
i10-index
25
Publications
20
Co-authors
44
list available
Publications
6 items
Automata on Graph Alphabets
2026
Cited
0
Variants of Higher-Dimensional Automata
2026
Cited
1
B""uchi-Elgot-Trakhtenbrot Theorem for Higher-Dimensional Automata
2025
Cited
0
Higher-Dimensional Automata : Extension to Infinite Tracks
2025
Cited
0
Petri Nets and Higher-Dimensional Automata
2025
Cited
0
Languages of Higher-Dimensional Timed Automata
Applications and Theory of Petri Nets · 2024
Cited
1
Co-authors
13 total
axel legay
TRAXXEO
Kim G. Larsen
Director, Professor Aalborg University
Christian Johansen
Professor at NTNU - Norwegian University of Science and Technology
Georg Struth
University of Sheffield
Jiri Srba
Professor of Computer Science, Aalborg University
Amrane Amazigh
Laboratoire de Recherche de l'EPITA
Hugo Bazille
Laboratoire Recherche et Développement EPITA
Roberto Passerone
Professor of Electrical Engineering and Computer Sciences, University of Trento
