Josef Widder

1.1k total citations
31 papers, 239 citations indexed

About

Josef Widder is a scholar working on Computer Networks and Communications, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Josef Widder has authored 31 papers receiving a total of 239 indexed citations (citations by other indexed papers that have themselves been cited), including 28 papers in Computer Networks and Communications, 18 papers in Computational Theory and Mathematics and 7 papers in Hardware and Architecture. Recurrent topics in Josef Widder's work include Distributed systems and fault tolerance (26 papers), Formal Methods in Verification (10 papers) and Optimization and Search Problems (5 papers). Josef Widder is often cited by papers focused on Distributed systems and fault tolerance (26 papers), Formal Methods in Verification (10 papers) and Optimization and Search Problems (5 papers). Josef Widder collaborates with scholars based in Austria, France and Germany. Josef Widder's co-authors include Igor Konnov, Helmut Veith, Ulrich Schmid, Martin Hutle, Martin Biely, Bernadette Charron-Bost, Roderick Bloem, Swen Jacobs, Ayrat Khalimov and Sasha Rubin and has published in prestigious journals such as SIAM Journal on Computing, ACM SIGPLAN Notices and Information and Computation.

In The Last Decade

Josef Widder

31 papers receiving 229 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Josef Widder Austria	8	187	119	67	49	27	31	239
Ali Ebnenasir United States	10	147 0.8×	97 0.8×	70 1.0×	62 1.3×	41 1.5×	36	228
Igor Konnov Austria	7	106 0.6×	144 1.2×	88 1.3×	26 0.5×	24 0.9×	31	194
Michel Hurfin France	9	329 1.8×	74 0.6×	32 0.5×	75 1.5×	31 1.1×	34	340
Paul B. Jackson United Kingdom	7	62 0.3×	59 0.5×	99 1.5×	29 0.6×	23 0.9×	20	173
Sandra Murphy United States	7	212 1.1×	38 0.3×	86 1.3×	44 0.9×	18 0.7×	19	249
Azalea Raad United Kingdom	10	149 0.8×	54 0.5×	98 1.5×	149 3.0×	32 1.2×	21	240
J. Burns United States	6	269 1.4×	41 0.3×	36 0.5×	99 2.0×	17 0.6×	12	295
Hossein Hojjat United States	8	100 0.5×	69 0.6×	80 1.2×	34 0.7×	67 2.5×	28	220
Nicholas Ng United Kingdom	8	68 0.4×	93 0.8×	127 1.9×	89 1.8×	18 0.7×	15	181
Omar Inverso Italy	6	44 0.2×	70 0.6×	35 0.5×	44 0.9×	21 0.8×	22	118

Countries citing papers authored by Josef Widder

Since Specialization

Citations

This map shows the geographic impact of Josef Widder's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Josef Widder with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Josef Widder more than expected).

Fields of papers citing papers by Josef Widder

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Josef Widder. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Josef Widder. The network helps show where Josef Widder may publish in the future.

Co-authorship network of co-authors of Josef Widder

This figure shows the co-authorship network connecting the top 25 collaborators of Josef Widder. A scholar is included among the top collaborators of Josef Widder based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Josef Widder. Josef Widder is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Konnov, Igor, et al.. (2023). Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. Logical Methods in Computer Science. Volume 19, Issue 1. 2 indexed citations

Tran, Thanh-Hai, Igor Konnov, & Josef Widder. (2023). A case study on parametric verification of failure detectors. Logical Methods in Computer Science. Volume 19, Issue 1. 1 indexed citations

Buchman, Ethan, et al.. (2022). Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 4 indexed citations

Widder, Josef, et al.. (2020). Programming at the edge of synchrony. Proceedings of the ACM on Programming Languages. 4(OOPSLA). 1–30. 3 indexed citations

Bertrand, Nathalie, et al.. (2019). Verification of Randomized Consensus Algorithms Under Round-Rigid Adversaries. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 6 indexed citations

Konnov, Igor, et al.. (2018). Synthesis of Distributed Algorithms with Parameterized Threshold Guards. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 6 indexed citations

Konnov, Igor, et al.. (2017). Para $$^2$$ 2 : parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms. Formal Methods in System Design. 51(2). 270–307. 4 indexed citations

Konnov, Igor, Helmut Veith, & Josef Widder. (2016). On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability. Information and Computation. 252. 95–109. 21 indexed citations

Charron-Bost, Bernadette, Matthias Függer, Jennifer L. Welch, & Josef Widder. (2015). Time Complexity of Link Reversal Routing. ACM Transactions on Algorithms. 11(3). 1–39. 1 indexed citations

10.

Sastry, Srikanth & Josef Widder. (2014). Solvability-Based Comparison of Failure Detectors. 269–276. 1 indexed citations

11.

Charron-Bost, Bernadette, et al.. (2013). Link Reversal Routing with Binary Link Labels: Work Complexity. SIAM Journal on Computing. 42(2). 634–661. 2 indexed citations

12.

Konnov, Igor, et al.. (2013). Parameterized model checking of fault-tolerant distributed algorithms by abstraction. 201–209. 31 indexed citations

13.

Konnov, Igor, et al.. (2013). Brief announcement. 119–121. 1 indexed citations

14.

Konnov, Igor, Helmut Veith, & Josef Widder. (2012). Who is afraid of Model Checking Distributed Algorithms. 2 indexed citations

15.

Widder, Josef & Ulrich Schmid. (2007). Booting clock synchronization in partially synchronous systems with hybrid process and link failures. Distributed Computing. 20(2). 115–140. 13 indexed citations

16.

Biely, Martin, et al.. (2007). Tolerating corrupted communication. Infoscience (Ecole Polytechnique Fédérale de Lausanne). 244–253. 28 indexed citations

17.

Widder, Josef, et al.. (2007). Synchronous Consensus with Mortal Byzantines. 1667. 102–112. 6 indexed citations

18.

Hutle, Martin & Josef Widder. (2005). Self-Stabilizing Failure Detector Algorithms.. 485–490. 6 indexed citations

19.

Hutle, Martin & Josef Widder. (2005). Brief announcement. 208–208. 2 indexed citations

20.

Widder, Josef. (2004). Distributed computing in the presence of bounded asynchrony. reposiTUm (TU Wien). 6 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact