Peter Massuthe

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Humboldt University of Berlin (PHD)

Education History

Humboldt University of Berlin

PHD

Publications

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J. 53 (1) (2010)
Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, Jan Martijn E. M. van der Werf
Compositional Service Trees. Petri Nets (2009)
Christian Stahl, Peter Massuthe, Jan Bretschneider
Deciding Substitutability of Services with Operating Guidelines. Trans. Petri Nets Other Model. Concurr. 2 (2009)
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64 (1) (2008)
Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, Karsten Wolf
Can I find a partner? Undecidability of partner existence for open nets. Inf. Process. Lett. 108 (6) (2008)
Peter Massuthe, Daniela Weinberg
Fiona: A Tool to Analyze Interacting Open Nets. AWPN (2008)
Niels Lohmann, Peter Massuthe, Karsten Wolf
Behavioral Constraints for Services. BPM (2007)
Niels Lohmann, Peter Massuthe, Karsten Wolf
Operating Guidelines for Finite-State Services. ICATPN (2007)
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl
Services as a Paradigm of Computation. Formal Methods and Hybrid Real-Time Systems (2007)
Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, Christian Stahl
Challenges in a Service-Oriented World. ERCIM News 2007 (70) (2007)
Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf
From Public Views to Private Views - Correctness-by-Design for Services. WS-FM (2007)
Peter Massuthe, Karsten Wolf
An algorithm for matching non-deterministic services with operating guidelines. Int. J. Bus. Process. Integr. Manag. 2 (2) (2007)
Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
Analyzing Interacting BPEL Processes. Business Process Management (2006)
Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner
Analysis Techniques for Service Models. ISoLA (2006)
Peter Massuthe, Karsten Wolf
An Algorithm for Matching Nondeterministic Services with Operating Guidelines. The Role of Business Processes in Service Oriented Architectures (2006)
Peter Massuthe, Karsten Schmidt
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. QSIC (2005)

Peter Massuthe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Peter Massuthe