Christian Stahl 个人学术档案

引用次数

	总计	2019 年至今
引用	3173	392
h 指数	25	10
i10 指数	37	11

280

140

210

20042005200620072008200920102011201220132014201520162017201820192020202120222023202413 81 114 121 220 252 243 233 220 275 248 237 158 124 150 102 66 69 70 60 25

开放获取的出版物数量

查看全部

11 篇文章

1 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

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

关注

Christian Stahl

Department of Computer Science, Eindhoven University of Technology

在 tue.nl 的电子邮件经过验证 - 首页

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


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Transforming BPEL to Petri nets S Hinz, K Schmidt, C Stahl Business Process Management, 220-235, 2005	457	2005
Modeling business processes: a petri net-oriented approach W van der Aalst, C Stahl MIT press, 2011	343	2011
Analyzing interacting BPEL processes N Lohmann, P Massuthe, C Stahl, D Weinberg Business Process Management, 17-32, 2006	201	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	191	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	150	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	110	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	109	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	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	59	2010

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用