Karsten Wolf

인용

	전체	2019년 이후
서지정보	4600	728
h-index	35	16
i10-index	75	24

400

200

100

300

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202422 21 50 28 33 100 140 192 252 383 317 320 333 365 304 350 198 148 175 165 173 99 116 108 67

공개 액세스

모두 보기

자료 18개

자료 0개

공개

비공개

재정 지원 요구사항 기준

공동 저자

Niels LohmannUniversität Rostockuni-rostock.de의 이메일 확인됨
Christian StahlDepartment of Computer Science, Eindhoven University of Technologytue.nl의 이메일 확인됨
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/epads.rwth-aachen.de의 이메일 확인됨
Wolfgang ReisigHumboldt-Universität zu Berlininformatik.hu-berlin.de의 이메일 확인됨
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of Technologytue.nl의 이메일 확인됨
Christian RohrBTU Cottbus-Senftenbergb-tu.de의 이메일 확인됨
Jana KoehlerProfessor of Computer Science, Lucerne University of Applied Sciences and Artshslu.ch의 이메일 확인됨
Jiri SrbaProfessor of Computer Science, Aalborg Universitycs.aau.dk의 이메일 확인됨
Jeroen MeijerEijsinkeijsink.nl의 이메일 확인됨
Loïg JezequelUniversité de Nantes, LS2Nls2n.fr의 이메일 확인됨
Elvio Gilberto AmparoreUniversità di Torinodi.unito.it의 이메일 확인됨
Christian GierdsHumboldt-Universität zu Berlininformatik.hu-berlin.de의 이메일 확인됨
Barbara JobstmannScientist at EPFLepfl.ch의 이메일 확인됨
Silvano Dal ZilioResearcher, LAAS-CNRSlaas.fr의 이메일 확인됨
Peter Gjøl JensenAssociate Professor at Aalborg Universitycs.aau.dk의 이메일 확인됨
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied Scienceshvl.no의 이메일 확인됨
Holger Schlingloffschlingloff.de의 이메일 확인됨
Simon MoserIBM Deutschland Research & Development GmbHde.ibm.com의 이메일 확인됨
Alexander SerebrenikFull Professor of Social Software Engineering, Computer Science, Eindhoven University of Technologytue.nl의 이메일 확인됨
Natalia SidorovaTechnische Universiteit Eindhoventue.nl의 이메일 확인됨

팔로우

Karsten Wolf

Professor für Informatik, Universität Rostock

uni-rostock.de의 이메일 확인됨 - 홈페이지

Petri Nets Model Checking Open Systems


제목 서지정보순 정렬 연도순 정렬 제목순 정렬	인용 인용	연도
Transforming BPEL to Petri nets S Hinz, K Schmidt, C Stahl Business Process Management: 3rd International Conference, BPM 2005, Nancy …, 2005	458	2005
Lola a low level analyser K Schmidt Application and Theory of Petri Nets 2000: 21st International Conference …, 2000	297	2000
An operating guideline approach to the SOA P Massuthe, W Reisig, K Schmidt Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005	238	2005
Instantaneous soundness checking of industrial business process models D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ... Business Process Management: 7th International Conference, BPM 2009, Ulm …, 2009	195	2009
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
Analysis on demand: Instantaneous soundness checking of industrial business process models D Fahland, C Favre, J Koehler, N Lohmann, H Völzer, K Wolf Data & Knowledge Engineering 70 (5), 448-466, 2011	187	2011
Operating guidelines for finite-state services N Lohmann, P Massuthe, K Wolf International Conference on Application and Theory of Petri Nets, 321-341, 2007	165	2007
Service interaction: Patterns, formalization, and analysis WMP van der Aalst, AJ Mooij, C Stahl, K Wolf Formal Methods for Web Services: 9th International School on Formal Methods …, 2009	151	2009
Does my service have partners? K Wolf Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009	116	2009
Modeling and model checking web services H Schlingloff, A Martens, K Schmidt Electronic Notes in Theoretical Computer Science 126, 3-26, 2005	114	2005
Generating Petri net state spaces K Wolf International Conference on Application and Theory of Petri Nets, 29-42, 2007	111	2007
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: 4th International Workshop, WS-FM 2007 …, 2008	110	2008
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 …, 2004	103	2004
How to calculate symmetries of Petri nets K Schmidt Acta Informatica 36, 545-590, 2000	95	2000
Controllability of open workflow nets K Schmidt Enterprise Modelling and Information Systems Architectures, 2005	88	2005
Reducing adapter synthesis to controller synthesis C Gierds, AJ Mooij, K Wolf IEEE Transactions on Services Computing 5 (1), 72-85, 2010	85	2010
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
Stubborn sets for standard properties K Schmidt Application and Theory of Petri Nets 1999: 20th International Conference …, 1999	71	1999
Realizability is controllability N Lohmann, K Wolf International Workshop on Web Services and Formal Methods, 110-127, 2009	66	2009
Petri net model checking with LoLA 2 K Wolf Application and Theory of Petri Nets and Concurrency: 39th International …, 2018	64	2018

현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.

학술자료 1–20

연간 인용횟수

중복된 서지정보

병합된 서지정보

공동 저자 추가공동 저자

팔로우

인용

공동 저자