Anatol Slissenko

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
Relating information and knowledge	2026-04-29	Paper
On Entropic Convergence of Algorithms Fields of Logic and Computation III	2022-11-09	Paper
Towards analysis of information structure of computations	2020-02-13	Paper
The probability nesting game Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Preface to the special issue dedicated to Nikolai Alexandrovich Shanin on the occasion of his 90th birthday Annals of Pure and Applied Logic	2011-09-12	Paper
On the complexity of finite memory policies for Markov decision processes Lecture Notes in Computer Science	2010-06-17	Paper
A Logic of Probability with Decidable Model Checking Journal Of Logic And Computation	2006-12-04	Paper
Computer Science Logic Lecture Notes in Computer Science	2006-11-01	Paper
Periodicity based decidable classes in a first order timed logic Annals of Pure and Applied Logic	2006-04-28	Paper
scientific article; zbMATH DE number 2112985 (Why is no real title available?)	2004-11-01	Paper
Approximating shortest path for the skew lines problem in time doubly logarithmic in 1/epsilon Theoretical Computer Science	2004-08-06	Paper
scientific article; zbMATH DE number 2077086 (Why is no real title available?)	2004-07-01	Paper
scientific article; zbMATH DE number 1948170 (Why is no real title available?)	2003-07-10	Paper
Decidable verification for reducible timed automata specified in a first order logic with time Theoretical Computer Science	2002-07-31	Paper
A first order logic for specification of timed algorithms: Basic properties and a decidable class Annals of Pure and Applied Logic	2002-05-20	Paper
scientific article; zbMATH DE number 1670505 (Why is no real title available?)	2002-01-06	Paper
scientific article; zbMATH DE number 1262422 (Why is no real title available?)	2001-05-29	Paper
scientific article; zbMATH DE number 1390056 (Why is no real title available?)	2000-04-26	Paper
scientific article; zbMATH DE number 1342353 (Why is no real title available?)	1999-09-22	Paper
Polytime model checking for times probabilistic computation tree logic Acta Informatica	1999-03-29	Paper
On the complexity of partially observed Markov decision processes Theoretical Computer Science	1997-02-27	Paper

Research outcomes over time

This page was built for person: Anatol Slissenko