• 991 Citaties
20022020

Onderzoeksresultaten per jaar

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

Filter
Tijdschriftartikel
2020

Assessing performance of mined business process variants

van den Ingh, L. O., Eshuis, H. R. & Gelper, S. E. C., 2020, (Geaccepteerd/In druk) In : Enterprise Information Systems.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access

Verifying the manipulation of data objects according to business process and data models

Pérez-Alvarez, J. M., Gómez-López, M. T., Eshuis, R., Montali, M. & Gasca, R. M., 1 jul 2020, In : Knowledge and Information Systems. 62, 7, blz. 2653-2683 31 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
2019

Reasoning about property preservation in adaptive case management

Eshuis, H., Hull, R. & Yi, M., mrt 2019, In : ACM Transactions on Internet Technology. 19, 1, 21 blz., 12.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

2 Citaten (Scopus)
6 Downloads (Pure)

Representing variability in enterprise architecture: a case study

Rurua, N., Eshuis, H. & Razavian, M., 8 apr 2019, In : Business & Information Systems Engineering. 61, 2, blz. 215-227 13 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
1 Citaat (Scopus)
36 Downloads (Pure)
2017

Synthesizing minimal protocol adaptors for asynchronously interacting services

Eshuis, H., Seguel Pérez, R. E. & Grefen, P. W. P. J., 1 mei 2017, In : IEEE Transactions on Services Computing. 10, 3, blz. 461-474 14 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

1 Citaat (Scopus)
3 Downloads (Pure)
2016

Converting unstructured into semi-structured process models

Eshuis, R. & Kumar, A., jan 2016, In : Data & Knowledge Engineering. 101, blz. 43-61

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

5 Citaten (Scopus)
7 Downloads (Pure)

Evolving process views

Eshuis, H., Norta, A. & Roulaux, R., 2016, In : Information and Software Technology. 80, blz. 20-35 16 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

11 Citaten (Scopus)

Flexible construction of executable service compositions from reusable semantic knowledge

Eshuis, H., Lécué, F. & Mehandjiev, N., 8 feb 2016, In : ACM Transactions on the Web. 10, 1, blz. 1-27 5.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

10 Citaten (Scopus)
1 Downloads (Pure)

Information governance in dynamic networked business process management

Rasouli, M., Eshuis, H., Grefen, P. W. P. J., Trienekens, J. J. M. & Kusters, R. J., dec 2016, In : International Journal of Cooperative Information Systems. 25, 4, 37 blz., 1740004.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
2 Citaten (Scopus)
93 Downloads (Pure)

Synthesizing data-centric models from business process models

Eshuis, H. & Van Gorp, P. M. E., 2016, In : Computing. 98, 4, blz. 345-373 29 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
10 Citaten (Scopus)
117 Downloads (Pure)

Synthesizing object life cycles from business process models

Eshuis, H. & Van Gorp, P. M. E., feb 2016, In : Software and Systems Modeling. 15, 1, blz. 281-302 22 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

8 Citaten (Scopus)
10 Downloads (Pure)
2015

Service outsourcing with process views

Eshuis, H., Norta, A. H., Kopp, O. & Pitkänen, E., 2015, In : IEEE Transactions on Services Computing. 8, 1, blz. 136-154

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
22 Citaten (Scopus)
113 Downloads (Pure)
2014

Architecture support for flexible business chain integration using protocol adaptors

Seguel Perez, R. E., Eshuis, H. & Grefen, P. W. P. J., 2014, In : International Journal of Cooperative Information Systems. 23, 4, blz. 1450008-1-31 31 blz., 1450008.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

6 Citaten (Scopus)
2 Downloads (Pure)

Splitting GSM schemas : a framework for outsourcing of declarative artifact systems

Eshuis, H., Hull, R., Sun, Y. & Vaculin, R., 2014, In : Information Systems. 46, blz. 157-187

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (Scopus)
4 Downloads (Pure)
2013

Diagnosing correctness of semantic workflow models

Borrego, D., Eshuis, H., Gómez-López, M. T. & Gasca, R. M., 2013, In : Data & Knowledge Engineering. 87, blz. 167-184 18 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

19 Citaten (Scopus)
9 Downloads (Pure)

Statechartable Petri nets

Eshuis, H., 2013, In : Formal Aspects of Computing. 25, 5, blz. 659-681 23 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
1 Citaat (Scopus)
55 Downloads (Pure)
2010

An integer programming based approach for verification and diagnosis of workflows

Eshuis, H. & Kumar, A., 2010, In : Data & Knowledge Engineering. 69, 8, blz. 816-835 20 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

16 Citaten (Scopus)

Specification and verification of harmonized business-process collaborations

Norta, A. H. & Eshuis, H., 2010, In : Information Systems Frontiers. 12, 4, blz. 457-479 23 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

27 Citaten (Scopus)
2009

Composing services into structured processes

Eshuis, H. & Grefen, P. W. P. J., 2009, In : International Journal of Cooperative Information Systems. 18, 2, blz. 309-337

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

9 Citaten (Scopus)

Dynamic business network process management in instant virtual enterprises

Grefen, P. W. P. J., Mehandjiev, N., Kouvas, G., Weichhart, G. & Eshuis, H., 2009, In : Computers in Industry. 60, 2, blz. 86-103

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

88 Citaten (Scopus)
3 Downloads (Pure)

Internet-based support for process-oriented instant virtual enterprises

Grefen, P. W. P. J., Eshuis, H., Mehandjiev, N., Kouvas, G. & Weichhart, G., 2009, In : IEEE Internet Computing. 13, 6, blz. 65-73 9 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
Bestand
39 Citaten (Scopus)
93 Downloads (Pure)

Reconciling statechart semantics

Eshuis, H., 2009, In : Science of Computer Programming. 74, 3, blz. 65-99

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

Open Access
33 Citaten (Scopus)
2 Downloads (Pure)
2008

Constructing customized process views

Eshuis, H. & Grefen, P. W. P. J., 2008, In : Data & Knowledge Engineering. 64, 2, blz. 419-438

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

123 Citaten (Scopus)
1 Downloads (Pure)
2006

Symbolic model checking of UML activity diagrams

Eshuis, H., 2006, In : ACM Transactions on Software Engineering and Methodology. 15, 1, blz. 1-38 38 blz.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

154 Citaten (Scopus)
2004

Tool support for verifying UML activity diagrams

Eshuis, H. & Wieringa, R. J., 2004, In : IEEE Transactions on Software Engineering. 30, 7, blz. 437-447

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

105 Citaten (Scopus)
2002

Comparing refinements for failure and bisimulation semantics

Eshuis, H. & Fokkinga, M. M., 2002, In : Fundamenta Informaticae. 52, 4, blz. 297-321

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

15 Citaten (Scopus)

Requirements-level semantics and model checking of object-oriented statecharts

Eshuis, H., Jansen, D. N. & Wieringa, R. J., 2002, In : Requirements Engineering. 7, 4, blz. 243-263

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

29 Citaten (Scopus)