Karsten Wolf - Google Scholar Citations

Cited by

	All	Since 2014
Citations	3686	1206
h-index	30	17
i10-index	63	32

360

180

270

19961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201911 21 4 6 23 19 24 26 28 95 135 188 255 320 307 293 322 345 311 274 185 130 166 139

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 AalstRWTH Aachen UniversityVerified 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
Jana KoehlerProfessor of Computer Science, Saarland University/DFKIVerified email at dfki.de
Christian GierdsHumboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesVerified email at hvl.no
Alexander SerebrenikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Natalia SidorovaTechnische Universiteit EindhovenVerified email at tue.nl
Antti ValmariUniversity of JyväskyläVerified email at jyu.fi
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Eike BestUniversität OldenburgVerified email at informatik.uni-oldenburg.de
Stefan RybackiUniversity of RostockVerified email at informatik.uni-rostock.de
Adelinde UhrmacherUniversity of RostockVerified email at uni-rostock.de
Stephan MennickeInstitute for Programming and Reactive Systems, TU BraunschweigVerified email at ifis.cs.tu-bs.de
Jan SürmeliDepartment of Computer Science, Humboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de
Artur NiewiadomskiSiedlce UniversityVerified email at uph.edu.pl
Mathias WeskeProfessor of Computer Science, Hasso Plattner Institute, University of PotsdamVerified email at hpi.uni-potsdam.de

Karsten Wolf

Professor für Informatik, Universität Rostock

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

Petri Nets Model Checking Open Systems


Title	Cited by	Year
Transforming BPEL to Petri nets S Hinz, K Schmidt, C Stahl International conference on business process management, 220-235, 2005	410	2005
Lola a low level analyser K Schmidt International Conference on Application and Theory of Petri Nets, 465-474, 2000	234	2000
An operating guideline approach to the SOA P Massuthe, W Reisig, K Schmidt Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005	220	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	162	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	158	2009
Operating guidelines for finite-state services N Lohmann, P Massuthe, K Wolf International Conference on Application and Theory of Petri Nets, 321-341, 2007	153	2007
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	151	2011
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	129	2009
Modeling and model checking web services H Schlingloff, A Martens, K Schmidt Electronic Notes in Theoretical Computer Science 126, 3-26, 2005	108	2005
Does my service have partners? K Wolf Transactions on Petri Nets and Other Models of Concurrency II, 152-171, 2009	106	2009
Generating Petri net state spaces K Wolf International Conference on Application and Theory of Petri Nets, 29-42, 2007	96	2007
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	91	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, 1-6, 2004	89	2004
Controllability of Open Workflow Nets. K Schmidt EMISA 75, 236-249, 2005	77	2005
Reducing adapter synthesis to controller synthesis C Gierds, AJ Mooij, K Wolf IEEE Transactions on Services Computing 5 (1), 72-85, 2010	75	2010
How to calculate symmetries of Petri nets K Schmidt Acta Informatica 36 (7), 545-590, 2000	70	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	60	2008
Stubborn sets for standard properties K Schmidt International Conference on Application and Theory of Petri nets, 46-65, 1999	54	1999
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	53	2005
Realizability is controllability N Lohmann, K Wolf International Workshop on Web Services and Formal Methods, 110-127, 2009	48	2009

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