Karsten Wolf

Citado por

	Todos	Desde 2020
Citações	4639	597
Índice h	35	15
Índice i10	75	20

400

200

100

300

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202522 20 50 28 33 100 142 192 252 383 317 321 333 366 304 350 198 146 175 166 176 100 116 108 92 5

Acesso público

Ver tudo

18 artigos

0 artigos

disponível

não disponível

Com base em autorizações de financiamento

Coautores

Niels LohmannUniversität RostockEmail confirmado em uni-rostock.de
Christian StahlDepartment of Computer Science, Eindhoven University of TechnologyEmail confirmado em tue.nl
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eEmail confirmado em pads.rwth-aachen.de
Wolfgang ReisigHumboldt-Universität zu BerlinEmail confirmado em informatik.hu-berlin.de
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyEmail confirmado em tue.nl
Christian RohrBTU Cottbus-SenftenbergEmail confirmado em b-tu.de
Jiri SrbaProfessor of Computer Science, Aalborg UniversityEmail confirmado em cs.aau.dk
Jeroen MeijerEijsinkEmail confirmado em eijsink.nl
Jana KoehlerProfessor of Computer Science, Lucerne University of Applied Sciences and ArtsEmail confirmado em hslu.ch
Loïg JezequelUniversité de Nantes, LS2NEmail confirmado em ls2n.fr
Elvio Gilberto AmparoreUniversità di TorinoEmail confirmado em di.unito.it
Christian GierdsHumboldt-Universität zu BerlinEmail confirmado em informatik.hu-berlin.de
Silvano Dal ZilioResearcher, LAAS-CNRSEmail confirmado em laas.fr
Peter Gjøl JensenAssociate Professor at Aalborg UniversityEmail confirmado em cs.aau.dk
Barbara JobstmannScientist at EPFLEmail confirmado em epfl.ch
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesEmail confirmado em hvl.no
Holger SchlingloffEmail confirmado em schlingloff.de
Simon MoserIBM Deutschland Research & Development GmbHEmail confirmado em de.ibm.com
Alexander SerebrenikFull Professor of Social Software Engineering, Computer Science, Eindhoven University of TechnologyEmail confirmado em tue.nl
Natalia SidorovaTechnische Universiteit EindhovenEmail confirmado em tue.nl

Seguir

Karsten Wolf

Professor für Informatik, Universität Rostock

Email confirmado em uni-rostock.de - Página inicial

Petri Nets Model Checking Open Systems


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Transforming BPEL to Petri nets S Hinz, K Schmidt, C Stahl Business Process Management: 3rd International Conference, BPM 2005, Nancy …, 2005	459	2005
Lola a low level analyser K Schmidt Application and Theory of Petri Nets 2000: 21st International Conference …, 2000	300	2000
An operating guideline approach to the SOA P Massuthe, W Reisig, K Schmidt Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005	238	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	195	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	195	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	188	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	165	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	152	2009
Does my service have partners? K Wolf Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009	116	2009
Modeling and model checking web services H Schlingloff, A Martens, K Schmidt Electronic Notes in Theoretical Computer Science 126, 3-26, 2005	114	2005
Generating Petri net state spaces K Wolf International Conference on Application and Theory of Petri Nets, 29-42, 2007	113	2007
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	110	2008
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	103	2004
How to calculate symmetries of Petri nets K Schmidt Acta Informatica 36, 545-590, 2000	96	2000
Controllability of open workflow nets K Schmidt Enterprise Modelling and Information Systems Architectures, 2005	88	2005
Reducing adapter synthesis to controller synthesis C Gierds, AJ Mooij, K Wolf IEEE Transactions on Services Computing 5 (1), 72-85, 2010	85	2010
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	72	2008
Stubborn sets for standard properties K Schmidt Application and Theory of Petri Nets 1999: 20th International Conference …, 1999	72	1999
Petri net model checking with LoLA 2 K Wolf Application and Theory of Petri Nets and Concurrency: 39th International …, 2018	67	2018
Realizability is controllability N Lohmann, K Wolf International Workshop on Web Services and Formal Methods, 110-127, 2009	66	2009

O sistema não pode efectuar a operação agora. Tente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações unidas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores