| 2011 |
|---|
| 23 | Transactional Process Views. Rik Eshuis, Jochem Vonk, Paul W. P. J. Grefen. OTM Conferences (1) 2011, 119-136. Web SearchBibTeXDownload |
| 2010 |
|---|
| 22 | An integer programming based approach for verification and diagnosis of workflows. Rik Eshuis, Akhil Kumar. Data Knowl. Eng. (69): 816-835 (2010). Web SearchBibTeXDownload |
| 21 | Generating Minimal Protocol Adaptors for Loosely Coupled Services. Ricardo Seguel, Rik Eshuis, Paul W. P. J. Grefen. ICWS 2010, 417-424. Web SearchBibTeXDownload |
| 20 | Business Protocol Adaptation for Flexible Chain Management. Ricardo Seguel, Rik Eshuis, Paul W. P. J. Grefen. OTM Conferences (1) 2010, 438-445. Web SearchBibTeXDownload |
| 2009 |
|---|
| 19 | Dynamic business network process management in instant virtual enterprises. Paul W. P. J. Grefen, Nikolay Mehandjiev, Giorgos Kouvas, Georg Weichhart, Rik Eshuis. Computers in Industry (60): 86-103 (2009). Cited by 19Web SearchBibTeXDownload |
| 18 | Internet-Based Support for Process-Oriented Instant Virtual Enterprises. Paul W. P. J. Grefen, Rik Eshuis, Nikolay Mehandjiev, Giorgos Kouvas, Georg Weichhart. IEEE Internet Computing (13): 65-73 (2009). Web SearchBibTeXDownload |
| 17 | Composing Services into Structured Processes. Rik Eshuis, Paul W. P. J. Grefen. Int. J. Cooperative Inf. Syst. (18): 309-337 (2009). Web SearchBibTeXDownload |
| 16 | Agile Cooperative Process-Aware Information Systems (ProGility 2009): Workshop Report. Rik Eshuis, Jan Mendling, Mirjam Minor, Barbara Weber. WETICE 2009, 219-220. Web SearchBibTeXDownload |
| 15 | Constructing minimal protocol adaptors for service composition. Ricardo Seguel, Rik Eshuis, Paul W. P. J. Grefen. WEWST 2009, 29-38. Web SearchBibTeXDownload |
| 2008 |
|---|
| 14 | Constructing customized process views. Rik Eshuis, Paul W. P. J. Grefen. Data Knowl. Eng. (64): 419-438 (2008). Cited by 25Web SearchBibTeXDownload |
| 13 | Agile Cooperative Process-Aware Information Systems (ProGility 2008). Barbara Weber, Rik Eshuis, Jan Mendling, Mirjam Minor. WETICE 2008, 225-226. Web SearchBibTeXDownload |
| 2007 |
|---|
| 12 | Structural Matching of BPEL Processes. Rik Eshuis, Paul W. P. J. Grefen. ECOWS 2007, 171-180. Cited by 9Web SearchBibTeXDownload |
| 11 | ProGility Workshop Final Report. Barbara Weber, Manfred Reichert, Rik Eshuis. WETICE 2007, 365-366. Web SearchBibTeXDownload |
| 2006 |
|---|
| 10 | Structured Service Composition. Rik Eshuis, Paul W. P. J. Grefen, Sven Till. Business Process Management 2006, 97-112. Cited by 13Web SearchBibTeXDownload |
| 2004 |
|---|
| 9 | Tool Support for Verifying UML Activity Diagrams. Rik Eshuis, Roel Wieringa. IEEE Trans. Software Eng. (30): 437-447 (2004). Web SearchBibTeXDownload |
| 2003 |
|---|
| 8 | Animating ebXML Transactions with a Workflow Engine. Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand Grégoire, Sophie Ramel. CoopIS/DOA/ODBASE 2003, 426-443. Web SearchBibTeXDownload |
| 7 | EFFICIENT: a tool set for supporting the modelling and validation of ebXML. Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand Grégoire, Sophie Ramel. ESEC / SIGSOFT FSE 2003, 359-362. Web SearchBibTeXDownload |
| 6 | Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. Rik Eshuis, Roel Wieringa. Petri Net Technology for Communication-Based Systems 2003, 321-351. Web SearchBibTeXDownload |
| 2002 |
|---|
| 5 | Verification support for workflow design with UML activity graphs. Rik Eshuis, Roel Wieringa. ICSE 2002, 166-176. Web SearchBibTeXDownload |
| 4 | Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. Rik Eshuis, David N. Jansen, Roel Wieringa. Requir. Eng. (7): 243-263 (2002). Web SearchBibTeXDownload |
| 2001 |
|---|
| 3 | A Real-Time Execution Semantics for UML Activity Diagrams. Rik Eshuis, Roel Wieringa. FASE 2001, 76-90. Web SearchBibTeXDownload |
| 2 | An Execution Algorithm for UML Activity Graphs. Rik Eshuis, Roel Wieringa. UML 2001, 47-61. Web SearchBibTeXDownload |
| 2000 |
|---|
| 1 | Requirements Level Semantics for UML Statecharts. Rik Eshuis, Roel Wieringa. FMOODS 2000, 121. Web SearchBibTeX |
