Witness-hiding proofs of knowledge for cable locks. - Chen-Da Liu Zhang; Ueli Maurer; Martin Raszyk; Daniel Tschudi (ISIT, 2017)

Multi-head Monitoring of Metric Temporal Logic. - Martin Raszyk; David A. Basin; Srdan Krstic; Dmitriy Traytel (ATVA, 2019)

From Nondeterministic to Multi-Head Deterministic Finite-State Transducers. - Martin Raszyk; David A. Basin; Dmitriy Traytel (ICALP, 2019)

On the Size of Logical Automata. - Martin Raszyk (SOFSEM, 2019)

Multi-head Monitoring of Metric Dynamic Logic. - Martin Raszyk; David A. Basin; Dmitriy Traytel (ATVA, 2020)

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic. - David A. Basin; Thibault Dardinier; Lukas Heimes; Srdan Krstic; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (IJCAR (1), 2020)

Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations. - Thibault Dardinier; Lukas Heimes; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (Arch. Formal Proofs, 2020)

From Functional Nondeterministic Transducers to Deterministic Two-Tape Automata. - Elisabet Burjons; Fabian Frei; Martin Raszyk (CoRR, 2020)

From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata. - Elisabet Burjons; Fabian Frei; Martin Raszyk (LICS, 2021)

Practical Relational Calculus Query Evaluation. - Martin Raszyk; David A. Basin; Srdan Krstic; Dmitriy Traytel (ICDT, 2022)

VeriMon: A Formally Verified Monitoring Tool. - David A. Basin; Thibault Dardinier; Nico Hauser; Lukas Heimes; Jonathan Julián Huerta y Munive; Nicolas Kaletsch; Srdan Krstic; Emanuele Marsicano; Martin Raszyk; Joshua Schneider 001; Dawit Legesse Tirore; Dmitriy Traytel; et al. (ICTAC, 2022)

Verified First-Order Monitoring with Recursive Rules. - Sheila Zingg; Srdan Krstic; Martin Raszyk; Joshua Schneider 001; Dmitriy Traytel (TACAS (2), 2022)

Reoptimization of parameterized problems. - Hans-Joachim Böckenhauer; Elisabet Burjons; Martin Raszyk; Peter Rossmanith (Acta Informatica, 2022)

Multi-Head Monitoring of Metric Dynamic Logic. - Martin Raszyk (Arch. Formal Proofs, 2022)

First-Order Query Evaluation. - Martin Raszyk (Arch. Formal Proofs, 2022)

Making Arbitrary Relational Calculus Queries Safe-Range. - Martin Raszyk; Dmitriy Traytel (Arch. Formal Proofs, 2022)

Efficient, Expressive, and Verified Temporal Query Evaluation. - Martin Raszyk (2022)

Monitoring the Internet Computer (Artifact). - David A. Basin; Daniel Stefan Dietiker; Srdan Krstic; Yvonne-Anne Pignolet; Martin Raszyk; Joshua Schneider 001; Arshavir Ter-Gabrielyan (Zenodo, 2022)

Monitoring the Internet Computer. - David A. Basin; Daniel Stefan Dietiker; Srdan Krstic; Yvonne-Anne Pignolet; Martin Raszyk; Joshua Schneider 001; Arshavir Ter-Gabrielyan (FM, 2023)

Explainable Online Monitoring of Metric Temporal Logic. - Leonardo Lima 001; Andrei Herasimau; Martin Raszyk; Dmitriy Traytel; Simon Yuan (TACAS (2), 2023)

Efficient Evaluation of Arbitrary Relational Calculus Queries. - Martin Raszyk; David A. Basin; Srdan Krstic; Dmitriy Traytel (Log. Methods Comput. Sci., 2023)

A Verified Proof Checker for Metric First-Order Temporal Logic. - Andrei Herasimau; Jonathan Julián Huerta y Munive; Leonardo Lima 001; Martin Raszyk; Dmitriy Traytel (Arch. Formal Proofs, 2024)