Timos Antonopoulos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
12
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Towards Privacy-Preserving Verification. | Timos Antonopoulos, Ning Luo, Ruzica Piskac |
| 2026 | SP | Decor: Delegated Computation on Randomness for Secure Evaluation of Nonlinear Functions. | Haris Smajlovic, Kyle Sheng, Timos Antonopoulos, Ruzica Piskac, Hyunghoon Cho |
| 2024 | CAV | soid: A Tool for Legal Accountability for Automated Decision Making. | Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Knighofer, Scott J. Shapiro, Ruzica Piskac |
| 2024 | ICCAD | Systematic Use of Random Self-Reducibility in Cryptographic Code against Physical Attacks. | Ferhat Erata, Tinghung Chiu, Anthony Etim, Srilalith Nampally, Tejas Raju, Rajashree Ramu, Ruzica Piskac, Timos Antonopoulos, Wenjie Xiong, Jakub Szefer |
| 2023 | CCS | Ou: Automating the Parallelization of Zero-Knowledge Protocols. | Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao |
| 2023 | IJCAI | Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. | Filip Cano Crdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjrner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Knighofer |
| 2022 | CCS | Proving UNSAT in Zero Knowledge. | Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, Xiao Wang |
| 2022 | FOSSACS | Representing Regular Languages of Infinite Words Using Mod 2 Multiplicity Automata. | Dana Angluin, Timos Antonopoulos, Dana Fisman, Nevin George |
| 2021 | INFOCOM | Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem. | Yichao Cheng, Ning Luo, Jingxuan Zhang, Timos Antonopoulos, Ruzica Piskac, Qiao Xiang |
| 2020 | CSL | Strongly Unambiguous Bchi Automata Are Polynomially Predictable With Membership Queries. | Dana Angluin, Timos Antonopoulos, Dana Fisman |
| 2017 | CSL | Query Learning of Derived Omega-Tree Languages in Polynomial Time. | Dana Angluin, Timos Antonopoulos, Dana Fisman |
| 2017 | PLDI | Decomposition instead of self-composition for proving the absence of timing channels. | Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei |
| 2015 | FOSSACS | Three Variables Suffice for Real-Time Logic. | Timos Antonopoulos, Paul Hunter, Shahab Raza, James Worrell |
| 2014 | FOSSACS | Foundations for Decision Problems in Separation Logic with General Inductive Predicates. | Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Jol Ouaknine |
| 2013 | ICDT | Definability problems for graph query languages. | Timos Antonopoulos, Frank Neven, Frdric Servais |
| 2012 | ICDT | Deciding twig-definability of node selecting tree automata. | Timos Antonopoulos, Dag Hovland, Wim Martens, Frank Neven |
| 2011 | ICDT | Generating, sampling and counting subclasses of regular tree languages. | Timos Antonopoulos, Floris Geerts, Wim Martens, Frank Neven |
| 2011 | PODS | The complexity of text-preserving XML transformations. | Timos Antonopoulos, Wim Martens, Frank Neven |
| 2009 | FOSSACS | Separating Graph Logic from MSO. | Timos Antonopoulos, Anuj Dawar |