Requirements Level Semantics for UML Statecharts. - Rik Eshuis; Roel J. Wieringa (FMOODS, 2000)

A Real-Time Execution Semantics for UML Activity Diagrams. - Rik Eshuis; Roel J. Wieringa (FASE, 2001)

An Execution Algorithm for UML Activity Graphs. - Rik Eshuis; Roel J. Wieringa (UML, 2001)

Verification support for workflow design with UML activity graphs. - Rik Eshuis; Roel J. Wieringa (ICSE, 2002)

Comparing Refinements for Failure and Bisimulation Semantics. - Rik Eshuis; Maarten M. Fokkinga (Fundam. Informaticae, 2002)

Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. - Rik Eshuis; David N. Jansen; Roel J. Wieringa (Requir. Eng., 2002)

Semantics and Verification of UML Activity Diagrams for Workflow Modelling. - Hendrik Eshuis (2002)

Reactive Petri Nets for Workflow Modeling. - Rik Eshuis; Juliane Dehnert (ICATPN, 2003)

Animating ebXML Transactions with a Workflow Engine. - Rik Eshuis; Pierre Brimont; Eric Dubois 001; Bertrand Grégoire; Sophie Ramel (OTM, 2003)

Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets. - Rik Eshuis; Roel J. Wieringa (Petri Net Technology for Communication-Based Systems, 2003)

EFFICIENT: a tool set for supporting the modelling and validation of ebXML. - Rik Eshuis; Pierre Brimont; Eric Dubois 001; Bertrand Grégoire; Sophie Ramel (ESEC / SIGSOFT FSE, 2003)

Tool Support for Verifying UML Activity Diagrams. - Rik Eshuis; Roel J. Wieringa (IEEE Trans. Software Eng., 2004)

Structured Service Composition. - Rik Eshuis; Paul W. P. J. Grefen; Sven Till (Business Process Management, 2006)

Designing a Modular Infrastructure for Exploratory Integration of Interoperability Approaches. - Nikolay Mehandjiev; Paul W. P. J. Grefen; Iain Duncan Stalker; Rik Eshuis; Kurt Fessl; Georg Weichhart (I-ESA, 2006)

PINCET - Process Integration of Collaborative Enterprises. - Rik Eshuis; Heiko Ludwig (WETICE, 2006)

Symbolic model checking of UML activity diagrams. - Rik Eshuis (ACM Trans. Softw. Eng. Methodol., 2006)

Structural Matching of BPEL Processes. - Rik Eshuis; Paul W. P. J. Grefen (ECOWS, 2007)

ProGility Workshop Final Report. - Barbara Weber; Manfred Reichert; Rik Eshuis (WETICE, 2007)

Agile Cooperative Process-Aware Information Systems (ProGility 2008). - Barbara Weber; Rik Eshuis; Jan Mendling; Mirjam Minor (WETICE, 2008)

Constructing customized process views. - Rik Eshuis; Paul W. P. J. Grefen (Data Knowl. Eng., 2008)

Constructing minimal protocol adaptors for service composition. - Ricardo Seguel; Rik Eshuis; Paul W. P. J. Grefen (WEWST, 2009)

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way. - Rik Eshuis (FM, 2009)

Constructing process views for service outsourcing. - Rik Eshuis; Alex Norta (SAC, 2009)

Agile Cooperative Process-Aware Information Systems (ProGility 2009): Workshop Report. - Rik Eshuis; Jan Mendling; Mirjam Minor; Barbara Weber (WETICE, 2009)

Dynamic business network process management in instant virtual enterprises. - Paul W. P. J. Grefen; Nikolay Mehandjiev; Giorgos Kouvas; Georg Weichhart; Rik Eshuis (Comput. Ind., 2009)

Composing Services into Structured Processes. - Rik Eshuis; Paul W. P. J. Grefen (Int. J. Cooperative Inf. Syst., 2009)

Internet-Based Support for Process-Oriented Instant Virtual Enterprises. - Paul W. P. J. Grefen; Rik Eshuis; Nikolay Mehandjiev; Giorgos Kouvas; Georg Weichhart (IEEE Internet Comput., 2009)

