Timos Antonopoulos
Identifiers
- name variant Timos Antonopoulos 0.60 · backfill
Papers (4)
- Learning How to Cube cs.LG · 2026 · author #4
- Learning Randomized Reductions cs.LG · 2024 · author #4
- Specification and Inference of Trace Refinement Relations cs.PL · 2019 · author #1
- Three Variables Suffice for Real-Time Specification cs.LO · 2014 · author #1
Mentions
- 2412.18134 #4 · arxiv_oai · confidence 0.70 Timos Antonopoulos
- 1408.1851 #1 · backfill · confidence 0.70 Timos Antonopoulos
- 2605.16632 #4 · arxiv_oai · confidence 0.70 Timos Antonopoulos
Frequent Coauthors
- Ferhat Erata 2 shared papers
- Ruzica Piskac 2 shared papers
- Thanos Typaldos 2 shared papers
- Byron Cook 1 shared papers
- Eric Koskinen 1 shared papers
- James Worrell 1 shared papers
- Orr Paradise 1 shared papers
- Paul Hunter 1 shared papers
- Robert B. Jones 1 shared papers
- Sam Kouteili 1 shared papers
- Shafi Goldwasser 1 shared papers
- Shahab Raza 1 shared papers
- ThanhVu Nguyen 1 shared papers
- Ton-Chanh Le 1 shared papers