Karsten Wolf

Cited by

	All	Since 2016
Citations	4028	815
h-index	31	15
i10-index	66	26

360

180

270

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202110 23 4 6 22 19 30 28 29 96 142 197 261 335 309 309 329 350 321 304 188 145 160 162 137 22

Public access

View all

16 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Niels LohmannUniversität RostockVerified email at uni-rostock.de
Christian StahlDepartment of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Fraunhofer FIT || TU/e || TiUVerified email at pads.rwth-aachen.de
Wolfgang ReisigHumboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Christian RohrBTU Cottbus-SenftenbergVerified email at b-tu.de
Jana KoehlerProfessor of Computer Science, Saarland University, DFKIVerified email at dfki.de
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Jeroen MeijerEijsinkVerified email at eijsink.nl
Christian GierdsHumboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de
Loïg JezequelUniversité de Nantes, LS2NVerified email at ls2n.fr
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Elvio Gilberto AmparoreUniversità di TorinoVerified email at di.unito.it
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
Holger SchlingloffVerified email at schlingloff.de
Simon MoserIBM Deutschland Research & Development GmbHVerified email at de.ibm.com
Andrew MinerComputer Science, Iowa State UniversityVerified email at iastate.edu
Silvano Dal ZilioResearcher, LAAS-CNRSVerified email at laas.fr
Peter Gjøl JensenAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Alexander SerebrenikFull Professor of Social Software Engineering, Computer Science, Eindhoven University of TechnologyVerified email at tue.nl

Karsten Wolf

Professor für Informatik, Universität Rostock

Verified email at informatik.uni-rostock.de - Homepage

Petri Nets Model Checking Open Systems


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 International conference on business process management, 220-235, 2005	438	2005
Lola a low level analyser K Schmidt International Conference on Application and Theory of Petri Nets, 465-474, 2000	266	2000
An operating guideline approach to the SOA P Massuthe, W Reisig, K Schmidt Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005	227	2005
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	175	2010
Instantaneous soundness checking of industrial business process models D Fahland, C Favre, B Jobstmann, J Koehler, N Lohmann, H Völzer, ... International Conference on Business Process Management, 278-293, 2009	168	2009
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	158	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	158	2007
Service interaction: Patterns, formalization, and analysis WMP van der Aalst, AJ Mooij, C Stahl, K Wolf International School on Formal Methods for the Design of Computer …, 2009	139	2009
Modeling and model checking web services H Schlingloff, A Martens, K Schmidt Electronic Notes in Theoretical Computer Science 126, 3-26, 2005	112	2005
Does my service have partners? K Wolf Transactions on Petri Nets and Other Models of Concurrency II, 152-171, 2009	107	2009
Generating Petri net state spaces K Wolf International Conference on Application and Theory of Petri Nets, 29-42, 2007	100	2007
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	99	2004
From public views to private views–correctness-by-design for services WMP Van Der Aalst, N Lohmann, P Massuthe, C Stahl, K Wolf International Workshop on Web Services and Formal Methods, 139-153, 2007	98	2007
Controllability of open workflow nets K Schmidt Enterprise Modelling and Information Systems Architectures, 2005	83	2005
Reducing adapter synthesis to controller synthesis C Gierds, AJ Mooij, K Wolf IEEE Transactions on Services Computing 5 (1), 72-85, 2010	80	2010
How to calculate symmetries of Petri nets K Schmidt Acta Informatica 36 (7), 545-590, 2000	80	2000
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	68	2008
Stubborn sets for standard properties K Schmidt International Conference on Application and Theory of Petri nets, 46-65, 1999	59	1999
Artifact-centric choreographies N Lohmann, K Wolf International Conference on Service-Oriented Computing, 32-46, 2010	57	2010
Operating guidelines-an automata-theoretic foundation for the service-oriented architecture P Massuthe, K Schmidt Quality Software, 2005.(QSIC 2005). Fifth International Conference on, 452-457, 2005	55	2005

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

Upload PDF

Follow this author

Cited by

Co-authors