Christian Stahl

Cited by

	All	Since 2019
Citations	3205	415
h-index	25	10
i10-index	37	11

280

140

210

20042005200620072008200920102011201220132014201520162017201820192020202120222023202413 81 114 123 218 255 243 233 223 275 248 237 158 127 150 102 69 69 68 62 45

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
Eric VerbeekScientific Engineer, Eindhoven University of TechnologyVerified email at tue.nl
Hajo A. ReijersProfessor of Computer Science, Utrecht University & Eindhoven University of TechnologyVerified email at uu.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	458	2005
Modeling business processes: a petri net-oriented approach W van der Aalst, C Stahl MIT press, 2011	353	2011
Analyzing interacting BPEL processes N Lohmann, P Massuthe, C Stahl, D Weinberg Business Process Management, 17-32, 2006	202	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	175	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	132	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	115	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	110	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	109	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	84	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	78	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
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	72	2008
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
Transformation von BPEL4WS in Petrinetze C Stahl Master’s thesis, Humboldt University, Berlin, Germany, 2004	61	2004
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	60	2010

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