Browse By Person: Breutel, Stephan

Statistics dashboard

Up a level

Group by: Item Type | Date

Jump to: Journal Article | Conference Paper | QUT Thesis

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.

644

123

66

Ouyang, Chun, Dumas, Marlon, Breutel, Stephan W., & ter Hofstede, Arthur H.M. (2005) Translating Standard Process Models to BPEL. .

2,415

Ouyang, 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). .

784

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. Lecture Notes in Computer Science, 3826, pp. 484-489.

671

37

29

Conference Paper

Breutel, 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.

488

This list was generated on Sat Jun 15 06:46:48 2013 EST.

Export as	RSS 1.0 Atom RSS 2.0