Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Timos Antonopoulos
Deciding Twig-Definability of Node Selecting Tree Automata
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Generating, Sampling and Counting Subclasses of Regular Tree Languages
Theory of Computing Systems
Computational Theory
Theoretical Computer Science
Mathematics
Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
ACM SIGPLAN Notices
Computer Science
Foundations for Decision Problems in Separation Logic With General Inductive Predicates
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Definability Problems for Graph Query Languages
Related publications
On an Analogue of Titchmarsh’s Divisor Problem for Holomorphic Cusp Forms
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
Uniqueness of Enhancement for Triangulated Categories
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
The Archimedean Theory of the Exterior Square $L$-Functions Over $\Mathbb{Q}$
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
Intersecting Families of Permutations
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
Proof of Aldous’ Spectral Gap Conjecture
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
W$^{*}$–superrigidity for Bernoulli Actions of Property (T) Groups
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
Appendix and Erratum to “Massey Products for Elliptic Curves of Rank 1”
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
The Complex Monge-Ampère Equation on Compact Hermitian Manifolds
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
Commutators on $L_p$, $1{\leq }P <\infty $
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
The Vlasov-Poisson-Landau System in a Periodic Box
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
