Concepedia

Timos Antonopoulos

TA

Statistics

Publications

7

Citations

258

H-Index

7

Active since

2013

Affiliations

Yale University(Current)

University of Maryland, College Park

Japan Advanced Institute of Science and Technology

Timos Antonopoulos is an author at Yale University specializing in computer science, computing, and formal methods.

Publications per year

2013–2023

7

Publications

7

Decomposition instead of self-composition for proving the absence of timing channels

Timos Antonopoulos, Paul Gazzillo, Michael Hicks et al. · 2017 · 86 citations · Full text

Computing, Computer Engineering, Computer Science +13

Reachability problems for Markov chains

S. Akshay, Timos Antonopoulos, Joël Ouaknine et al. · Information Processing Letters · 2014 · 49 citations

Engineering, Computer Science, Mathematics +12

Counterexample-guided approach to finding numerical invariants

ThanhVu Nguyen, Timos Antonopoulos, Andrew Ruef et al. · 2017 · 47 citations

Computing, Computer Engineering, Computer Science +13

Decomposition instead of self-composition for proving the absence of timing channels

Timos Antonopoulos, Paul Gazzillo, Michael Hicks et al. · ACM SIGPLAN Notices · 2017 · 26 citations

Computing, Computer Engineering, Computer Science +13

Definability problems for graph query languages

Timos Antonopoulos, Frank Neven, Frédéric Servais · 2013 · 18 citations

Computing, Computer Science, Mathematics +11

1–5 of 7