Reconciling statechart semantics. - Rik Eshuis (Sci. Comput. Program., 2009)

A Framework for Service Outsourcing Using Process Views. - Rik Eshuis; Alex Norta (EDOC, 2010)

Architecture Support for Flexible Chain Management. - Ricardo Seguel; Rik Eshuis; Paul Grefen (EIS, 2010)

Generating Minimal Protocol Adaptors for Loosely Coupled Services. - Ricardo Seguel; Rik Eshuis; Paul W. P. J. Grefen (ICWS, 2010)

Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program. - Pieter Van Gorp; Rik Eshuis (MoDELS (2), 2010)

Business Protocol Adaptation for Flexible Chain Management. - Ricardo Seguel; Rik Eshuis; Paul W. P. J. Grefen (OTM Conferences (1), 2010)

An integer programming based approach for verification and diagnosis of workflows. - Rik Eshuis; Akhil Kumar 001 (Data Knowl. Eng., 2010)

Specification and verification of harmonized business-process collaborations. - Alex Norta; Rik Eshuis (Inf. Syst. Frontiers, 2010)

Business Process Composition. - Rik Eshuis; Alex Norta (Dynamic Business Process Formation for Instant Virtual Enterprises, 2010)

Outlook. - Paul Grefen; Rik Eshuis; Alex Norta (Dynamic Business Process Formation for Instant Virtual Enterprises, 2010)

Architecture Aspect. - Paul Grefen; Rik Eshuis; Iain Duncan Stalker; Georgios Kouvas (Dynamic Business Process Formation for Instant Virtual Enterprises, 2010)

Transactional Process Views. - Rik Eshuis; Jochem Vonk; Paul W. P. J. Grefen (OTM Conferences (1), 2011)

Flexible Construction of Complex Service Compositions from Reusable Semantic Knowledge. - Rik Eshuis; Freddy Lécué; Nikolay Mehandjiev (ICWS, 2012)

No Evidence of L1 Path Encoding Strategies in the L2 in Advanced Bulgarian Speakers of Norwegian. - Mila Dimitrova-Vulchanova; Liliana Martinez; Rik Eshuis; Kjersti Listhaug (Spatial Cogn. Comput., 2012)

Synthesizing Object-Centric Models from Business Process Models. - Rik Eshuis; Pieter Van Gorp (Business Process Management Workshops, 2013)

Diagnosing correctness of semantic workflow models. - Diana Borrego; Rik Eshuis; María Teresa Gómez-López; Rafael M. Gasca (Data Knowl. Eng., 2013)

Statechartable Petri nets. - Rik Eshuis (Formal Aspects Comput., 2013)

Architecture Support for Flexible Business Chain Integration Using Protocol Adaptors. - Ricardo Seguel; Rik Eshuis; Paul W. P. J. Grefen (Int. J. Cooperative Inf. Syst., 2014)

Splitting GSM schemas: A framework for outsourcing of declarative artifact systems. - Rik Eshuis; Richard Hull 001; Yutian Sun; Roman Vaculín (Inf. Syst., 2014)

Property Preservation in Adaptive Case Management. - Rik Eshuis; Richard Hull 001; Mengfei Yi (ICSOC, 2015)

Information Governance Requirements for Architectural Solutions Supporting Dynamic Business Networking. - Mohammad R. Rasouli; Rik Eshuis; Jos J. M. Trienekens; Paul W. P. J. Grefen (ICSOC Workshops, 2015)

Creating Agility in Traffic Management by Collaborative Service-Dominant Business Engineering. - Paul W. P. J. Grefen; Oktay Türetken; Kostas Traganos; Aafke den Hollander; Rik Eshuis (PRO-VE, 2015)

Metaphorical priming in a lexical decision task in high functioning autism. - Sobh Chahboun; Valentin Vulchanov; David Saldana; Hendrik Eshuis; Mila Vulchanova (NetWordS, 2015)

The role of grammar factors and visual context in Norwegian children's pronoun resolution. - Camilla Hellum Foyn; Mila Vulchanova; Rik Eshuis (NetWordS, 2015)

