Rik Eshuis

Cited by

	All	Since 2017
Citations	2993	668
h-index	27	15
i10-index	49	21

240

120

180

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202219 38 59 105 128 113 120 143 187 236 189 218 186 175 174 166 133 139 135 103 123 34

Public access

View all

4 articles

2 articles

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 WeichhartPROFACTOR GmbHVerified email at profactor.at
Pieter Van GorpEindhoven University of TechnologyVerified email at pietervangorp.com
Richard Hullibm researchVerified email at us.ibm.com
Oktay TuretkenAssociate Professor in Information Systems at Eindhoven University of TechnologyVerified email at tue.nl
Mohammad R. RasouliAssistant professor, Iran University of Science and TechnologyVerified email at iust.ac.ir
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ópezUniversidad de SevillaVerified email at us.es
Roman VaculinIBM ResearchVerified email at us.ibm.com
Eric DuboisProfessor, Dr, Chief Architect at Luxembourg Institute of Science & Technology (Departement of ITVerified email at list.lu
Rafael M. GascaProfesor de Informática, Universidad de SevillaVerified email at us.es
Akhil KumarPenn State UniversityVerified email at psu.edu
James SunFacebook, IncVerified email at fb.com
Diana BorregoUniversidad de SevillaVerified email at us.es
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl

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	263	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	212	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	212	2009
Semantics and verification of UML activity diagrams for workflow modelling H Eshuis Centre for Telematics and Information Technology (CTIT), University of Twente, 2002	211	2002
Semantics and verification of UML activity diagrams for workflow modelling H Eshuis Centre for Telematics and Information Technology (CTIT), University of Twente, 2002	211	2002
Constructing customized process views R Eshuis, P Grefen Data & Knowledge Engineering 64 (2), 419-438, 2008	204	2008
Tool support for verifying UML activity diagrams R Eshuis, R Wieringa IEEE transactions on software engineering 30 (7), 437-447, 2004	198	2004
Verification support for workflow design with UML activity graphs R Eshuis, R Wieringa Proceedings of the 24th international conference on Software engineering …, 2002	146	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, 321-351, 2003	139	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, 321-351, 2003	139	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 International Conference on Application and Theory of Petri Nets, 296-315, 2003	92	2003
Structural matching of bpel processes R Eshuis, P Grefen Fifth European Conference on Web Services (ECOWS'07), 171-180, 2007	91	2007
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
Requirements-level semantics for UML statecharts R Eshuis, R Wieringa International Conference on Formal Methods for Open Object-Based Distributed …, 2000	81	2000
Reconciling statechart semantics R Eshuis Science of Computer Programming 74 (3), 65-99, 2009	62	2009
A real-time execution semantics for UML activity diagrams R Eshuis, R Wieringa International Conference on Fundamental Approaches to Software Engineering …, 2001	62	2001
Requirements-level semantics and model checking of object-oriented statecharts R Eshuis, DN Jansen, R Wieringa Requirements Engineering 7 (4), 243-263, 2002	54	2002
Specification and verification of harmonized business-process collaborations A Norta, R Eshuis Information Systems Frontiers 12 (4), 457-479, 2010	52	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 this author

Cited by

Co-authors