Rik Eshuis

Cited by

	All	Since 2018
Citations	3144	658
h-index	28	14
i10-index	57	26

260

130

195

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202319 36 59 106 126 109 121 142 193 243 192 225 190 178 173 174 134 135 143 110 130 93 47

Public access

View all

9 articles

1 article

available

not available

Based on funding mandates

Co-authors

Paul GrefenProfessor of Digital Business Architecture, Eindhoven University of TechnologyVerified email at tue.nl
Roel WieringaUniversity of TwenteVerified email at utwente.nl
Ricardo SeguelUniversidad Adolfo IbáñezVerified email at uai.cl
Alexander Norta (nee Hirnschall)Researcher, Tallinn Technology UniversityVerified email at taltech.ee
Nikolay MehandjievUniversity of ManchesterVerified email at manchester.ac.uk
Georg WeichhartDigital Transformation, Primetals TechnologiesVerified email at primetals.com
Pieter Van GorpEindhoven University of TechnologyVerified email at pietervangorp.com
Richard HullVisiting Scholar, University of California, DavisVerified email at ucdavis.edu
Oktay TuretkenAssociate Professor in Information Systems at Eindhoven University of TechnologyVerified email at tue.nl
Jos J.M. TrienekensTechnische Universiteit EindhovenVerified email at tue.nl
Rob J KustersProfessor IT and Business Process, Open University, The NetherlandsVerified email at ou.nl
M. Teresa Gómez LópezCatedrática de Universidad. Universidad de SevillaVerified email at us.es
Roman VaculinIBM ResearchVerified email at us.ibm.com
Irene VanderfeestenAssociate Professor in Business Information Systems EngineeringVerified email at kuleuven.be
Rafael M. GascaProfesor de Informática, Universidad de SevillaVerified email at us.es
Eric DuboisProfessor, Dr, Chief Architect at Luxembourg Institute of Science & Technology (Departement of ITVerified email at list.lu
Akhil KumarPenn State UniversityVerified email at psu.edu
Anna WilbikMaastricht University, Department of Data Science and Knowledge Engineering (DKE)Verified email at maastrichtuniversity.nl
James SunMetaVerified email at meta.com
Diana BorregoUniversidad de SevillaVerified email at us.es

Rik Eshuis

Eindhoven University of Technology

Verified email at tue.nl - Homepage

Business Process Management Business Process Modeling Knowledge-intensive Processes Intelligent Informati


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Symbolic model checking of UML activity diagrams R Eshuis ACM Transactions on Software Engineering and Methodology (TOSEM) 15 (1), 1-38, 2006	273	2006
Dynamic business network process management in instant virtual enterprises P Grefen, N Mehandjiev, G Kouvas, G Weichhart, R Eshuis Computers in Industry 60 (2), 86-103, 2009	216	2009
Dynamic business network process management in instant virtual enterprises P Grefen, N Mehandjiev, G Kouvas, G Weichhart, R Eshuis Computers in Industry 60 (2), 86-103, 2009	216	2009
Constructing customized process views R Eshuis, P Grefen Data & Knowledge Engineering 64 (2), 419-438, 2008	215	2008
Semantics and verification of UML activity diagrams for workflow modelling H Eshuis Centre for Telematics and Information Technology (CTIT), University of Twente, 2002	213	2002
Semantics and verification of UML activity diagrams for workflow modelling H Eshuis Centre for Telematics and Information Technology (CTIT), University of Twente, 2002	213	2002
Tool support for verifying UML activity diagrams R Eshuis, R Wieringa IEEE transactions on software engineering 30 (7), 437-447, 2004	201	2004
Verification support for workflow design with UML activity graphs R Eshuis, R Wieringa Proceedings of the 24th international conference on Software engineering …, 2002	153	2002
Comparing Petri net and activity diagram variants for workflow modelling–a quest for reactive Petri nets R Eshuis, R Wieringa Petri Net Technology for Communication-Based Systems: Advances in Petri Nets …, 2003	143	2003
Comparing Petri net and activity diagram variants for workflow modelling–a quest for reactive Petri nets R Eshuis, R Wieringa Petri Net Technology for Communication-Based Systems: Advances in Petri Nets …, 2003	143	2003
A Formal Semantics for UML Activity Diagrams: Formalising Workflow Models H Eshuis, RJ Wieringa Centre for Telematics and Information Technology, University of Twente, 2001	96	2001
A Formal Semantics for UML Activity Diagrams: Formalising Workflow Models H Eshuis, RJ Wieringa Centre for Telematics and Information Technology, University of Twente, 2001	96	2001
Reactive petri nets for workflow modeling R Eshuis, J Dehnert International Conference on Application and Theory of Petri Nets, 296-315, 2003	94	2003
Structural matching of bpel processes R Eshuis, P Grefen Fifth European Conference on Web Services (ECOWS'07), 171-180, 2007	92	2007
Requirements-level semantics for UML statecharts R Eshuis, R Wieringa Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6. 1 …, 2000	87	2000
Internet-based support for process-oriented instant virtual enterprises P Grefen, R Eshuis, N Mehandjiev, G Kouvas, G Weichhart IEEE Internet Computing 13 (6), 65-73, 2009	84	2009
Reconciling statechart semantics R Eshuis Science of Computer Programming 74 (3), 65-99, 2009	69	2009
A real-time execution semantics for UML activity diagrams R Eshuis, R Wieringa International Conference on Fundamental Approaches to Software Engineering …, 2001	60	2001
Specification and verification of harmonized business-process collaborations A Norta, R Eshuis Information Systems Frontiers 12, 457-479, 2010	56	2010
Requirements-level semantics and model checking of object-oriented statecharts R Eshuis, DN Jansen, R Wieringa Requirements Engineering 7, 243-263, 2002	53	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors