sign in · help · news · about ·

BibSonomy :: author :: Massuthe ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(15)

<< < 1 > >>

Multiparty Contracts: Agreeing and Implementing Interorganizational Processes.
Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf Comput. J. 53(1):90-106 (2010)
to dblp by dblp on Jul 21, 2010, 3:41 PM
URL | BibTeX
Challenges in a Service-Oriented World.
Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, and Christian Stahl ERCIM News (2007)
to dblp by dblp on Mar 19, 2010, 12:00 AM
URL | BibTeX
Analysis Techniques for Service Models.
Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, and Kathrin Kaschner ISoLA, page 11-17. IEEE, (2006)
to dblp by dblp on Jul 3, 2009, 12:00 AM
URL | BibTeX
Compositional Service Trees.
Wil M. P. van der Aalst, Kees M. van Hee, Peter Massuthe, Natalia Sidorova, and Jan Martijn E. M. van der Werf Petri Nets, volume 5606 of Lecture Notes in Computer Science, page 283-302. Springer, (2009)
to dblp by dblp on Jun 23, 2009, 12:00 AM
URL | BibTeX
Deciding Substitutability of Services with Operating Guidelines.
Christian Stahl, Peter Massuthe, and Jan Bretschneider T. Petri Nets and Other Models of Concurrency (2009)
to dblp by dblp on Mar 31, 2009, 12:00 AM
URL | BibTeX
Can I find a partner? Undecidability of partner existence for open nets.
Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, and Karsten Wolf Inf. Process. Lett. 108(6):374-378 (2008)
to dblp by dblp on Jan 14, 2009, 12:00 AM
URL | BibTeX
Fiona: A Tool to Analyze Interacting Open Nets.
Peter Massuthe, and Daniela Weinberg AWPN, volume 380 of CEUR Workshop Proceedings, page 99-104. CEUR-WS.org, (2008)
to dblp by dblp on Jan 13, 2009, 12:00 AM
URL | BibTeX
Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture.
Peter Massuthe, and Karsten Schmidt 0004 QSIC, page 452-457. IEEE Computer Society, (2005)
to dblp by dblp on Jun 12, 2008, 12:00 AM
URL | BibTeX
An Algorithm for Matching Nondeterministic Services with Operating Guidelines.
Peter Massuthe, and Karsten Wolf The Role of Business Processes in Service Oriented Architectures, volume 06291 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik IBFI, Schloss Dagstuhl, Germany, (2006)
to dblp by dblp on May 14, 2008, 12:00 AM
URL | BibTeX
From Public Views to Private Views - Correctness-by-Design for Services.
Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf WS-FM, volume 4937 of Lecture Notes in Computer Science, page 139-153. Springer, (2007)
to dblp by dblp on Apr 15, 2008, 12:00 AM
URL | BibTeX
Analyzing interacting WS-BPEL processes using flexible model generation.
Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg Data Knowl. Eng. 64(1):38-54 (2008)
to dblp by dblp on Feb 22, 2008, 12:00 AM
URL | BibTeX
Services as a Paradigm of Computation.
Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, and Christian Stahl Formal Methods and Hybrid Real-Time Systems, volume 4700 of Lecture Notes in Computer Science, page 521-538. Springer, (2007)
to dblp by dblp on Sep 7, 2007, 12:00 AM
URL | BibTeX
Behavioral Constraints for Services.
Niels Lohmann, Peter Massuthe, and Karsten Wolf BPM, volume 4714 of Lecture Notes in Computer Science, page 271-287. Springer, (2007)
to dblp by dblp on Sep 6, 2007, 12:00 AM
URL | BibTeX
Operating Guidelines for Finite-State Services.
Niels Lohmann, Peter Massuthe, and Karsten Wolf ICATPN, volume 4546 of Lecture Notes in Computer Science, page 321-341. Springer, (2007)
to dblp by dblp on Jul 9, 2007, 12:00 AM
URL | BibTeX
Analyzing Interacting BPEL Processes.
Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg Business Process Management, volume 4102 of Lecture Notes in Computer Science, page 17-32. Springer, (2006)
to dblp by dblp on Dec 4, 2006, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper