## E-Mails 📧

- moc.liamg @32nailujnoj
- ku.ca.dleiffehs @1evinumyatreuhjj

## 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

### 2020

##### Matrices for ODEs

by Jonathan Julian Huerta y Munive 📧
Apr 19

### 2019

##### Verification Components for Hybrid Systems

by Jonathan Julian Huerta y Munive
Sep 10