BibTeX records: Peter Massuthe

download as .bib file

@article{DBLP:journals/cj/AalstLMSW10,
  author       = {Wil M. P. van der Aalst and
                  Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl and
                  Karsten Wolf},
  title        = {Multiparty Contracts: Agreeing and Implementing Interorganizational
                  Processes},
  journal      = {Comput. J.},
  volume       = {53},
  number       = {1},
  pages        = {90--106},
  year         = {2010},
  url          = {https://doi.org/10.1093/comjnl/bxn064},
  doi          = {10.1093/COMJNL/BXN064},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/AalstLMSW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Massuthe2009,
  author       = {Peter Massuthe},
  title        = {Operating guidelines for services},
  school       = {Humboldt University of Berlin},
  year         = {2009},
  url          = {https://d-nb.info/994332149},
  isbn         = {978-90-386-1702-2},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Massuthe2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/topnoc/StahlMB09,
  author       = {Christian Stahl and
                  Peter Massuthe and
                  Jan Bretschneider},
  title        = {Deciding Substitutability of Services with Operating Guidelines},
  journal      = {Trans. Petri Nets Other Model. Concurr.},
  volume       = {2},
  pages        = {172--191},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00899-3\_10},
  doi          = {10.1007/978-3-642-00899-3\_10},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/topnoc/StahlMB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/AalstHMSW09,
  author       = {Wil M. P. van der Aalst and
                  Kees M. van Hee and
                  Peter Massuthe and
                  Natalia Sidorova and
                  Jan Martijn E. M. van der Werf},
  editor       = {Giuliana Franceschinis and
                  Karsten Wolf},
  title        = {Compositional Service Trees},
  booktitle    = {Applications and Theory of Petri Nets, 30th International Conference,
                  {PETRI} {NETS} 2009, Paris, France, June 22-26, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5606},
  pages        = {283--302},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02424-5\_17},
  doi          = {10.1007/978-3-642-02424-5\_17},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/AalstHMSW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dke/LohmannMSW08,
  author       = {Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl and
                  Daniela Weinberg},
  title        = {Analyzing interacting {WS-BPEL} processes using flexible model generation},
  journal      = {Data Knowl. Eng.},
  volume       = {64},
  number       = {1},
  pages        = {38--54},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.datak.2007.06.006},
  doi          = {10.1016/J.DATAK.2007.06.006},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dke/LohmannMSW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ipl/MassutheSSW08,
  author       = {Peter Massuthe and
                  Alexander Serebrenik and
                  Natalia Sidorova and
                  Karsten Wolf},
  title        = {Can {I} find a partner? Undecidability of partner existence for open
                  nets},
  journal      = {Inf. Process. Lett.},
  volume       = {108},
  number       = {6},
  pages        = {374--378},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.ipl.2008.07.006},
  doi          = {10.1016/J.IPL.2008.07.006},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/MassutheSSW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/awpn/MassutheW08,
  author       = {Peter Massuthe and
                  Daniela Weinberg},
  editor       = {Niels Lohmann and
                  Karsten Wolf},
  title        = {Fiona: {A} Tool to Analyze Interacting Open Nets},
  booktitle    = {15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen
                  und Werkzeuge f{\"{u}}r Petrinetze, {AWPN} 2008, Rostock, Germany,
                  September 26-27, 2008. Proceedings},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {380},
  pages        = {99--104},
  publisher    = {CEUR-WS.org},
  year         = {2008},
  url          = {https://ceur-ws.org/Vol-380/paper16.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:45 +0100},
  biburl       = {https://dblp.org/rec/conf/awpn/MassutheW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijbpim/MassutheW07,
  author       = {Peter Massuthe and
                  Karsten Wolf},
  title        = {An algorithm for matching non-deterministic services with operating
                  guidelines},
  journal      = {Int. J. Bus. Process. Integr. Manag.},
  volume       = {2},
  number       = {2},
  pages        = {81--90},
  year         = {2007},
  url          = {https://doi.org/10.1504/IJBPIM.2007.015129},
  doi          = {10.1504/IJBPIM.2007.015129},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbpim/MassutheW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/apn/LohmannMW07,
  author       = {Niels Lohmann and
                  Peter Massuthe and
                  Karsten Wolf},
  editor       = {Jetty Kleijn and
                  Alexandre Yakovlev},
  title        = {Operating Guidelines for Finite-State Services},
  booktitle    = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
                  Conference on Applications and Theory of Petri Nets and Other Models
                  of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4546},
  pages        = {321--341},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73094-1\_20},
  doi          = {10.1007/978-3-540-73094-1\_20},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/apn/LohmannMW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/ReisigBFLMS07,
  author       = {Wolfgang Reisig and
                  Jan Bretschneider and
                  Dirk Fahland and
                  Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Services as a Paradigm of Computation},
  booktitle    = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
                  Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
                  Papers presented at a Symposium held in Macao, China, September 24-25,
                  2007},
  series       = {Lecture Notes in Computer Science},
  volume       = {4700},
  pages        = {521--538},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75221-9\_25},
  doi          = {10.1007/978-3-540-75221-9\_25},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/ReisigBFLMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bpm/LohmannMW07,
  author       = {Niels Lohmann and
                  Peter Massuthe and
                  Karsten Wolf},
  editor       = {Gustavo Alonso and
                  Peter Dadam and
                  Michael Rosemann},
  title        = {Behavioral Constraints for Services},
  booktitle    = {Business Process Management, 5th International Conference, {BPM} 2007,
                  Brisbane, Australia, September 24-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4714},
  pages        = {271--287},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75183-0\_20},
  doi          = {10.1007/978-3-540-75183-0\_20},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/LohmannMW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/wsfm/AalstLMSW07,
  author       = {Wil M. P. van der Aalst and
                  Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl and
                  Karsten Wolf},
  editor       = {Marlon Dumas and
                  Reiko Heckel},
  title        = {From Public Views to Private Views - Correctness-by-Design for Services},
  booktitle    = {Web Services and Formal Methods, 4th International Workshop, {WS-FM}
                  2007, Brisbane, Australia, September 28-29, 2007. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4937},
  pages        = {139--153},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-79230-7\_10},
  doi          = {10.1007/978-3-540-79230-7\_10},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/wsfm/AalstLMSW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ercim/ReisigWBKLMS07,
  author       = {Wolfgang Reisig and
                  Karsten Wolf and
                  Jan Bretschneider and
                  Kathrin Kaschner and
                  Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl},
  title        = {Challenges in a Service-Oriented World},
  journal      = {{ERCIM} News},
  volume       = {2007},
  number       = {70},
  year         = {2007},
  url          = {http://ercim-news.ercim.eu/challenges-in-a-service-oriented-world},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/ReisigWBKLMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bpm/LohmannMSW06,
  author       = {Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl and
                  Daniela Weinberg},
  editor       = {Schahram Dustdar and
                  Jos{\'{e}} Luiz Fiadeiro and
                  Amit P. Sheth},
  title        = {Analyzing Interacting {BPEL} Processes},
  booktitle    = {Business Process Management, 4th International Conference, {BPM} 2006,
                  Vienna, Austria, September 5-7, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4102},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11841760\_3},
  doi          = {10.1007/11841760\_3},
  timestamp    = {Sun, 02 Jun 2019 21:21:27 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/LohmannMSW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/isola/ReisigFLMSWWK06,
  author       = {Wolfgang Reisig and
                  Dirk Fahland and
                  Niels Lohmann and
                  Peter Massuthe and
                  Christian Stahl and
                  Daniela Weinberg and
                  Karsten Wolf and
                  Kathrin Kaschner},
  title        = {Analysis Techniques for Service Models},
  booktitle    = {Leveraging Applications of Formal Methods, Second International Symposium,
                  ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages        = {11--17},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ISoLA.2006.58},
  doi          = {10.1109/ISOLA.2006.58},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/ReisigFLMSWWK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dagstuhl/MassutheW06,
  author       = {Peter Massuthe and
                  Karsten Wolf},
  editor       = {Frank Leymann and
                  Wolfgang Reisig and
                  Satish R. Thatte and
                  Wil M. P. van der Aalst},
  title        = {An Algorithm for Matching Nondeterministic Services with Operating
                  Guidelines},
  booktitle    = {The Role of Business Processes in Service Oriented Architectures,
                  16.07. - 21.07.2006},
  series       = {Dagstuhl Seminar Proceedings},
  volume       = {06291},
  publisher    = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
                  (IBFI), Schloss Dagstuhl, Germany},
  year         = {2006},
  url          = {http://drops.dagstuhl.de/opus/volltexte/2006/824},
  timestamp    = {Thu, 10 Jun 2021 13:02:07 +0200},
  biburl       = {https://dblp.org/rec/conf/dagstuhl/MassutheW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/qsic/MassutheS05,
  author       = {Peter Massuthe and
                  Karsten Schmidt},
  title        = {Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented
                  Architecture},
  booktitle    = {Fifth International Conference on Quality Software {(QSIC} 2005),
                  19-20 September 2005, Melbourne, Australia},
  pages        = {452--457},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/QSIC.2005.47},
  doi          = {10.1109/QSIC.2005.47},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qsic/MassutheS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.