Niels Lohmann
Orcid: 0000-0001-9037-795XAffiliations:
- University of Rostock, Germany
According to our database1,
Niels Lohmann
authored at least 53 papers
between 2006 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
0
1
2
3
4
5
6
7
8
9
10
1
1
3
3
3
1
2
1
1
2
3
3
7
6
7
6
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on id.loc.gov
-
on github.com
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2015
Information leak detection in business process models: Theory, application, and tool support.
Inf. Syst., 2015
2014
Proceedings of the 6th Central-European Workshop on Services and their Composition, 2014
Proceedings of the Business Process Management - 12th International Conference, 2014
2013
2012
Trans. Petri Nets Other Model. Concurr., 2012
Inf. Syst., 2012
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012
Proceedings of the Business Process Management Workshops, 2012
Proceedings of the Application and Theory of Petri Nets - 33rd International Conference, 2012
2011
Fundam. Informaticae, 2011
Analysis on demand: Instantaneous soundness checking of industrial business process models.
Data Knowl. Eng., 2011
Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011
Proceedings of the Service-Oriented Computing - 9th International Conference, 2011
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011
2010
Comput. J., 2010
Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010
How to Implement a Theory of Correctness in the Area of Business Processes and Services.
Proceedings of the Business Process Management - 8th International Conference, 2010
Proceedings of the Business Process Management 2010 Demonstration Track, 2010
Proceedings of the Business Process Management - 8th International Conference, 2010
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010
Proceedings of the 17th German Workshop on Algorithms and Tools for Petri Nets, 2010
2009
Trans. Petri Nets Other Model. Concurr., 2009
Int. J. Bus. Process. Integr. Manag., 2009
Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009
Proceedings of the Business Process Management, 7th International Conference, 2009
Proceedings of the Business Process Management Workshops, 2009
Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009
2008
Data Knowl. Eng., 2008
Proceedings of the 17th International Conference on World Wide Web, 2008
Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008
Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes.
Proceedings of the Modellierung 2008, 12.-14. März 2008, Berlin, 2008
Proceedings of the Service-Oriented Computing - ICSOC 2008 Workshops, 2008
Proceedings of the Service-Oriented Computing, 2008
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.
Proceedings of the Business Process Management, 6th International Conference, 2008
Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, 2008
2007
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007
Proceedings of the Business Process Management, 5th International Conference, 2007
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007
Proceedings of the Petri Nets and Other Models of Concurrency, 2007
2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the Business Process Management, 4th International Conference, 2006