Rik Eshuis

Cited by

	All	Since 2016
Citations	2859	728
h-index	26	16
i10-index	46	22

240

120

180

20012002200320042005200620072008200920102011201220132014201520162017201820192020202117 37 58 101 127 109 120 140 190 238 186 212 180 173 174 167 132 137 139 105 47

Public access

View all

3 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Paul GrefenProfessor of Information Systems, 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
Nikolay MehandjievUniversity of ManchesterVerified email at manchester.ac.uk
Alexander Norta (nee Hirnschall)Researcher, Tallinn Technology UniversityVerified email at taltech.ee
Georg WeichhartPROFACTORVerified email at profactor.at
Pieter Van GorpEindhoven University of TechnologyVerified email at pietervangorp.com
Richard Hullibm researchVerified email at us.ibm.com
Mohammad R. RasouliAssistant professor, Iran University of Science and TechnologyVerified email at iust.ac.ir
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
Eric DuboisProfessor, Dr, Chief Architect at Luxembourg Institute of Science & Technology (Departement of ITVerified email at list.lu
Roman VaculinIBM ResearchVerified email at us.ibm.com
M. Teresa Gómez LópezUniversidad de SevillaVerified email at us.es
Akhil KumarPenn State UniversityVerified email at psu.edu
Yutian SunFacebookVerified email at fb.com
David N. JansenRadboud Universiteit NijmegenVerified email at cs.ru.nl
Oliver KoppMercedes-Benz AG, GermanyVerified email at daimler.com
Esa PitkänenInstitute for Molecular Medicine Finland (FIMM)Verified email at helsinki.fi

Rik Eshuis

Eindhoven University of Technology

Verified email at tue.nl - Homepage

Business Process Management Business Process Modeling 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	257	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	207	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	207	2009
Semantics and verification of UML activity diagrams for workflow modelling H Eshuis Centre for Telematics and Information Technology (CTIT), University of Twente, 2002	205	2002
Semantics and verification of UML activity diagrams for workflow modelling H Eshuis Centre for Telematics and Information Technology (CTIT), University of Twente, 2002	205	2002
Constructing customized process views R Eshuis, P Grefen Data & Knowledge Engineering 64 (2), 419-438, 2008	203	2008
Tool support for verifying UML activity diagrams R Eshuis, R Wieringa IEEE Transactions on Software Engineering 30 (7), 437-447, 2004	191	2004
Verification support for workflow design with UML activity graphs R Eshuis, R Wieringa Proceedings of the 24th international conference on Software engineering …, 2002	147	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	137	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	137	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	95	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	95	2001
Structural matching of BPEL processes R Eshuis, P Grefen Fifth European Conference on Web Services (ECOWS'07), 171-180, 2007	91	2007
Reactive petri nets for workflow modeling R Eshuis, J Dehnert International Conference on Application and Theory of Petri Nets, 296-315, 2003	90	2003
Requirements-level semantics for UML statecharts R Eshuis, R Wieringa International Conference on Formal Methods for Open Object-Based Distributed …, 2000	81	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	75	2009
Reconciling statechart semantics R Eshuis Science of Computer Programming 74 (3), 65-99, 2009	64	2009
A real-time execution semantics for UML activity diagrams R Eshuis, R Wieringa International Conference on Fundamental Approaches to Software Engineering …, 2001	58	2001
Requirements-level semantics and model checking of object-oriented statecharts R Eshuis, DN Jansen, R Wieringa Requirements Engineering 7 (4), 243-263, 2002	51	2002
Specification and verification of harmonized business-process collaborations A Norta, R Eshuis Information Systems Frontiers 12 (4), 457-479, 2010	49	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

Upload PDF

Follow this author

Cited by

Co-authors