Niels Lohmann

Cited by

	All	Since 2016
Citations	3018	697
h-index	29	14
i10-index	43	21

320

160

240

200620072008200920102011201220132014201520162017201820192020202110 60 199 266 258 287 294 287 302 289 178 151 143 115 95 15

Public access

View all

14 articles

1 article

available

not available

Based on funding mandates

Co-authors

Karsten WolfProfessor für Informatik, Universität RostockVerified email at informatik.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
Dirk FahlandAssociate Professor in Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Eric VerbeekScientific Engineer, Eindhoven University of TechnologyVerified email at tue.nl
Oliver KoppMercedes-Benz AG, GermanyVerified email at daimler.com
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
Jana KoehlerProfessor of Computer Science, Saarland University, DFKIVerified email at dfki.de
Wolfgang ReisigHumboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de
Frank LeymannProfessor of Computer Science, University of Stuttgart, Germany, Member Academia EuropaeaVerified email at iaas.uni-stuttgart.de
Gero DeckerSignavioVerified email at signavio.com
Marcello La RosaSchool of Computing and Information Systems, University of MelbourneVerified email at unimelb.edu.au
Remco DijkmanEindhoven University of TechnologyVerified email at tue.nl
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Chun OuyangQueensland University of TechnologyVerified email at qut.edu.au
Kai LampkaChief Expert & Technology Manager @ Elektrobit Automotive, Docent @ TU Kaiserslautern (part-time)Verified email at elektrobit.com
Rafael AccorsiDirector @ PwC Digital ServicesVerified email at pwc.com
Alistair BarrosProfessor, Information Systems School, QUTVerified email at qut.edu.au
Martin NyoltUniversity of RostockVerified email at uni-rostock.de
Christian GierdsHumboldt-Universität zu BerlinVerified email at informatik.hu-berlin.de

Niels Lohmann

Universität Rostock

Verified email at uni-rostock.de - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A feature-complete Petri net semantics for WS-BPEL 2.0 N Lohmann International Workshop on Web Services and Formal Methods, 77-91, 2007	262	2007
Petri net transformations for business processes–a survey N Lohmann, E Verbeek, R Dijkman Transactions on petri nets and other models of concurrency II, 46-63, 2009	228	2009
Analyzing interacting BPEL processes N Lohmann, P Massuthe, C Stahl, D Weinberg International Conference on Business Process Management, 17-32, 2006	187	2006
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	175	2010
Analyzing interacting WS-BPEL processes using flexible model generation N Lohmann, P Massuthe, C Stahl, D Weinberg Data & Knowledge Engineering 64 (1), 38-54, 2008	169	2008
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	168	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	158	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	158	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	98	2007
Diagnosing and repairing data anomalies in process models A Awad, G Decker, N Lohmann International Conference on Business Process Management, 5-16, 2009	93	2009
Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. N Lohmann, J Kleine Modellierung 12, 14, 2008	73	2008
Compliance by design for artifact-centric business processes N Lohmann Information Systems 38 (4), 606-618, 2013	72	2013
Correcting deadlocking service choreographies using a simulation-based graph edit distance N Lohmann International Conference on Business Process Management, 132-147, 2008	69	2008
Comparing and evaluating Petri net semantics for BPEL N Lohmann, E Verbeek, C Ouyang, C Stahl International Journal of Business Process Integration and Management 4 (1 …, 2009	68	2009
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	68	2008
Analyzing BPEL4Chor: Verification and participant synthesis N Lohmann, O Kopp, F Leymann, W Reisig International Workshop on Web Services and Formal Methods, 46-60, 2007	67	2007
Correctness ensuring process configuration: An approach based on partner synthesis W Van Der Aalst, N Lohmann, M La Rosa, J Xu International Conference on Business Process Management, 95-111, 2010	61	2010
Ensuring correctness during process configuration via partner synthesis WMP van der Aalst, N Lohmann, M La Rosa Information Systems 37 (6), 574-592, 2012	60	2012
Artifact-centric choreographies N Lohmann, K Wolf International conference on service-oriented computing, 32-46, 2010	57	2010
Realizability is controllability N Lohmann, K Wolf International Workshop on Web Services and Formal Methods, 110-127, 2009	54	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