Uli Fahrenberg
Scholar

Uli Fahrenberg

Google Scholar ID: QGOLyXEAAAAJ
Laboratoire de recherche de l'EPITA (LRE)
formal methods
Google Scholar↗
Citations & Impact
All-time
Citations
748
 
H-index
15
 
i10-index
25
 
Publications
20
 
Co-authors
44
list available
Contact
No contact links provided.
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
Resume (English only)
Co-authors
44 total
axel legay
axel legay
TRAXXEO
Kim G. Larsen
Kim G. Larsen
Director, Professor Aalborg University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Christian Johansen
Christian Johansen
Professor at NTNU - Norwegian University of Science and Technology
Georg Struth
Georg Struth
University of Sheffield
Jiri Srba
Jiri Srba
Professor of Computer Science, Aalborg University