Dr. O.I. Oanea

Wijzig persoonsdata

• logic

Publicaties

(de meest recente is bovenaan geplaatst)

History-based joins : semantics, soundness and implementation

Verification of soundness and other properties of business processes

Checking properties of adaptive workflow nets

LogLogics : a logic for history-dependent business processes

Verifying generalized soundness for workflow nets

Alle publicaties

Afgesloten onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Promovendus	Modelling and Verification of Business Processes (MoveBP)