Karsten Wolf - Google Scholar

Cited by

	All	Since 2015
Citations	3826	1012
h-index	30	16
i10-index	63	27

360

180

270

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202011 22 4 6 23 19 32 26 29 94 135 192 256 324 310 303 325 346 317 275 187 132 165 159 94

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
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 SerebrenikFull Professor of Social Software Engineering, 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 MennickeKnowledge-based Systems Group, TU DresdenVerified email at tu-dresden.de
Jan SürmeliFZI Forschungszentrum InformatikVerified email at fzi.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 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	418	2005
Lola a low level analyser K Schmidt International Conference on Application and Theory of Petri Nets, 465-474, 2000	250	2000
An operating guideline approach to the SOA P Massuthe, W Reisig, K Schmidt Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005	221	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	165	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	163	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	153	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	153	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	133	2009
Modeling and model checking web services H Schlingloff, A Martens, K Schmidt Electronic Notes in Theoretical Computer Science 126, 3-26, 2005	111	2005
Does my service have partners? K Wolf Transactions on Petri Nets and Other Models of Concurrency II, 152-171, 2009	105	2009
Generating Petri net state spaces K Wolf International Conference on Application and Theory of Petri Nets, 29-42, 2007	97	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	89	2004
Controllability of open workflow nets K Schmidt Enterprise Modelling and Information Systems Architectures, 2005	81	2005
Reducing adapter synthesis to controller synthesis C Gierds, AJ Mooij, K Wolf IEEE Transactions on Services Computing 5 (1), 72-85, 2010	79	2010
How to calculate symmetries of Petri nets K Schmidt Acta Informatica 36 (7), 545-590, 2000	78	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	64	2008
Stubborn sets for standard properties K Schmidt International Conference on Application and Theory of Petri nets, 46-65, 1999	56	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	54	2005
Realizability is controllability N Lohmann, K Wolf International Workshop on Web Services and Formal Methods, 110-127, 2009	50	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