Browse By Person: Breutel, Stephan
![]() | Up a level |
Group by: Item Type | Date
Number of items: 6.
Journal Article
Ouyang, Chun, Verbeek, Eric, van der Aalst, Wil M.P., Breutel, Stephan, Dumas, Marlon, & ter Hofstede, Arthur H.M. (2007) Formal semantics and analysis of control flow in WS-BPEL. Science of Computer Programming, 67(2/3), pp. 162-198.
484
107
53
484
107
53Ouyang, Chun, Dumas, Marlon, Breutel, Stephan W., & ter Hofstede, Arthur H.M. (2005) Translating Standard Process Models to BPEL. .
2,167
2,167Ouyang, Chun, Verbeek, H.M.W., van der Aalst, Wil M.P., Breutel, Stephan W., Dumas, Marlon, & ter Hofstede, Arthur H.M. (2005) Formal Semantics and Analysis of Control Flow in WS-BPEL (Revised Version). .
574
574Conference Paper
Ouyang, Chun, Verbeek, Eric, van der Aalst, Wil M.P., Breutel, Stephan W., Dumas, Marlon, & ter Hofstede, Arthur H.M. (2005) WofBPEL: A Tool for Automated Analysis of BPEL Processes. In Benatallah, Boualem, Casati, Fabio, & Traverso, Paolo (Eds.) Third International Conference on Service Oriented Computing (ICSOC 2005), December 12-15, 2005, Amsterdam, The Netherlands.
571
32
23
571
32
23Breutel, Stephan W., Maire, Frederic D., & Hayward, Ross F. (2003) Extracting Interface Assertions from Neural Networks in Polyhedral Format. In Verleysen, M. (Ed.) 11th European Symposium on Artificial Neural Netwoks, 23-25 April, Bruges, Belgium.
QUT Thesis
Breutel, Stephan Werner (2004) Analysing the behaviour of neural networks. PhD thesis, Queensland University of Technology.
393
393
