Rik Eshuis

	2009
24		Rik Eshuis: Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. FM 2009: 239-255
23		Rik Eshuis, Alex Norta: Constructing process views for service outsourcing. SAC 2009: 1615-1616
22		Rik Eshuis, Jan Mendling, Mirjam Minor, Barbara Weber: Agile Cooperative Process-Aware Information Systems (ProGility 2009): Workshop Report. WETICE 2009: 219-220
21		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)
20		Rik Eshuis, Paul W. P. J. Grefen: Composing Services into Structured Processes. Int. J. Cooperative Inf. Syst. 18(2): 309-337 (2009)
19		Rik Eshuis: Reconciling statechart semantics. Sci. Comput. Program. 74(3): 65-99 (2009)
	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	Juliane Dehnert	[8]
3	Eric Dubois	[9] [10]
4	Maarten M. Fokkinga	[5]
5	Paul W. P. J. Grefen	[14] [16] [17] [20] [21]
6	Bertrand Grégoire	[9] [10]
7	David N. Jansen	[4]
8	Giorgos Kouvas	[21]
9	Heiko Ludwig	[13]
10	Nikolay Mehandjiev	[21]
11	Jan Mendling	[18] [22]
12	Mirjam Minor	[18] [22]
13	Alex Norta	[23]
14	Sophie Ramel	[9] [10]
15	Manfred Reichert	[15]
16	Sven Till	[14]
17	Barbara Weber	[15] [18] [22]
18	Georg Weichhart	[21]
19	Roel Wieringa	[1] [2] [3] [4] [6] [7] [11]