QUT ePrints

Browse By Person: Breutel, Stephan

 Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
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.
Number of full-text downloads 755
Number of citations in Scopus 147
Number of citations in Web of Science® 71

Ouyang, Chun, Dumas, Marlon, Breutel, Stephan W., & ter Hofstede, Arthur H.M. (2005) Translating Standard Process Models to BPEL. .
Number of full-text downloads 2,671

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). .
Number of full-text downloads 969

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.
Number of full-text downloads 742
Number of citations in Scopus 37
Number of citations in Web of Science® 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.
Number of full-text downloads 585

This list was generated on Sat Apr 19 07:44:02 2014 EST.