Christian Stahl

Citado por

	Total	Desde 2018
Citas	3116	489
Índice h	25	11
Índice i10	36	13

280

140

210

2004200520062007200820092010201120122013201420152016201720182019202020212022202313 82 112 125 223 263 228 232 216 274 252 230 159 125 144 99 70 67 71 38

Acceso público

Ver todo

11 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

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

Seguir

Christian Stahl

Department of Computer Science, Eindhoven University of Technology

Dirección de correo verificada de tue.nl - Página principal

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


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Transforming BPEL to Petri nets S Hinz, K Schmidt, C Stahl Business Process Management, 220-235, 2005	454	2005
Modeling business processes: a petri net-oriented approach W van der Aalst, C Stahl MIT press, 2011	324	2011
Analyzing interacting BPEL processes N Lohmann, P Massuthe, C Stahl, D Weinberg Business Process Management, 17-32, 2006	200	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	187	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	152	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	124	2004
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
Declarative Modeling–An Academic Dream or the Future for BPM? HA Reijers, T Slaats, C Stahl Business Process Management, 307-322, 2013	104	2013
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	102	2004
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	97	2011
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	79	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	76	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	72	2009
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
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	72	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	70	2007
Transformation von BPEL4WS in Petrinetze C Stahl Master’s thesis, Humboldt University, Berlin, Germany, 2004	60	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	58	2010

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores