Josef Widder
Impact in
-
- Formal Methods in Verification
- Petri Nets in System Modeling
-
- Distributed systems and fault tolerance
- Optimization and Search Problems
- Age of Information Optimization
Papers in
-
- Distributed systems and fault tolerance 56
- Optimization and Search Problems 12
- Interconnection Networks and Systems 9
- Software System Performance and Reliability 6
-
- Formal Methods in Verification 24
- Petri Nets in System Modeling 10
- Co-authors
- Igor Konnov (30 shared papers)Helmut Veith (15 shared papers)Ulrich Schmid (7 shared papers)Martin Hutle (6 shared papers)Roderick Bloem (4 shared papers)Sasha Rubin (4 shared papers)Ayrat Khalimov (3 shared papers)Swen Jacobs (3 shared papers)
- Journals
- Lecture notes in computer science (30 papers)Distributed Computing (3 papers)Logical Methods in Computer Science (2 papers)International Journal on Software Tools for Technology Transfer (2 papers)ACM Transactions on Algorithms (1 paper)
- Partner nations
- AustriaFranceUnited States
In The Last Decade
Josef Widder
64 papers receiving 781 citations
Peers
Comparison fields: 5 of 26
- Computational Theory and Mathematics 466
- Computer Networks and Communications 650
- Hardware and Architecture 155
- Software 75
- Artificial Intelligence 214
Countries citing papers authored by Josef Widder
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
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-authors
The 25 scholars most cited alongside Josef Widder, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
Showing the 20 most-cited of 64 papers — load more, or switch the sort, to bring in the rest.
| # | Work | ||
|---|---|---|---|
| 1 | 2016 | 60 | |
| 2 | 2013 | 55 | |
| 3 | 2015 | 41 | |
| 4 | 2007 | 40 | |
| 5 | 2014 | 40 | |
| 6 | 2015 | 36 | |
| 7 | 2016 | 36 | |
| 8 | 2013 | 34 | |
| 9 | 2015 | 29 | |
| 10 | 2009 | 24 | |
| 11 | 2018 | 20 | |
| 12 | 2005 | 19 | |
| 13 | 2007 | 18 | |
| 14 | 2014 | 18 | |
| 15 | 2017 | 17 | |
| 16 | 2014 | 16 | |
| 17 | 2017 | 15 | |
| 18 | 2019 | 15 | |
| 19 | 2019 | 15 | |
| 20 | 2006 | 14 |
About Josef Widder
Josef Widder is a scholar working on Computer Networks and Communications, Computational Theory and Mathematics, Hardware and Architecture, Electrical and Electronic Engineering and Artificial Intelligence, having authored 64 papers that have together received 803 indexed citations. Recurring topics across this work include Distributed systems and fault tolerance (56 papers), Formal Methods in Verification (24 papers), Optimization and Search Problems (12 papers), Parallel Computing and Optimization Techniques (12 papers), Petri Nets in System Modeling (10 papers), Real-Time Systems Scheduling (9 papers), Interconnection Networks and Systems (9 papers) and Software System Performance and Reliability (6 papers). The work is most often cited by research in Computational Theory and Mathematics (466 citations), Computer Networks and Communications (650 citations), Hardware and Architecture (155 citations), Software (75 citations) and Artificial Intelligence (214 citations). Josef Widder has collaborated with scholars based in Austria, France and United States. Frequent co-authors include Igor Konnov, Helmut Veith, Ulrich Schmid, Martin Hutle, Roderick Bloem, Sasha Rubin, Ayrat Khalimov, Swen Jacobs, Martin Biely and Bernadette Charron-Bost. Their work appears in journals such as Lecture notes in computer science, Distributed Computing, Logical Methods in Computer Science, International Journal on Software Tools for Technology Transfer and ACM Transactions on Algorithms.
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.