引用次数
引用: 3,321
H-指数: 29
I10-指数 : 43
出版物: 78
Challenges in a Service-Oriented World.
Wolfgang Reisig , Kathrin Kaschner , Niels Lohmann , Peter Massuthe
Ercim News 2007
4
2007
Does my service have unspecified behavior
Kathrin Kaschner , Niels Lohmann
ZEUS 22 -28
1
2009
Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes
Niels Lohmann , Jens Kleine
Modellierung 57 -72
32
2008
Web Report on the Model Checking Contest @ Petri Net 2013
Francis Hulin-Hubard , Emmanuel Paviot-Adet , Franck Pommereau , Niels Lohmann
6
2013
Model Support for Confidential Service-Oriented Business Processes.
Niels Lohmann , Andreas Lehmann
ZEUS 136 -143
2
2012
service-technology.org/live - Replaying tool experiments in a Web browser.
Niels Lohmann
BPM (Demos)
3
2010
Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis
Wil van der Aalst , Niels Lohmann , Marcello La Rosa , Jingxin Xu
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6336
2010
Realizability is controllability.
Niels Lohmann , Karsten Wolf
ZEUS 61 -67
2009
A Graphical User Interface for Service Adaptation.
Christian Gierds , Niels Lohmann
AWPN 136 -141
2010
The Petri Net API A Collection of Petri Net-related Functions.
Stephan Mennicke , Niels Lohmann , Christian Sura
AWPN 148 -153
8
2010
Why Does My Service Have No Partners
Niels Lohmann
web services and formal methods 191 -206
18
2009
Compact Representations and Efficient Algorithms for Operating Guidelines
Niels Lohmann , Karsten Wolf
Fundamenta Informaticae 108 ( 1) 43 -62
31
2011
Stubborn sets for simple linear time properties
Andreas Lehmann , Niels Lohmann , Karsten Wolf
applications and theory of petri nets 228 -247
5
2012
How to implement a theory of correctness in the area of business processes and services
Niels Lohmann , Karsten Wolf
business process management 61 -77
19
2010
Operating guidelines for finite-state services
Niels Lohmann , Peter Massuthe , Karsten Wolf
applications and theory of petri nets 321 -341
97
2007
Artifact-Centric Modeling Using BPMN
Niels Lohmann , Martin Nyolt
Service-Oriented Computing 54 -65
15
2012
Petri Net Transformations for Business Processes --- A Survey
Niels Lohmann , Eric Verbeek , Remco Dijkman
Lecture Notes in Computer Science 5460 46 -63
161
2009
Analysis Techniques for Service Models
Wolfgang Reisig , Dirk Fahland , Niels Lohmann , Peter Massuthe
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) 11 -17
5
2006
Instantaneous Soundness Checking of Industrial Business Process Models
Dirk Fahland , Cédric Favre , Barbara Jobstmann , Jana Koehler
business process management 5701 278 -293
124
2009
Behavioral constraints for services
Niels Lohmann , Peter Massuthe , Karsten Wolf
business process management 271 -287
41
2007