Rik Eshuis

	2011
35		Rik Eshuis, Jochem Vonk, Paul W. P. J. Grefen: Transactional Process Views. OTM Conferences (1) 2011: 119-136
	2010
34		Rik Eshuis, Alex Norta: A Framework for Service Outsourcing Using Process Views. EDOC 2010: 99-108
33		Ricardo Seguel, Rik Eshuis, Paul W. P. J. Grefen: Generating Minimal Protocol Adaptors for Loosely Coupled Services. ICWS 2010: 417-424
32		Pieter Van Gorp, Rik Eshuis: Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program. MoDELS (2) 2010: 258-272
31		Ricardo Seguel, Rik Eshuis, Paul W. P. J. Grefen: Business Protocol Adaptation for Flexible Chain Management. OTM Conferences (1) 2010: 438-445
30		Rik Eshuis, Akhil Kumar: An integer programming based approach for verification and diagnosis of workflows. Data Knowl. Eng. 69(8): 816-835 (2010)
29		Alex Norta, Rik Eshuis: Specification and verification of harmonized business-process collaborations. Information Systems Frontiers 12(4): 457-479 (2010)
	2009
28		Rik Eshuis, Paul W. P. J. Grefen, George Angelos Papadopoulos: Seventh IEEE European Conference on Web Services (ECOWS 2009), 9-11 November 2009, Eindhoven, The Netherlands IEEE Computer Society 2009
27		Rik Eshuis: Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. FM 2009: 239-255
26		Rik Eshuis, Alex Norta: Constructing process views for service outsourcing. SAC 2009: 1615-1616
25		Rik Eshuis, Jan Mendling, Mirjam Minor, Barbara Weber: Agile Cooperative Process-Aware Information Systems (ProGility 2009): Workshop Report. WETICE 2009: 219-220
24		Ricardo Seguel, Rik Eshuis, Paul W. P. J. Grefen: Constructing minimal protocol adaptors for service composition. WEWST 2009: 29-38
23		Paul W. P. J. Grefen, Nikolay Mehandjiev, Giorgos Kouvas, Georg Weichhart, Rik Eshuis: Dynamic business network process management in instant virtual enterprises. Computers in Industry 60(2): 86-103 (2009)
22		Paul W. P. J. Grefen, Rik Eshuis, Nikolay Mehandjiev, Giorgos Kouvas, Georg Weichhart: Internet-Based Support for Process-Oriented Instant Virtual Enterprises. IEEE Internet Computing 13(6): 65-73 (2009)
21		Rik Eshuis, Paul W. P. J. Grefen: Composing Services into Structured Processes. Int. J. Cooperative Inf. Syst. 18(2): 309-337 (2009)
20		Rik Eshuis: Reconciling statechart semantics. Sci. Comput. Program. 74(3): 65-99 (2009)
	2008
19		Claus Pahl, Siobhán Clarke, Rik Eshuis: ECOWS 2008, Sixth European Conference on Web Services, 12-14 November 2008, Dublin, Ireland IEEE Computer Society 2008
18		Barbara Weber, Rik Eshuis, Jan Mendling, Mirjam Minor: Agile Cooperative Process-Aware Information Systems (ProGility 2008). WETICE 2008: 225-226
17		Rik Eshuis, Paul W. P. J. Grefen: Constructing customized process views. Data Knowl. Eng. 64(2): 419-438 (2008)
	2007
16		Rik Eshuis, Paul W. P. J. Grefen: Structural Matching of BPEL Processes. ECOWS 2007: 171-180
15		Barbara Weber, Manfred Reichert, Rik Eshuis: ProGility Workshop Final Report. WETICE 2007: 365-366
	2006
14		Rik Eshuis, Paul W. P. J. Grefen, Sven Till: Structured Service Composition. Business Process Management 2006: 97-112
13		Rik Eshuis, Heiko Ludwig: PINCET - Process Integration of Collaborative Enterprises. WETICE 2006: 247-248
12		Rik Eshuis: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1): 1-38 (2006)
	2004
11		Rik Eshuis, Roel Wieringa: Tool Support for Verifying UML Activity Diagrams. IEEE Trans. Software Eng. 30(7): 437-447 (2004)
	2003
10		Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand Grégoire, Sophie Ramel: Animating ebXML Transactions with a Workflow Engine. CoopIS/DOA/ODBASE 2003: 426-443
9		Rik Eshuis, Pierre Brimont, Eric Dubois, Bertrand Grégoire, Sophie Ramel: EFFICIENT: a tool set for supporting the modelling and validation of ebXML. ESEC / SIGSOFT FSE 2003: 359-362
8		Rik Eshuis, Juliane Dehnert: Reactive Petri Nets for Workflow Modeling. ICATPN 2003: 296-315
7		Rik Eshuis, Roel Wieringa: Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. Petri Net Technology for Communication-Based Systems 2003: 321-351
	2002
6		Rik Eshuis, Roel Wieringa: Verification support for workflow design with UML activity graphs. ICSE 2002: 166-176
5		Rik Eshuis, Maarten M. Fokkinga: Comparing Refinements for Failure and Bisimulation Semantics. Fundam. Inform. 52(4): 297-321 (2002)
4		Rik Eshuis, David N. Jansen, Roel Wieringa: Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. Requir. Eng. 7(4): 243-263 (2002)
	2001
3		Rik Eshuis, Roel Wieringa: A Real-Time Execution Semantics for UML Activity Diagrams. FASE 2001: 76-90
2		Rik Eshuis, Roel Wieringa: An Execution Algorithm for UML Activity Graphs. UML 2001: 47-61
	2000
1		Rik Eshuis, Roel Wieringa: Requirements Level Semantics for UML Statecharts. FMOODS 2000: 121-

Coauthor Index

1	Pierre Brimont	[9] [10]
2	Siobhán Clarke	[19]
3	Juliane Dehnert	[8]
4	Eric Dubois	[9] [10]
5	Maarten M. Fokkinga	[5]
6	Pieter Van Gorp	[32]
7	Paul W. P. J. Grefen	[14] [16] [17] [21] [22] [23] [24] [28] [31] [33] [35]
8	Bertrand Grégoire	[9] [10]
9	David N. Jansen	[4]
10	Giorgos Kouvas	[22] [23]
11	Akhil Kumar	[30]
12	Heiko Ludwig	[13]
13	Nikolay Mehandjiev	[22] [23]
14	Jan Mendling	[18] [25]
15	Mirjam Minor	[18] [25]
16	Alex Norta	[26] [29] [34]
17	Claus Pahl	[19]
18	George Angelos Papadopoulos (George A. Papadopoulos)	[28]
19	Sophie Ramel	[9] [10]
20	Manfred Reichert	[15]
21	Ricardo Seguel (Ricardo Seguel Pérez)	[24] [31] [33]
22	Sven Till	[14]
23	Jochem Vonk	[35]
24	Barbara Weber	[15] [18] [25]
25	Georg Weichhart	[22] [23]
26	Roel Wieringa	[1] [2] [3] [4] [6] [7] [11]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page