Timos Antonopoulos

Available identifiers

Publication	Date of Publication	Type
Representing regular languages of infinite words using mod 2 multiplicity automata	2024-01-23	Paper
A formal analysis of timing channel security via bucketing	2023-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q5874193	2023-02-07	Paper
Query learning of derived \(\omega\)-tree languages in polynomial time	2020-05-26	Paper
Query learning of derived \(\omega\)-tree languages in polynomial time	2019-09-13	Paper
Deciding twig-definability of node selecting tree automata	2016-04-18	Paper
Three variables suffice for real-time logic	2015-10-01	Paper
Reachability problems for Markov chains	2014-12-09	Paper
Foundations for decision problems in separation logic with general inductive predicates	2014-04-16	Paper
Generating, sampling and counting subclasses of regular tree languages	2013-08-23	Paper
Separating Graph Logic from MSO	2009-03-31	Paper

This page was built for person: Timos Antonopoulos