OpenAlex
Josef Widder
Author
View works
Alternate names Josef Widder, J. M. Widder
Institution TU Wien
Past institutions TU Wien, Informa (United Kingdom), Institute of Information Science, Texas A&M University, École Polytechnique +2 more
ORCID: Yes
H-index: 19
I10-index: 36
Works count: 98
Citations count: 1,141
Top works
Decidability in Parameterized Verification
2016 · Roderick Bloem, Swen Jacobs, et al. · ACM SIGACT News
Parameterized model checking of fault-tolerant distributed algorithms by abstraction
2013 · Annu John, Igor Konnov, et al. · Formal Methods in Computer-Aided Design
Tolerating corrupted communication
2007 · Martin Biely, Josef Widder, et al.
Key stats
year
open access
topic
type