Peter Massuthe Vis

*	2009
13	EE	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: 283-302
12	EE	Christian Stahl, Peter Massuthe, Jan Bretschneider: Deciding Substitutability of Services with Operating Guidelines. T. Petri Nets and Other Models of Concurrency 2: 172-191 (2009)
	2008
11	EE	Peter Massuthe, Daniela Weinberg: Fiona: A Tool to Analyze Interacting Open Nets. AWPN 2008: 99-104
10	EE	Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64(1): 38-54 (2008)
9	EE	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): 374-378 (2008)
	2007
8	EE	Niels Lohmann, Peter Massuthe, Karsten Wolf: Behavioral Constraints for Services. BPM 2007: 271-287
7	EE	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: 521-538
6	EE	Niels Lohmann, Peter Massuthe, Karsten Wolf: Operating Guidelines for Finite-State Services. ICATPN 2007: 321-341
5	EE	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: 139-153
	2006
4	EE	Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg: Analyzing Interacting BPEL Processes. Business Process Management 2006: 17-32
3	EE	Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner: Analysis Techniques for Service Models. ISoLA 2006: 11-17
2	EE	Peter Massuthe, Karsten Wolf: An Algorithm for Matching Nondeterministic Services with Operating Guidelines. The Role of Business Processes in Service Oriented Architectures 2006
	2005
1	EE	Peter Massuthe, Karsten Schmidt: Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. QSIC 2005: 452-457

Coauthor Index

1	Wil M. P. van der Aalst	[5] [13]
2	Jan Bretschneider	[7] [12]
3	Dirk Fahland	[3] [7]
4	Kees M. van Hee	[13]
5	Kathrin Kaschner	[3]
6	Niels Lohmann	[3] [4] [5] [6] [7] [8] [10]
7	Wolfgang Reisig	[3] [7]
8	Alexander Serebrenik	[9]
9	Natalia Sidorova	[9] [13]
10	Christian Stahl	[3] [4] [5] [7] [10] [12]
11	Daniela Weinberg	[3] [4] [10] [11]
12	Jan Martijn E. M. van der Werf	[13]
13	Karsten Wolf (Karsten Schmidt)	[1] [2] [3] [5] [6] [8] [9]