Rik Eshuis

Cited by

	All	Since 2018
Citations	3094	629
h-index	27	14
i10-index	55	22

240

120

180

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202321 37 62 103 127 114 118 141 193 233 192 217 186 179 170 173 133 130 142 108 131 90 28

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
Diana BorregoUniversidad de SevillaVerified email at us.es
James SunFacebook, IncVerified email at meta.com

Rik Eshuis

Eindhoven University of Technology

Verified email at tue.nl - Homepage

Business Process Management Business Process Modeling Knowledge-intensive Processes Intelligent Information Systems


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	272	2006
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
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	211	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	211	2009
Constructing customized process views R Eshuis, P Grefen Data & Knowledge Engineering 64 (2), 419-438, 2008	210	2008
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	149	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	141	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	141	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	97	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	97	2001
Reactive petri nets for workflow modeling R Eshuis, J Dehnert Applications and Theory of Petri Nets 2003: 24th International Conference …, 2003	92	2003
Structural matching of bpel processes R Eshuis, P Grefen Fifth European Conference on Web Services (ECOWS'07), 171-180, 2007	90	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	81	2009
Reconciling statechart semantics R Eshuis Science of Computer Programming 74 (3), 65-99, 2009	68	2009
A real-time execution semantics for UML activity diagrams R Eshuis, R Wieringa Fundamental Approaches to Software Engineering: 4th International Conference …, 2001	61	2001
Requirements-level semantics and model checking of object-oriented statecharts R Eshuis, DN Jansen, R Wieringa Requirements Engineering 7 (4), 243, 2002	55	2002
Specification and verification of harmonized business-process collaborations A Norta, R Eshuis Information Systems Frontiers 12, 457-479, 2010	54	2010

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