Rik Eshuis

Orcid: 0000-0003-2314-7155

Affiliations:
  • Eindhoven University of Technology, Netherlands


According to our database1, Rik Eshuis authored at least 91 papers between 2000 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Context-aware modeling for knowledge-intensive medicinal product development processes.
Softw. Syst. Model., April, 2023

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

Information acquisition for service contract quotations made by repair shops.
Eur. J. Oper. Res., 2023

Modeling information gathering for decisions in business processes.
Proceedings of the Companion Proceedings of the 42nd International Conference on Conceptual Modeling: ER Forum, 2023

Conceptual Modeling in Support of Economic and Regulatory Viability Assessment - A Reality Check on the Example of Developing an Energy Community.
Proceedings of the Enterprise Design, Operations, and Computing, 2023

2022
Enterprise Computing.
Inf. Syst., 2022

Beyond Business Development: Regulatory Assessment of Energy Sector Projects with Contextual Requirements Engineering.
Proceedings of the Practice of Enterprise Modeling, 2022

A Method for Integrated Modeling of KiPs and Contextual Goals.
Proceedings of the Cooperative Information Systems - 28th International Conference, 2022

Guiding Knowledge Workers Under Dynamic Contexts.
Proceedings of the Advanced Information Systems Engineering, 2022

Process Querying Using Process Model Similarity.
Proceedings of the Process Querying Methods, 2022

2021
Modeling uncertainty in declarative artifact-centric process models using fuzzy logic.
Inf. Sci., 2021

Feature-oriented engineering of declarative artifact-centric process models.
Inf. Syst., 2021

Assessing performance of mined business process variants.
Enterp. Inf. Syst., 2021

Decisions for information or information for decisions? Optimizing information gathering in decision-intensive processes.
Decis. Support Syst., 2021

Context-Aware Process Modelling for Medicinal Product Development.
Proceedings of the Practice of Enterprise Modeling, 2021

Consistency Checking of Goal Models and Case Management Schemas.
Proceedings of the Business Process Management Forum, 2021

2020
Verifying the manipulation of data objects according to business process and data models.
Knowl. Inf. Syst., 2020

Extracting Features From Process Variants in Case Management.
CoRR, 2020

2019
Reasoning About Property Preservation in Adaptive Case Management.
ACM Trans. Internet Techn., 2019

Representing Variability in Enterprise Architecture - A Case Study.
Bus. Inf. Syst. Eng., 2019

Determining Capacity of Shunting Yards by Combining Graph Classification with Local Search.
Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Decision Support for Declarative Artifact-Centric Process Models.
Proceedings of the Business Process Management Forum, 2019

Modeling Rolling Stock Maintenance Logistics at Dutch Railways with Declarative Business Artifacts.
Proceedings of the Business Process Management Workshops, 2019

2018
A Reference Framework for Advanced Flexible Information Systems.
Proceedings of the Advanced Information Systems Engineering Workshops, 2018

Modeling Uncertainty in Declarative Artifact-Centric Process Models.
Proceedings of the Business Process Management Workshops, 2018

Feature-Oriented Composition of Declarative Artifact-Centric Process Models.
Proceedings of the Business Process Management - 16th International Conference, 2018

Modeling Decision-Intensive Processes with Declarative Business Artifacts.
Proceedings of the Service Research and Innovation - 7th Australian Symposium, 2018

2017
Synthesizing Minimal Protocol Adaptors for Asynchronously Interacting Services.
IEEE Trans. Serv. Comput., 2017

Assessing Suitability of adaptive Case Management.
Proceedings of the 25th European Conference on Information Systems, 2017

2016
Flexible Construction of Executable Service Compositions from Reusable Semantic Knowledge.
ACM Trans. Web, 2016

Synthesizing object life cycles from business process models.
Softw. Syst. Model., 2016

Evolving process views.
Inf. Softw. Technol., 2016

Information Governance in Dynamic Networked Business Process Management.
Int. J. Cooperative Inf. Syst., 2016

Converting unstructured into semi-structured process models.
Data Knowl. Eng., 2016

Synthesizing data-centric models from business process models.
Computing, 2016

Information Governance as a Dynamic Capability in Service Oriented Business Networking.
Proceedings of the Collaboration in a Hyperconnected World, 2016

Deriving Consistent GSM Schemas from DCR Graphs.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Message from the RW-BPMS 2016 Workshop Chairs.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Workshop, 2016

2015
Service Outsourcing with Process Views.
IEEE Trans. Serv. Comput., 2015

Information Quality in Dynamic Networked Business Process Management.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2015 Conferences, 2015

The role of grammar factors and visual context in Norwegian children's pronoun resolution.
Proceedings of the NetWordS Final Conference on Word Knowledge and Word Usage: Representations and Processes in the Mental Lexicon, Pisa, Italy, March 30, 2015

Metaphorical priming in a lexical decision task in high functioning autism.
Proceedings of the NetWordS Final Conference on Word Knowledge and Word Usage: Representations and Processes in the Mental Lexicon, Pisa, Italy, March 30, 2015

