Karsten Wolf

Cited by

	All	Since 2018
Citations	4333	700
h-index	32	15
i10-index	72	26

380

190

285

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202322 4 6 22 23 48 26 32 97 137 181 261 346 310 326 327 361 321 344 195 142 173 154 156 99 109 8

Public access

View all

15 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 || Celonis || Fraunhofer FIT || TU/eVerified 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, Lucerne University of Applied Sciences and ArtsVerified email at hslu.ch
Jiri SrbaProfessor of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Jeroen MeijerEijsinkVerified email at eijsink.nl
Loïg JezequelUniversité de Nantes, LS2NVerified email at ls2n.fr
Christian GierdsHumboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de
Elvio Gilberto AmparoreUniversità di TorinoVerified email at di.unito.it
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
Holger SchlingloffVerified email at schlingloff.de
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
Simon MoserIBM Deutschland Research & Development GmbHVerified email at de.ibm.com
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 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 Business Process Management: 3rd International Conference, BPM 2005, Nancy …, 2005	455	2005
Lola a low level analyser K Schmidt Application and Theory of Petri Nets 2000: 21st International Conference …, 2000	287	2000
An operating guideline approach to the SOA P Massuthe, W Reisig, K Schmidt Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005	228	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	182	2010
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	182	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	171	2011
Operating guidelines for finite-state services N Lohmann, P Massuthe, K Wolf Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007	161	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	147	2009
Modeling and model checking web services H Schlingloff, A Martens, K Schmidt Electronic Notes in Theoretical Computer Science 126, 3-26, 2005	113	2005
Does my service have partners? K Wolf Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009	108	2009
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	108	2008
Generating Petri net state spaces K Wolf Petri Nets and Other Models of Concurrency–ICATPN 2007: 28th International …, 2007	101	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	101	2004
How to calculate symmetries of Petri nets K Schmidt Acta Informatica 36, 545-590, 2000	89	2000
Reducing adapter synthesis to controller synthesis C Gierds, AJ Mooij, K Wolf IEEE Transactions on Services Computing 5 (1), 72-85, 2010	85	2010
Controllability of open workflow nets K Schmidt Enterprise Modelling and Information Systems Architectures, 2005	85	2005
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	71	2008
Stubborn sets for standard properties K Schmidt Application and Theory of Petri Nets 1999: 20th International Conference …, 1999	69	1999
Realizability is controllability N Lohmann, K Wolf Web Services and Formal Methods: 6th International Workshop, WS-FM 2009 …, 2010	58	2010
Artifact-centric choreographies N Lohmann, K Wolf Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010	57	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