Statistics
Publications
77
Citations
2K
H-Index
27
Active since
1987
Ulrich Schmid is an author at TU Wien specializing in computer science, computer engineering, and computing.
Publications per year
1987–2023
77
77
Parameterized model checking of fault-tolerant distributed algorithms by abstraction
Annu John, Igor Konnov, Ulrich Schmid et al. · 2013 · 69 citations
Interval-based Clock Synchronization
Ulrich Schmid, K. Schossmaier · Real-Time Systems · 1997 · 66 citations
1–5 of 77