Dirk Taubner
Impact in
-
- Formal Methods in Verification
- Petri Nets in System Modeling
- Software top 10%
- Software Reliability and Analysis Research
Papers in
-
- Formal Methods in Verification 8
- Petri Nets in System Modeling 4
- Cellular Automata and Applications 1
-
- Logic, programming, and type systems 4
- Co-authors
- Thomas Filkorn (1 shared paper)Zoltán Ésik (1 shared paper)Stephen L. Bloom (1 shared paper)Frank Leymann (1 shared paper)Donald Kossmann (1 shared paper)Walter Vogler (1 shared paper)Andreas Scholz (1 shared paper)
- Journals
- Acta Informatica (2 papers)Distributed Computing (1 paper)Formal Methods in System Design (1 paper)Information and Computation (1 paper)Information Processing Letters (1 paper)
- Partner nations
- GermanyUnited States
In The Last Decade
Dirk Taubner
10 papers receiving 104 citations
Peers
Comparison fields: 5 of 26
- Computational Theory and Mathematics 100
- Software 21
- Management Information Systems 23
- Artificial Intelligence 68
- Hardware and Architecture 9
Countries citing papers authored by Dirk Taubner
This map shows the geographic impact of Dirk Taubner'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 Dirk Taubner with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Dirk Taubner more than expected).
Fields of papers citing papers by Dirk Taubner
This network shows the impact of papers produced by Dirk Taubner. 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 Dirk Taubner. The network helps show where Dirk Taubner may publish in the future.
Co-authors
The 7 scholars most cited alongside Dirk Taubner, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 1989 | 50 | |
| 2 | 1993 | 25 | |
| 3 | 1993 | 14 | |
| 4 | 1989 | 13 | |
| 5 | 2004 | 9 | |
| 6 | 1994 | 5 | |
| 7 | 1989 | 4 | |
| 8 | Process algebra techniques for verification of SDL-diagrams | 1992 | 2 |
| 9 | 1990 | 2 | |
| 10 | 1991 | 1 |
About Dirk Taubner
Dirk Taubner is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Software, Management Information Systems and Computer Networks and Communications, having authored 10 papers that have together received 125 indexed citations. Recurring topics across this work include Formal Methods in Verification (8 papers), Petri Nets in System Modeling (4 papers), Logic, programming, and type systems (4 papers), Business Process Modeling and Analysis (2 papers), Model-Driven Software Engineering Techniques (2 papers), Software Reliability and Analysis Research (1 paper), Cellular Automata and Applications (1 paper) and Embedded Systems Design Techniques (1 paper). The work is most often cited by research in Computational Theory and Mathematics (100 citations), Software (21 citations), Management Information Systems (23 citations), Artificial Intelligence (68 citations) and Hardware and Architecture (9 citations). Dirk Taubner has collaborated with scholars based in Germany and United States. Frequent co-authors include Thomas Filkorn, Zoltán Ésik, Stephen L. Bloom, Frank Leymann, Donald Kossmann, Walter Vogler and Andreas Scholz. Their work appears in journals such as Acta Informatica, Distributed Computing, Formal Methods in System Design, Information and Computation and Information Processing Letters.
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.