dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mathias Weske (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Puhlmann, Mathias Weske: A Look Around the Corner: The Pi-Calculus. T. Petri Nets and Other Models of Concurrency 2: 64-78 (2009)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnja Bog, Frank Puhlmann, Mathias Weske: The PiVizTool: Simulating Choreographies with Dynamic Binding. BPM (Demos) 2007
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Puhlmann, Mathias Weske: Investigations on Soundness Regarding Lazy Activities. Business Process Management 2006: 145-160
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGero Decker, Frank Puhlmann, Mathias Weske: Formalizing Service Interactions. Business Process Management 2006: 414-419
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Puhlmann, Mathias Weske: Interaction Soundness for Service Orchestrations. ICSOC 2006: 302-313
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Puhlmann, Mathias Weske: Using the pi-Calculus for Formalizing Workflow Patterns. Business Process Management 2005: 153-168

Selection of 6 from 146 records - Mathias Weske has 85 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page