The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Chun Ouyang: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
    A Formal Service Specification for the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2002, pp:352-373 [Conf]
  2. Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur H. M. ter Hofstede
    Translating Standard Process Models to BPEL. [Citation Graph (0, 0)][DBLP]
    CAiSE, 2006, pp:417-432 [Conf]
  3. Chun Ouyang, Jonathan Billington
    On Verifying the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2003, pp:292-302 [Conf]
  4. Chun Ouyang, Lars Michael Kristensen, Jonathan Billington
    A Formal and Executable Specification of the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    EC-Web, 2002, pp:377-387 [Conf]
  5. Chun Ouyang, Jonathan Billington
    Formal Analysis of the Internet Open Trading Protocol. [Citation Graph (0, 0)][DBLP]
    FORTE Workshops, 2004, pp:1-15 [Conf]
  6. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede
    WofBPEL: A Tool for Automated Analysis of BPEL Processes. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:484-489 [Conf]
  7. Chun Ouyang, Marlon Dumas, Arthur H. M. ter Hofstede, Wil M. P. van der Aalst
    From BPMN Process Models to BPEL Web Services. [Citation Graph (0, 0)][DBLP]
    ICWS, 2006, pp:285-292 [Conf]
  8. Chun Ouyang, Jonathan Billington
    An improved formal specification of the Internet Open Trading Pprotocol. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:779-783 [Conf]
  9. Chun Ouyang, Eric Verbeek, Wil M. P. van der Aalst, Stephan Breutel, Marlon Dumas, Arthur H. M. ter Hofstede
    Formal semantics and analysis of control flow in WS-BPEL. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:67, n:2-3, pp:162-198 [Journal]

  10. Choreography Conformance Checking: An Approach based on BPEL and Petri Nets. [Citation Graph (, )][DBLP]


  11. The Service Adaptation Machine. [Citation Graph (, )][DBLP]


  12. Modeling and Verification of Privacy Enhancing Protocols. [Citation Graph (, )][DBLP]


Search in 0.012secs, Finished in 0.013secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002