Kristo Raun „Adaptive out-of-order handling in streaming conformance checking“ („Kohanemisvõimeline väärjärjestuses sündmuste käitlemine voogandmetele tuginevas vastavuskontrollis“)