Creating Agility in Traffic Management by Collaborative Service-Dominant Business Engineering.
Proceedings of the Risks and Resilience of Collaborative Networks, 2015

Information Governance Requirements for Architectural Solutions Supporting Dynamic Business Networking.
Proceedings of the Service-Oriented Computing - ICSOC 2015 Workshops, 2015

Property Preservation in Adaptive Case Management.
Proceedings of the Service-Oriented Computing - 13th International Conference, 2015

2014
Splitting GSM schemas: A framework for outsourcing of declarative artifact systems.
Inf. Syst., 2014

Architecture Support for Flexible Business Chain Integration Using Protocol Adaptors.
Int. J. Cooperative Inf. Syst., 2014

2013
Statechartable Petri nets.
Formal Aspects Comput., 2013

Diagnosing correctness of semantic workflow models.
Data Knowl. Eng., 2013

Synthesizing Object-Centric Models from Business Process Models.
Proceedings of the Business Process Management Workshops, 2013

2012
No Evidence of L1 Path Encoding Strategies in the L2 in Advanced Bulgarian Speakers of Norwegian.
Spatial Cogn. Comput., 2012

Flexible Construction of Complex Service Compositions from Reusable Semantic Knowledge.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

2011
Transactional Process Views.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

2010
Architecture Aspect.
Proceedings of the Dynamic Business Process Formation for Instant Virtual Enterprises, 2010

Outlook.
Proceedings of the Dynamic Business Process Formation for Instant Virtual Enterprises, 2010

Business Process Composition.
Proceedings of the Dynamic Business Process Formation for Instant Virtual Enterprises, 2010

Specification and verification of harmonized business-process collaborations.
Inf. Syst. Frontiers, 2010

An integer programming based approach for verification and diagnosis of workflows.
Data Knowl. Eng., 2010

Business Protocol Adaptation for Flexible Chain Management.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010, 2010

Transforming Process Models: Executable Rewrite Rules versus a Formalized Java Program.
Proceedings of the Model Driven Engineering Languages and Systems, 2010

Generating Minimal Protocol Adaptors for Loosely Coupled Services.
Proceedings of the IEEE International Conference on Web Services, 2010

Architecture Support for Flexible Chain Management.
Proceedings of the 5th SIKS/BENAIS Conference on Enterprise Information Systems, 2010

A Framework for Service Outsourcing Using Process Views.
Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, 2010

2009
Reconciling statechart semantics.
Sci. Comput. Program., 2009

Internet-Based Support for Process-Oriented Instant Virtual Enterprises.
IEEE Internet Comput., 2009

Composing Services into Structured Processes.
Int. J. Cooperative Inf. Syst., 2009

Dynamic business network process management in instant virtual enterprises.
Comput. Ind., 2009

Agile Cooperative Process-Aware Information Systems (ProGility 2009): Workshop Report.
Proceedings of the 18th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2009

Constructing process views for service outsourcing.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way.
Proceedings of the FM 2009: Formal Methods, 2009

Constructing minimal protocol adaptors for service composition.
Proceedings of the 4th Workshop on Emerging Web Services Technology, 2009

2008
Constructing customized process views.
Data Knowl. Eng., 2008

Agile Cooperative Process-Aware Information Systems (ProGility 2008).
Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

2007
ProGility Workshop Final Report.
Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

Structural Matching of BPEL Processes.
Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

2006
Symbolic model checking of UML activity diagrams.
ACM Trans. Softw. Eng. Methodol., 2006

PINCET - Process Integration of Collaborative Enterprises.
Proceedings of the 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 2006

Designing a Modular Infrastructure for Exploratory Integration of Interoperability Approaches.
Proceedings of the Enterprise Interoperability, 2006

Structured Service Composition.
Proceedings of the Business Process Management, 4th International Conference, 2006

2004
Tool Support for Verifying UML Activity Diagrams.
IEEE Trans. Software Eng., 2004

2003
EFFICIENT: a tool set for supporting the modelling and validation of ebXML.
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Comparing Petri Net and Activity Diagram Variants for Workflow Modelling - A Quest for Reactive Petri Nets.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

Animating ebXML Transactions with a Workflow Engine.
Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Reactive Petri Nets for Workflow Modeling.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
Semantics and Verification of UML Activity Diagrams for Workflow Modelling.
PhD thesis, 2002

Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts.
Requir. Eng., 2002

Comparing Refinements for Failure and Bisimulation Semantics.
Fundam. Informaticae, 2002

Verification support for workflow design with UML activity graphs.
Proceedings of the 24th International Conference on Software Engineering, 2002

2001
An Execution Algorithm for UML Activity Graphs.
Proceedings of the «UML» 2001, 2001

A Real-Time Execution Semantics for UML Activity Diagrams.
Proceedings of the Fundamental Approaches to Software Engineering, 2001

2000
Requirements Level Semantics for UML Statecharts.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000


  Loading...