The SCEAS System
Navigation Menu

Search the dblp DataBase


Rik Eshuis: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rik Eshuis, Juliane Dehnert
    Reactive Petri Nets for Workflow Modeling. [Citation Graph (0, 0)][DBLP]
    ICATPN, 2003, pp:296-315 [Conf]
  2. Rik Eshuis, Paul W. P. J. Grefen, Sven Till
    Structured Service Composition. [Citation Graph (0, 0)][DBLP]
    Business Process Management, 2006, pp:97-112 [Conf]
  3. Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand Grégoire, Sophie Ramel
    Animating ebXML Transactions with a Workflow Engine. [Citation Graph (0, 0)][DBLP]
    CoopIS/DOA/ODBASE, 2003, pp:426-443 [Conf]
  4. Rik Eshuis, Roel Wieringa
    Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. [Citation Graph (0, 0)][DBLP]
    Petri Net Technology for Communication-Based Systems, 2003, pp:321-351 [Conf]
  5. Rik Eshuis, Roel Wieringa
    A Real-Time Execution Semantics for UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:76-90 [Conf]
  6. Rik Eshuis, Roel Wieringa
    Requirements Level Semantics for UML Statecharts. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:121-0 [Conf]
  7. Rik Eshuis, Roel Wieringa
    Verification support for workflow design with UML activity graphs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:166-176 [Conf]
  8. Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand Grégoire, Sophie Ramel
    EFFICIENT: a tool set for supporting the modelling and validation of ebXML. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2003, pp:359-362 [Conf]
  9. Rik Eshuis, Roel Wieringa
    An Execution Algorithm for UML Activity Graphs. [Citation Graph (0, 0)][DBLP]
    UML, 2001, pp:47-61 [Conf]
  10. Rik Eshuis, Heiko Ludwig
    PINCET - Process Integration of Collaborative Enterprises. [Citation Graph (0, 0)][DBLP]
    WETICE, 2006, pp:247-248 [Conf]
  11. Rik Eshuis, Maarten M. Fokkinga
    Comparing Refinements for Failure and Bisimulation Semantics. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:52, n:4, pp:297-321 [Journal]
  12. Rik Eshuis, David N. Jansen, Roel Wieringa
    Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2002, v:7, n:4, pp:243-263 [Journal]
  13. Rik Eshuis
    Symbolic model checking of UML activity diagrams. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2006, v:15, n:1, pp:1-38 [Journal]
  14. Rik Eshuis, Roel Wieringa
    Tool Support for Verifying UML Activity Diagrams. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2004, v:30, n:7, pp:437-447 [Journal]

  15. Constructing minimal protocol adaptors for service composition. [Citation Graph (, )][DBLP]

  16. Structural Matching of BPEL Processes. [Citation Graph (, )][DBLP]

  17. Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. [Citation Graph (, )][DBLP]

  18. Generating Minimal Protocol Adaptors for Loosely Coupled Services. [Citation Graph (, )][DBLP]

  19. Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program. [Citation Graph (, )][DBLP]

  20. Constructing process views for service outsourcing. [Citation Graph (, )][DBLP]

  21. ProGility Workshop Final Report. [Citation Graph (, )][DBLP]

  22. Agile Cooperative Process-Aware Information Systems (ProGility 2008). [Citation Graph (, )][DBLP]

  23. Agile Cooperative Process-Aware Information Systems (ProGility 2009): Workshop Report. [Citation Graph (, )][DBLP]

  24. Constructing customized process views. [Citation Graph (, )][DBLP]

  25. An integer programming based approach for verification and diagnosis of workflows. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002