Karsten Wolf

1.6k total citations
30 papers, 317 citations indexed

About

Karsten Wolf is a scholar working on Information Systems, Management Information Systems and Computational Theory and Mathematics. According to data from OpenAlex, Karsten Wolf has authored 30 papers receiving a total of 317 indexed citations (citations by other indexed papers that have themselves been cited), including 19 papers in Information Systems, 18 papers in Management Information Systems and 13 papers in Computational Theory and Mathematics. Recurrent topics in Karsten Wolf's work include Service-Oriented Architecture and Web Services (19 papers), Business Process Modeling and Analysis (18 papers) and Petri Nets in System Modeling (12 papers). Karsten Wolf is often cited by papers focused on Service-Oriented Architecture and Web Services (19 papers), Business Process Modeling and Analysis (18 papers) and Petri Nets in System Modeling (12 papers). Karsten Wolf collaborates with scholars based in Germany, Netherlands and Italy. Karsten Wolf's co-authors include Niels Lohmann, Christian Stahl, Peter Massuthe, Jana Koehler, Hagen Völzer, Dirk Fahland, Wil M. P. van der Aalst, Arjan J. Mooij, Dieter König and Simon Moser and has published in prestigious journals such as Lecture notes in computer science, The Computer Journal and IEEE Transactions on Services Computing.

In The Last Decade

Karsten Wolf

24 papers receiving 297 citations

Peers

Karsten Wolf
Niels Lohmann Germany
Eric Verbeek Netherlands
Hagen Völzer Germany
Irina A. Lomazova Russia
Karim Keddara United States
Riccardo De Masellis Italy
Axel Martens United States
Rachid Hamadi Australia
M. Emilia Cambronero Spain
S. Kumaran United States
Niels Lohmann Germany
Karsten Wolf
Citations per year, relative to Karsten Wolf Karsten Wolf (= 1×) peers Niels Lohmann

Countries citing papers authored by Karsten Wolf

Since Specialization
Citations

This map shows the geographic impact of Karsten Wolf'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 Karsten Wolf with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Karsten Wolf more than expected).

Fields of papers citing papers by Karsten Wolf

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Karsten Wolf. 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 Karsten Wolf. The network helps show where Karsten Wolf may publish in the future.

Co-authorship network of co-authors of Karsten Wolf

This figure shows the co-authorship network connecting the top 25 collaborators of Karsten Wolf. A scholar is included among the top collaborators of Karsten Wolf 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 Karsten Wolf. Karsten Wolf is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Wolf, Karsten. (2018). Interleaving Based Model Checking of Concurrency and Causality. Fundamenta Informaticae. 161(4). 423–445. 3 indexed citations
2.
3.
Wolf, Karsten. (2014). The Petri net twist in explicit model checking. Software & Systems Modeling. 14(2). 711–717. 3 indexed citations
4.
Wolf, Karsten, et al.. (2012). Applying CEGAR to the Petri Net State Equation. Logical Methods in Computer Science. Volume 8, Issue 3. 4 indexed citations
5.
Rinderle‐Ma, Stefanie, Farouk Toumani, & Karsten Wolf. (2011). Business process management : 9th International Conference, BPM 2011, Clermont-Ferrand, France, August 30-September 2, 2011 : proceedings. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 1 indexed citations
6.
Lohmann, Niels & Karsten Wolf. (2011). Compact Representations and Efficient Algorithms for Operating Guidelines. Fundamenta Informaticae. 108(1-2). 43–62. 6 indexed citations
7.
Rinderle‐Ma, Stefanie, Farouk Toumani, & Karsten Wolf. (2011). Proceedings of the 9th international conference on Business process management. 15 indexed citations
8.
Fahland, Dirk, et al.. (2011). Analysis on demand: Instantaneous soundness checking of industrial business process models. Data & Knowledge Engineering. 70(5). 448–466. 78 indexed citations
9.
Stahl, Christian, et al.. (2009). A finite representation of all substitutable services and its applications. TU/e Research Portal. 29–34. 1 indexed citations
10.
Bruni, Roberto & Karsten Wolf. (2009). Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milano, Italia, September 4-5, 2008. Lecture notes in computer science. 5387. 1 indexed citations
11.
Wolf, Karsten. (2009). A theory of service behavior.. 1–7.
12.
Bruni, Roberto & Karsten Wolf. (2009). Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers. Springer eBooks. 2 indexed citations
13.
Stahl, Christian & Karsten Wolf. (2009). Deciding service composition and substitutability using extended operating guidelines. Data & Knowledge Engineering. 68(9). 819–833. 18 indexed citations
14.
Franceschinis, G. & Karsten Wolf. (2009). Proceedings of the 30th International Conference on Applications and Theory of Petri Nets. 2 indexed citations
15.
Lohmann, Niels & Karsten Wolf. (2009). Petrifying Operating Guidelines for Services. TU/e Research Portal. 483. 80–88. 8 indexed citations
16.
Wolf, Karsten, et al.. (2008). Specifying and generating behavioral service adapters based on transformation rules. TU/e Research Portal (Eindhoven University of Technology). 4 indexed citations
17.
Wolf, Karsten. (2008). On Synthesizing Behavior that Is Aware of Semantical Constraints.. 49–54. 1 indexed citations
18.
Massuthe, Peter, Alexander Serebrenik, Natalia Sidorova, & Karsten Wolf. (2008). Can I find a partner? Undecidability of partner existence for open nets. Information Processing Letters. 108(6). 374–378. 15 indexed citations
19.
Stahl, Christian & Karsten Wolf. (2008). An approach to tackle livelock-freedom in SOA. TU/e Research Portal. 69–74. 1 indexed citations
20.
Reisig, Wolfgang, et al.. (2007). Challenges in a Service-Oriented World.. ERCIM news/ERCIM news online edition. 2007.

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

Breakdown of academic impact, for papers by Niels Lohmann Breakdown of academic impact, for papers by Eric Verbeek Breakdown of academic impact, for papers by Hagen Völzer Breakdown of academic impact, for papers by Irina A. Lomazova Breakdown of academic impact, for papers by Karim Keddara Breakdown of academic impact, for papers by Riccardo De Masellis Breakdown of academic impact, for papers by Axel Martens Breakdown of academic impact, for papers by Rachid Hamadi Breakdown of academic impact, for papers by M. Emilia Cambronero Breakdown of academic impact, for papers by S. Kumaran
Rankless by CCL
2026