## E-Mails 📧

- hc.zhte.fni @kyzsar.nitram
- moc.liamg @kyzsar.m

## Entries

### 2024

##### A Verified Proof Checker for Metric First-Order Temporal Logic

by Andrei Herasimau, Jonathan Julian Huerta y Munive 📧, Leonardo Lima, Martin Raszyk 📧 and Dmitriy Traytel 🌐
Apr 16

### 2022

##### Making Arbitrary Relational Calculus Queries Safe-Range

by Martin Raszyk 📧 and Dmitriy Traytel 🌐
Sep 28

##### First-Order Query Evaluation

by Martin Raszyk 📧
Feb 15

##### Multi-Head Monitoring of Metric Dynamic Logic

by Martin Raszyk 📧
Feb 13

### 2020

##### Formalization of an Optimized Monitoring Algorithm for Metric First-Order Dynamic Logic with Aggregations

by Thibault Dardinier, Lukas Heimes, Martin Raszyk 📧, Joshua Schneider 📧 and Dmitriy Traytel 🌐
Apr 09