Christian Stahl

Cited by

	All	Since 2020
Citations	3213	323
h-index	25	9
i10-index	36	9

300

150

225

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202514 81 112 131 219 253 238 226 221 282 248 227 158 131 151 103 68 68 70 60 51 6

Public access

View all

12 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Niels LohmannUniversität RostockVerified email at uni-rostock.de
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eVerified email at pads.rwth-aachen.de
Natalia SidorovaTechnische Universiteit EindhovenVerified email at tue.nl
Michael WestergaardEindhoven Technical University (the Netherlands)Verified email at tue.nl
Richard MüllerEindhoven University of Technology and Humboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de
Milos KrsticProfessor, University of Potsdam; Department Head, IHP, Frankfurt (Oder) GermanyVerified email at ihp-microelectronics.com
Hajo A. ReijersProfessor of Computer Science, Utrecht University & Eindhoven University of TechnologyVerified email at uu.nl
Eric VerbeekScientific Engineer, Eindhoven University of TechnologyVerified email at tue.nl
Kees van HeeEmeritus Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Jose M VidalProfessor of Computer Science and Engineering, University of South CarolinaVerified email at sc.edu
Tijs SlaatsAssociate Professor at Department of Computer Science, University of CopenhagenVerified email at di.ku.dk
Chun OuyangAssociate Professor, PhD, Queensland University of TechnologyVerified email at qut.edu.au
Elham ramezaniPhD student, Mathematics and Computer Science, Eindhoven University of TechnologyVerified email at tue.nl

Christian Stahl

Department of Computer Science, Eindhoven University of Technology

Verified email at tue.nl - Homepage

Petri nets Modeling and analysis of business processes Modeling and analysis of open systems Service substitution


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Transforming BPEL to Petri nets S Hinz, K Schmidt, C Stahl Business Process Management, 220-235, 2005	460	2005
Modeling business processes: a petri net-oriented approach W van der Aalst, C Stahl MIT press, 2011	362	2011
Analyzing interacting BPEL processes N Lohmann, P Massuthe, C Stahl, D Weinberg Business Process Management, 17-32, 2006	199	2006
Multiparty contracts: Agreeing and implementing interorganizational processes WMP van der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf The Computer Journal 53 (1), 90-106, 2010	194	2010
Analyzing interacting WS-BPEL processes using flexible model generation N Lohmann, P Massuthe, C Stahl, D Weinberg Data & Knowledge Engineering 64 (1), 38-54, 2008	174	2008
Service interaction: Patterns, formalization, and analysis W van der Aalst, A Mooij, C Stahl, K Wolf Formal Methods for Web Services, 42-88, 2009	151	2009
A Petri net semantics for BPEL C Stahl Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005	133	2005
Multiagent systems with workflows JM Vidal, PA Buhler, C Stahl IEEE Internet Computing 8 (1), 76, 2004	126	2004
Declarative Modeling–An Academic Dream or the Future for BPM? HA Reijers, T Slaats, C Stahl Business Process Management, 307-322, 2013	117	2013
From public views to private views–correctness-by-design for services WMP Van Der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf Web Services and Formal Methods, 139-153, 2008	107	2008
Soundness verification for conceptual workflow nets with data: early detection of errors with the most precision possible N Sidorova, C Stahl, N Trčka Information Systems 36 (7), 1026-1043, 2011	106	2011
A petri net semantic for BPEL4WS-validation and application K Schmidt, C Stahl Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets, 1-6, 2004	103	2004
Strategies for Modeling Complex Processes Using Colored Petri Nets WMP van der Aalst, C Stahl, M Westergaard Transactions on Petri Nets and Other Models of Concurrency VII, 6-55, 2013	86	2013
Deciding substitutability of services with operating guidelines C Stahl, P Massuthe, J Bretschneider Transactions on Petri Nets and Other Models of Concurrency II, 172-191, 2009	77	2009
Comparing and evaluating Petri net semantics for BPEL N Lohmann, E Verbeek, C Ouyang, C Stahl International Journal of Business Process Integration and Management 4 (1 …, 2009	74	2009
Comparing and evaluating Petri net semantics for BPEL N Lohmann, HMW Verbeek, C Ouyang, C Stahl, WMP van der Aalst Computer Science Report 7, 23, 2007	74	2007
An SOA-based architecture framework WMP Van Der Aalst, M Beisiegel, KM Van Hee, D Konig International Journal of Business Process Integration and Management 2 (2 …, 2007	71	2007
Extending the compatibility notion for abstract WS-BPEL processes D König, N Lohmann, S Moser, C Stahl, K Wolf Proceedings of the 17th international conference on World Wide Web, 785-794, 2008	70	2008
Workflow soundness revisited: checking correctness in the presence of data while staying conceptual N Sidorova, C Stahl, N Trčka Advanced Information Systems Engineering, 530-544, 2010	61	2010
Transformation von BPEL4WS in Petrinetze C Stahl Master’s thesis, Humboldt University, Berlin, Germany, 2004	61	2004

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors