Concepedia

Peter Massuthe

PM

Statistics

Publications

8

Citations

363

H-Index

8

Active since

2006

Affiliations

Humboldt-Universität zu Berlin(Current)

University of Rostock

Eindhoven University of Technology

Peter Massuthe is an author at Humboldt-Universität zu Berlin specializing in formal methods, engineering, and software design.

Top concepts

EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceSystems EngineeringSoftware EngineeringOperating SystemsSoftware AnalysisFormal Verification

Publications per year

2006–2009

8

Publications

8

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe et al. · The Computer Journal · 2008 · 106 citations

Analyzing interacting WS-BPEL processes using flexible model generation

Niels Lohmann, Peter Massuthe, Christian Stahl et al. · Data & Knowledge Engineering · 2007 · 101 citations

Engineering, Formal Methods, Process Control +9

Operating guidelines for services

Peter Massuthe · Data Archiving and Networked Services (DANS) · 2009 · 47 citations · Full text

Web Service Specification, Engineering, Core Competencies +24

Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture

Peter Massuthe, Karsten Schmidt · 2006 · 36 citations

Service Provider, Web Service Specification, Engineering +18

Can I find a partner? Undecidability of partner existence for open nets

Peter Massuthe, Alexander Serebrenik, Natalia Sidorova et al. · Information Processing Letters · 2008 · 31 citations

Partner Existence, Network Science, Open Nets

1–5 of 8