Martin Raszyk

Orcid: 0000-0003-3018-2557

According to our database1, Martin Raszyk authored at least 22 papers between 2017 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Verified Proof Checker for Metric First-Order Temporal Logic.
Arch. Formal Proofs, 2024

2023
Efficient Evaluation of Arbitrary Relational Calculus Queries.
Log. Methods Comput. Sci., 2023

Explainable Online Monitoring of Metric Temporal Logic.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Monitoring the Internet Computer.
Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Efficient, Expressive, and Verified Temporal Query Evaluation.
PhD thesis, 2022

Making Arbitrary Relational Calculus Queries Safe-Range.
Arch. Formal Proofs, 2022

First-Order Query Evaluation.
Arch. Formal Proofs, 2022

Multi-Head Monitoring of Metric Dynamic Logic.
Arch. Formal Proofs, 2022

Reoptimization of parameterized problems.
Acta Informatica, 2022

Verified First-Order Monitoring with Recursive Rules.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022


Practical Relational Calculus Query Evaluation.
Proceedings of the 25th International Conference on Database Theory, 2022

2021
From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
From Functional Nondeterministic Transducers to Deterministic Two-Tape Automata.
CoRR, 2020

Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations.
Arch. Formal Proofs, 2020

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic.
Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Multi-head Monitoring of Metric Dynamic Logic.
Proceedings of the Automated Technology for Verification and Analysis, 2020

2019
On the Size of Logical Automata.
Proceedings of the SOFSEM 2019: Theory and Practice of Computer Science, 2019

From Nondeterministic to Multi-Head Deterministic Finite-State Transducers.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Multi-head Monitoring of Metric Temporal Logic.
Proceedings of the Automated Technology for Verification and Analysis, 2019

2017
Witness-hiding proofs of knowledge for cable locks.
Proceedings of the 2017 IEEE International Symposium on Information Theory, 2017


  Loading...