Timos Antonopoulos

Available identifiers

zbMath Open antonopoulos.timosWikidataQ102417093 ScholiaQ102417093MaRDI QIDQ269324

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q5232903	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Timos Antonopoulos