Timos Antonopoulos

MaRDI QIDQ269324zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Representing regular languages of infinite words using mod 2 multiplicity automata Lecture Notes in Computer Science	2024-01-23	Paper
A formal analysis of timing channel security via bucketing Lecture Notes in Computer Science	2023-11-24	Paper
scientific article; zbMATH DE number 7650821 (Why is no real title available?)	2023-02-07	Paper
Query learning of derived -tree languages in polynomial time	2020-05-26	Paper
Query learning of derived \(\omega\)-tree languages in polynomial time (available as arXiv preprint)	2019-09-13	Paper
Deciding twig-definability of node selecting tree automata Theory of Computing Systems	2016-04-18	Paper
Three variables suffice for real-time logic Lecture Notes in Computer Science	2015-10-01	Paper
Reachability problems for Markov chains Information Processing Letters	2014-12-09	Paper
Foundations for decision problems in separation logic with general inductive predicates Lecture Notes in Computer Science	2014-04-16	Paper
Generating, sampling and counting subclasses of regular tree languages Theory of Computing Systems	2013-08-23	Paper
Separating Graph Logic from MSO Foundations of Software Science and Computational Structures	2009-03-31	Paper

Research outcomes over time

This page was built for person: Timos Antonopoulos