According to our database1, Timos Antonopoulos authored at least 12 papers between 2009 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Counterexample-guided approach to finding numerical invariants.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Decomposition instead of self-composition for proving the absence of timing channels.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Query Learning of Derived Omega-Tree Languages in Polynomial Time.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017
Reachability problems for Markov chains.
Inf. Process. Lett., 2015
Three Variables Suffice for Real-Time Logic.
Proceedings of the Foundations of Software Science and Computation Structures, 2015
Foundations for Decision Problems in Separation Logic with General Inductive Predicates.
Proceedings of the Foundations of Software Science and Computation Structures, 2014
Definability problems for graph query languages.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013
Deciding twig-definability of node selecting tree automata.
Proceedings of the 15th International Conference on Database Theory, 2012
The complexity of text-preserving XML transformations.
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011
Generating, sampling and counting subclasses of regular tree languages.
Proceedings of the Database Theory, 2011
Expressive power of graph languages.
PhD thesis, 2009
Separating Graph Logic from MSO.
Proceedings of the Foundations of Software Science and Computational Structures, 2009