Information Quality in Dynamic Networked Business Process Management. - Mohammad R. Rasouli; Rik Eshuis; Jos J. M. Trienekens; Rob J. Kusters; Paul W. P. J. Grefen (OTM Conferences, 2015)

Service Outsourcing with Process Views. - Rik Eshuis; Alex Norta; Oliver Kopp; Esa Pitkänen (IEEE Trans. Serv. Comput., 2015)

Message from the RW-BPMS 2016 Workshop Chairs. - Claudio Di Ciccio; Anne Baumgrass; Rik Eshuis (EDOC Workshops, 2016)

Deriving Consistent GSM Schemas from DCR Graphs. - Rik Eshuis; Søren Debois; Tijs Slaats; Thomas T. Hildebrandt (ICSOC, 2016)

Information Governance as a Dynamic Capability in Service Oriented Business Networking. - Mohammad R. Rasouli; Rik Eshuis; Jos J. M. Trienekens; Rob J. Kusters; Paul W. P. J. Grefen (PRO-VE, 2016)

Synthesizing data-centric models from business process models. - Rik Eshuis; Pieter Van Gorp (Computing, 2016)

Converting unstructured into semi-structured process models. - Rik Eshuis; Akhil Kumar 001 (Data Knowl. Eng., 2016)

Information Governance in Dynamic Networked Business Process Management. - Mohammad R. Rasouli; Rik Eshuis; Paul W. P. J. Grefen; Jos J. M. Trienekens; Rob J. Kusters (Int. J. Cooperative Inf. Syst., 2016)

Evolving process views. - Rik Eshuis; Alex Norta; Raoul Roulaux (Inf. Softw. Technol., 2016)

Synthesizing object life cycles from business process models. - Rik Eshuis; Pieter Van Gorp (Softw. Syst. Model., 2016)

Flexible Construction of Executable Service Compositions from Reusable Semantic Knowledge. - Rik Eshuis; Freddy Lécué; Nikolay Mehandjiev (ACM Trans. Web, 2016)

Assessing Suitability of adaptive Case Management. - Jeroen Pillaerds; Rik Eshuis (ECIS, 2017)

Synthesizing Minimal Protocol Adaptors for Asynchronously Interacting Services. - Rik Eshuis; Ricardo Seguel; Paul Grefen (IEEE Trans. Serv. Comput., 2017)

Modeling Decision-Intensive Processes with Declarative Business Artifacts. - Rik Eshuis (ASSRI, 2018)

Feature-Oriented Composition of Declarative Artifact-Centric Process Models. - Rik Eshuis (BPM, 2018)

Modeling Uncertainty in Declarative Artifact-Centric Process Models. - Rik Eshuis; Murat Firat (Business Process Management Workshops, 2018)

A Reference Framework for Advanced Flexible Information Systems. - Paul Grefen; Rik Eshuis; Oktay Türetken; Irene Vanderfeesten (CAiSE Workshops, 2018)

Modeling Rolling Stock Maintenance Logistics at Dutch Railways with Declarative Business Artifacts. - Erik Smit; Rik Eshuis (Business Process Management Workshops, 2019)

Decision Support for Declarative Artifact-Centric Process Models. - Simon Voorberg; Rik Eshuis; Willem van Jaarsveld; Geert-Jan van Houtum (BPM Forum, 2019)

Determining Capacity of Shunting Yards by Combining Graph Classification with Local Search. - Arno van de Ven; Yingqian Zhang 001; Wan-Jui Lee; Rik Eshuis; Anna Wilbik (ICAART (2), 2019)

Representing Variability in Enterprise Architecture - A Case Study. - Nino Rurua; Rik Eshuis; Maryam Razavian (Bus. Inf. Syst. Eng., 2019)

Reasoning About Property Preservation in Adaptive Case Management. - Rik Eshuis; Richard Hull 001; Mengfei Yi (ACM Trans. Internet Techn., 2019)

Extracting Features From Process Variants in Case Management. - Rik Eshuis (CoRR, 2020)

Verifying the manipulation of data objects according to business process and data models. - José Miguel Pérez-Álvarez; María Teresa Gómez-López; Rik Eshuis; Marco Montali; Rafael M. Gasca (Knowl. Inf. Syst., 2020)

