Timos Antonopoulos

Identifiers

• name variant Timos Antonopoulos 0.60 · backfill

Papers (3)

1. Learning How to Cube cs.LG · 2026 · author #4
2. Specification and Inference of Trace Refinement Relations cs.PL · 2019 · author #1
3. Three Variables Suffice for Real-Time Specification cs.LO · 2014 · author #1

Mentions

• 2605.16632 #4 · arxiv_oai · confidence 0.70 Timos Antonopoulos

Frequent Coauthors

• Byron Cook 1 shared papers
• Eric Koskinen 1 shared papers
• Ferhat Erata 1 shared papers
• James Worrell 1 shared papers
• Paul Hunter 1 shared papers
• Robert B. Jones 1 shared papers
• Ruzica Piskac 1 shared papers
• Sam Kouteili 1 shared papers
• Shahab Raza 1 shared papers
• Thanos Typaldos 1 shared papers
• Ton-Chanh Le 1 shared papers