Henricus M W Verbeek


Ontology type: schema:Person     


Person Info

NAME

Henricus M W

SURNAME

Verbeek

Publications in SciGraph latest 50 shown

  • 2019-01-29 Improving Merging Conditions for Recomposing Conformance Checking in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2018-10-05 Incremental Computation of Synthesis Rules for Free-Choice Petri Nets in FORMAL ASPECTS OF COMPONENT SOFTWARE
  • 2018-09-26 Interactive Data-Driven Process Model Construction in CONCEPTUAL MODELING
  • 2018-06-16 Fast Incremental Conformance Analysis for Interactive Process Discovery in BUSINESS INFORMATION SYSTEMS
  • 2018-01-17 Visual Analytics for Soundness Verification of Process Models in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2017-11-07 Discovering workflow nets using integer linear programming in COMPUTING
  • 2017-09-20 Decomposed Replay Using Hiding and Reduction as Abstraction in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY XII
  • 2016-06-09 Merging Alignments for Decomposed Replay in APPLICATION AND THEORY OF PETRI NETS AND CONCURRENCY
  • 2015-12-12 Finding Suitable Activity Clusters for Decomposed Process Discovery in DATA-DRIVEN PROCESS DISCOVERY AND ANALYSIS
  • 2015-08-13 A Structural Model Comparison for Finding the Best Performing Models in a Collection in BUSINESS PROCESS MANAGEMENT
  • 2015-04-12 Configuring Configurable Process Models Made Easier: An Automated Approach in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2015-04-12 YAWL in the Cloud: Supporting Process Sharing and Variability in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2015-04-12 Online Compliance Monitoring of Service Landscapes in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2015-04-12 Decomposed Process Mining: The ILP Case in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2013 An Experimental Evaluation of Passage-Based Process Discovery in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2013 BPI Challenge 2012: The Transition System Case in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2012 Context-Aware Compliance Checking in BUSINESS PROCESS MANAGEMENT
  • 2012 Comparing Business Processes to Determine the Feasibility of Configurable Models: A Case Study in BUSINESS PROCESS MANAGEMENT WORKSHOPS
  • 2011 XES, XESame, and ProM 6 in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS
  • 2010-08-03 Soundness of workflow nets: classification, decidability, and analysis in FORMAL ASPECTS OF COMPUTING
  • 2009 A Framework for Linking and Pricing No-Cure-No-Pay Services in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY II
  • 2009 Soundness of Workflow Nets with Reset Arcs in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III
  • 2008-11-25 Process mining: a two-step approach to balance between underfitting and overfitting in SOFTWARE AND SYSTEMS MODELING
  • 2008 Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization in TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY I
  • 2007-09-18 Protos2CPN: using colored Petri nets for configuring and testing business processes in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2007 ProM 4.0: Comprehensive Support for Real Process Analysis in PETRI NETS AND OTHER MODELS OF CONCURRENCY – ICATPN 2007
  • 2006 Faulty EPCs in the SAP Reference Model in BUSINESS PROCESS MANAGEMENT
  • 2005 Verification of EPCs: Using Reduction Rules and Petri Nets in ACTIVE FLOW AND COMBUSTION CONTROL 2018
  • 2005 The ProM Framework: A New Era in Process Mining Tool Support in APPLICATIONS AND THEORY OF PETRI NETS 2005
  • 2005 Life After BPEL? in FORMAL TECHNIQUES FOR COMPUTER SYSTEMS AND BUSINESS PROCESSES
  • 2004-01 XRL/Woflan: Verification and Extensibility of an XML/Petri-Net-Based Language for Inter-Organizational Workflows in INFORMATION TECHNOLOGY AND MANAGEMENT
  • 2003-05-27 Deciding Life-Cycle Inheritance on Petri Nets in APPLICATIONS AND THEORY OF PETRI NETS 2003
  • 2002-12-16 XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology in WEB SERVICES, E-BUSINESS, AND THE SEMANTIC WEB
  • 2002-05-29 An Alternative Way to Analyze Workflow Graphs in ACTIVE FLOW AND COMBUSTION CONTROL 2018
  • 2000 Adaptive Workflow in ENTERPRISE INFORMATION SYSTEMS
  • Affiliations

    JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "http://www.grid.ac/institutes/grid.6852.9", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Verbeek", 
        "givenName": "Henricus M W", 
        "id": "sg:person.016630174535.10", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.016630174535.10"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-01-01T19:56", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220101/entities/gbq_results/person/person_633.jsonl", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.016630174535.10'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.016630174535.10'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.016630174535.10'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.016630174535.10'


     




    Preview window. Press ESC to close (or click here)


    ...