Picture for Ario Santoso

Ario Santoso

Specification-Driven Predictive Business Process Monitoring

Add code
Apr 20, 2019
Figure 1 for Specification-Driven Predictive Business Process Monitoring
Figure 2 for Specification-Driven Predictive Business Process Monitoring
Figure 3 for Specification-Driven Predictive Business Process Monitoring
Figure 4 for Specification-Driven Predictive Business Process Monitoring
Viaarxiv icon

Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)

Add code
Jul 01, 2018
Figure 1 for Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)
Figure 2 for Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)
Figure 3 for Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)
Figure 4 for Specification-Driven Multi-Perspective Predictive Business Process Monitoring (Extended Version)
Viaarxiv icon

Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)

Add code
Jun 04, 2015
Viaarxiv icon

Adding Context to Knowledge and Action Bases

Add code
Dec 26, 2014
Viaarxiv icon

Verification of Semantically-Enhanced Artifact Systems (Extended Version)

Add code
Aug 28, 2013
Figure 1 for Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Figure 2 for Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Figure 3 for Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Figure 4 for Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Viaarxiv icon

Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version)

Add code
Apr 23, 2013
Viaarxiv icon