Martin Raszyk

Available identifiers

zbMath Open raszyk.martinMaRDI QIDQ2096465

List of research outcomes

Publication	Date of Publication	Type
Practical relational calculus query evaluation	2024-04-25	Paper
Practical relational calculus query evaluation	2024-04-23	Paper
Explainable online monitoring of metric temporal logic	2024-04-05	Paper
Verified first-order monitoring with recursive rules	2024-02-01	Paper
Efficient Evaluation of Arbitrary Relational Calculus Queries	2024-01-16	Paper
VeriMon: a formally verified monitoring tool	2023-07-28	Paper
Multi-head Monitoring of Metric Dynamic Logic	2022-12-22	Paper
A formally verified, optimized monitor for metric first-order dynamic logic	2022-11-09	Paper
Reoptimization of parameterized problems	2022-08-30	Paper
From Nondeterministic to Multi-Head Deterministic Finite-State Transducers	2022-07-21	Paper
On the size of logical automata	2020-10-22	Paper
Multi-head Monitoring of Metric Temporal Logic	2020-07-20	Paper

Research outcomes over time

This page was built for person: Martin Raszyk