Oliver Tuma

Rearticulation Without Ontological Separation: Claim\-Safe Continuity Under Changing Representations, Meanings, and Provenance

We study a reconstruction problem in which not only represented content but the representational scheme, relevance structure, and semantic resolution may change. The framework treats counting as articulation-relative, distinguishes missing articulation from negation, uses proof-r...

Certified Directly\-Follows Before Case Correlation: Exact Local Certificates and Global Complexity under Joint Case and Order Uncertainty

Event-correlation methods reconstruct missing case identifiers before downstream process analysis, while uncertain-event and partial-order process-mining methods typically quantify temporal ambiguity inside already formed cases or traces. We study an earlier certification problem...

Certified Directly\-Follows Before Case Correlation: Exact Local Certificates and Global Complexity under Joint Case and Order Uncertainty

Event-correlation methods reconstruct missing case identifiers before downstream process analysis, while uncertain-event and partial-order process-mining methods typically quantify temporal ambiguity inside already formed cases or traces. We study an earlier certification problem...