Karsten Wolf

Citado por

	Total	Desde 2018
Citas	4462	772
Índice h	33	16
Índice i10	74	29

400

200

100

300

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 22 4 6 22 21 50 28 34 99 140 184 254 382 308 319 331 369 307 349 198 143 170 161 156 101 114 69

Acceso público

Ver todo

17 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Niels LohmannUniversität RostockDirección de correo verificada de uni-rostock.de
Christian StahlDepartment of Computer Science, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Wil van der AalstProfessor of Process and Data Science, RWTH Aachen University || Celonis || Fraunhofer FIT || TU/eDirección de correo verificada de pads.rwth-aachen.de
Wolfgang ReisigHumboldt-Universität zu BerlinDirección de correo verificada de informatik.hu-berlin.de
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyDirección de correo verificada de tue.nl
Christian RohrBTU Cottbus-SenftenbergDirección de correo verificada de b-tu.de
Jana KoehlerProfessor of Computer Science, Lucerne University of Applied Sciences and ArtsDirección de correo verificada de hslu.ch
Jiri SrbaProfessor of Computer Science, Aalborg UniversityDirección de correo verificada de cs.aau.dk
Jeroen MeijerEijsinkDirección de correo verificada de eijsink.nl
Loïg JezequelUniversité de Nantes, LS2NDirección de correo verificada de ls2n.fr
Christian GierdsHumboldt-Universität zu BerlinDirección de correo verificada de informatik.hu-berlin.de
Elvio Gilberto AmparoreUniversità di TorinoDirección de correo verificada de di.unito.it
Barbara JobstmannScientist at EPFLDirección de correo verificada de epfl.ch
Lars M KristensenProfessor in Computer Science - Western Norway University of Applied SciencesDirección de correo verificada de hvl.no
Andrew MinerComputer Science, Iowa State UniversityDirección de correo verificada de iastate.edu
Silvano Dal ZilioResearcher, LAAS-CNRSDirección de correo verificada de laas.fr
Peter Gjøl JensenAssistant Professor at Aalborg UniversityDirección de correo verificada de cs.aau.dk
Holger SchlingloffDirección de correo verificada de schlingloff.de
Simon MoserIBM Deutschland Research & Development GmbHDirección de correo verificada de de.ibm.com
Alexander SerebrenikFull Professor of Social Software Engineering, Computer Science, Eindhoven University of TechnologyDirección de correo verificada de tue.nl

Seguir

Karsten Wolf

Professor für Informatik, Universität Rostock

Dirección de correo verificada de uni-rostock.de - Página principal

Petri Nets Model Checking Open Systems


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Transforming BPEL to Petri nets S Hinz, K Schmidt, C Stahl Business Process Management: 3rd International Conference, BPM 2005, Nancy …, 2005	454	2005
Lola a low level analyser K Schmidt Application and Theory of Petri Nets 2000: 21st International Conference …, 2000	292	2000
An operating guideline approach to the SOA P Massuthe, W Reisig, K Schmidt Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät …, 2005	234	2005
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	187	2009
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	186	2010
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	176	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	164	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	114	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
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
Generating Petri net state spaces K Wolf International Conference on Application and Theory of Petri Nets, 29-42, 2007	107	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	102	2004
Controllability of open workflow nets K Schmidt Enterprise Modelling and Information Systems Architectures, 2005	89	2005
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
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	70	1999
Realizability is controllability N Lohmann, K Wolf International Workshop on Web Services and Formal Methods, 110-127, 2009	60	2009
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	60	2005

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores