Timos Antonopoulos

Identifiers

• name variant Timos Antonopoulos 0.60 · backfill

Papers (4)

1. Learning How to Cube cs.LG · 2026 · author #4
2. Learning Randomized Reductions cs.LG · 2024 · author #4
3. Specification and Inference of Trace Refinement Relations cs.PL · 2019 · author #1
4. 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