Karsten Wolf - Google Scholar Citations

Cited by

	All	Since 2015
Citations	3709	939
h-index	29	16
i10-index	62	24

340

170

255

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202011 21 4 6 23 19 23 26 27 94 141 188 255 322 310 295 316 340 312 277 190 134 167 160 11

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 Information 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	413	2005
Lola a low level analyser K Schmidt International Conference on Application and Theory of Petri Nets, 465-474, 2000	237	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	163	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	157	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	154	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	150	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	130	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	104	2009
Generating Petri net state spaces K Wolf International Conference on Application and Theory of Petri Nets, 29-42, 2007	95	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 11th Workshop on Algorithms and Tools for Petri Nets, 2004	90	2004
Controllability of open workflow nets K Schmidt Enterprise Modelling and Information Systems Architectures, 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	76	2010
How to calculate symmetries of Petri nets K Schmidt Acta Informatica 36 (7), 545-590, 2000	71	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	62	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	51	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