Consistency Checking of Goal Models and Case Management Schemas. - Rik Eshuis; Aditya Ghose (BPM (Forum), 2021)

Context-Aware Process Modelling for Medicinal Product Development. - Zeynep Ozturk Yurt; Rik Eshuis; Anna Wilbik; Irene Vanderfeesten (PoEM, 2021)

Decisions for information or information for decisions? Optimizing information gathering in decision-intensive processes. - Simon Voorberg; Rik Eshuis; Willem van Jaarsveld; G. J. van Houtum (Decis. Support Syst., 2021)

Assessing performance of mined business process variants. - Lucas Van Den Ingh; Rik Eshuis; Sarah Gelper (Enterp. Inf. Syst., 2021)

Feature-oriented engineering of declarative artifact-centric process models. - Rik Eshuis (Inf. Syst., 2021)

Modeling uncertainty in declarative artifact-centric process models using fuzzy logic. - Rik Eshuis; Murat Firat; Uzay Kaymak (Inf. Sci., 2021)

Process Querying Using Process Model Similarity. - Remco M. Dijkman; Rik Eshuis (Process Querying Methods, 2022)

Guiding Knowledge Workers Under Dynamic Contexts. - Zeynep Ozturk Yurt; Rik Eshuis; Anna Wilbik; Irene Vanderfeesten (CAiSE, 2022)

A Method for Integrated Modeling of KiPs and Contextual Goals. - Zeynep Ozturk Yurt; Rik Eshuis; Banu Aysolmaz; Anna Wilbik; Irene Vanderfeesten (CoopIS, 2022)

Beyond Business Development: Regulatory Assessment of Energy Sector Projects with Contextual Requirements Engineering. - Sybren de Kinderen; Qin Ma 002; Monika Kaczmarek-Heß; Rik Eshuis (PoEM, 2022)

Enterprise Computing. - Remco M. Dijkman; Samira Si-Said Cherfi; Rik Eshuis; Alan Wee-Chung Liew (Inf. Syst., 2022)

Conceptual Modeling in Support of Economic and Regulatory Viability Assessment - A Reality Check on the Example of Developing an Energy Community. - Sybren de Kinderen; Qin Ma 002; Monika Kaczmarek-Heß; Rik Eshuis (EDOC, 2023)

Modeling information gathering for decisions in business processes. - Rik Eshuis (ER (Companion), 2023)

Information acquisition for service contract quotations made by repair shops. - Simon Voorberg; Willem van Jaarsveld; Rik Eshuis; G. J. van Houtum (Eur. J. Oper. Res., 2023)

Extracting Reusable Fragments From Data-Centric Process Variants. - Rik Eshuis (IEEE Trans. Serv. Comput., 2023)

Context-aware modeling for knowledge-intensive medicinal product development processes. - Zeynep Ozturk Yurt; Rik Eshuis; Anna Wilbik; Irene Vanderfeesten (Softw. Syst. Model., 2023)

A Reference Architecture for Reverse Logistics in the High-Tech Industry. - Rianne Simons; Rik Eshuis; Baris Ozkan 001 (Comput. Ind. Eng., 2024)

Real-Time Data-Driven Maintenance Logistics: A Public-Private Collaboration. - Willem van Jaarsveld; Alp Akçay; Laurens Bliek; Paulo da Costa 001; Mathijs de Weerdt; Rik Eshuis; Stella Kapodistria; Uzay Kaymak; Verus Pronk; Geert-Jan van Houtum; Peter Verleijsdonk; Sicco Verwer; et al. (Commit2Data, 2024)

Goal-Oriented Process Monitoring: An Artifact-Driven Monitoring Extension. - Giovanni Meroni; Rik Eshuis (CAiSE Forum, 2025)

Intervention strategies for improving business process outcomes: A causal rule mining approach. - Rik Eshuis; Laura Genga (Expert Syst. Appl., 2025)

Guidance for goal achievement in knowledge-intensive processes using intuitionistic fuzzy sets. - Zeynep Ozturk Yurt; Rik Eshuis; Anna Wilbik; Irene Vanderfeesten (Expert Syst. Appl., 2025)